- UML活动图的形式语义及分析
- 1
- 《计算机工程与应用》大连理工大学信息与决策技术研究所;大连舰艇学院作战软件研究中心;大连舰艇学院教育技术中心 梁义芝 王延章 缪旭东 刘云飞 出版年：2003
- 关键词：UML活动图 形式语义 系统分析
- 反舰导弹突防概率随机模型的构造与分析
- 2
- 《军事运筹与系统工程》海军大连舰艇学院作战软件研究中心 马政伟 熊吉光 出版年：2001
- 关键词：突防概率 统计模型 战术运用 反舰导弹
- 海军作战指挥辅助决策模型的组织与表达
- 3
- 2001中国控制与决策学术年会 2001李加祥 出版年：2001
- 关键词：作战指挥 辅助决策 模型组织 模型表达 海军
- 一种时序推理系统框架
- 4
- 2001中国控制与决策学术年会 2001梁义芝 出版年：2001
- 关键词：时序推理系统 时序数据 系统框架
- 飞航导弹弹道仿真的检验
- 5
- 2001年中国系统仿真学会学术年会 2001胡海 刘鼎臣 出版年：2001
- 关键词：飞航导弹弹道 系统仿真 仿真检验
- 飞航导弹弹道仿真的检验
- 6
- 二○○一中国系统仿真学会学术年会 2001胡海 刘鼎臣 出版年：2001
