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

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

可持续发展综合交通运输系统规划理论研究

阐述了可持续发展综合交通运输系统的内涵,从运输供给、需求和运输方式的外部性三个方面指出了可持续发展综合交通运输系统的三个发展方向;对发达资本主义国家综合交通体系形成与发展进行了具体的分析,提出了其发展的三个阶段论即发展阶段、调整阶段和可持续发展阶段;论文对国内外综合交通体系的发展现状及规划理论研究现状进行了整体分析,进而从宏观、中观、微观、操作四个层面提出建立可持续发展综合交通运输系统规划理论体系的具体研究任务。     

日本智能交通系统的发展

本文主要介绍日本ITS（智能交通系统）研究开发的近况及发展趋势。     

港澳珠三角交通基础设施如何协调

2005年香港机场货运量340．1万吨，其中七成货物来自内地：广州机场货运量75．1万吨；深圳机场46．7万吨，其中国际货物6．3万吨；澳门机场22万吨。珠海机场的利用率只有6％左右。据中国民航总局预测，2010年以前，中国航空客、货运量都将以每年14％的速度递增；从2010年-2020年，     

以科学发展观为指导推进2005年的交通发展和改革

新年伊始,首先向交通领域中的开拓者致以真诚的问候,感谢他们为我国的交通发展不断挖掘新的源泉、注入新的生机。同时也向广大的交通使用者、交通管理者和交通建设者们致以真诚的问候,感谢他们的相互支持、相互协作和相互谅解使交通运输有序的运作,不断产生满足社会经济发展的交通供给和需求。过去的一年是交通领域硕果累累的一年,也是交通运输供求最为紧张的一年,在辞旧迎新之际,总结过去的一年,展望新的一年,对我们进一步做好2005年交通工作是非常重要的。 　一、2004年我国交通运输发展和改革工作回顾2004年,是我国改革开放和经济建设取…     

承前启后，继往开来——祝贺“世界轨道交通发展研究会2005年会”召开

进入2005年的岁末年尾，北京刚刚迎来了50年不遇的一场严寒。而中国轨道交通领域不但没有进入“冬眠期”，而是“喜事不断”，频出的“大事件”延续了一年以来轨道交通建设的热潮。     

道路交通事故分析

以我省公路为切入点,分析道路交通事故发生原因,并提出预防措施。