本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理，并以同构概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理，构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归，通过欧几里得算法作为开端，终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构，解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论，把列表、异常、多态、类型系统、复合

科技金融是支持我国创新驱动发展战略的重要支点，也是新常态下我国经济高质量发展的关键构成。在我国科技金融支持区域协调发展战略实施背景下，科技金融发展对于粤港澳大湾区建设***城市群具有重要意义。本书以粤港澳大湾区的科技金融发展为研究对象，主要内容包括两个部分：一是对粤港澳大湾区科技金融发展的理论研究和现状分析，包括科技金融的内涵和影响机理研究等，基于全国主要区域和粤港澳大湾区比较的区域科技金融发展现状分析；二是对粤港澳大湾区科技金融发展的量化研究和相应的体系设计与政策建议，包括基于局域溢出模型的空

本书面向大型复杂航天器高精度控制问题，提出一类新概念航天器——浮体式航天器，并闸述了其总体设计与控制方法，主要内容包括浮体式航天器的定义及设计要点、运动控制建模、整体稳定控制和主从协同控制系统设计等。

本书是关于航空发动机风扇/压气机试验的专著，主要针对航空发动机风扇/压气机试验所涉及的关键要素进行论述，介绍试验设备、试验方法、试验测量、试验结果处理与分析、试验流程与控制、试验常见问题与处理等重要内容，并对未来先进试验技术的发展方向进行展望。

本书对航空发动机露天试验的相关内容进行了介绍。从试验背景和验证目的出发，对试验原理、试验内容、试验要求、试验流程、测试和评价方法、试验设备等方面进行了分析论述。

本书内容包括常用运输船舶和渔船的分类方法、各种船型的基本特征、船舶结构基础知识，以及外板与甲板板、船底结构、舷侧结构、甲板结构、舱壁结构、首尾结构、上层建筑和机舱棚结构、各类常用运输船型的结构特点和木质渔船船体结构特点。

本书讲述了车载炮总体设计的理论和方法，其中包括总体设计的基本步骤和方法、总体性能综合优化设计、火炮的威力与弹道设计、车载炮各分系统设计、射击精度设计、结构防冲击波设计、载荷缓冲与分离设计、弹药供输机构设计、身管寿命提升理论与方法、信息与控制系统设计、电磁兼容性设计、系统人机环设计、故障诊断与健康管理等。

本书在分析区域竞争力、企业竞争力、产业链创新和国际竞争力等理论方法的基础上，建立具有原创性的从技术链到产业链、从国家到地区的激光产业技术创新评价体系，反映了中国激光产业的国际竞争力和区域产业链创新能力，刻画出中国激光产业现状与发展态势，最后分析中国激光产业发展所面临的若干问题，并提出若干推动中国激光产业发展的建议。

本书在对国内外先进宇航产品开发方法进行深入研究的基础上，总结提炼了宇航产品集成开发模式的研究成果和工程应用经验，重点阐述了宇航产品需求分析及规划、模块化设计、支撑技术开发管理、产品团队管理、全生命周期流程管理、知识管理和产品保证的内容。

《功能性便秘的中西医结合诊疗》分别从西医、中医两个方面进行系统总结，西医方面主要从发病机制、诊断及内外科治疗等方面进行论述；中医方面则包括中医相关理论、病因病机及辨证论治、常用中药及中成药、外治疗法、预防调护等，同时还分享了中西医结合治疗功能性便秘的宝贵经验，并加入当代名医诊治经验及医案赏析等，以希促进读者进一步了解和认识功能性便秘，提高理论知识水平。