发表于2024-12-26
体系建模与仿真:基础与实践(新视野电子电气科技丛书) pdf epub mobi txt 电子书 下载
DEVS是国际著名建模仿真专家Bernard Zeigler教授提出的一种仿真模型描述规范,是仿真领域至今影响*大的理论体系,近年来被广泛应用于复杂系统(体系)的建模仿真。本书系统地介绍了基于DEVS的建模环境MS4 Me及相关技术,并采用大量生动的案例详细介绍了如何在该环境下开展各类系统的建模及仿真试验。是一本学习和使用DEVS的重要读物。
本书以全新的编排方式,由浅入深,循循渐进,并吸收现代计算方法介绍信号与系统的基本内容,包括:信号与系统分析的基本概念与方法;连续时间系统与离散时间系统的时域分析;连续信号的傅里叶变换与系统的频域分析;连续信号的拉普拉斯变换与系统本书反应了齐格勒教授及其团队在DEVS方面*新的研究与应用成果,系统且详细地介绍了如何利用DEVS和系统实体结构(SES),在MS4 Me等软件环境支持下,开展各类复杂系统的虚拟构建及仿真试验。
本书共分为三篇,即基本概念篇、高级概念篇和应用篇。第1篇基本概念篇(1至8章)从体系建模仿真的需求引出虚拟构建与试验的概念,这是全书的主题和线索。随后从不同角度介绍了一个可支持虚拟构建与试验的基于DEVS的建模仿真环境MS4 Me,这是第*个商业化DEVS产品。之后的几章对DEVS和SES基本原理进行了较为系统的介绍,对其中涉及的一些基本概念进行了讲解,如特化和修剪,方面和多方面等。
第2篇高级概念篇(9至12章)进一步介绍了MS4 Me等建模仿真环境中所涉及的更加深入的概念和技术,包括DEVS仿真协议、智能体建模和发布/订阅、基于兴趣关注的信息交换、构建DEVS模型的语言等。
第3篇应用篇(13至18章)通过多个实例,介绍了前两篇的概念和工具如何支持针对不同类型系统的虚拟构建与试验。
目录
第Ⅰ篇基 本 概 念
第1章体系建模与仿真
1.1虚拟构建与试验
1.2面向虚拟构建与试验的建模和仿真内涵
1.3多范式建模实现多学科协同
1.4学术背景
1.5体系建模和仿真入门
第2章DEVS集成开发环境
2.1MS4 Me建模仿真环境
2.1.1针对建模仿真用户的介绍
2.1.2针对建模仿真开发人员的介绍
2.2针对建模仿真专家的介绍
2.2.1系统结构和行为
2.2.2有限确定性DEVS
2.2.3系统实体结构
2.3爵士乐队案例
2.4本章小结
附录DEVS的关键属性
参考文献
第3章系统实体结构基础
3.1建模仿真的简单流程
3.2建模仿真过程组件的分解和耦合
3.3建模仿真过程的分层结构
3.4本章小结
第4章DEVS自然语言模型及其细化
4.1在时间序列中生成作业的FDDEVS模型
4.2处理作业的FDDEVS模型
4.3简单的工作流耦合模型
4.4在Java中将FDDEVS细化为具有完整能力的模型
4.5将ProcessorOfJobs细化为Java模型
4.6变换器: 测量作业完成时间和吞吐量的模型
4.7使用细化过程处理不确定性状态转换
4.8使用细化过程处理多路并发输入
4.9使用细化过程生成多路并发输出
4.10使用时序图加快模型开发过程
4.11本章小结
附录变换器FDDEVS文件(Transducer.dnl)
第5章特化和修剪
5.1特化
5.2特化的修剪
5.3特化的多次出现
5.4添加特化的规则: 没有规则
5.4.1根实体下的特化
5.4.2方面实体下的特化
5.4.3特化实体下的特化
5.4.4组合特化
5.5变量和特化
5.6本章小结
第6章方面和多方面
6.1多方面(分解)
6.1.1表达同一实体的不同方面
6.1.2修剪方面
6.1.3方面: 视角和抽象
6.2多方面——实体的多个相关分解
6.2.1方面的局限性
6.2.2多方面重组
6.2.3多方面修剪
6.2.4多方面统一耦合
6.2.5一对多和多对一的耦合
6.2.6基于多方面的分层构建
6.2.7统一成对耦合
6.2.8预定义的耦合规格说明
6.3本章小结
参考文献
第7章管理修剪中的继承
7.1创建带下画线的实例
7.2指定继承的基类
7.3配置基类
7.4修剪中的继承
7.5指定来自子类的继承
7.6本章小结
第8章自动修剪和基于规则的修剪
8.1自动修剪
8.1.1枚举修剪
8.1.2随机修剪
8.2上下文无关修剪及上下文相关修剪
8.2.1上下文相关选择的修剪算法
8.2.2有条件的基于规则的修剪
8.2.3unless或if�瞡ot条件规则
8.2.4实例: 时间严格(time�瞔ritical)的建模与仿真
8.2.5从剩余选项中随机选择
8.3本章小结
参考文献
第Ⅱ篇高 级 概 念
第9章DEVS仿真协议
9.1DEVS仿真协议概述
9.2DEVS仿真协议在MS4 Me中的体现
9.2.1接口对象
9.2.2输入输出端口
9.2.3有限确定性离散事件仿真系统(FDDEVS)规格说明
9.3实现DEVS协议的分布式仿真
9.3.1标准的DEVS协议实现
9.3.2基于点对点消息交互的DEVS协议实现
9.3.3基于实时消息交互的DEVS协议实现
9.4作为仿真互操作标准的DEVS协议
9.4.1带事件调度仿真器的DEVS协议
9.4.2关于仿真的互操作性的经验教训
9.5本章小结
附录ASimulator.dnl摘录
附录BCoordinator.dnl摘录
参考文献
第10章动态结构: 智能体建模和发布/订阅
10.1动态结构和智能体建模
10.2基于发布/订阅的数据分发机制
10.2.1发布者
10.2.2订阅者
10.2.3发布/订阅路由器
10.2.4发布/订阅操作
10.3数据分发服务
10.3.1数据分发服务中的DEVS仿真协议
10.3.2DEVS信息
10.3.3相关端口和通信主题
10.4本章小结
附录AExcerpts from PublishSubscribeRouter.dnl
附录BExcerpts from Agent.dnl
参考文献
第11章基于兴趣关注的信息交换:映射与模型
11.1背景
11.1.1汽车购买中的信息框架应用实例
11.2网络数据收集里的应用
11.2.1网络流量数据表示
11.3映射方法
11.3.1多方面映射
11.4交换XML的DEVS模型
11.4.1生成XML文件的模型
11.4.2用DEVS模型描述基于系统实体结构的
XML映射
11.4.3主系统实体结构到基于兴趣关注的系统
实体结构的映射
11.4.4交换相同XML的模型
11.5本章小结
附录系统实体结构实例
参考文献
第12章构建DEVS模型的语言
12.1原子模型的受限自然语言规格说明
12.1.1FDDEVS模型的局限性
12.1.2FDDEVS增强设施
12.1.3增强设施的开发优势
12.2分层耦合模型的受限自然语言规格说明
12.3DEVS和UML
12.4本章小结
附录FDDEVS的形式化定义
参考文献
第Ⅲ篇应用
第13章柔性建模的支撑环境
13.1通过开发过程支持多路径
13.2SOA(面向服务架构)中作为服务的建模仿真工具
13.3实例研究: 分体式卫星系统
13.3.1建模仿真支撑环境如何适应各类利益相关方
13.3.2系统实体结构: MSE柔性的关键支撑
13.3.3建模仿真支撑环境的实现: 面向服务架构
13.3.4建模仿真支撑环境的仿真服务
13.3.5使用Web服务的仿真
13.4建模仿真支撑环境操作: 线程实例
13.5本章小结
附录
参考文献
第14章基于服务的软件系统
14.1引言
14.2基于服务的软件系统
14.3面向服务的体系架构
14.4SOA�睤EVS仿真建模
14.4.1简单模型
14.4.2复合模型
14.5SOA�睤EVS 模型组件
14.5.1通用消息
14.5.2简单服务
14.5.3复合服务模型
14.6仿真模型范例
14.7动态结构SOAD
14.7.1代理�仓葱心P蜕杓�
14.7.2扁平和分层模型组合
14.8本章小结
14.9练习
参考文献
第15章云系统仿真建模
15.1引言
15.2软件/硬件协同设计
15.3SOC�睤EVS SW/HW建模
15.3.1软件服务系统模型
15.3.2硬件系统模型
15.3.3服务系统映射
15.4面向服务的语音通信系统
15.4.1基本度量
15.4.2仿真参数估计
15.4.3实验设置和执行
15.4.4实例仿真结果
15.5本章小结
参考文献
第16章体系模型库
16.1引言
16.2逻辑化、可视化和持久化建模的统一
16.2.1简单的网络病毒模型
16.2.2模板、模板实例和实例模型的类型
16.2.3仿真和非仿真类型的模型
16.2.4逻辑模型
16.2.5可视化模型
16.2.6持久化模型
16.2.7模型命名空间
16.3CoSMoS进程生命周期
16.4CoSMoS云建模
16.4.1硬件模型
16.4.2软件模型
16.4.3软件(服务)系统映射模型
16.4.4模型约束
16.5本章小结
参考文献
第17章基于体系的生命系统建模与仿真
17.1生命系统建模与仿真中的挑战
17.2DEVS和VLE为何适用于生命系统建模和仿真
17.2.1系统方法: 涌现与规模转换
17.2.2异构形式和生命系统复杂性
17.2.3VLE和试验计划
17.3动物流行病的监测和控制
17.3.1动机和目标
17.3.2模型描述
17.3.3仿真结果
17.4植物生长模型
17.4.1动机和目标
17.4.2Ecomeristem模型
17.4.3总体功能
17.4.4拓扑
17.4.5DEVS的实现
17.4.6验证
17.4.7结论
17.5生命系统的模型连续性
17.6本章小结
参考文献
第18章基于活跃度的体系实现
18.1能量与活跃度
18.2体系原型构建
18.3实验框架和定时需求
18.4体系模型中的能量和活跃度
18.5活跃度概念综述
18.6定时需求、能量和活跃度
18.7体系实例: 扑救森林火灾
18.8体系硬件实现的有关活动
18.9实验测试
18.10本章小结
附录Quantizer.dnl
体系建模与仿真:基础与实践(新视野电子电气科技丛书) pdf epub mobi txt 电子书 下载