国家自然科学基金(2011BAG01B00)
- 作品数：5 被引量：4H指数：2
- 相关作者：徐中伟朱龙赵笑龙徐睿娜喻钢更多>>
- 相关机构：同济大学上海大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于Event-B的一种联锁逻辑的形式化建模研究
- 2013年
- 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。
- 沈啸陈邦兴唐晨
- 关键词：形式化建模EVENT-B
- 基于HLA的CBTC仿真管理器研究与应用被引量：2
- 2012年
- 仿真测试管理器是CBTC系统仿真平台的核心组成部分。针对CBTC系统仿真存在的可扩展性差、实时性差、协同困难等问题,提出了基于HLA(High Level Architecture)的仿真管理器。仿真管理器通过注册机制对系统内各个部件进行管理,实现系统的自由扩展;通过HLA/RTI联邦运行支持环境实现平台中仿真节点建立连接,设计仿真管理器与组件间的通信,提高系统实时性;针对仿真平台内子系统协同性差,系统失步问题,仿真管理器采用协同控制策略来保证系统的同步,该仿真管理器已应用于国家"十二五"项目。
- 朱龙徐中伟喻钢朱麟
- 关键词：HLACBTC扩展性实时性协同性
- 基于图元属性的进路搜索算法与研究被引量：2
- 2012年
- 介绍计算机辅助设计软件(CAD)在计算机联锁系统自动测试平台中的应用,提供一种基于图元的车站平面拓扑图建立,图元对应设备信息快速录入,以及用面向对象的方法建立车站的拓扑数据的解决方法。论述基于图元属性的进路搜索算法,并详细描述了其实现方法。
- 徐睿娜徐中伟
- 关键词：计算机辅助设计图元
