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

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

水下双层圆柱壳辐射声场欠定分离评估方法研究

水下双层加筋圆柱壳振动和辐射声场的评估对其辐射噪声监测和控制具有重要工程意义。文中通过结构振动模态参与因子向量自身的稀疏特性,分析提出了一种基于结构振动的辐射噪声欠定分离评估方法,可实现有限振动测点情况下的水下复杂结构振动和辐射声场的有效评估。数值和试验结果验证了文中方法的有效性,且所需要的振动测点数目少,具有良好的工程适用性。     

浅谈公路项目风积沙施工管理

风积沙是透水性较好的路基填料,可有效阻断盐分上升,避免盐胀现象产生。在路基施工中,用风积砂填筑路基,其施工质量控制得好坏直接影响公路路基的整体强度和稳定性。结合实践对沙雅至阿拉尔公路项目的风积沙施工管理进行了总结。     

贵州水柏铁路北盘江大桥钢管拱转体施工技术

北盘江大桥是第一座单线铁路上承式钢管拱桥，跨度为236m。介绍钢管拱工厂单元制造、工地拼装焊接，钢管拱桥的转体结构、线形控制，以及半拱万吨单铰转体合龙的施工技术。     

改造阳极系统,提高轻卡前围电泳漆膜厚度

驾驶室前围属于规定的涂装A区,对漆膜厚度有着较为严格的要求。针对因车型变化而导致的前围电泳漆膜厚度不达标问题进行了分析,通过对涂装线原有阳极系统进行优化和改造,解决了这一难题。     

舰船造水装置用水位调节器的使用和改进

本文介绍双喷咀挡板式水位调节器的工作原理及在舰船造水装置中的应用情况，并根据应用中所存在的问题，研制出了浮子喷管式水位调节器。     

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

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

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

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