逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

科学思维与科学方法的应用及范例

科学思维与科学方法是人们认识世界、改造世界的基本手段，它对人们的工作和学习有着重要的指导意义。本书就科学思维和科学方法进行了初步研究探索，结合当前建设创新型国家的实际，指出了科学研究和实际工作中学...

药物分析信息学及应用

药物的质量控制离不开现代分析技术的应用。药物分析丛书按分析方法与手段或药物类别以系列专论形式，分别通过大量的应用实例，深入浅出地向读者介绍现代药物分析方法知识及其最新进展。本丛书主要供药学、中药...

四川红格钒钛磁铁矿床成矿条件及地质特征

环境保护标准原理方法及应用

本书拟较为系统、详尽地介绍标准基础知识和国内外环境标准现状，探讨环境标准内部体系问题和外部法律环境问题，阐述环境基准、环境质量标准和污染物排放标准的原理和制订实施方法，展示环境标准的实施体系、案例...

复杂机械结构模糊优化方法及工程应用

结构设计初始阶段含有大量的模糊信息。设计概念的产生、设计参数的取值、设计目标的判决、约束条件的允许范围以及工况等实际上都含有不同程度的模糊性。本书应用模糊理论描述机械结构的模糊优化设计问题，提...

数学建模理论、方法及应用

本书分9章，内容涉及数学建模简介、Matlab基础知识、微分方程与差分方程、优化方法、回归分析、预测与决策分析方法、图论方法、模糊数学方法、神经网络方法等建模常用的方法，并在附录中介绍建模竞赛论文写作...

从地壳演化规律看层控矿床的成矿学

国家自然科学基金资助项目桂林工学院科技专著出版基金资助:本书包括：中国南部地壳的大地构造演化；成矿作用的将今论古；我国南部与西南部的裂谷、微型裂陷与成矿作用等内容。...

経営学全書5　経営学研究方法論

生物基化学纤维生产及应用

本书对近年产生和发展的高性能纤维的功能特性、制造工艺、原理、分类以及应用进行了系统阐述。全书共分十章，主要包括高技术纤维的特性与分类，纤维结构的表征，纤维的特性及测试方法、碳纤维、高强高模纤维、芳...