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

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

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

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

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

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

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

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

整治建筑物壅水及重力相似偏离影响的初步研究

简述整治建筑物的壅水及其机理,归纳出局部水头损失壅水的通用公式。将丁坝工程壅水区分为床面摩阻损失增大壅水和局部水头损失壅水2部分。在ΔFr>0的模型中,采用换算式ΔZp=ΔZm.hλ,定性地说是偏大的。可采用换算式Δhfp=Δhfmhλ。而丁、潜坝局部水头损失的壅水,则应采用hjp=Δhjmλu02。     

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

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

工程车辆牵引动力学概述及其研究回顾(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等.     

上海大众帕萨特轿车故障二例

一辆帕萨特B5轿车，因空调不制冷来我公司维修。打开发动机罩盖，起动着车后，发现压缩机电磁离合器吸上之后马上又断空调系统电路图，对其仔细研究，结果发现能够控制压缩机通、断的，不仅有温度控制开关，而且还与空调压力开关相通。难道是压力开关坏了?仔细查看压力开关线路(帕萨特B5没有电脑空调自检系统)，并对压力开关插头进行短接，压缩机开始连续工作，但发出刺耳的“吱……”响声，很明显，压缩机发卡。