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％左右。     

青岛港：生产上升 单耗下降

以不断创造装卸生产世界纪录而闻名遐迩的青岛港,与全力打造世界级港口同步,致力于建设资源节约型港口。十多年来,在港口生产突飞猛进的同时,港口综合能源单耗、装卸生产单耗却在悄然下降。“十五”期间,青岛港在吞吐量年均增长15.8%的情况下,综合能耗的涨幅仅为8.9%。在建设节约型港口中的卓越表现,使青岛港成为全国首批8家“国家环境友好企业”之一,获得了青岛市首批清洁生产     

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

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

港口起重机起升机构调速方式的探讨

一、港口起重机的工作特点 港口起重机是用来完成船舶及车辆的装卸作业的，它与其它用途的起重机如船厂安装用的起重机及电站起闭闸门用的起重机等有所不同。港口起重机主要以工作效率为主，特别对其主要的工作机构起升机构而言，其工作效率更加重要。因此，对起升机构的每一个工作循环中，应尽量减少辅助时间，即空载下降的时间，这样就要求起升机构的上升速度和下降速度不一样，也就是要求起升机构能实现调速，