本书系统地介绍了机器人集成与应用技术的基础知识和工作原理，以及设计与应用实例。全书共分7章，主要内容有机器人的定义、特点、分类、基本组成等基础知识，机器人机械结构和传动机构，机器人气压、液压和电气驱动，机器人传感器特性与分类、内部与外部传感器的类型与工作原理、传感器应用案例，机器人的控制特点、主要技术及操作系统，典型工业机器人的控制系统，工业机器人控制的分类、运动轨迹控制、示教与再现和编程语言，机器人工作站及生产线的构成及设计原则，工业机器人的典型应用，机器人离线编程仿真软件。本书可作为高等院校机器人工程、智能制造工程、机械电子工程及相近专业的教材或参考书，也可作为科研工作者和工程技术人员的参考书。

本书是“十四五”职业教育国家规划教材，采用影视分镜原理，使用全息图解标注法，全面介绍办公自动化工作中需要掌握的常用办公软件的操作、常用办公设备的使用与维护，以及网络的有关知识，特别新增了对于AI绘图软件“悟空图像”的介绍，教学素材详尽，并配有全套精心制作的教学视频，既可作为高等院校办公自动化课程的教材，也可供广大电脑爱好者自学使用。

数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现， 构建了非标准实数模型， 自然包含标准实数模型， 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码， 所有形式化过程已被Coq验证， 并在计算机上运行通过， 充分体现了基于Coq 的数学定理机器证明具有可读性、交互性和智能性的特点， 其证明过程规范、严谨、可靠. 该系统可方便地应用于非标准分析理论的形式化构建.本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教材， 也可供从事人工智能相关科研工作者学习参考.

物体6自由度（6D，6DoF）位姿估计是机器人视觉、增强现实、自动驾驶、具身智能等领域的核心技术。本书分层次介绍了有纹理物体、低纹理物体，以及反光低纹理物体位姿估计的先进机器视觉理论、方法及关键技术，其中以最具挑战性的反光低纹理物体为重点。全书包含8章，第1章为绪论，介绍视觉6D位姿估计的基本概念、研究现状，及现有技术面临的挑战；第2章介绍视觉6D位姿估计的基础知识；第3章介绍适用于有纹理物体的基于图像特征点匹配的方法；第4章介绍适用于低纹理物体的判别式神经网络方法；第5章～第8章介绍适用于反光低纹理物体的理论、方法及数据集，其中，第5章和第6章分别为基于低层和高层几何特征的理论与方法，第7章介绍基于“特征_图像”的生成式深度神经网络理论与方法，第8章介绍构建的大型反光低纹理物体图像数据集RT-Less。

《Verilog数字设计原理》涵盖与Verilog数字设计相关的基础知识和深入主题，全面介绍现代数字电路的设计和实现方式。《Verilog数字设计原理》特别关注如何使用架构和时序图将设计概念转化为物理实现，总结并解决了初学者甚至经验丰富的工程师可能犯的常见错误，详细说明了几种ASIC设计，除了设计原则和技巧之外，还深入探讨了现代设计方法及其实施方式。《Verilog数字设计原理》共分10章，内容包括Verilog基础、Verilog高级话题、数的表示、组合逻辑电路、时序逻辑电路、数字系统设计、高级系统设计、I/O接口、逻辑综合等。《Verilog数字设计原理》的许多示例及RTL代码可以将初学者轻松带入数字设计领域。

本书从微纳光纤的特性出发，对近年微纳光纤传感技术领域的相关工作和研究进展进行梳理和评述，并提出作者对未来微纳光纤传感技术的发展预测和建议。本书首先介绍了微纳光纤的独特光学效应和特点；进而从二氧化硅和聚合物材料特性出发，介绍微纳光纤的常见制作方法和特点；分析和总结了微纳光纤传感技术当前热点领域的研究进展；最后结合作者在微纳光纤传感器及技术应用领域的研究工作进行了案例分析和技术讨论。

在实际应用中，需要处理的数据常常具有类别不平衡的特点.例如，用于信用卡欺诈检测、垃圾邮件过滤、机械故障诊断、疾病诊断、极端天气预测预报等的数据都是类别非平衡数据.研究非平衡数据分类问题具有重要意义和实际应用价值，引起机器学习领域研究人员的广泛关注.本书结合作者团队在非平衡数据分类中的研究成果，系统介绍非平衡数据分类的理论基础、模型评价、数据级方法、算法级方法和集成学习方法.

暂缺简介...

随着数字化、网络化、智能化时代的到来，社会产业的创新逻辑迎来了重要变革，以互联网、大数据、人工智能为基础的科技革命带动了全球价值链和国际分工的变化。本书充分顺应产业需要和时代需求，将人工智能与创新设计相结合，系统地研究了创新设计活动的发展历程、创新设计模式的演变与迭代，梳理了群智创新设计的概念与内涵，构建了群智创新设计理论与方法体系，建立了群智创新设计新范式，讲好中国故事，宣扬中国设计，为国内人工智能、创新设计和设计学科的交叉融合发展提供新的思路和借鉴。

《序列密码的分析与设计（第二版）》介绍序列密码的设计理念、设计原理和分析技术。以21世纪为时间点，《序列密码的分析与设计（第二版）》将序列密码加密模型分成传统模型和新型模型，介绍各个模型的代表算法，包括蓝牙系统E0加密算法、GSM手机A5加密算法，NESSIE计划候选算法、SNOW系列算法、我国设计的新一代无线移动通信系统标准加密ZUC算法，eSTREAM计划胜出算法Trivium、Grain、MICKEY、Salsa20等典型序列密码算法及其设计特点，以及在NIST-LWC工程第3轮胜出的10个算法中的Grain-128AEAD、TinyJAMBU-128等基于序列密码的认证加密算法，同时介绍针对这些序列密码算法的典型分析方法及*新的攻击结果，以期为密码设计和分析者提供参考和借鉴。