2023年10月新书通报

各位老师、各位同学：
    图书馆10月份的新书已上架流通，新书具体明细见下表，也可登录"图书馆主页http://lib.ia.ac.cn/-纸本馆藏"检索图书具体信息，欢迎大家来馆借阅。同时，欢迎大家推荐好书，可在网上办公平台的办事大厅里，提交购书申请。
    本月新书部分书评：
    《遥感脑理论及应用》本书从生物机理、数学分析等角度详细论述遥感脑的背景意义、理论基础、感知与解译应用等，运用科学的态度和数学分析的方法，阐明遥感脑背后的科学技术原理，内容丰富且涵盖面广。旨在帮助人工智能、遥感解译等领域学者更全面深入地了解遥感脑系统。 通过本书，读者可以： ·系统了解遥感脑的理论基础、感知与解译应用及遥感脑系统； ·借鉴了解大脑及自然启发方法、视觉感知机理和脑认知机理，实现遥感脑智能建模； ·通过对高分辨压缩信息的获取（“感”），建立多尺度几何分析的建模（“知”），完成特征的学习和分析等。
    《进化算法时间复杂度分析的理论、方法与工具》主要围绕不同的进化算法时间复杂度分析方法展开介绍，包括基于Markov过程的理论、分层估计理论、漂移分析理论、关系模型理论、平均增益理论、带噪声的进化算法的时间复杂度分析理论，并且提供了配套的软件工具辅助读者开展实践。《进化算法时间复杂度分析的理论、方法与工具》对进化算法的理论研究进行了分析、归纳和总结，写作内容严谨易懂，逻辑清晰严密。
    《基于动态系统约束规划的水下机器人可靠定位方法》针对水下机器人定位领域存在的强烈不确定性和感知困难所带来的挑战，巧妙地采用时间约束和跨时间度量，提出了在非结构化水下环境中机器人的鲁棒性自主定位新方法。首先，对水下机器人的定位问题做了综述，明确了所面临的问题，介绍了目前常用的定位方法，给出了区间分析、约束、收缩子和集逆的概念。其次，引入包络边界函数的概念及其相关属性、代数收缩子和实施。然后提出一种新的包络边界函数收缩子来解决微分约束方程问题，使用移动机器人的动态定位和漂移时钟校正这两个示例证明新收缩子的有效性，并通过相关测试验证了机器人执行期内没有受到位置不确定性的影响。最后，提出一种新的基于约束的解决方案（即全新的具有鲁棒性的原始数据SLAM方法），并通过Daurade AUV实验证明了该方法在应用领域的巨大潜力。书中提出的鲁棒性定位新方法突破了传统导航定位的体系架构，同时给出了相关核心代码，具有很高的参考价值。
    《脑功能分析技术》脑科学研究不仅能够帮助我们理解人类各种行为背后的神经机制，还有助于脑疾病诊治。本书提到的脑功能检测技术和分析方法，可以帮助我们明确疾病相关的大脑结构和功能异常，在此基础上进行神经调控和神经反馈调节，达到大脑康复的目的。本书较现有众多认知神经科学的书籍，除介绍神经系统基本知识外，重点介绍了脑功能检测技术及分析方法，神经调控治疗及其前沿技术，对于相关学科发展和人才培养有重要意义。目前国家对于脑科学与类脑研究十分重视，在脑认知原理解析、认知障碍等重大脑疾病发病机理与干预技术、类脑计算与脑机智能等方面投入巨大，因而本书有庞大的读者群体，并且因其写作语言较为通俗，可读性好，适用于各个层次的脑科学爱好者，包括脑科学基础研究人员和神经精神疾病专业医生以及生物医学工程相关人员，尤其适用于脑功能检测及分析、脑机接口、神经调控治疗领域的研究人员。