本书提出微波光子多学科协同设计思想与方法，首先从微波光子的跨域交叉融合出发，分析了其多学科特点，探讨了微波光子多学科协同设计的技术挑战；接着，基于微波光子多学科设计的内涵，将需求-功能-逻辑-物理（RFLP）系统工程论方法引入微波光子系统的设计中，形成了基于RFLP的微波光子系统仿真设计的一般方法。同时，深入研究了微波

本教材分为5部分，全面涵盖了蔬菜栽培学课程实验和实习。第Ⅰ部分为蔬菜栽培生物学基础类，共46个实验；第Ⅱ部分为蔬菜栽培技艺类，共34个实验；第Ⅲ部分为蔬菜栽培综合创新设计类，共11个实验；第Ⅳ部分为蔬菜栽培学教学实习类，共5个实习；附录部分共4个，介绍了蔬菜栽培常用技术参数和实验室技术。 “蔬菜栽培学实验实习”是“蔬菜

本书是在大数据框架下，全面介绍金融科技在处理真实场景金融问题时需要掌握的最重要的几类机器学习方法，并将重点放在实施过程中需要用到的特征提取、可解释性、隐私保护与数据安全共享等相关内容的讨论上。 本书内容分三部分:第一部分由1～6章组成，主要讲常规情况下，机器学习在金融场景特别是大数据风控中的建模应用；第二部分由第7章和

西方经济学说史是经济学专业的核心课程之一。本书主要分为四大部分：第一篇前古典经济学与古典经济学，着重厘清古典经济学理论及其代表人物思想，主要包括西方经济学体系化之前的经济思想，古典经济学，古典学派的集大成者亚当斯密的经济思想，古典学派的杰出代表托马斯马尔萨斯和大卫李嘉图的经济思想，古典经济学中斯密体系的各国后继者的经济

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

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

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

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

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

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