📚 书目浏览 共 223759 条书目
硅后验证与调试
本书系统阐述硅后验证和SoC调试中所面临的关键挑战、前沿技术与最新研究进展，旨在显著提升验证效率并降低调试成本。汇集了硅后验证和调试专家的研究成果：第1章概述SoC设计方法学，并强调硅后验证和调试所面临的挑战；第2-6章描述设计调试架构的有效技术，包括片上设备和信号选择；第7-10章介绍生成测试和断
太赫兹回旋器件原理及应用
本书围绕一类重要太赫兹辐射源——基于电子回旋受激辐射机理的太赫兹回旋器件的发展现状、相关理论及典型应用进行系统阐述。本书共7章，第1章介绍太赫兹回旋器件的发展现状；第2~6章详细阐述电子光学系统、太赫兹回旋振荡器、太赫兹回旋放大器、输入输出结构和准光模式变换器；第7章介绍太赫兹回旋器件的两个重要应用
安全多方计算
本书以安全多方计算的起源和里程碑式的成果为起点, 介绍了Yao混淆电路、GMW、BGW等基础协议, 严格论述了安全模型及形式化证明方法, 并对实用化技术做了详尽分析与介绍。本书由浅入深, 逐步引导读者进入安全多方计算理论研究与技术开发前沿, 旨在提供一本系统、完整介绍该领域基础理论与应用技术的专门著
深海高精度水声定位与导航技术
本书共5章：第1章为绪论，重点介绍有关需求分析、发展现状、技术体系以及未来发展几部分内容。第2章为超短基线定位技术，重点介绍定位原理、系统组成、标校技术及典型应用。第3章为水下综合定位技术，重点介绍定位原理、系统组成、标校技术及典型应用。第4章为高精度相控阵水声测速技术，重点介绍测速原理、系统组成、
边缘工作流系统
本书分为两部分，共8章。第一部分从边缘工作流系统的需求、架构、基础功能和服务质量等角度进行详细阐述。通过分析边缘计算环境架构、软件架构和系统架构，详细介绍了边缘工作流系统的设计。同时，讨论了边缘计算环境中构建工作流系统所需的模型和基础功能，并重点探讨了边缘计算和云计算环境下的服务质量管理。通过边缘工
学习认知计算
本书从理论指导和数据驱动的视角出发，围绕如何量化学习认知，解决学习过程中的内隐与外显式的行为分析问题，紧随国际上心理测量学、认知心理学、学习分析和教育数据挖掘、教育人工智能几大学科和研究分支的发展趋势，对学习认知计算的理论体系、研究方法、研究场景及建模分析技术进行分类梳理。
人工智能：范式革命与通用理论
本书站在科学研究制高点一范式(即科学观与方法论)一一的立场上揭示了人工智能的深层学术本质，并通过范式革命(以信息学科范式取代物质学科范式)构筑了全新的人工智能研究模型，发现了普适性智能生成机制，开辟了基于智能生成机制的人工智能统一研究路径，创建了机制主义通用人工智能理论以及与之和谐适配的泛逻辑理论和
模型驱动的深度学习：模型与数据双驱动的人工智能建模方法
本书系统总结了人工智能与科学问题交叉融合中所涉及的模型与数据双驱动的基础方法，具体介绍了AI与数学优化、统计方法、几何建模、微分方程等关键数学工具的融合路径与方法体系，力求构建一个适用于“AI+科学/工程”交叉研究的理论框架与方法支撑。
基于智能材料的结构健康监测技术
本书结合光纤传感技术和不同监测对象的特点，对光纤传感系统的结构、特性，传感器与结构的有效融合、界面兼容性，传感器的植入工艺和结构的长期监测方法等方面展开研究。
水下机器人感知规划与控制技术
本书在综述近年来水下机器人关键技术研究进展的基础上，重点阐述水下机器人水下感知、路径规划、跟踪控制与多机器人系统理论及其仿真研究和应用开发。
软件测试与质量保证
本书作者根据多年研究成果和实践经验进行了大纲设计，着重反映了近年来软件测试与质量保证评价领域技术和方法的最新发展。全书偏重实践，深浅适中，通俗易懂，力求使读者在完成设计、开发和实践的同时，学习到监控和管理这些过程的知识，为从事软件测试与管理工作奠定基础。本书内容系统、全面，叙述简练，实践性和实用性强
元宇宙的理想与现实：数字科技大成的赋能与治理逻辑
本书立足于元宇宙发展的理论与实践，从元宇宙的人类叙事、基本构成，到元宇宙的数字产业、数智赋能，再到元宇宙的用户行为、数字治理、数实融合、人智共生，探讨了元宇宙的方方面面。
边缘计算实践·下册：内容分发网络技术与前沿
本书探讨了内容分发网络和边缘计算技术在无线移动环境与基于云架构的应用、学术研究案例分析、工业应用案例分析、应用加速技术、新型的直播技术、动态内容加速技术、基于内容分发网络的云安全以及内容分发网络和边缘计算的前沿技术展望等方面的应用和发展。
网络社区发现与搜索
本书共7章，按内容可分为四部分。第一部分包括第1、2章，介绍社区发现与社区搜索的基础知识。第二部分包括第3、4章，其中，第3章介绍经典社区发现方法，包括基于模块度优化的社区发现方法、基于聚类的社区发现方法及其他社区发现方法；第4章介绍基于深度学习的社区发现方法。第三部分包括第5、6章，介绍拓扑图上的
三支决策空间
本书系统地介绍了三支决策空间理论的基本原理与基本方法。全书共分9章, 内容包括三支决策空间理论的相关基本概念 —— 偏序集、模糊集、粗糙集、三支决策 ; 三支决策空间的建立 —— 决策评价函数公理、三支决策空间上的三支决策、基于各类集合的三支决策、动态三支决策和双评价函数的三支决策 ; 三支决策空间
塑料激光焊接技术
本书阐述了塑料激光焊接过程中涉及的原理、技术与装备，具体包括塑料激光焊接方法及原理、装备及系统，可焊接塑料性质、焊接工艺参数及被焊样品表面质量对焊接性能的影响，焊接过程模拟仿真及监控技术等内容，部分内容反映了作者研究团队的前沿研究工作。
中低温煤焦油结构与反应
本书对煤焦油的组成结构性质及其在多种加工过程中的反应机制进行系统地阐述。首先，对煤焦油的分子组成性质，结构特征及分离分析方法等多方面前沿研究进展进行了论述。其次，详细地分析了煤焦油的多种反应机制，如加氢反应、热反应等，并详细说明了这些反应在实际生产中的应用。最后，对目前煤焦油加工利用方面的前沿科学技
煤间接液化关键技术
本书分为7章，分别介绍了煤间接液化技术概况、铁基费－托合成催化剂、钴基费－托合成催化剂、费－托合成工艺与反应器、费－托合成产物加工、合成气一步法制烯烃与CO2费－托合成以及煤间接液化技术展望。
化妆品制剂与技术：中文翻译版
本书共五部分，第一部分介绍一般概念、成分类型、通用测试方法及美国相关立法概览。之后按应用部位和功能分类，从结构功能、基本原理到成分制剂、质量安全等多维度展开，讨论各类产品：第二部分聚焦护肤产品，涵盖洁肤、保湿、美白、抗痤疮等多种类型产品；第三部分介绍护发产品，包括洗发水、染发剂等；第四部分解析唇部、
谷物基淀粉改性基础与应用
本书重点阐述了水稻、小麦、玉米、杂粮等谷物淀粉改性技术及产品研发和应用。书中系统的介绍了水稻、小麦、玉米及其其它谷物淀粉的性质、化学组成和结构特点，分类对比分类了淀粉改性的目的、改性的关键技术和机理、改性产品的种类、特性、应用和淀粉改性全过程应用到的高效技术和智能化技术。可以为谷物淀粉的高值化、优质
酒香飘四海：宋代广州公使酒库与中国酒文化
本书主要展出考古出土的酿酒、贮酒、分酒和饮酒器具等文物展品306件(套)，梳理我国古代酿酒发展的悠久历史，阐释丰富多彩的酒文化，推动非物质文化遗产的传承与创新，讲好东西文化交流的故事。本书即配合展览出版的图册。
钢筋混凝土探地雷达检测方法与应用
本书系统阐述了探地雷达在钢筋混凝土检测中的应用，内容包括探地雷达的基本理论、混凝土内钢筋的探地雷达回波特征及深度学习在钢筋识别中的应用，重点介绍了钢筋直径、保护层厚度和锈蚀的检测方法，强调了探地雷达在提高无损检测精度和效率方面的作用，并展示了最新研究进展及应用案例。
基于稳定性能的预应力钢结构设计
本书是以预应力钢结构稳定性能为主要内容的工程设计研究著作，是葛家琪及其团队近二十年来所完成的预应力悬挑钢桁架、大跨度预应力钢桁架、塔柱斜拉结构、索网-钢桁架、平面张弦梁、空间张弦桁架、弦支穹顶、索穹顶、双层索网、张拉索膜结构等各类预应力钢结构典型工程稳定性能影响分析研究和工程设计实践的总结。
软土电渗加固与电动修复
本书基于土体电渗原理，围绕软土电渗加固方法和污染土电动修复技术，阐明电渗加固与电动修复机制及相关基本概念，重点介绍电渗加固与电动修复的主要影响因素，还介绍新型电动土工合成材料在电渗加固与电动修复中的应用。主要内容包括电渗加固与电动修复的基本理论、电渗的若干基本概念、电极对电渗加固的影响、电渗过程土体