军用装备体系结构论证方法
军用装备体系结构论证方法封面图

军用装备体系结构论证方法

赵立军, 任昊利, 张晓清, 编著

出版社:国防工业出版社

年代:2010

定价:35.0

书籍简介:

本书共分为10章。分别介绍了国内外的有关研究现状;装备体系的需求以及需求规范;军用装备体系的复杂性研究;系统建模语言SysML,并使用该语言对C4ISR的体系结构进行建模;模型的执行;Agent的方法及使用Agent技术来分析、设计装备体系;装备体系的效能评估以及用SysML方法、Agent方法等进行体系结构论证的案例和装备体系的标准结构设计。

书籍目录:

第1章 绪论

1.1 引言

1.2 国外研究现状

1.3 章 节安排

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

2.1 军用装备体系需求模型

2.1.1 装备体系需求问题框架

2.1.2 装备体系需求参考模型

2.1.3 装备体系军事需求

2.1.4 装备体系需求规格

2.1.5 命题一致性检验

2.2 体系的定义

2.3 体系结构的定义

2.3.1 设计师与体系结构

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

2.3.3 装备体系结构

2.4 军用装备体系的特点

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

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

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

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

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

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

4.1 C4ISR系结构描述方法简介

4.2 C4ISR体系结构框架产品

4.2.1 全视图产品

4.2.2 作战体系结构视图产品

4.2.3 系统体系结构视图产品

4.2.4 技术体系结构视图产品

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

4.4 结构化分析方法

4.4.1 功能分解和活动模型

4.4.2 数据模型

4.4.3 规则模型

4.4.4 动态模型

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

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

4.5 面向对象的分析方法

4.5.1 UML描述

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

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

4.5.4 从UML到C4ISR的映射

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

4.7 AP233与DoDAF的关系

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

5.1 SysML介绍

5.1.1 SysML产生

5.1.2 SysML功能

5.1.3 文档中心变成模型中心

5.1.4 SysML支持者

5.2 SysML与其他工具的关系

5.3 SysML建模过程

5.4 SysML中的主要图形

5.4.1 SysML语义

5.4.2 SysML的图形表示

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

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

5.5.2 需求和作战概念

5.5.3 组织结构和用例模型

5.5.4 功能体系结构设计

5.5.5 作战视图完成

5.5.6 系统功能描述

5.5.7 物理系统设计

5.5.8 需求满足和追溯性

5.5.9 小结

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

6.1 可执行体系结构框架

6.2 Petri网

6.2.1 基本Petri网理论

6.2.2 高级理论

6.3 从UML得到可执行模型

6.3.1 从UML到C4ISR的映射

6.3.2 从UML映射到有色Petri网

6.4 从SysML得到可执行模型

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

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

6.4.3 从SysML到CPN的转换策略

6.5 分布式交互仿真

6.5.1 验证与确认(VerificationandVa1idation)

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

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

6.5.4 HLA分布式交互仿真技术

6.5.5 HLA仿真技术框架

6.5.6 HLA分布式仿真设计

第7章 Agent方法与应用

7.1 引言

7.2 群体思维状态

7.2.1 联合信念

7.2.2 联合意图

7.2.3 联合承诺

7.3 MAS的形式语义方法

7.4 MAS的对策论方法

7.5 Agent组织

7.5.1 Agent组织及研究意义

7.5.2 Agent组织的形成和演化

7.5.3 Agent组织规则

7.5.4 与组织有关的模型

7.5.5 应用

7.6 Agent的社会性

7.6.1 社会Agent的思维属性模型

7.6.2 社会法视、规范和协调

7.6.3 社会经济学方法与拍卖

7.7 移动Agent

7.7.1 移动Agent的研究背景

7.7.2 移动Agent系统和实现技术

7.7.3 移动Agent的研究现状

7.7.4 移动Agent技术应用的研究

7.8 面向Agent的程序设计

7.8.1 Agento

7.8.2 AgentSpeak(L)

7.8.3 ConGo1og

7.8.4 3APL与GOAL

7.8.5 几种语言比较

7.9 面向Agent的软件工程

7.9.1 形式化方法

7.9.2 非形式化方法

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

7.11 结束语

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

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

8.1.1 效能的概念

8.1.2 效能的分类

8.1.3 效能评估的流程

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

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

8.3.1 信息系统综合集成

……

第9章 认证支持系统与案例

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

参考文献

缩略语

内容摘要:

《军用装备体系结构论证方法》介绍了装备体系的需求以及需求规范;军用装备体系的复杂性研究;系统建模语言sysML,并使用该语言对C4ISR的体系结构进行建模;模型的执行;Agent的方法及使用Agent技术来分析、设计装备体系;装备体系的效能评估以及用SysML方法、Agent方法等进行体系结构论证的案例和装备体系的标准结构设计。
  《军用装备体系结构论证方法》的读者对象为从事装备论证、装备科研生产、装备采办、装备指挥、装备保障、装备管理、装备试验等的管理技术人员,也可以作为相关专业硕士研究生的教材。

书籍规格:

书籍详细信息
书名军用装备体系结构论证方法站内查询相似图书
9787118068092
如需购买下载《军用装备体系结构论证方法》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位国防工业出版社
版次1版印次1
定价(元)35.0语种简体中文
尺寸23 × 17装帧平装
页数 230 印数

书籍信息归属:

军用装备体系结构论证方法是国防工业出版社于2010.6出版的中图分类号为 TJ01 的主题关于 武器装备-结构体系-论证-方法 的书籍。