| 本书是作者多年就Petri网、C4ISR系统建模理论与方法以及Petri网在C4ISR系统建模、仿真与分析中应用研究的工作总结，内容包括Petri网的基本理论以及Petri网在C4ISR系统分析、设计与评估各方面的应用。是一本信息科学教材。 |
| 第一章 模型与建模方法论 第一节 模型的一般概念 1.1.1 概述 1.1.2 系统的模型谱系 1.1.3 建模的基本原则 1.1.4 建模的基本方法 第二节 系统的数学模型 1.2.1 数学模型的定义与作用 1.2.2 数学模型的分类 1.2.3 系统的数学模型 第三节 系统建模途径和过程 1.3.1 建模过程的信息源 1.3.2 建模过程的总体描述 1.3.3 模块化建模方法 第四节 离散事件系统模型与基本的建模方法 1.4.1 离散事件系统模型 1.4.2 基本建模方法 1.4.3 Petri网建模方法 参考文献 第二章 Petri网基础理论 第一节 Petri网基本概念 2.1.1 Petri网相关的例子 2.1.2 网的基本定义 第二节 条件事件系统 2.2.1 情况和步骤 2.2.2 条件事件系统 2.2.3 循环和活性模型 2.2.4 条件事件系统的等价与同构 2.2.5 无冲撞条件事件系统 2.2.6 条件事件系统的情况图 第三节 条件事件系统的运行特征 2.3.1 偏序集 2.3.2 发生网 2.3.3 进程 2.3.4 进程与情况图 第四节 位置转移网 2.4.1 位置转移网 2.4.2 位置转移网的矩阵表示 2.4.3 可达性 2.4.4 有限覆盖 2.4.5 活性 第五节 网不变量 2.5.1 S-不变量 2.5.2 用S-不变量进行系统分析 2.5.3 T-不变量 第六节 基本Petri网建模的一般方法 参考文献 第三章 高级Petri网 第一节 谓词/转移网 3.1.1 谓词/转移系统的概念 3.1.2 谓词/转移系统的定义 3.1.3 谓词/转移系统的行为 第二节 着色Petri网 3.2.1 CPN的概念 3.2.2 CPN的定义 第三节 时间Petri网 3.3.1 时间Petri网的概念 3.3.2 时间Petri网的定义 第四节 随机Petri网 3.4.1 随机Petri网的概念 3.4.2 随机Petri网的定义 第五节 对象Petri网(OOPN) 3.5.1 OOPN的概念 3.5.2 OOPN的定义 参考文献 第四章 Petri网在C4ISR系统功能分析中的应用 第一节 “立方”分析法 4.1.1 确定系统功能和执行功能资源 4.1.2 功能分析 4.1.3 数据处理与通信负荷分析 4.1.4 系统不同结构的分析 第二节 功能需求的Petri网描述 4.2.1 功能责任的Petri网描述 4.2.2 基于剧情的功能需求建模 4.2.3 不同执行模式的需求建模 第三节 案例：空中禁飞任务系统 4.3.1 简介 4.3.2 功能定义 4.3.3 执行器定义 4.3.4 功能责任的描述 4.3.5 详细需求的生成 参考文献 第五章 Petri网在指挥控制分析中的应用 第一节 指挥控制系统的Petri网描述 5.1.1 单个指挥员的模型 5.1.2 指挥员交互作用的模型 5.1.3 资源限制的指挥员模型 5.1.4 指挥控制系统与环境交互的Petri网模型 第二节 利用指挥控制系统的Petri网模型进行性能分析 5.2.1 C4ISR系统的决策时延分析 5.2.2 最犬流通率紛计算 5.2.3 指挥控制结构、性能对流通率的影响 第三节 分布指挥决策的CPN模型 5.3.1 任务层CPN网 5.3.2 协作层CPN网 参考文献 第六章 对象Petri网支持环境及其在C4ISR系统仿真分析中的应用 第一节 对象Petri网描述语言——OPDL 6.1.1 OPDL的图…… |
内容加载中，请稍后...
商品评论（0条）