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

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

影响经济型车市场的若干因素分析

首先通过统计数据，说明2005年初以来经济型车市场的繁荣状况。并通过汽车的购买和使用成本、国家有关行业指导性政策、汽车产品定位和消费升级及宏观经济4个角度进行分析，预测了经济型车市场的巨大容量和发展潜力。同时，简要阐述了对经济型车厂商的规划思路和产业格局的理解。     

船舶市场

中远向川崎造船订造世界最大的1万TEU船；东方海外向三星重工订造2艘45001TEU船；长荣将建造47艘7024TEU集装箱船；阳明向中国造船公司订造5艘4250TEU集装箱船；2004～2020年新造船需求日本韩国中国大致相同。     

休闲轿车成消费新选择

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

飞翔的海鸥MAZDA6 5HB

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

世界油运市场走势

2月份,受欧佩克决定维持目前额定产量的鼓舞,国际油运市场开始大幅反弹,结束了持续一个多月的低迷走势。其中,VLCC海湾东行运费由1月份WS70点左右升至2月18日的WS150点,反弹幅度达114%;日租金水平重上10万美元左右。同期,苏伊士型油轮运费走势与VLCC基本一致,其中海湾-中国南部     

重卡市场煮酒论英雄

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