反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单

本书聚焦深度学习算法的基础理论和核心算法，全面系统地论述深度学习的基础理论，兼顾人工智能数学基础知识与领域**原创基础理论，构建脉络清晰的人工智能理论体系。本书首先介绍了深度学习的相关数学基础，主要包括线性代数、概率论、信息论三部分；紧接着系统地介绍了深度学习的重点内容，主要分为五方面，即深度学习的逼近理论，深度学习的

本课程系统地介绍了算法分析与算法设计的概念、方法和应用。课程共分12章，涵盖的内容包括数据结构、串与序列、动态规划、贪心算法、图算法、概率算法、查找与排序算法等内容。课程采用工程问题导引、反向设计的方式组织教学内容，基于经典算法问题案例完成对算法基本理论、采用的基本数据结构、算法的性能等内容的学习与分析，并完成算法的实

《日本的生命科学政策：连接社会与科学》记述了21世纪日本生命科学研究所取得的成就，强调前沿科学的发展与科学伦理之间的密切联系带给人类的重大课题。书中介绍了京都大学教授、诺贝尔生理学或医学奖获得者山中伸弥主导的iPS细胞研究及其社会影响，并描述了前沿科学的发展与“产、官、学”协调体制高效运行的密切关系。在作者看来，当今科

当下正处于元宇宙时代的初期，关于元宇宙的理论和产业仍在不断发展中。《元宇宙概论》结合当前国内外元宇宙发展趋势及政策，多学科、多维度阐述了元宇宙的未来发展方向，同时汇集各领域对元宇宙未来发展的要求，对元宇宙带来的问题与挑战进行了深入分析，预测未来元宇宙会给人类带来哪些变革，以及我们应该如何应对。本书适合对元宇宙相关主题感

《风险感知、制度压力与基层干部社会稳定风险应对行为》基于现实和理论背景提出核心研究问题：风险感知与制度压力是否以及如何影响基层干部应对社会稳定风险的行为策略？作者采用混合式研究策略，基于文献初步构建了基层干部社会稳定风险应对行为的认知—制度分析框架；通过探索性的案例研究，对E市“城市综合治理”专项行动中基层干部的行为进

本书以重庆市轨道交通为研究对象，总结了山地城市轨道交通控制保护区建设工程的风险识别以及控制措施，阐明了轨道交通控保区内风险控制与运营管理的要点。同时提出了对规划线路提前进行控制管理措施，以及城市轨道交通与周边建设用地矛盾的解决方案，涉及到系统化管理模式的应用，以确保城市轨道交通规划、建设、运营安全有序进行，规范城市轨道

本书内容主要为永磁滑差传动机构的设计计算研究，该机构具有联轴器工况和滑差传动工况。本书提出了具有偏心圆弧永磁体的方案，使得机构在滑差传动时具有平稳的磁扭矩-相对转角特性，进而分析了在不同相对转角时其磁通密度、磁力线大小和方向、退磁特性和退磁风险等内容，揭示了获得平稳磁扭矩-相对转角特性的内在原因。提出了等效面积法，利用

深度学习技术作为人工智能领域的一门新兴技术，已成为人工智能科研领域、企业应用领域中常用的一门技术。本教材由神经网络基本训练规则、感知器、BP网络作为基础，讲述神经网络基础训练方法。并通过自编码器网络，将浅层网络过度到深度神经网络部分，详细讲解卷积神经网络原理及训练方法、卷积神经网络的发展以及基于卷积神经网络的目标检测算

在文旅融合的时代背景下，本书尝试追溯文化和旅游理论的融合关系，重点攻关更深层次的理论和方法论体系，探索搭建文旅融合在“理论—方法论—方法”的技术框架，拓展文旅融合领域技术研究。分为理论篇、方法论篇和方法篇三大部分，共十一章。理论篇系统梳理文化理论、发展历程和流派思潮，将旅游置于休闲理论研究的大框架下，分析休闲理论的发展