PERTS——一个实时系统的原型建造环境的设计与实现

本文结合我国军用软件的开发特点,针对实时系统的特征,提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上,设计了一种实时系统原型描述语言RTSPDL,该语言形式化地表示了事件——动作模型,突出了对 时需求的优先级及异常和违章机制的描述。实现了一个实时系统的原型建造环境PERTS。该系统包括一组原型建造的工具集和原型的运行环境,支持软件重用的开发方法。语法制导的图示原型编辑器能形象、直观地对原型进行描述,原型生成器快速地生成原型的Ada可执行代码;原型的运行环境保证了原型的有效运行,并支持对实时环境的仿真。     

海事管理动态

交通部加强交通行业中央企业安全生产工作；交通部下发《关于进一步加强交通安全管理的紧急通知》；交通部下发《关于切实落实水上交通安全管理各项措施的紧急通知》；交通部下发《关于做好引航安全管理工作的通知》……[编者按]     

消灭继电器故障隐患确保列车运行安全

针对JRJC(二元二位继电器)故障引起的区间信号点短时间内闪红现象，分析其故障原因，并在检修中采取了相应的措施，消灭了继电器故障病患，提高了器材的出所质量。     

西班牙购买“标准-1”VI B型战术导弹

美国国防安全合作局9月6日报道，美国国防安全合作局已通报国会，可能向西班牙出售94枚SM-1 Block VIB战术导弹及其相关设备和服务，总售价将达到4100万美元。     

论安全管理体系的监控

本文依据对<国际安全管理规则>和<国内安全管理规则>有关条款的理解,阐述指定人员和船长如何监控安全管理体系的有效运行,促进安全管理体系的不断完善.     

休闲轿车成消费新选择

前不久．国内某著名市场研究咨询公司进行的一次网上调查显示．就外型而言，有65.5％的网友喜欢两厢车，喜欢三厢车的网友比例已经下降到34.5％，而对于潜在的轿车消费者．倾向于“两厢”轿车的比例为62.3％．倾向于“三厢”轿车只占潜在消费者的28.2％。从调查结果看来．三厢车情结正在日益淡化．使得消费者个性化汽车消费需求越来越强烈，休闲轿车满足了这一消费需求。     

装卸机械配件经营中应注意的几个问题

铁路配件站对物资进行专业化归口管理，此举对堵塞零星采购的漏洞,保障装卸机械质量和装卸作业安全，起到关键作用。但在装卸配件经营中直注意以下一些问题。