本书分上下两篇。上篇通俗地阐述了作者所开创的几何解题的“消点法”。用这个方法可以机械地判定所谓“等式型可构造几何命题”的真假。命题成立时还能够产生人容易检验和理解的证明,即所谓可读证明。书中先引入作者所发展的系统面积方法的两个基本工具,即共边定理和共角定理。接着在共边定理的基础上把面积方法算法化,系统地建立了面积消点方法。此外还进一步指出,消点不限于面积方法,在全角法、三角法、向量法以及复数法的基础上也能建立消点方法。下篇则对几何公理体系提出了新的见解,指出传统的欧几里德公理体系和希尔伯特公理体

本书系统阐述动物骨的组成、关键功能成分的有效作用和提取最新技术;总结国内外动物骨深加工技术研究现状和产品深加工企业应用情况;展望动物骨深加工技术研发和产业应用的发展方向。通过本书的编著和集成,指导畜禽副产物相关科研工作者开展基础理论研究和关键技术研发;为企业技术人员提供系统知识,指导其开展新产品研发和工艺技术革新,提升产品的附加值;为动物骨的综合利用提供一体化的理论技术装备产品体系,保证动物骨的深加工利用,提高产品的产值,减少资源浪费和环境污染。

本书第1章为绪论,主要介绍磨矿过程运行控制与优化研究的背景与研究意义、工业过程运行控制的含义及研究现状、磨矿过程运行控制的必要性及研究现状、存在问题以及本书主要工作;第2章介绍冶金磨矿过程及其运行反馈控制问题的数学描述以及难点分析,另外第2章对本书研究的两类典型磨矿过程进行了详细介绍;第3章、第4章、第5章、第6章为本书重点,详细介绍了提出的四种运行反馈控制方法。其中第3章和第4章研究了基于模型的工业过程运行反馈控制方法及在国际通用的可建模磨矿过程(一段棒磨开路、二段球磨水力旋流器闭路)的仿真应

本书是高校本科生学习高等数学课程的辅导书。该书按国内通常高等数学教材布局,分为12章。每章设知识脉络图和模拟考试。各节均设诸栏目:对高等数学的主要知识点进行归纳,释疑解惑,剖析典型例题,揭示解题方法与技巧,配制两级测试题及解答,供学生自测。

决策是人类生产和生活中的普遍行为。当人们在接受、拒绝、暂不做决定三者之间权衡利弊时,便自发地运用了一种三支策略。为了系统地研究计算机科学、医学、管理学、心理学、认知科学中普遍存在的三支策略和方法,一种新的用于复杂问题求解的三支决策计算方法在逐渐得到广大学者的关注,并逐渐形成其理论体系。近年来,该理论已应用于决策分析、不确定性分析、聚类分析、信息过滤、多标签分类、多维决策模型和Web支持系统等领域的研究工作中。

本书是卓越工程师教育培养计划食品科学与工程类系列规划教材之一,全书共15章,包括绪论、食品样品的采集、处理与保存、食品的物理分析方法、水分分析、矿物元素分析、酸度分析、脂类分析、糖类分析、蛋白质和氨基酸分析、维生素分析、常见食品添加剂分析、食品中毒害物质分析、食品色素物质分析、食品香气物质分析、食品的感官分析。本书力求“实用”、“新颖”、“规范”,每章都引入了案例分析、延伸阅读等内容,便于读者更深入理解相关理论,编写层次分明、由浅入深。

本书共分9章,第1章为预备知识,包含级数、留数定理及其应用、傅里叶级数与积分、傅里叶变换和拉普拉斯变换,其主要目的是给读者作简要的复习和适当的知识补充,为学习后面各章节知识作必要的准备,第2至第8章详细地讲述了数学物理方程的导出、基本的求解方法和技巧,第9章讲解了一些常见的非线性微分方程及其解法。

本书作为《线性代数》(孟昭为等主编,科学出版社,2009年4月第二版)的辅助教材,对相应的章节给出基本要求、内容提要、典型例题分析,并对课后部分习题进行了解答,每章后附有自测题,对近年研究生试题(线性代数部分)做了详细解答。

本教材选材较为系统,兼顾数学的总体概貌,数学发展的历史、现状和未来,数学的主要分支、常用的思想方法以及重要的数学问题。特别是,每章(或节)后设置了58个思考题,融入多年来高等数学的教学实践中学生所提出的有代表性的问题,紧密结合学生的实际,值得进一步思考与探索,从而提高课程教学的知识性与思想性。

本书系统的阐述了实木智能化在线检测与分选的技术方法,包括实木板材图像的获取系统、运动图像的预处理、缺陷和纹理的特征提取、特征融合、以及分类器设计等。本书研究的分选方法从节约降耗、增质增效等方面将产生重大经济、社会效益,有助于降低企业生产成本、提升企业竞争力。该分选系统可以适用于实木加工行业,而且对指接、拼板、家具、装饰等木材加工行业的缺陷在线检测也有着借鉴意义。全书共12章。