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

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

水深平均k—ε紊流模型在大尺度水域中的应用研究

本文利用Patanker求解紊动输运方程标准的SIMPLEC计算程式,对小尺度丁坝绕流进行了模拟计算,取得了与水槽试验一致的流速分布结果。为了探讨大尺度水域紊动量K、ε壁面边界条件的给定,本文将水槽看成是一种比尺模型,将水槽试验流速分布按重力相似和阻力相似准则延伸到大尺度水域,并以此研究k—ε模型模拟大尺度回流的置信水平。计算结果表明通过选择合适的紊动量壁面边界条件,该模型对大尺度回流计算也能取得较好的结果。     

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

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

沥青混合料的非常规试验

对沥青混合料配合比设计中遇到的诸如拌楼冷料仓流量，热料仓供料比，加热温度、拌和时间、摊铺温度、碾压温度、碾压速度、复压遍数非常规试验作较详细介绍，供有关施工单位参考。     

国内首条“四自”航道改造完成

9月13日．国内首条“四自”航道（自行贷款、自行建设、自行收费、自行还贷）浙江湖州市妙湖线改造工程。顺利通过竣工质量鉴定，被评定为优良工程。妙湖线的建设，有效破解了航道改造筹资难题，开创了航道建设融资新模式。     

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

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

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

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