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

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

华晨宝马汽车今年销量突破1万辆

8月31日，宝马温州元德汽车有限公司向客户交付今年华展宝马销售的第1万辆国产宝马轿车。华晨宝马公司同时宣布，今年前8个月，国产宝马轿车的销量已经突破1万辆，超过了去年全年的总销量。有数据显示，今年1～6月，国产宝马的销量为7034辆，同比增长10％。另外，7、8两个月国产宝马的销量近3000辆。     

数据

全球20大班轮公司排名；全球造船总值772亿美元；同比增长1．3倍天津口岸钢材出口畅旺；中国外贸新年迎来开门红——1月份进出口总值950亿美元；中国出口集装箱运输市场评述出口货量显现平淡 元宵过后将见起色；     

2005年下半年摩托车市场走势

下半年，国家将继续加强和改善宏观调控，坚持稳健的财政货币政策，保持宏观经济政策的连续性和稳定性，更好地实行区别对待、有保有压，加快推进结构调整，着力转变增长方式，积极稳妥地推进蕈点领域、关键环节的改革。随着国家宏观经济政策的推进和加强，中国摩托车业将出现一个量的演变和质的提升。产销总量略低于上年，百万辆级企业数也会由上年的7家减少到4家左右。     

飞翔的海鸥MAZDA6 5HB

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

重卡市场煮酒论英雄

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

中国汽车零部件行业市场综述和展望

随着经济的全球化和一体化进程的不断深入，中国经济的发展成为带动世界经济向前发展的重要动力，当欧美发达国家经济增长乏力而中国经济一直独秀之时，跨国公司纷纷来华投资，将资金和技术投向中国的快速成长行业，欲分得中国经济增长的一杯羹。     

欧洲航运上半年纯利润增长8％

比利时的原油轮船主和营运公司欧洲航运上半年获纯利润13417万美元，比上年同期增长8％。其主要原因是VLCC的出租费第二季度上涨。营业额减少14％，为30110万美元。[第一段]     

需求反弹强劲 增速势头不减——11月份乘用车销售排行分析

1—11月乘用车销售566．26万辆。同比增长22．83％。预计1—12月份，轿车、MPV、SUV的销售增长会更高。增速势头不减。     

集装箱航运市场

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