托乎提 齐学智 孙优贤 原小艳 刘文婷 刘庚 张晶晶 钱昆 贾素来 王崟

一致性 故障检测 传动控制 水信息 WebGIS 控制软件 ISBus TOOLBox OLEDB VDM-SL 安全性 形式化语言 SuperMap IS 逻辑结构 鲁棒性 ADO 二进制文件 卷取 服务器端策略 MSChart 监控 下载 组件 ASP技术 ActiveX 观测器 数据库 自动生成 上载 非结构化数据 物理结构

浙江大学工业控制技术研究所 河海大学计算机及信息工程学院 江苏南京