当前位置:首页 > 其他书籍
军用装备体系结构论证方法
军用装备体系结构论证方法

军用装备体系结构论证方法PDF电子书下载

其他书籍

  • 电子书积分:10 积分如何计算积分?
  • 作 者:赵立军,任昊利,张晓清编著
  • 出 版 社:北京市:国防工业出版社
  • 出版年份:2010
  • ISBN:9787118068092
  • 页数:230 页
图书介绍:本书共分为10章。分别介绍了国内外的有关研究现状;装备体系的需求以及需求规范;军用装备体系的复杂性研究;系统建模语言SysML,并使用该语言对C4ISR的体系结构进行建模;模型的执行;Agent的方法及使用Agent技术来分析、设计装备体系;装备体系的效能评估以及用SysML方法、Agent方法等进行体系结构论证的案例和装备体系的标准结构设计。
《军用装备体系结构论证方法》目录

第1章 绪论 1

1.1 引言 1

1.2 国外研究现状 2

1.3 章节安排 3

第2章 军用装备体系需求、概念与特点 4

2.1 军用装备体系需求模型 4

2.1.1 装备体系需求问题框架 4

2.1.2 装备体系需求参考模型 6

2.1.3 装备体系军事需求 7

2.1.4 装备体系需求规格 9

2.1.5 命题一致性检验 11

2.2 体系的定义 12

2.3 体系结构的定义 12

2.3.1 设计师与体系结构 13

2.3.2 设计师对体系结构的描述 14

2.3.3 装备体系结构 14

2.4 军用装备体系的特点 15

第3章 军用装备体系的复杂性研究 16

3.1 复杂适应系统的基本概念 17

3.2 军用装备体系的复杂适应性描述 20

3.3 装备体系的复杂适应性特征 20

3.4 装备体系的系统演化机制 21

第4章 军用装备体系结构描述方法 23

4.1 C4ISR系结构描述方法简介 23

4.2 C4ISR体系结构框架产品 25

4.2.1 全视图产品 25

4.2.2 作战体系结构视图产品 26

4.2.3 系统体系结构视图产品 27

4.2.4 技术体系结构视图产品 29

4.3 建立C4ISR体系结构框架产品的过程 30

4.4 结构化分析方法 32

4.4.1 功能分解和活动模型 32

4.4.2 数据模型 35

4.4.3 规则模型 35

4.4.4 动态模型 36

4.4.5 集成词典和模型的协调性 36

4.4.6 使用结构化方法进行DoDAF体系结构设计 37

4.5 面向对象的分析方法 39

4.5.1 UML描述 39

4.5.2 用UML开发体系结构的过程概述 40

4.5.3 用UML开发体系结构的核心 41

4.5.4 从UML到C4ISR的映射 42

4.6 结构化与面向对象方法比较 44

4.7 AP233与DoDAF的关系 44

第5章 军用装备体系结构描述语言 47

5.1 SysML介绍 47

5.1.1 SysML产生 47

5.1.2 SysML功能 48

5.1.3 文档中心变成模型中心 49

5.1.4 SysML支持者 49

5.2 SysML与其他工具的关系 50

5.3 SysML建模过程 51

5.4 SysML中的主要图形 53

5.4.1 SysML语义 53

5.4.2 SysML的图形表示 54

5.5 基于SysML的体系结构产品设计过程 61

5.5.1 基于SysML的体系结构设计思路 61

5.5.2 需求和作战概念 62

5.5.3 组织结构和用例模型 64

5.5.4 功能体系结构设计 65

5.5.5 作战视图完成 77

5.5.6 系统功能描述 78

5.5.7 物理系统设计 79

5.5.8 需求满足和追溯性 80

5.5.9 小结 80

第6章 体系结构的可执行模型 83

6.1 可执行体系结构框架 83

6.2 Petri网 84

6.2.1 基本Petri网理论 85

6.2.2 高级理论 88

6.3 从UML得到可执行模型 89

6.3.1 从UML到C4ISR的映射 89

6.3.2 从UML映射到有色Petri网 90

6.4 从SysML得到可执行模型 96

6.4.1 可执行体系结构的先决条件 97

6.4.2 基于静态视图与动态驶入的转换策略 97

6.4.3 从SysML到CPN的转换策略 97

6.5 分布式交互仿真 98

6.5.1 验证与确认(Verification and Validation) 98

6.5.2 分布式交互仿真技术的特点 99

6.5.3 分布式交互仿真技术的几种实现方案分析 100

6.5.4 HLA分布式交互仿真技术 104

6.5.5 HLA仿真技术框架 105

6.5.6 HLA分布式仿真设计 108

第7章 Agent方法与应用 112

7.1 引言 112

7.2 群体思维状态 113

7.2.1 联合信念 113

7.2.2 联合意图 114

7.2.3 联合承诺 114

7.3 MAS的形式语义方法 115

7.4 MAS的对策论方法 117

7.5 Agent组织 119

7.5.1 Agent组织及研究意义 119

7.5.2 Agent组织的形成和演化 120

7.5.3 Agent组织规则 122

7.5.4 与组织有关的模型 122

7.5.5 应用 123

7.6 Agent的社会性 123

7.6.1 社会Agent的思维属性模型 124

7.6.2 社会法视、规范和协调 125

7.6.3 社会经济学方法与拍卖 126

7.7 移动Agent 129

7.7.1 移动Agent的研究背景 130

7.7.2 移动Agent系统和实现技术 137

7.7.3 移动Agent的研究现状 149

7.7.4 移动Agent技术应用的研究 154

7.8 面向Agent的程序设计 157

7.8.1 Agent 0 157

7.8.2 AgentSpeak(L) 158

7.8.3 ConGolog 158

7.8.4 3APL与GOAL 159

7.8.5 几种语言比较 160

7.9 面向Agent的软件工程 160

7.9.1 形式化方法 161

7.9.2 非形式化方法 162

7.10 基于多Agent技术的电子对抗装备故障诊断系统 164

7.11 结束语 166

第8章 装备体系效能评估与优化 168

8.1 效能的概念及效能评估流程 168

8.1.1 效能的概念 168

8.1.2 效能的分类 168

8.1.3 效能评估的流程 169

8.2 装备体系效能评估总体思路 170

8.3 装备体系效能评估层次分析 172

8.3.1 信息系统综合集成 172

8.3.2 作战要素综合集成 173

8.3.3 作战体系综合集成 173

8.4 基于综合集成的装备体系能力需求分析 173

8.5 构建装备体系评估指标的指导思想 175

8.5.1 指标体系建立的原则 175

8.5.2 指标体系建立的要求 176

8.5.3 指标体系建立的步骤 176

8.6 装备体系评估指标体系构建 176

8.6.1 集成基础评估指标 177

8.6.2 集成系统评估指标 181

8.6.3 集成应用评估指标 185

8.7 装备体系优化方法 186

8.7.1 多方案选优方法 186

8.7.2 数学规划方法 187

8.7.3 仿真优化方法 187

8.7.4 多学科设计优化方法 188

8.7.5 探索性分析优化方法 189

8.7.6 体系优化未来的研究方向 189

第9章 论证支持系统与案例 192

9.1 装备论证协同决策支持系统 192

9.1.1 系统功能需求及体系框架 192

9.1.2 系统设计 193

9.2 基于Agent的装备体系基础模型建模 196

9.2.1 需求分析 196

9.2.2 建模分析 197

9.2.3 实例描述 202

9.3 基于HLA的空战仿真应用 204

9.3.1 空战仿真 204

9.3.2 关键接口规范分析 206

9.3.3 关键技术分析 207

第10章 装备信息标准体系结构设计 209

10.1 结构化思想 209

10.2 装备信息的特点 210

10.3 装备信息标准体系结构设计的原则 211

10.4 装备信息标准体系结构形式 212

10.4.1 金字塔型结构 212

10.4.2 网络型结构 213

10.4.3 循环型结构 214

参考文献 216

缩略语 229

返回顶部