Application of Petri net in C4ISR systems modeling, simulation and analysis

副标题:无

作   者:罗雪山[等]著

分类号:

ISBN:9787810994033

微信扫一扫,移动浏览光盘

简介

  本书是作者多年研究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网在C〓ISR系统功能分析中的应用
第一节 “立方”分析法
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 C〓ISR系统的决策时延分析
5.2.2 最大流通率的计算
5.2.3 指挥控制结构、性能对流通率的影响
第三节 分布指挥决策的CPN模型
5.3.1 任务层CPN网
5.3.2 协作层CPN网
参考文献
第六章 对象Petri网支持环境及其在C〓ISR系统仿真分析中的应用
第一节 对象Petri网描述语言——OPDL
6.1.1 OPDL的图形建模元素
6.1.2 OPDL脚本描述语言
第二节 基于OPDL的C〓ISR系统建模方法
6.2.1 OPDL对C〓ISR系统建模的支持
6.2.2 基于OPDL的C〓ISR系统建模一般方法
6.2.3 OPDL建模的几项原则
第三节 对象Petri网建模仿真支持环境——OPMSE
6.3.1 系统概述
6.3.2 OPMSE系统组成
6.3.3 OPMSE使用及操作步骤
第四节 野战防空战术C〓ISR系统建模仿真分析
6.4.1 野战防空战术C〓ISR系统概况及建模仿真目标分析
6.4.2 系统模型设计及仿真设计
6.4.3 野战防空战术C〓ISR系统仿真结果分析
参考文献
第七章 Petri网在C〓ISR系统中的其他应用
第一节 C〓ISR系统通信网络效能评估
7.1.1 C〓ISR系统通信网络效能评估的意义和方法
7.1.2 C〓ISR系统通信网络仿真模型
7.1.3 C〓ISR系统通信网络效能指标计算模型
第二节 卫星支持下的导弹火力打击效能研究
7.2.1 应用背景
7.2.2 模型建立
7.2.3 结论分析
第三节 舰艇编队对抗仿真中的应用
7.3.1 研究背景
7.3.2 舰艇对抗的基本作战过程
7.3.3 模型体系
参考文献
o(!x

已确认勘误

次印刷

页码 勘误内容 提交人 修订印次

Application of Petri net in C4ISR systems modeling, simulation and analysis
    • 名称
    • 类型
    • 大小

    光盘服务联系方式: 020-38250260    客服QQ:4006604884

    意见反馈

    14:15

    关闭

    云图客服:

    尊敬的用户,您好!您有任何提议或者建议都可以在此提出来,我们会谦虚地接受任何意见。

    或者您是想咨询:

    用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问

    Video Player
    ×
    Audio Player
    ×
    pdf Player
    ×
    Current View

    看过该图书的还喜欢

    some pictures

    解忧杂货店

    东野圭吾 (作者), 李盈春 (译者)

    loading icon