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

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

活用微课打造高效课堂——以汽车电子稳定程序控制系统(ESP)知识点为例

<正>《汽车底盘构造与维修》是中职汽车运用与维修专业的一门重要的专业平台课程,传统的教学方法和手段已不能满足科技含量越来越高的汽车行业对于高技能维修人员的需求,信息化手段已越来越多地融入专业教学中,这也倒逼教师的教学方式及学生的学习方式产生变革,推进教学信息化向内涵发展。微课作为一种符合信息时代和教育教学规律的全新教学形式,适用于新的教学模式。但优秀的微课设计及制作需要大量的时间、精力及成     

南京五桥南塔基础区域抛石置换施工控制研究

南京五桥南塔基础区域外侧为深水陡坡,存在大量岸坡防护抛石,影响桩基施工。通过抓斗船采用网格化方式清理抛石后,采用侧扫声呐和浅地层剖面探测相结合的物探方式能有效分析抛石清理的成效,为GPS定点清理桩基础位置残余抛石奠定基础;选择粒径2~6cm的袋装碎石按单层0.5m厚设计,并根据现场试验确定抛投提前量进行置换防护。后期顺利完成钢护筒及桩基施工。     

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

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

损伤车体表面重建及喷枪位姿规划研究

汽车喷涂行业职业病高发,寻找一种可以针对不同车型、不同部位进行自动识别的车体喷漆系统替代喷涂工人是亟待解决的问题.考虑到实际工况和工厂经济要求,提出一种基于线扫描传感器的车体表面重建系统及喷枪位姿规划方法.首先,介绍了整个系统的组成、各部件之间的关系及作用;其次,介绍了该系统的点云数据获取方法及点云数据重建显示;最后,阐述了系统点云数据法向量获取方法并通过MATLAB进行了法向量的可视化展示.该系统能够准确找到目标车体表面点云的法向量,为喷枪工作阶段的运动姿态进行实时引导.     

粉煤灰应用于路面基层的研究

以沈海电厂排放的粉煤灰为研究对象,对其各个方面的路用性能进行了系统的室内试验研究。试验表明加入早强剂后的粉煤灰具有较高的早期强度和水稳定性,可以将之应用于中、低等级公路路面基层或底基层中。     

智能化发动机台架监控系统设计

为建立智能化发动机台架的集中监控能力,文章介绍了远程终端单元、用户数据报协议等通讯协议,讨论并分析了各种通讯协议之间的优缺点。基于发动机台架中的信号类型,设计了以传输控制协议/网际协议为统一接口的集中监控系统。该系统将网络摄像头、台架温度和压力等传感器信号及台架辅助设备的信息传输到集中监控系统,实现了发动机台架集中监控系统高效、稳定的数据传输,为智慧试验室及集中监控系统等提供了指导。     

让压(组合)锚杆在挤压大变形隧道中的力学特性试验

全长黏结型长锚杆作为一种被广泛应用于治理挤压大变形隧道的支护措施，常因围岩变形过大，发生杆体断裂和垫板屈服等现象。为此，提出一种可自进式让压(组合)锚杆，通过在部分杆体上外套光滑套管形成无黏结段，使该无黏结段先于锚固系统破坏前“屈服”伸长，实现了长锚杆在全长灌浆条件下的“让压”,提升了锚固系统的整体稳定性。以新建木寨岭公路隧道为工程依托，采用自进式施工工艺，开展了全长灌浆下的10 m全长黏结锚杆和10 m让压(组合)锚杆的对比试验。试验结果显示：全长黏结锚杆轴力200 kN,超过杆体屈服荷载，且垫板在支护初期(4～5 d,围岩位移75 mm)即出现明显屈服，锚固系统整体稳定性差、可靠性低；让压(组合)锚杆因存在无黏结段，杆体轴力和垫板应力均出现下降，最终保持在一个较低的量值(130 kN和190 MPa),实现了全长灌浆型长锚杆的大尺度支护。研究成果可为大变形隧道中长锚杆的选型提供借鉴。