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

本文结合军用软件的开发特点，针对实时系统的特征，提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件－动作模型及实时逻辑的基础上，设计了一种实时软件原型描述语言ＲＴＳＰＤＬ。该语言形式化地表示了事件－动作模型，突出了对实时需求求的优先级及异常机制的描述，实现了一个实时软件的原型建造环境ＰＥＲＴＳ。该环境包括一组原型建造工具的和原型的仿真环境，支持软件重用的开发方法。     

风化花岗岩土滑坡排水特性的研究

风化花岗岩土属于砂质土的范畴,由风化花岗岩土边坡而发生的各种事故通常是渗流水造成的;土的压实特性是由土与水之间的相互作用来决定的,同样土的干密度和剪切强度是随着其压实特性的变化而变化的;即便是密实风化花岗岩土渗入不适当的水后也会引起事故。本论文以讨论风化花岗岩土中水的活动机制为目的,通过各种实验来分析土的物理特性和地下水水位变化之间的关系;从而得出相关的实验成果。     

海外新车

灵感烙印荷兰设计工作室 UgurSahin Design 日前又送上了一款最新力作:克尔维特 Z03概念车。该车以克尔维特 Z06为设计原型,吸取了克尔维特 C3以及法拉利599 GTB 的部分设计灵感。其车体部分应用了大量碳素纤维材料,有效地降低了车身重量。克尔维特Z03有3款不同发动机,输出功率为373kW～560kW。其设计团队希望该车的年产量能达到100辆。     

钢渣应用于道路工程的研究

叙述了钢渣的物理力学性质，并针对其膨胀特性提出了如何因势利导，扬长避短用于道路修建的几种方法。     

水泥—乳化沥青混合料研究

本文主要介绍了水泥－乳化沥青混合料这两新型柔性路面材料的各项路用性能，推荐了适于半柔性路面材料特点的实验方法，论述了材料的基本物理 性质，并对其强度形成了理论探讨。     

广州市大学城隧道沉管段岩土工程勘察

广州市生物岛一大学城隧道沉管段设计条件异常复杂,对各项水文、岩土物理力学性质要求很高.勘察单位采用综合勘察方法,应用多种手段为设计提供了准确的地质资料,并得到开挖验证,满足了设计施工的要求.     

路基地震液化机制与防治措施研究

地震作用下,常常发生砂土液现象,直接或间接地恶化环境、降低环境质量,并导致了大量的破坏现象和严重的经济损失。分析了地震诱发的砂土液化的物理机制、影响因素,进而讨论了防治措施。     

基于数字孪生技术的环铁一体化协同试验平台研究

数字孪生技术是实现铁路数字化转型和智能化升级的有效手段。针对环形铁道(简称:环铁)试验基地各个试验任务相对独立、缺乏统一监测和管控等问题,研究开发了环铁一体化协同试验平台,实现环铁实验基地全域数据资产管理,基于环铁试验基地数字孪生模型,提供实验管理、资产管理、调度管理等应用功能,可对试验计划、试验流程、试验过程和试验结果进行有效管理,有助于优化环铁试验资源配置和试验流程再造,进一步提高了环铁试验基地的试验服务能力,为环铁试验基地数字化、智能化转型升级提供技术保障。