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

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

35000DTWT散货船整船结构有限元分析计算模型浅析

作者应用ＳＥＳＡＭ计算系统建立了船舶整船结构有限元分析的计算模型，以３５０００ｄｗｔ散货船为实例，介绍了整船结构有限元分析的建模过程，该系统的前处理及超单元装配等主要功能特点的应用，以及工作中得到的一些经验体会，与读者共同探讨。     

别克 荣御“巨舰”售41．8万～49．8万元

3月21日，上海通用汽车正式公布了三款别克荣御行政级高档房车的市场售价：3．6L豪华运动版49．8万元，3．6L豪华版46．8万元，2．8L豪华版41．8万元。其中3．6L豪华运动版在四月份上海国际车展期间亮相，而3．6L豪华版和2．8L豪华版于即日起先行在北京、上海、广州、成都等全国20多个重要市场开始销售。     

驾驶Elan的旅行

讲述车手的生活故事、赛车运动内外的有趣见闻、参加比赛的真实感受     

北京金港国际赛车场迎来美国冠军大奖赛

2005年4月3日，北京汽车摩托车运动协会与美国冠军大奖赛组织者正式签定协议，2006年将在北京金港国际赛车场举办分站赛。以此同时，也将展开现有场地的改造工程，以适合明年比赛的需要。据金港国际赛车场方面介绍，改造之后的赛道长度力3．65公里。不仅适合美国冠军大奖赛的需要，也符合明年3月在中国举办A1大奖赛的标准。     

集装箱生成量可拓聚类预测

分析了集装箱生成量可拓聚类预测的建模机制，构建出可拓聚类预测的物元模型，并用该模型对集装箱生成量进行了区间预测。     

工程车辆牵引动力学概述及其研究回顾(15)

3.4牵引动力学模型的分析与总结 通过上述机器牵引系统各部件的运动方程式（1.50）～式（1.56）的联立求解,可以分析机器的各种工作状态,计算出相应的动态性能指标.对机器系统来说,输入为发动机的循环供油量△g=△g（h,ωe）,或者说是供油拉杆的位移h（PT的压力pe）;干扰有工作负荷Fx（t）和影响行走机构滑转性能的诸因素,在取静态滑转曲线计算时,干扰仅为工作负荷Fx（t）;系统输出为牵引力fk（t）、行走速度V以及在此基础上计算的牵引功率NT、牵引效率ηT、牵引比油耗gT、牵引小时油耗GT等.     

基于泊松分布的微观交通仿真断面发车数学模型研究

论文在分析了交通流概率分布规律的基础上提出一种适用于微观交通仿真的基于泊松分布的断面发车模型，并根据实际测量情况，定义泊松分布的参数λ、α的概率含义，再将含有车辆数、时间、概率三个变量的泊松分布得出在微观交通仿真中使用的发车模型，并给出计算机实现的算法。     

波罗的海干散货运价指数演变机壁

利用基础分析法研究了波罗的海干散货运价指数(BDI)的演变机理，期望在研究航运期权定价模型、利用运费期权规避航运风险方面有一定的借鉴和指导作用。     

阿耕信箱

永无止尽的华尔兹 “赢了冠军，输了全世界。纵你口水滔天，也没什么能放慢法拉利那嚣张的脚步。”一个Tifosi这样形容以前的法拉利。从1999年到2004年连拿6个车队和5个车手总冠军，树敌众多，自然也容易倒霉。如今法拉利和舒马赫在新规则大改后，他们终于有了近年来史无前例的背运。大概想象力再大的预言家年初也想不到2005年的F1有这般局面。