基于Event-B形式化分析UML模型一致性

软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的方法和规范性要求,设计具体的转换算法,证明这些算法的规范性以及采用这些算法转换得到的Event-B模型和原UML模型的等价性.文中提出了基于EventB形式化分析UML模型一致性的方法,并通过具体的案例说明了方法的具体执行过程.结果证明:基于Event-B形式化分析UML模型一致性的方法是有效的,可帮助改进UML模型质量.     

船舶避碰路径规划研究综述

对船舶避碰模型和路径规划方法进行分类综述和评价,将评价碰撞危险的船舶避碰模型分为碰撞危险度模型和船舶领域模型,将现有的船舶避碰路径规划方法分为确定性方法和智能优化方法,并分别对其研究成果进行总结,分析船舶避碰路径规划发展趋势.     

一种航母指控系统研发的工程模型浅析

本文介绍一种可用于航母指控系统开发的工程模型,该模型将原有的2种方法进行结合,形成了一种环形的新模型,并研究了该模型的基础和开发难点。该模型克服了两种方法的缺点。     

舰船集装箱逆向运输闭环网络优化模型

传统的网络模型设置的约束条件较差,导致该模型的灵敏度偏低,致使集装箱逆向运输存在较大偏差,因此提出舰船集装箱逆向运输,闭环网络优化模型全新的构建方法。该方法利用遗传算法提取逆向运输网络结构特征,根据约束时序设置网络闭环约束条件,通过网络节点控制结构,实现对网络模型的优化。实验结果:与传统的构建方法相比,所提出方法构建的网络模型灵敏度更高。由此可见该模型性能更优越。     

基于Matlab/Simulink的船舶主柴油机转速控制系统的动态仿真

建立船舶主机转速控制系统的非线性动态仿真模型,柴油机子模型、控制系统子模型和螺旋桨子模型。在理论分析的基础上,采用模块化的设计思想,通过Matlab/Simulink的动态设计方法对该模型进行了离线仿真,实验结果表明,提出的方法和所建立的模型是真实可靠的。     

一种高效的舰船磁性定位方法

为有效解决现有磁性定位方法定位精度不高的问题,提出了基于磁偶极子阵列模型的磁定位方法.为求解模型参数,根据磁场测量数据建立了定位参数反演模型.针对实际舰船磁性检测中所得磁场信息的局部性而引起反演模型病态不适定问题,应用Tikhonov正则化方法优化求解模型参数.船模实验证明,该方法对船模进行定位计算,定位精度高,结果稳...     

航运经营管理决策支持系统开发技术研究

讨论了航运经营管理决策支持系统的开发技术方案，明确了采用面向对象的方法和以Ｖｉｓｕａｌ ＦｏｘＰｒｏ作为开发工具的方案；在模型管理方面，研究了用模型类和模型数据库共同表示模型的方法以及模型的构造，操作问题；最后描述了整个系统的结构框架。     

含高弹性联轴器的舰船推进轴系抗冲击研究

在含高弹性联轴器的舰船推进轴系抗冲击设计中，针对高弹性联轴器位移补偿指标难以确定的问题，开展了高弹性联轴器当量模型与推进轴系抗冲击模型的研究；提出了当量模型的建立方法，将高弹性联轴器2种模型与推进轴系组合建立成推进轴系4种模型，分别对4种模型进行抗冲击计算，确定实体等效模型是最佳模型，并对其进行抗冲击性能分析。研究表明，高弹性联轴器当量模型建立方法和实体等效模型能快速、高效地预估含高弹性联轴器的推进轴系的抗冲击性能，设计方法可为高弹性联轴器的选型设计提供指导。     

雷达电子战仿真模型库构建方法研究

对雷达电子战仿真模型构建方法进行了探讨,对雷达电子战仿真模型层次结构进行了分析研究,确定雷达电子战仿真模型库存放的模型内容及模型库的功能,对模型进行分析研究并建立面向对象的仿真模型,分析研究了仿真模型库管理系统的实现方法及模型管理过程。     

灰色组合模型在港口集装箱吞吐量预测中的应用

文章尝试将两种独立的灰色模型预测方法，GM（1，1）模型与Verhulst模型结合起来考虑，形成一种新的灰色组合预测模型方法．为灰色模型应用于近期、中长期的预测提供了一个新的解决方案。     

改进的灰色预测模型在过坝货运量预测中的应用

通过某些数学处理方法,从建模机理上着手对GM(1,1)模型进行改进,减小由于建模方法上的缺陷所造成的固有误差.改进后的模型较传统模型灵活性大、预测精度高,大大提高了GM(1,1)模型的适用范围.通过实例探讨了GM(1,1)改进模型在货运量预测中的应用,同时也验证了改进方法的有效性和实用性.     

面向体系结构的作战任务剖面建模仿真方法

[目的]为有效分析作战任务剖面的系统行为和系统性能,[方法]提出一种面向体系结构的任务剖面建模与仿真方法。从体系结构建模出发,基于任务剖面的国军标定义,借鉴Do DAF模型对任务剖面进行描述;建立任务剖面体系结构模型,提出体系结构模型到智能体(Agent)仿真模型之间的转换关系,形成任务剖面可执行模型。[结果]以对空防御任务剖面为例,基于体系结构模型建立了基于Agent的仿真模型,分析了仿真模型的输入输出关系,[结论]可为作战任务剖面设计提供方法指导。     

EGM 2008模型在远距离水位观测中的应用研究

为了解决远距离水位观测中垂直基准模型的构建问题,基于EGM 2008模型,通过"移去-拟合-恢复"技术建立了测区范围内不同基准面的大地高模型。通过实例讨论了构建深度基准面大地高模型的步骤和方法。结果表明,该模型构建方法正确,模型中误差为3 cm,能满足区域范围内水位观测的需要。     

基于不同模型的艉轴架结构固有振动特性分析

论文针对艉轴架结构的固有振动特性展开分析,分别采用梁单元模型、实体单元模型以及流固耦合模型对艉轴架结构的振动特性进行仿真分析,并与规范计算方法进行对比分析以探讨不同模型的实用性。研究表明,相比梁单元模型和实体单元模型,采用流固耦合模型方法能更好地预报艉轴架结构的固有振动特性。     

GM(1,1)灰色模型在目标跟踪中的分析和改进

分析GM(1,1)灰色模型应用于目标跟踪的性能,指出其为受限的变加速模型,提出了速度模型的概念,并指出模型精度的受限的原因,给出相应的改进方法,最后通过仿真说明了该方法的有效性.     

基于AAKR模型的船用低速柴油机状态监测方法

针对船用二冲程低速柴油机运行状态监测,本文分析现有的柴油机状态监测方法,并指出现有方法的不足之处。提出基于AAKR模型的柴油机状态监测方法,同时阐述AAKR模型的原理。该方法具有无需故障数据、无需对模型进行训练与调参、高效快捷等优点。本文建立柴油机仿真模型,通过对柴油机模型进行模拟状态监测实验,证明基于AAKR模型的柴油机状态监测方法的有效性,最后讨论不同带宽的选择对模型性能的影响。该方法无需故障数据的特性使其具有更强的普适性,可广泛应用于船舶柴油机的在线状态监测和预警。     

基于GEKO湍流模型的JBC流场数值模拟

[目的]两方程模型是RANS工程计算中常用的湍流模型,其中SST k-ω湍流模型具有良好的壁面距离自适应性和逆压梯度流预报能力.然而,湍流模型构造过程中引入的经验性参数使得湍流模型不具普适性,为此,研究采用引入流动控制参数的方法提高湍流模型对船舶流场的适用性.[方法]在经典SST k-ω湍流模型的基础上,GEKO(Ge...     

面向体系结构的作战任务剖面建模仿真方法北大核心CSCD

[目的]为有效分析作战任务剖面的系统行为和系统性能,[方法]提出一种面向体系结构的任务剖面建模与仿真方法。从体系结构建模出发,基于任务剖面的国军标定义,借鉴Do DAF模型对任务剖面进行描述;建立任务剖面体系结构模型,提出体系结构模型到智能体(Agent)仿真模型之间的转换关系,形成任务剖面可执行模型。[结果]以对空防御任务剖面为例,基于体系结构模型建立了基于Agent的仿真模型,分析了仿真模型的输入输出关系,[结论]可为作战任务剖面设计提供方法指导。     

基于CAD模型的船舶有限元建模方法

基于NX的三维CAD/CAE通用集成平台,提出一种基于CAD模型快速生成船舶结构有限元网格的方法,在CAD环境中将船舶中相交结构进行分割,建立相邻边的匹配关系,将CAD模型转换成多面体模型,在多面体模型中实现相交板架的缝合操作,最后生成有限元网格模型。以实际船舶模型为例进行测试,结果表明,该方法可以实现CAD模型与网格模型的自动关联,CAD曲面修改时网格模型可以自动更新,可有效提高网格的生成效率。     

舰船模块化设计中信息集成化的数据信息模型研究

介绍了产品集成信息模型的基本框架和用STEP标准建立构件模型和装配模型的方法，并以球面隔壁为对象给出构件模型和装配模型的实例。