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

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

飞翔的海鸥MAZDA6 5HB

新Mazda6轿跑车是在Mazda6车型的基础上,新近开发的一个全新的产品,它的推出不仅将影响Mazda6三厢车的定位，也将进一步满足时尚与活力、运动与激情这一细分市场的用户需求,巩固Mazda6在这一细分市场的地位。作为首款轿跑车,“新Mazda6轿跑车”将以优异的跑车性能，豪华的装备，以及完美的驾乘舒适性,功能性,在中国家用车市场上掀起不小的波澜。     

重卡市场煮酒论英雄

进入2005年以后,我国政府提出要建设“节约型”社会,倡导“科学发展观”,在这一理念指引下,投资已不再是拉动经济增长的主要方式,消费和出口对经济增长的贡献变得越来越大。由于重卡生产资料的属性，投资的回落使得重卡市场增速也快速回落，专家预计，2006年重卡市场容量将基本维持2005年24～25万辆的水平。同时，由于中国产业层次的提升,具体表现为第一产业所占份额的下降、第三产业所占份额的提高，以及第二产业内部的结构调整，这种产业结构的变化直接带来运输车辆结构的变化。那就是大吨位的重卡产品逆市上涨，表现出强劲的发展上升态势。进入2006年以后，这种趋势更加明显，280ps以上的重卡产品需求急速上升。     

集装箱航运市场

8月份,班轮市场相继进入需求旺季,主要港口出口贸易需求明显增加。与此同时,运力供给速度明显加快,运价在供需博弈中, 下滑风险不断增加。中国出口集装箱综合运价指数8月19日收报1127.85点,同比7月下降1.7%,同比上年基本持平。主要表现为:远洋线运价小幅上扬,近洋线费率持续低迷。8月份,美国线运价继续维持坚挺走势。美西线平均舱位利用率保持在95%左右,美东线持续爆舱,但     

印度轿车工业现状与前景(一)

1印度汽车产业政策的调整 1.1对外政策的调整 1954年,印度政府规定不允许外国跨国汽车公司插足印度汽车工业,对整车的进口关税曾高达350%,对进口汽车零部件也实行高关税.1986年,印度对进口汽车零部件的关税仍高达40%.     

论公路运量和运力的相关关系

本文对公路运量和运力、需求和供给的内涵作了深入分析，论证了两者的辨证关系，阐述了当前我国公路运力相对过剩、运力大于运量的成因及其对策。     

2005年我国成品油需求增速将降至10％左右

在对2005年国际国内宏观经济环境及行业政策环境进行分析后，石油界专家认为，2005年我国石油需求增速将有所下降，但仍将保持略高于国民经济增长的幅度，预计全年成品油需求将比上年增长10％左右。     

交通需求OD估计与预测的现状研究分析

目前，对于静态OD矩阵估计问题已经有很多研究者，对于动态OD前沿的研究工作则非常有限。关于对OD估计和预测的研究可分为封闭网络和开放网络。介绍了研究封闭网络的Bell，Van der Zijpp，Chang and Wu和Chang and Tao等人的方法，以及研究开放网络动态估计的3种方法，即Cascetta、Okutani、Ashok和Ben—Akiva等人的方法。并指出可以将OD估计问题陈述为具有不同误差特性、多个来源的不同类型信息的综合性和一致性的结合体，此联合估测就是经济计量学的混合估计的问题。