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

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

3000 吨级多用途综合节能示范货船研究设计

３０００吨级多用途综合节能示范货船“玉环泉”号已于１９９５年８月正式投入营运，目前正成功地航行于香港－日本－韩国之间的集装箱定班航线上。首先介绍船体节能和轮机节能的研究，然后介绍船舶的主要技术参数，阐述了该船的设计特点及综合节能水平评估，最后以示范货船及比较船进行模型试验比较，并进行了相应的实船试验，比较和试验的数据结果表明，示范货船“玉环泉”号的研究设计是成功的。     

新大洋里的“女伯爵”

坠毁后的发现 “连接!”皮特坐在驾驶座上用大家都懂的英语和俄语各说了一遍。约那斯不需解释就明白他说的是什么意思:与拜科努尔的联系中断了。在接下去的二十分钟内他们就应该降落了,燃料已快用完,气流的干扰迫使他们不断地修正轨道,被迫比计划提前二圈进行着陆。他们先前还希望拜科努尔能给他们提供一个完好的飞机场,可眼下在他们底下出现的只有阿尔卑斯     

锰对工人血清胆碱酯酶活性和尿香草扁桃酸含量的影响

为探讨职业性锰暴露对工人血清胆碱酯酶活性和尿香草扁桃酸(VMA)水平的影响,对55名锰粉加工工人、55名冶炼工人和55名对照工人进行了调查.结果显示,锰粉加工作业环境空气锰尘中MnO2几何均数为1.96 mg/m3(0.17～22.24mg/m3),样品超标率为88.9%;冶炼作业环境空气锰烟尘中MnO2几何均值为0.65 mg/m3(0.06～6.67mg/m3),样品超标率为93.3%.锰粉加工和冶炼组头晕头痛、睡眠障碍的主诉率明显高于对照组(P＜0.01),锰粉加工组血清胆碱酯酶活性明显增高(P＜0.05),提示这可能是锰的早期神经毒性所致.     

电力牵引供用电管理的思考

根据供用电管理的实践，从牵引供电损耗基本概念出发，分析了影响供电损耗各个环节的主要因素，提出了技术管理措施，并建议以提高铁路分局整体经济效益为目标，用新概念和新方法改进供用电损耗管理工作。     

船舶上的"黑匣子"--航行状态记录仪研究

介绍我国自行研制的航行状态记录器基本原理及研制工作中采取的技术措施。     

弯道环流与沿河路基冲刷试验研究

对河弯水流形态和弯道环流的形成，发展规律以及弯道中泥沙运动特性进行了分析和试验观测，建立了沿河弯凹岸路基的最大冲刷深度计算公式，为沿河路基护坡和挡土墙的基础埋置深度进供了可靠依据。     

半潜船运输钻井平台可行性的分析方法及应用

介绍钻井平台运输市场的情况和半潜船作业的过程 ,探讨半潜船运输钻井平台可行性分析的过程和内容 ,介绍并评价可行性分析用到的遭遇风浪数据库IMDSS、切片法等技术。计算实例证明 ,利用波浪预报和切片理论相结合分析运输可行性的方法 ,可以得到满足工程需要的分析结果。     

绕海底管线悬空段肩部的三维湍流结构的数值研究

用三维有限元方法模拟了恒定来流绕悬空的海底管线与海床相交处,即管线悬空段肩部的三维流动情况.基于管线直径和来流流速的Re数为5×105.应用Smagrinsky亚格子模型来封闭湍流方程.通过对数值研究结果的可视化处理,由涡量幅值的三维等值面可见,绕悬空段肩部在管线上游形成了一条涡管,它的一端绕过半埋于海床的管线段的顶部,另一端延伸至悬空管线上游的海床上;而由对称张量S2+Ω2(S和Ω的分别为速度梯度张量的对称和反对称分量)的特征值定义的涡核可进一步显示三维流动结构的细节.本文的研究为利用数值模型进一步研究海底管线周围局部冲刷沿管线轴向发展打下了初步的基础.