形式化可测性约束在软件模型实现过程中的研究

在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML模型，由于缺乏严格的定义及必要的约束，如果要生成高精度的软件模型，必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

"大疫"面前他们逆行而上演绎公交"大义"

在这场特殊的“战疫”中,有一只特殊的队伍,是由宿迁市城市公共交通有限公司(以下简称:宿迁公交)部分党员和入党积极分子主动请缨组成的一支“党员先锋队”,在各行各业都驻足停止的时刻,他们挺身而出,逆行而上,用坚守演绎公交“大义”,用无私诠释公交“大爱”,与宿迁市民一起风雨同行,用坚持与“大疫”抗争到底。     

均匀海水中的声衍射

本文利用惠更斯原理和虚源方法建立了均匀海水中障物后声传播损失的计算模型，并用虚源方法对模型进行了数值实验验证。该模型在计算均匀海水中障碍物后的传播损失时，考虑了声波的衍射效应，得到了和经验一致的结果。     

载货汽车钢板弹簧动态刚度与阻尼的统计计算

本文根据统计线性化原理,对载货汽车钢板弹簧迟滞随机恢复力进行分解,提出了适合于工程应用的钢板弹簧动态统计刚度与阻尼系数的计算方法。该方法的合理性经试验得以验证。本文提出的统计线性化模型可用于汽车悬挂参数的优化以及分析和预测汽车的平顺性。     

撕裂模量的实验测定方法的研究

本文用16Mn钢的三点弯曲试样进行了撕裂模量测定方法的研究。本研究用的是单试样方法根据剩余柔度估算的方法和根据参考曲线测定J阻力曲线的方法。     

浅水海域后潜战

总结瑞典努力重新获得反潜战能力的一些经验，这种努力始于1980年在瑞典海域的潜艇事故，揭示了瑞典对解决反潜问题的探索。     

基于Hough变换的被动声纳航迹起始

航迹起始是航迹处理中的首要问题.研究用批处理技术中的Hough变换方法来创建航迹起始,把航迹上的观测点变换为参数空间的对应曲线,充分利用一段时间内的目标观测数据,通过Hough变换排除大量的杂波点,在低信噪比下也能从背景噪声中提取目标的航迹特征,在参数选择理想的情况下,起始精度较高,仿真试验证明了有效性.     

北京亦庄北环路改扩建工程方案设计

随着我国经济和社会的不断发展,伴随城市整体转型和整合需求,部分早期规划实施的干路已不能满足新的交通需求,需要对其进行改造提升。通过对区域发展和北京亦庄北环路改扩建工程建设条件进行分析,提出改造设计原则和目标。详细介绍了具体的技术标准及道路改造设计方案,为类似城市改扩建工程提供设计思路。     

欧洲应答器报文译码的研究以及FPGA实现

应答器作为车-地间信息传输的主要方式之一,在列车控制系统中应用广泛,目前在国内也得到了大量运用.在了解应答器系统结构、报文格式及FFFS编码策略的基础上,重点研究欧洲应答器报文译码策略,并通过使用FPGA芯片实现译码功能.