浙江省教育厅科研计划项目(Y200806041)
- 作品数：3 被引量：4H指数：1
- 相关作者：王鹏英王兆青铁治欣庄红林永兴更多>>
- 相关机构：浙江理工大学浙江理工大学科技与艺术学院更多>>
- 发文基金：浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 服务组合中基于线性逻辑的消息语义匹配
- 2010年
- 介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。
- 林永兴王鹏英邱剑锋徐海长王玥
- 关键词：语义服务描述逻辑线性逻辑
- 多组态全工况工业锅炉操作仿真培训系统研究被引量：4
- 2010年
- 对工业锅炉安全运行培训仿真技术进行了系统的研究;在详细分析多种工业锅炉操作过程与现有仿真培训系统的基础上,运用多组态分析技术,建立了一个工业锅炉仿真培训模型,开发出具有多工业锅炉模型的、集培训与考试为一体的、支持大规模分布式环境下进行全工况工业锅炉仿真培训的系统。实际运行的效果表明,系统运行可靠、稳定,提高了培训的效率。
- 铁治欣王鹏英庄红王兆青
- 关键词：工业锅炉全工况仿真系统
- 基于IFIX的动态工业锅炉实际操作仿真系统
- 2010年
- 对工业锅炉安全运行培训仿真技术进行了系统地研究,在详细分析多种工业锅炉操作过程与现有仿真培训系统的基础上,基于IFIX建立锅炉仿真动态模型建模,实现Flash动画与iFIX通讯,设计开发了集培训与考试为一体的、支持大规模分布式环境下进行全工况工业锅炉仿真培训的系统。
- 王鹏英
- 关键词：工业锅炉IFIX全工况仿真系统
