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

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

动态权重的数字化刻面分类模式研究

构件的分类与描述是构件库管理系统的核心。文章在研究经典刻面分类模式的基础上,提出了一种基于动态权重的数字化刻面分类模式。该模式通过原子术语数字化、动态权重的引入以及构件间相关度的定义,将构件的检索过程转化为n维空间中向量与矩阵的乘法。改进后的分类模式有效提高了构件检索时的查准率与检索效率。     

基于WVD和Hough变换二值积累的信号检测方法

WVD-Hough变换是检测多分量线性调频信号的有力工具,但当多分量线性调频信号能量相差较大时,采用WVD-Hough变换进行检测,就会导致强信号对应峰值的平台将弱信号所对应的峰值掩盖掉。虽然可以通过基于＂CLEAN＂思想的算法将信号一一检测出来,但带来的计算量急剧增大。为此在WVD-Hough变换的基础上提出了基于WVD-Hough变换的二值积累方法,该方法可以同时检测出强信号以及被强信号平台掩盖的弱信号,具有很大的实用价值,仿真的结果验证了算法的有效性。     

舰艇声呐系统集成探讨

舰艇声呐系统集成是当前舰船电子研究领域的新热点,同时它也是一项复杂的系统工程。分析国内外舰艇声呐的发展过程和趋势,从舰艇平台、作战系统、声呐设备几方面对舰艇声呐设备集成概念等进行研究、探讨,提出了舰艇声呐功能、结构、信息一体化集成建议。     

船舶制造企业质量信息管理系统框架模型研究

针对船舶制造企业质量信息管理普遍存在的质量管理体系与实际生产不一致、质量信息断层和信息孤岛等问题,本文提出了一种面向产品全生命周期的质量信息管理集成方案,以质量过程控制为基础,通过规范质量信息的内容和信息传递的渠道,将大量纵横交错汇聚在产品建造过程中的既离散又相关的质量信息有机地联系起来,实现各相关部门（船东、企业内部、供应商）质量信息的透明．     

空气净化器风道的计算机仿真

在进行空气净化器风道结构的设计中,风道的结构形式对风量起着重要的影响。本文利用ICEPAK计算机仿真软件在设计阶段对空气净化器的风道进行模拟仿真,建立了风道的仿真模型及建模过程,仿真出风道进口处与出口处的空气流速的变化值,进一步研究离心风机的风量与滤层阻力、流量、流速的影响关系。通过实验比较,在不同滤器种类的情况下,验证了风阻对风量的影响大小,证明了空气净化器风道计算机仿真的正确性。     

舰舰导弹对敌水面舰艇突防能力评估模型初探

舰舰导弹是对水面舰艇攻击的主要武器之一,导弹突防能力是评价导弹性能的重要指标.根据反导武器系统的特点,建立了单发和多发导弹对敌舰攻击的突防能力模型.     

Quasisteady theory for the hydrodynamic forces on a circular cylinder undergoing vortex-induced vibration

Vortex-induced vibrations of a rigid circular cylinder were studied by constructing a theory based on a wake oscillator model under quasisteady approximations, thereby evaluating vortex-induced hydrodynamic forces acting on the cylinder. A lock-in limit line representing the boundary for the occurrence of frequency lock-in was also theoretically derived. Hydrodynamic forces in forced oscillation problems estimated by the theory were compared with measured ones. Although some discrepancies were found, particularly in cases with high-frequency oscillations, good agreement was achieved in most cases. Accordingly, we conclude that the present theory captures well real phenomena in the wake downstream of a cylinder subjected to a flow.     

基于Petri网的现代造船车间工作流建模研究

面向生产过程控制,分析了现代造船车间生产作业流程与作业活动,提出以工作流管理系统为集成平台的车间生产过程管理,应用模块化着色网MCPN建立系统过程模型.动态适应性的系统过程模型是以基本子流程为模块,以作业任务为核心,自下而上建立的模块化Petri网结构,可体系化、参数化描述现代造船车间生产物流与作业流.     

基于三维CAD的船体集成装焊工艺设计与分析系统

根据集成化和工艺优化的设计思想,针对目前国内造船企业生产工艺设计手段水平不高和工艺可靠性分析不够规范的现状,设计开发了基于三维CAD的船体集成装焊工艺准备系统.实现了该系统与焊接工艺FMEA系统的集成,达到了集成焊接工艺设计与分析的目的,从而促进了船体快速工艺设计和工艺可靠性分析,提高了工艺准备的效率和质量.并给出了验证实例.