不确定性推理的计量化模型及其粗糙集语义

符号逻辑 语法语义和证明

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...

甲醇及下游产品

本书以化学反应为基础，以工业应用为背景，介绍了甲醇及其衍生物的工业合成方法、基础研究成果和发展建议等。

氯乙酸下游产品制造技术

锰产品分析

本教材内容分为锰产品生产认识、中间控制分析、原料分析、产品分析和综合评价五个学习情境，每个学习情境又分为若干个学习任务，包括锰产品生产认识、化合液中Mn2+和 (NH4)2SO4的测定、锰矿石中主要组分（Mn2+、...

MSC产品实用技术技巧

本书及附带光盘介绍了MSC系列产品主要包括 MSC Nastran，Patran，Adams，Marc在内的操作技巧和新技术。Nastran，Patran的基本使用技巧涉及静力学和动力学等分析类型，例如：惯性释放、屈曲分析中的负特征值问题、预应...

ANSYS 9.0经典产品高级分析技术与实例详解

在Ansys 9.0经典产品的分析技术中，除结构、热、流体、电磁和耦合场的主要分析技术之外，还有工程分析时经常需要的五达高级分析技术，即APDL、Optimization、PDS、Element Birth and Death和Submodeling。他们是...

ANSYS 9.0经典产品基础教程与实例详解

本书包含三大篇幅，每个篇幅有根据知识的系统性和方向划分为多个章节。第一篇是ANSYS基本知识与系统简介，本书主要介绍ANSYS公司、产品序列、ANSYS程序的启动、退出与图形环境、各种图形界面和菜单用法、、文...