安全协议的建模与分析：CSP方式

本书介绍了安全协议的一种建模与分析方法。

通信与导航系列规划教材 通信系统建模与仿真教程 第3版

生产系统建模与仿真

本书系统以生产系统为研究对象，对离散系统建模与仿真的基本原理和技术方法进行了系统、全面的介绍，并应用Witness仿真软件进行了实际生产物流系统的设计和分析。主要内容包括：系统与生产系统；离散系统的建模方...

新一代天气雷达在临近预报中的分析与应用

本书汇集有关新一代天气雷达和短时临近预报方面多年的研究成果和业务实践经验，结合短时天气预报岗位的工作实际，详细对新一代天气雷达在短时临近预报领域中的分析与应用工作进行了论述，以期适应我国雷达气象工...

运动建模与控制系统设计

本书针对广义运动控制范畴，从运动的起源—驱动器，实现的基础—机构，分析的数学基础—运动学和动力学建模，控制系统的组成—运动感知、控制算法、控制器硬件和软件等方面，系统全面地论述运动建模与控制系统设计方...

UML面向对象分析与建模

本书从UML语言的基本概念开始，由浅入深介绍了UML的基本语法、建模的基本步骤、RUP开发过程等，最后通过一个应用案例详细介绍UML开发的过程。...

软件分析建模与PowerDesigner实现

本书系统地介绍了业务建模、数据建模和应用程序建模的方法和、过程，通过PowerDesigner的实现，使读者全面掌握软件分析建模的思想，是软件工程师学习软件分析、建模的入门教材。...

基于MATLAB的无线光通信系统与信道建模

空间分析建模与原理

本书对于空间分析中主要模型和原理进行了讨论，主要致力于对空间分析模型的基本思想、模型建立、算法分析等深入而详细的探讨，特别是对一些模型进行了完整的推导，并从数学角度进行分析，从而为进一步的空间分析建...

供应链复杂系统资源流建模与仿真

本书运用agent技术和复杂性科学理论研究供应链复杂系统中的资源流问题。