模型检测

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

同步发电机组模型与电力系统稳定性分析

河北雨洪模型

本书是在借鉴国内外很多水文模型的基础上，结合河北省多年的洪水预报经验，利用先进技术和方法，对流域产流和汇流的成因进行分析和研究，解释了流域产产流和汇流规律，而研制出的适合河北省流域特点的洪水预报模型，.....

长江中下游地区地质异常及成矿预测BP模型

基于消费者效用的品牌权益模型研究

本书从消费者效用的角度探讨品牌权益的源权，通过对品牌权益模型构造和研究为企业管理提供品牌创建方面的理论指导。

数据、模型与决策 定量方法在管理中的应用

本书介绍了数据、模型与决策在管理中的应用。

Pro/ENGINEER野火2.0版模型参数分析

本书介绍了Pro/E几何成型条件与原理，以及分析模型参数化建构概念。

模型的力量：全国统计建模大赛获奖论文选

本书是统计调查制度方面的重要文献。

装饰设计效果图MAX模型库

本书分效果图模型和实例模型两篇，共12章，1600多件模型、图块。全部为MAX文件，制作精制、涵盖面广、时尚前卫。

活性污泥动力学模型及数值模拟导论

本书主要内容包括：最新的活性污泥机理及模型研究进展、污水生物处理基本的工艺过程、活性污泥的系列模型等内容。