自动控制理论与控制技术正广泛深入地应用到机械工程、仪器科学等领域，本书从工程应用角度阐述了经典控制理论的概念、原理和各种分析方法，内容包括控制系统的基本概念与基本组成、控制系统的数学模型、控制系统的时域分析、控制系统的频域分析、控制系统的稳定性分析、控制系统的根轨迹分析、控制系统的综合与校正，以及MATLAB软件在控制

本书在简要阐述了环境生态学概念及特点的基础上，系统讲述了生物与环境的关系、生物种群与群落及生态系统的基本理论，全面分析了环境污染与生态修复、生态破坏与生物的生态关系，系统探讨了全球变化及其对生物的影响，充分强调了生物多样性与生物安全、环境生态与生态环境管理，深入论述了环境生态与生态文明的关系。

证明论是逻辑基础理论的分枝.结构证明论是证明论的分枝，它研究演算中的分析性证明.本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明.本书还介绍了一阶逻辑、模态逻辑

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

师生关系一直是影响教育活动的重要因素之一。随着人工智能的勃兴，基于物联网、云计算、大数据、泛在网络等新一代信息技术在教育领域的推广应用，不仅使教育步入新的发展阶段，而且给师生关系及其建设带来新的机遇与挑战。本书发现，师生关系从原来仅限于人类教师与学生之间的双主体关系走向人类教师、机器人教师和学生三者间的三主体关系。本书

本书以饲料智能加工生产学理论为纲，主要论述配合饲料的智能加工设备与加工工艺，兼顾添加剂预混合饲料智能加工技术，涵盖生产配合饲料的原料接收-清理-储存-输送-粉碎-配料-混合等全流程生产工艺。全书共11章，第一章为绪论部分，主要介绍了饲料智能加工的特点、优势，以及饲料智能加工工业的现状与发展前景；第二章至第十一章不仅介绍

本书共19章。详细介绍了以下内容：不同类型环境，包括海水环境、低温及碱性极端环境、植物内生环境等样本的DNA/RNA提取及宏基因组文库构建技术；从核酸、脱氧核酸、蛋白质三个角度分析环境微生物代谢活性；通过宏基因组测序获得功能基因分类及多样性的方法；从基因组学技术层面介绍复杂微生物群落的研究方法，以及挖掘活性基因（如有机

本书从电磁兼容基本概念和发展趋势切入，分别介绍：电磁兼容性分析的必要性，电磁计算方法在电磁兼容分析与设计领域的发展趋势；电磁兼容分析中的基础理论知识；传导发射与传导抗扰度基本概念；线缆耦合电磁兼容分析，包括电磁计算方法对场-线-路耦合等典型电磁兼容问题的分析；辐射发射与电磁兼容分析的计算电磁学方法；系统级电磁兼容分析的

为了突破光纤非线性对系统传输容量的限制，进一步提高光纤的带宽利用率，人们开始发展并利用新的光纤复用维度——空分复用(SDM)。空分复用技术与密集波分复用(DWDM)系统的融合应，有助于实现多维复用光纤网络的发展目标。本书从空分复用角度重新梳理光纤的相关知识，总结空分复用光纤的**成果，形成了较为完整的空分复用光纤理论体

本书体现了网络安全保密一体化设计与运用的思想，横向上沿着PDR动态模型，纵向上沿着IATF动态模型，立体式地组织内容。本书涵盖了通信加密、认证与访问控制、可信计算等基于密码的网络安全机制，以及操作系统安全、防火墙、网闸、入侵检测、网络态势感知、内容安全、网络攻击溯源等通用网络安全机制，同时强调人的因素、管理因素和安全保