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

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

机械系统建模与动态分析

本书以机械工程为背景，介绍机械系统建模与动态分析的基本理论及其在机械工程中的应用技术。主要内容包括四大部分：基础理论篇、时域建模与分析篇、频域建模与分析篇和综合应用篇。...

UML面向对象分析与建模

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

软件分析建模与PowerDesigner实现

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

PowerDesigner 15系统分析与建模实战

本书由浅入深，从基本概念开始讲解，同时结合实例，易于读者理论联系实践。知识点全面，涵盖了所有PowerDesigner技术的常用知识点以及最新特性。...

空间分析建模与原理

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

基于ANSYS平台有限元分析手册 结构的建模与分析

本书以手册规范化方式提供了覆盖有限元结构分析主要领域的各项专题，包括60个原理、91个典型算例、98个建模操作等。

实用系统仿真建模与分析 使用Flexsim

本书系统地介绍了离散事件系统仿真建模与分析的理论基础，同时，采用Flexsim仿真软件以及大量案例，对仿真理论方法的实际应用进行介绍。

数学建模方法与分析 英文版·第3版

液压系统建模与仿真分析

本书较全面系统地介绍了液压系统的动力学与热力学建模以及仿真理论，并基于该理论，通过对阀控液压缸的建模与仿真实例，辅助读者理解仿真建模的机理以及系统分析与优化的方法。...