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

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

基于矢量水听器的海洋环境噪声场空间相关

研究界面噪声场下矢量水听器声压与质点振速的相关特性。利用射线声学原理,给出了求解海洋环境场声压场与质点振速场空间相关特性的方法。通过简单的数值积分,可以方便地求解给定了海面、海底反射系数、介质声吸收系数的海洋环境下噪声场空间相关特性的问题,并给出了特定条件下的计算结果。     

无线传感器网络安全路由协议SNEP的分析与仿真实现

以提供可靠保密通信为目标的安全路由协议的分析是无线传感器网络安全基本研究领域之一．阐述了针对无线传感器网络的攻击手段所采取的措施,研究了安全路由协议,重点研究了其中的传感网络加密协议（Sensor Network Encryption Protocol,SNEP）,并进行了仿真实现,最后针对无线传感网络的攻击方式对SNEP的安全性进行了分析．结果证明SNEP协议具有数据机密性、数据认证、防御重放攻击等安全服务．     

不完备目标信息系统中的可变精度粗糙集模型

文中以同时具有缺席型和遗漏型未知属性值的不完备目标信息系统为研究对象,根据特征关系,研究可变精度粗糙集的模型及其性质．可变精度粗糙集模型与原始的粗糙集模型不同,它是建立在集合多数包含的基础上的,因而该模型是基于特征关系的经典粗糙集模型的推广形式,而基于特征关系的经典粗糙集模型则是可变精度粗糙集模型的一种特殊表现形式．文中对新模型的主要性质作了阐述和证明,结果表明：在不完备目标信息系统中,新模型与原始的粗糙集模型相比具有更高的近似精度,可进行更为精确的度量．     

U型半潜式起重铺管平台的总强度分析

采用有限元分析的方法,对一U型半潜式起重铺管平台进行了总强度分析,为该平台的结构设计提供了重要参考依据。     

某型科考船多波束基座安装技术研究

全海深多波束是科考船重要的声学设备之一,安装在船体底部平坦区域,用于全海洋海底地形和地貌探测。多波束系统庞大、结构复杂、基座安装精度要求高。文中结合某科考船实际多波束加装工程,立足于基座高精度安装需求,从基座设计、建造和现场安装等三个方面对多波束基座安装技术展开讨论。总结得出的相关工序、工法等满足该船多波束基座的高精度安装要求,有力保障了该项目的顺利实施,并可为类似船型相关设备的设计、安装提供参考。     

Numerical Simulation of Advanced Geological Forecasting Based on Multi- Source Seismic Interferometry北大核心CSCD

For existing advanced geological forecasting, the forecast distance is short and the test frequency is high, increasing test and construction risks. Since various methods have different requirements for the test environ-ment, preparation work can be tedious and result in a long construction time thereby affecting normal construction.A new advanced geological forecast technique based on multi-source seismic interferometry for tunnels is proposed.This technique uses the blast at one end of tunnel as a centrum and receives the signal at the other end of the tun-nel, therefore allowing advanced geological forecasting of the unexcavated tunnel part by relative processing and im-aging. A numerical simulation of this kind of geological forecasting using the finite difference method to simulate two kinds of unfavorable geological bodies (karst and a fault) predicted them accurately and verified the effective-ness and accuracy of this geological forecasting method. © 2018, Editorial Office of "Modern Tunnelling Technology". All right reserved.     

Buck斩波电路电流连续与电流断续的比较研究

对降压斩波电路负载加反电动势其电流在不同情况下发生的连续和断续现象进行了研究。根据分段线性化思想,推断出降压斩波电路输出电流在断续情况下的条件,给出了其在电流断续的计算公式,为其实际应用提供了方便。     

基于GIS的航道辅助设计平台的设计与实现

基于航道地理空间特性和航道设计相关规范及工作流程,选用Arc GIS作为基本框架,经多项关键技术开发构建而成航道辅助设计平台。平台具有自然条件分析、河床演变分析、航道尺度计算及选线布置等设计功能,并配置水深数据识别、地形坐标转换等通用工具,可对航道基础数据和设计成果进行综合管理,初步实现专业间设计协同,基本达成航道设计工作的标准化和提高工作效率的目标。     

隧道内爆炸作用衬砌结构的动力响应和损伤机理研究

隧道内爆炸作用可能导致其衬砌结构的破坏和坍塌,造成车辆通行受阻和生命财产损失。为了研究隧道衬砌结构的抗爆性能,应用AUTODYN软件建立了隧道衬砌-岩石-土壤的三维数值模型,并考虑炸药-空气-结构的流固耦合相互作用,以及隧道内爆炸作用对衬砌结构的动力响应和损伤机理进行了数值模拟分析。结果表明:在不同炸药量作用下,超压峰值及冲量以爆心地面投影点为中心,向四周迅速衰减,表现出一定的规律性;离爆心最近的底板首先出现损伤,并向四周扩展,直墙角部由于受到底板竖向变形而引起的拉应力作用,较早地出现损伤,在直墙壁和拱顶产生纵向和环向的裂缝,这些裂缝把整体式隧道衬砌结构分割成大小不等的混凝土块体。