邱昕夕
- 作品数:6 被引量:17H指数:3
- 供职机构:浙江大学生物医学工程与仪器科学学院更多>>
- 发文基金:国家科技支撑计划更多>>
- 相关领域:自动化与计算机技术自然科学总论环境科学与工程更多>>
- 城市轨道交通列车自动防护系统软件设计被引量:4
- 2012年
- 从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运行结果表明,该ATP系统能够满足设计目标和要求。
- 刘攀峰邱昕夕陈祥献黄海段会龙
- 关键词:城市轨道交通信号系统列车自动防护
- 区县级环境保护网络信息管理系统的开发与实现被引量:3
- 1999年
- 本文针对区县级环保机构的任务繁重、工作量大、业务面广的特点开发了计算机网络信息管理系统,在实际应用中,收到了良好的效果。不仅加强了环保管理工作的规范化、有序化,而且加大了环保管理工作的力度,将环保管理提高到一个新的高度。
- 邱昕夕张清宇施耀
- 关键词:MIS环境保护网络信息管理系统区县级
- 基于UML的列车自动防护系统需求建模研究被引量:1
- 2012年
- 针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。
- 刘攀峰邱昕夕陈祥献黄海段会龙
- 关键词:列车自动防护统一建模语言形式化方法安全性
- 基于模型的列车自动防护系统软件开发被引量:3
- 2013年
- 列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发。仿真测试结果表明,该方法能有效简化功能逻辑,降低开发难度,减少人为错误和故障的引入。
- 管爱爱邱昕夕王东陈祥献黄海刘济全
- 关键词:城市轨道交通列车自动防护应用软件接口模型
- CBTC中安全通信协议的设计与仿真研究被引量:6
- 2012年
- 依据欧洲标准EN50159设计一种用于CBTC各子系统间通信的安全通信协议。该协议面向连接,采用序列号、超时检测、安全编码等多种安全措施,在通信异常发生时,具备故障导向安全能力。借助OPNET仿真环境对协议的实时性进行分析。仿真结果表明,通过在仿真中注入链路故障协议验证故障导向安全功能,该协议能够满足CBTC系统的应用需求。
- 杨明邱昕夕陈祥献黄海
- 关键词:CBTC系统安全通信协议
- 基于传感器模型的安全计算机仿真系统
- 2013年
- 在安全计算机信号系统的研发与测试中,没有真实的传感器接入会带来测试难、验证难等问题。为此,设计一种基于传感器模型的轨道交通安全计算机平台仿真系统。以真实的传感器为模型基础进行传感器建模,控制真实的硬件输出,通过软硬件结合的方法为安全计算机平台提供真实的输入与输出。同时利用软件修改模型参数,模拟传感器故障,为安全计算机平台提供无损坏的故障注入。测试结果证明,该仿真系统能够有效验证安全计算机平台的安全性、可靠性与可用性,加快安全计算机平台的开发进程。
- 郑重邱昕夕陈祥献黄海
- 关键词:仿真系统传感器建模轨道交通