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

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

P2P蠕虫及其对抗技术的研究与进展综述

文章首先剖析了P2P蠕虫的定义、传播方式,讨论了P2P蠕虫的传播模型,分析了现有检测技术在P2P蠕虫检测方面的不足,归纳了当前针对P2P蠕虫的主要检测方法,最后给出了P2P蠕虫方向的若干研究热点问题和展望.     

基于寿命分布的备件需求计算模型分析

根据指数分布、正态分布和威布尔分布的寿命分布类型,对航海装备的一些维修备件进行分类,并提出了在满足备件保障度下这三种寿命分布类型备件的需求计算模型,对一些备件需求预测实例进行了预测计算。     

短波语音信道的Simulink仿真

Watterson模型是性能良好的短波窄带信号模型.基于Watterson模型搭建了能全面考虑短波多径时延、多普勒扩展等特性的Simulink短波语音信道模型,采用1800Hz的单音语音信号作为输入,通过分析和比较输入输出信道信号的时、频特性,验证了模型的可行性,对短波电离层语音信道的研究有一定的参考价值.     

改进多目标粒子群优化算法在营养配餐中应用

营养配餐计算模型为多目标模型,求解过程复杂,笔者利用改进过的多目标粒子群算法优化后,再根据配餐用户的偏好信息进行优化,摆脱了传统多目标优化的权重系数的影响,使得营养配餐计算模型能够满足各类人群的差异化、特殊化.最后,笔者以一日营养量为目标进行实际配餐,实验证明,配餐结果令人满意.     

同步发电机带整流性负载在三相坐标系中全阶模型的仿真研究

在三相坐标系中进行仿真能准确直观地分析系统中各状态量的稳态和暂态过渡过程,为分析存在大量非线性元件的船舶电力系统提供了一种很好的分析方法.在三相坐标系中建立了同步发电机带整流性负载系统的全阶数学模型,并在此坐标系中进行仿真分析.仿真结果与实际物理过程完全相同,表明此方法是正确有效的.     

欠驱动船舶鲁棒路径跟踪控制器设计

针对欠驱动船舶直线路径跟踪控制系统中存在的外界干扰影响,提出一种鲁棒跟踪控制算法.该控制算法基于重定义输出、解析模型预测控制、高增益观测器等技术,使得欠驱动船舶能够渐近镇定于给定的直线参考路径.计算机仿真实验验证了算法的有效性.所提出的控制器具有良好的控制效果以及对外界干扰的鲁棒性.     

不可压缩液体中自由气核分叉特性研究

空化气泡会引起强烈的声辐射和舰船壳体振动,自由气核振动的跨临界分叉研究对寻求空化气泡的生成机理具有重要意义.通过建立不可压缩液体中自由气核的振动模型,由中心流形定理对该振动模型进行约化,得出中心流形上的跨临界分叉方程,通过该振动模型的分叉研究,提出了产生气泡的新机理,并进行了仿真实验加以验证.仿真结果表明,跨临界分叉是自由气核产生气泡的一条途径.     

湍流入口条件对CFD计算结果影响的数值分析

在计算流体力学软件FLUENT中,包含有很多计算模型,对于不同的问题需要采用一种较好的模型进行解决,目前较为广泛使用的湍流模型是k-ε二方程模型.本文基于CFD软件,应用k-ε二方程湍流模型对细长体绕流问题进行数值模拟计算,进而比较湍流模型中湍流参数的设置对计算结果的影响.通过模拟计算得到的湍流强度(%)Ⅰ及粘性比的取值范围有较好的适应性;水下片体间存在有利干扰和不利干扰,采用k-ε二方程湍流模型计算双体的互相干扰是可行的.     

舰船运动对舰船磁场特性的影响分析

舰船因海浪的起伏而产生了横摇、纵摇、垂荡等运动状态,从而破坏了舰船静止时的磁场特性.在假设横摇、纵摇、垂荡为简谐运动的前提下,利用静止舰船磁场模型,仿真和分析了舰船运动对舰船磁场特性的影响.