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

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

地铁隧道下穿人行天桥注浆加固技术

北京地铁7号线湾子站—达官营站区间采用矿山法施工,并通过注浆加固措施成功实现暗挖隧道下穿人行天桥。文章简要介绍工程中注浆支护方案选择、后退式深孔灌注双液浆施工方法、后退式深孔全断面注浆施工方法,以及注浆检测与效果评价。     

基于UWB定位的邮轮乘员伴随关系发现算法

准确发现邮轮内部空间乘客之间的伴随关系, 在室内环境安装UWB定位设备开展室内人员定位实验。根据UWB定位的位置数据特点, 提出结合室内位置语义的Hausdorff-DBSCAN算法以聚类邮轮乘员轨迹, 并利用LSTM神经网络对疑似伴随关系对象进行相似度变化趋势的预测。传统的Hausdorff算法在计算轨迹相似度时未考虑轨迹时序一致的问题, 引入位置语义序列能够较好地解决这个问题。改进后的Hausdorff-DBSCAN算法的输入为乘员轨迹数据集, 根据轨迹整体相似度阈值选定聚类半径, 输出具有伴随关系的乘员轨迹聚类结果; LSTM神经网络以定长时间窗口的点邻近度序列为输入, 预测后1个时刻点邻近度值, 结合轨迹相似度阈值和预测结果分析乘员伴随关系的时序变化。利用Anylogic建模单层邮轮室内环境进行乘员仿真得到的轨迹数据验证算法的有效性。改进的Hausdorff-DBSCAN算法的准确率为0.920, 召回率为0.950, F₁值为0.934, 准确率高出对比算法至少5.7%, 召回率高出对比算法至少8.0%, F1值高出对比算法至少6.7%。同时LSTM在预测邮轮乘员之间相似度变化时, 收敛后的误差值能保持在3%~4%左右, 预测结果具有较高的准确性。      

京沪高速铁路路基与横向结构物过渡段施工技术

高速铁路路基过渡段引起的不平顺往往是长波不平顺,对乘车舒适性影响最大。以京沪高速铁路路堤式涵路过渡段施工为例,从施工准备、施工方法、检验标准、沉降变形监测、路基相关工程等方面进行了详细说明。施工实践表明,过渡段施工完成后各项指标符合路基填筑质量控制标准,能够达到设计要求;并提出了施工中应重视填筑过渡段和分段填筑时搭接的长度和宽度的控制,防止出现差异变形。     

城轨车辆空气制动管路系统安装工艺分析

文章介绍城轨车辆空气制动管路系统中管路连接件的结构原理,阐述管路系统的具体安装工艺,并就实际工作经验对安装重点、难点给出了建议及解决思路。     

昔格达地层泥质粉砂岩灌注桩承载性状试验研究

西攀路昔格达地层分布广泛,桥位桩桩基大多数置于昔格达地层中,该桩基承载性状研究资料缺乏,根据对西攀路安宁河蒲坝工点试验段4根灌注桩的现场静载试验结果分析,揭示了昔格达地层灌注桩承载特性和荷载传递机理,得出了昔格达地层泥质粉砂岩的侧摩阻力、桩端阻力及桩尖容许承载力。     

三峡库区某石拱危桥改造治理

分析了三峡库区某石拱桥出现问题的主要原因,提出了改造治理对策和改造治理方案,并对改造方法进行了总结.     

超员客车,悠着点……

春运客流高峰,有些客车司机受经济利益的驱使,拿人民群众生命当儿戏,铤而走险,违法超员现象时有发生,给道路交通安全造成了巨大隐患.春运期间,公安交通管理部门虽然不断加强对路面的监控,且加大对客运车辆的检查力度,但超员客车司机总会想尽办法,绞尽脑汁,采取各种手段逃避交警的盘查,惯用的方法有以下几种: