搜索筛选:
搜索耗时0.0849秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
类      型:
[期刊论文] 作者:邱昕夕,张清宇, 来源:环境保护 年份:1999
本文针对区县级环保机构的任务繁重、工作量大、业务面广的特点开发了计算机网络信息管理系统,在实际应用中,收到了良好的效果。不仅加强了环保管理工作的规范化、有序化,而且加......
[期刊论文] 作者:郑重,邱昕夕,陈祥献,黄海,, 来源:计算机工程 年份:2013
在安全计算机信号系统的研发与测试中,没有真实的传感器接入会带来测试难、验证难等问题。为此,设计一种基于传感器模型的轨道交通安全计算机平台仿真系统。以真实的传感器为模......
[期刊论文] 作者:杨明,邱昕夕,陈祥献,黄海,, 来源:计算机工程 年份:2012
依据欧洲标准EN50159设计一种用于CBTC各子系统间通信的安全通信协议。该协议面向连接,采用序列号、超时检测、安全编码等多种安全措施,在通信异常发生时,具备故障导向安全能...
[期刊论文] 作者:刘攀峰,邱昕夕,陈祥献,黄海,段会龙,, 来源:计算机工程 年份:2012
从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法......
[期刊论文] 作者:刘攀峰,邱昕夕,陈祥献,黄海,段会龙,, 来源:计算机科学 年份:2012
针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,......
[期刊论文] 作者:管爱爱,邱昕夕,王东,陈祥献,黄海,刘济全, 来源:计算机工程 年份:2013
列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该......
相关搜索: