本书通过十个典型主流智能算法和三个实际应用模块的描述，让学生充分了解国家战略需求和河南省发展继续的新兴人工智能学科，与农业、医疗和经济这些实际问题结合形成的交叉学科，从而扩展学习视野。实际问题选择关系国计民生的问题，设置了”智慧农业篇”、”智慧医疗篇”和”智慧经济篇”三个模块，让学生可以身临其境地用自己所学的专业知识解

本书在对国内外相关研究进行梳理的基础上，第一部分首先阐释了微分动态逻辑及其三种扩展逻辑及其证明演算，第二部分探讨了混成系统的自动定理证明，第三部分是混成系统验证实例研究和应用研究。全书从逻辑分析、数学建模、证明义务和验证技术四个方面展开研究，探讨了空中交管系统、列车控制系统、分布式汽车控制系统的防撞策略，验证了这些系统

本书结构编排更加合理。本书修订时，根据高等职业教育技术技能人才培养目标和专业教学标准要求，结合基于工作过程系统化的教学改革理念，以“项目—任务”的编写形式组织教材内容。为了适应新理论、新技术、新标准的发展，本书修订时全部采用最新的国家标准，修改了个别错漏内容，补充了新的内容，例如，更换了最新的液压与气动图形符号，以及精

本研究立足我国西部新兴资源富集地区实际，充分借鉴国内外有关资源诅咒、民间金融以及资源富集地区经济转型金融支持等问题研究的最新进展，将资源禀赋、民间金融与经济发展纳入统一分析框架，深入研究三者之间的内生、动态关系，揭示新兴资源富集地区特定资源禀赋条件下民间金融成长路径、功能发育的内生机制，分析民间金融的市场运行特征、功能

本书循序渐进的介绍了制冷基本原理、主要制冷设备和小型制冷装置。全书共分16章，分别系统全面的讨论了制冷方法、制冷的热力学基础、单级蒸气压缩制冷循环、制冷剂、载冷剂与贮冷剂、多级压缩及复叠式蒸气压缩制冷循环、应用非共沸混合制冷剂的制冷循环、溴化锂吸收式制冷、热电制冷、制冷换热器的传热学基础、冷凝器、蒸发器、节流机构、制冷

本书收录了1.原始档案：包含俄罗斯国家社会政治史档案馆藏的马骏学籍档案、革命活动记录及手稿47，以及南开学校时期演说稿、五四运动《宣誓书》原件影印；2.研究文献：收录《尘封已久的档案——记马骏烈士的早期革命经历》《红心向党铸忠魂》等专题论文，系统梳理其思想转变与建党实践；3.纪念遗存：北京日坛公园马骏烈士墓、宁安党小组

本书系统考察了数字金融对包容性增长的影响及其机制。本书首先从国际与国内、宏观与微观等多元视角，分析了数字金融对不同群体包容性增长的影响，并进行了比较与解释。其次，基于居民、企业和政府三部门视角，从就业、创业、创新、教育及政务数字化等方面深入探讨了数字金融促进包容性增长的路径与机制。最后，结合理论与实证研究，提出推动数字

本书主要从基础理论和工程实施角度，认真梳理了海洋信息网络所涉及的知识体系，全面、系统地阐述了基础知识、产品技术、工程技术、保障技术、应用发展，分5篇介绍了多个专业领域知识，力求站高望远、深入浅出、全面反映海洋信息网络的基本规律和相关知识内容。其中，基础知识篇重点介绍了海洋科学知识、信息科学知识、工程理论方法；产品技术篇

本书共分为9章，主要介绍了什么是雷达对抗，雷达和雷达对抗的产生和发展；新型战斗机和电子战飞机上的航空电子设备；对机载雷达的干扰；对合成孔径雷达的对抗；导弹防御系统的拦截概率；新型战斗机的电子设备对抗；对超视距雷达的干扰有效区；双基地雷达的接收设备在哪里；新概念武器在信息战中的应用。

本书跳出传统礼学晦涩说教的框架，通俗拆解中华礼制礼节、礼仪、礼乐三大核心，既系统讲解婚姻、生育、寿庆、丧葬、居住、岁时年节等传统民俗礼俗，挖掘传统礼仪的文化内涵与当代价值，又贴合现代生活，详解校园、商务、政务、社交、餐饮等全场景实用礼仪规范，兼顾传统文化传承与现实应用。