图形用户界面配载软件

船舶配载是集装箱码头动作中一项十分重要的实务.也是一个费时、费力比较复杂的技术问题。随着计算机技术的普及，配载件软件（包括引进和自行开发的）在我国沿海集装箱码头逐渐得到应用。但是，由于没有采用直观的图形技术，用户界面呆板，应用效果不甚理想。     

背景2003

《大连东北亚国际航运中心发展规划》编制背景 振兴东北老工业基地,是党的十六大从全面建设小康社会全局着眼提出的一项重大战略任务,是党中央、国务院继做出西部大开发战略决策后的又一次促进区域经济均衡发展的重大战略决定。对于形成新的经济增长点,促进区域经济的协调发展,保持国民经济持续增长和社会稳定都具有重要意义。2003年,中共中央、国务院在《关于实施东北地区等老工业基地振兴战略的若干意见》中,     

计算机联锁报警设计的改进

JD-IA及DS6-11计算机联锁系统都采用双机热备的动态冗余结构,两套联锁机互为主、备,没有主次之分,在主用机发生故障,备机同步热备的情况下,能自动转换到备机工作,从而能实现无缝倒接,     

结合物业开发的地铁明挖区间设计

介绍杭州地铁1号线文化广场站-艮山门站明挖区间工程结合物业开发的设计方案,在地铁设计中应充分考虑预留物业开发条件,并提出对后期物业开发技术要求和建议。     

基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

轨道交通计算机平台----可靠性与可用性分析

介绍轨道交通计算机冗余系统的结构和基本原理,在综合考虑了故障覆盖率及维修率的情况下,计算了2系统的可靠度和可用度,并利用MATLAB仿真功能给出了相关比较曲线。通过分析比较,得出3取2系统的可靠性要高于2乘2取2系统的可靠性,而2乘2取2系统比3取2系统具有更高的可用性。