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

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

几种常见形式的等效阶梯截面

针对许多平面杆系桥梁分析软件仅提供梯形分块法的截面尺寸输入方式和截面几何特性已知或者有解析表达式的带有曲边的截面不便直接使用梯形分块法的问题，利用桥梁结构平面计算中截面等效的概念．提出了等效算法，构造了节线数不多于6的等效阶梯截面，推导了等效阶梯截面几何要素的一般计算公式．给出了圆形、圆环等几种常用截面形式的不多于6条节线等效阶梯截面尺寸计算的具体而又简捷的公式。     

信号降级显示的原则——谈9047图册的废止信号规范释疑（之五）

标准图((信号显示举例图册》图号-电号9047，业内人简称9047图册，宣布废止已经1年。9047图册废止后给有关部门带来不少困难，一时议论很多，好在新标准图((信号显示图例》即将编成。     

弹性分组环中MAC协议公平性研究

作为了满足下一代宽带IP城域网需求的新一代光纤环城域网，IEEE802．17工作组规划的弹性分组环网具有非常优良的性能。在简要阐述该环网基本MAC协议存在的问题和公平性原理之后。本文介绍了一种空分复用MAC协议公平性算法，并利用仿真方法，分析了该算法在不同流量模式下的性能，和相同流量模式，不同算法参数下的性能，进而提出了改进MAC协议公平性算法所必须考虑的主要问题。     

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

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

DSP技术在移频自动闭塞系统中的应用

叙述了运用DSP技术解调FSK信号的方法及系统接收带宽确定的条件和DSP芯片实现时域频域变换的算法及抗干扰算法。     

用定时器实现复杂计算过程的实时显示

提出了在VC＋＋环境下通过定量器实现复杂，耗时较长的船舶航行性能计算过程的实时显示技术，并应用于笔者开发的ShipPO软件中，实践证明该技术是可行的。     

微轿市场常青树:哈飞路宝

据素有武汉“车市晴雨表”之称的竹叶山汽车市场数据显示，该市场今年上半年售出汽车134万辆，其中轿车6591辆、客车4317辆。比去年同期下滑了3000多辆，但比去年下半年增加1000多辆。此外，油价上涨使小排量车型销售好于去年同期，尤其是哈飞路宝，这款车型自今年3月份以来，在武汉地区的销量比去年同期增长了一倍，月销量在50台以上，并呈上升趋势，多次出现货源紧张状况。     

广东出租车获准收燃油附加费

据9月9日《广州日报》报道，今年以来，受成品油价格不断上调的影响，广东省出租车燃油成本大幅度上升，经省政府同意，广东省物价局出台政策明确，各地可向乘客开征燃油附加费。广州市物价局新闻发言人、副局长吴林波表示，广州有关燃油附加费、燃油补贴在内的一揽子方案已上报市政府。而据此前广州出租车协会透露的信息显示，燃油附加费可能为每乘次1元。     

高速公路联网收费清分算法中对环型路网结构的处理

在高速公路联网收费的清分算法中，公路的环型结构是一种常见且需要对其进行特殊处理的情况。本文首先对已有的环路处理方法进行分析，以无环型结构的清分算法为基础，对路网中的环型路段进行定义和描述，从而对原有矩阵算法进行必要的修改，形成了包含环型结构在内的路网收费数据清分表的构造方法，从算法的角度为准确进行联网收费提供了可靠的清分依据，并结合甘肃省高速公路路网对本算法的应用进行了分析。