Stateflow逻辑系统建模

本书详细介绍了MATLAB产品体系中用于动态逻辑系统建模仿真的Stateflow产品的应用方法，重点介绍了有限状态系统中状态、状态转移、连接节点、历史节点、动作、数据对象、事件等概念。...

物流系统规划-建模及实例分析

本书介绍了物流网络设计，物流配送模型等。

动态域上的不连续动力学系统

本书系统地介绍了不连续动力学系统中边界上的流转换理论。引入G函数, 分析不连续动力系统的奇异性，进而讨论了不连续边界上的汇流、源流、穿越流等存在的充要条件，以及相关的切换分叉理论。书中将该理论应用...

动力学系统建模

国防科技图书出版基金资助:本书论述了动力学系统建模理论、方法和技术的最新发展，强调了计算机-试验辅助建模和复杂结构动力学系统中的非线性建模。 ...

DYNAMO系统动力学建模导论

汉语语用词缀系统研究兼与其他语言比较

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

C语言与Unix系统编程

本书针对系统编程所涉及的问题，深入探究底层数据类型，以内存管理为重点，介绍C语言和Unix系统编程的知识。

MATLAB语言与自动控制系统设计

本书介绍了自动控制系统分析，设计和仿真，应用方面的专业知识。

MATLAB语言与自动控制系统设计

本书介绍了自动控制系统分析，设计和仿真，应用方面的专业知识。