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

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

基于GIS的港口防台应急辅助决策与指挥系统研究

台风防御是我国东南沿海各港口＂三防＂工作的重中之重。分析了目前我国港口防台工作的不足之处,提出了利用地理信息技术解决目前存在的问题,设计并开发了港口防台应急辅助决策与指挥系统。在软件整体架构设计、功能模块设计、数据设计等方面进行了研究,并介绍了＂厦门港防台应急指挥系统＂的应用情况。     

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

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

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

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

自行车在城市交通中的定位

自行车交通具有方便、快捷、无污染的优点,但也存在不少问题,应认真研究其特点及其对城市交通的影响,以便对自行车交通进行科学合理的规划和引导,明确自行车在城市交通中的定位及发展方向。     

房屋预售制度若干法律问题探析

房屋预售合同有效性的认定、房屋认购定金的处理、违约金数额的调整、按揭合同的法律属性、房屋预售合同的解除以及房屋预售中所有权转移时间的认定是房屋预售制度的关键性法律问题。     

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

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

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

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