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

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

兹邦船长的的奇遇

兹邦船长一次亲身的奇遇至今还记忆犹新。那一次，“奇普洛号”船接受了英国政府的特别命令，从非洲海岸的洛伦索·马贵斯港沿着海岸驶往西海岸的达咯尔港。     

浅水立波底部附近悬沙含量的二维分布

本文应用卡门理论得到浅水立波紊动粘性系数的计算式,再由此求出浅水立渡底部附近悬沙含量的二维解答,与Hattori的半经验结果符合良好。     

清水冲刷河床调整过程试验研究

通过沙质河床清水冲刷水槽试验,对河床纵剖面的调整、沙波尺度、粗化层厚度及其与沙波运动关系、粗化层级配、推移质级配等进行了观测分析,进一步揭示了清水冲刷,河床重建平衡的机理。水槽试验表明,沙质河床清水冲刷,上游河段比降调平,床沙粗化,沙波发育,河床阻力增大,水深增大,流速减小,导致河床供沙能力削弱,输沙能力降低,冲刷向不冲刷转化。     

黄河牌JN1171／044高原型载货汽车介绍

一、前言 济南汽车制造总厂自1960年生产出我国第一辆重型载重汽车——黄河牌8吨载重车以来,三十多年来不断推出新产品,至今已具有年产万辆汽车、五大汽车系列、一百多个品种的生产能力。为了解决黄河牌汽车高原行驶动力性不足与经济性下降的问题,济南汽车制造总厂与西宁高原工程机械研究所联合开发出适应于高原的10吨级JN1171/044高原型载货汽车,并于去年通过了中国重型     

山区河流航标船系泊锚石系统失稳机制试验研究*

山区河流具有水流湍急、流量与水位变幅较大等特点,常导致航标船失稳、移位以及漂移破坏等,给船舶航行造成重大安全隐患。选取长江上游典型事故河段,从锚石阻水面积、锚石质量、水深、流速以及缆绳角度等因素,开展航标船系泊锚石系统失稳机制试验研究。研究结果表明：从锚石形状角度,扁平锚石具有重心低、底面积大和阻水面积小的优势,相比于同质量的方形锚石具有更强的稳定性和极限拉力;从水流和缆绳角度,随着弗劳德数和缆绳角度的增加,航标船系泊锚石系统稳定性越差,其中缆绳角度越小其稳定性越好;提出极限拉力与水深、流速及缆绳角度等因素的关系式。为山区河流航标船系泊锚石结构布置提供理论支撑。     

基于无线Mesh网络技术的列车宽带接入原型系统设计

随着高速铁路、公路交通的发展,信息网络的移动接入技术需要得到相应的改善和提高。根据公共移动通信网和铁路专用移动通信网的发展现状,目前有多种列车移动接入技术。通过方案比较,本文原型系统采用了基于无线Mesh网络技术的无线宽带接入技术。当前,无线Mesh网络可遵循的标准有IEEE802.11s草案,该草案对无线Mesh网络的功能、接口及网络协议栈进行了全面的定义。本文根据IEEE802.11s草案,在Linux操作系统下定义了Mesh协议栈框架,并在此基础上设计实现了针对列车的车地宽带接入带状应用场景的无线Mesh网络原型系统,并就搭建的实际网络场景进行了性能测试。实验结果表明,所设计的原型系统基本达到了列车车地宽带接入应用的要求。     

吹填沙法建防洪堤

本文介绍福建省若干个采用吹填沙的方法建造堤防工程的情况 ,其中详细介绍了桔园洲防洪堤工程用吹填法构筑反滤沙堤的施工工艺及特点。同时本文还总结了吹填沙施工方法的特性和优点     

库布齐沙漠公路沙害综合防护技术

内蒙古自治区锡乌穿沙公路修建在库布齐沙漠高大的流动沙丘区，风沙流侵袭与沙丘整体前移埋压公路是主要沙害形式。现有防沙措施是沙障保护下的人工植被及封育恢复起来的天然植被构成的综合防护体系，固沙及阻沙效益明显。文章重点介绍了防护体系建设技术。