海军大连舰艇学院作战软件研究中心
- 作品数：6 被引量：27H指数：2
- 相关机构：大连理工大学管理科学与工程学院大连理工大学管理科学与工程学院信息与决策技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术军事兵器科学与技术更多>>
- UML活动图的形式语义及分析被引量：24
- 2003年
- UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。
- 梁义芝王延章缪旭东刘云飞
- 关键词：UML活动图形式语义
- 海军作战指挥辅助决策模型的组织与表达
- 以GJB2786和GJB438A为依据,针对软件系统设计过程中的概要设计与详细设计,将海军作战辅助决策模型划分为理论模型与工程模型,给出了它们的主要作用及组织与表达格式.
- 李加祥
- 关键词：作战指挥海军
- 文献传递
- 一种时序推理系统框架
- 介绍一种基于知识的对时序数据进行解释的时序推理系统框架.
- 梁义芝
- 关键词：时序数据
- 文献传递
- 飞航导弹弹道仿真的检验
- 论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则.提出了飞航导弹弹道仿真检验的基本思想和检验的标准.建立了进行飞航导弹弹道仿真检验的检验步骤和方法.对于如何利用非同一母体的实飞数据对仿真数据进行...
- 胡海刘鼎臣
- 关键词：系统仿真
- 文献传递
- 反舰导弹突防概率随机模型的构造与分析被引量：3
- 2001年
- 根据现代海战的特点,结合敌我武器装备的实际,对反舰导弹的突防概率统计模型进行构造和分析,并建立仿真程序,对影响导弹突防能力的因素进行分析,得出结论。
- 马政伟熊吉光
- 关键词：突防概率统计模型战术运用反舰导弹
- 飞航导弹弹道仿真的检验
- 论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真检验的基本思想和检验的标准。建立了进行飞航导弹弹道仿真检验的检验步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行...
- 胡海刘鼎臣
- 文献传递
