邱昕夕

作品数：6被引量：16H指数：3
导出分析报告
供职机构：浙江大学生物医学工程与仪器科学学院更多>>
发文主题：列车自动防护城市轨道交通CBTC系统CBTCOPNET更多>>
发文领域：自动化与计算机技术自然科学总论环境科学与工程更多>>
发文期刊：《环境保护》《计算机工程》《计算机科学》更多>>
所获基金：国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型的列车自动防护系统软件开发被引量：3
《计算机工程》2013年第3期1-6,共6页管爱爱 邱昕夕 王东 陈祥献 黄海 刘济全 
国家科技支撑计划基金资助项目(2011BAG01B03)
列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发。仿真测试结果表明,...
关键词：城市轨道交通 列车自动防护 应用软件 接口模型 状态模型 控制流模型 
基于传感器模型的安全计算机仿真系统
《计算机工程》2013年第3期31-35,45,共6页郑重 邱昕夕 陈祥献 黄海 
在安全计算机信号系统的研发与测试中,没有真实的传感器接入会带来测试难、验证难等问题。为此,设计一种基于传感器模型的轨道交通安全计算机平台仿真系统。以真实的传感器为模型基础进行传感器建模,控制真实的硬件输出,通过软硬件结合...
关键词：仿真系统 安全计算机系统 传感器建模 无损坏故障注入 系统建模 轨道交通 
城市轨道交通列车自动防护系统软件设计被引量：4
《计算机工程》2012年第19期1-5,共5页刘攀峰 邱昕夕 陈祥献 黄海 段会龙 
国家科技支撑计划基金资助项目(2011BAG01B03)
从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运...
关键词：城市轨道交通 信号系统 列车自动防护 安全软件设计 安全制动模型 自动折返 
CBTC中安全通信协议的设计与仿真研究被引量：6
《计算机工程》2012年第19期241-246,共6页杨明 邱昕夕 陈祥献 黄海 
国家科技支撑计划基金资助项目(2011BAG01B03)
依据欧洲标准EN50159设计一种用于CBTC各子系统间通信的安全通信协议。该协议面向连接,采用序列号、超时检测、安全编码等多种安全措施,在通信异常发生时,具备故障导向安全能力。借助OPNET仿真环境对协议的实时性进行分析。仿真结果表明...
关键词：欧洲标准EN50159 CBTC系统 安全通信协议 OPNET仿真环境 
基于UML的列车自动防护系统需求建模研究被引量：1
《计算机科学》2012年第B06期478-481,共4页刘攀峰 邱昕夕 陈祥献 黄海 段会龙 
针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化...
关键词：列车自动防护 需求建模 统一建模语言 形式化方法 安全性 
区县级环境保护网络信息管理系统的开发与实现被引量：2
《环境保护》1999年第6期11-12,44,共3页邱昕夕 张清宇 施耀 
本文针对区县级环保机构的任务繁重、工作量大、业务面广的特点开发了计算机网络信息管理系统，在实际应用中，收到了良好的效果。不仅加强了环保管理工作的规范化、有序化，而且加大了环保管理工作的力度，将环保管理提高到一个新的高度。
关键词：MIS 环境保护 网络 信息管理系统 区县级 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部