本书不仅介绍了如何测量CPU、内存、磁盘/SSD、网络的性能，如何观察、记录、跟踪、汇总性能指标，还讨论了如何设计和创建性能测试工具KUtrace，以及如何对观察结果进行推理。 本书不仅适合软件开发人员阅读，还适合计算机相关专业的师生参考。

《网络工程CAD（第2版）（微课版）》专为计算机网络工程、智能楼宇及相关专业编写。《网络工程CAD（第2版）（微课版）》主要包含三个部分：第一部分是绘图基础知识(包括项目1～项目6)，主要讲述AutoCAD中各种绘图工具和编辑工具的使用方法，以及图形标注、图块操作等内容；第二部分是绘制建筑图形(包括项目7～项目9)，主要是识读并绘制建筑平面图、立面图、剖面图，这部分内容也是绘制网络工程图形的基础内容；第三部分是绘制各种网络图形(包括项目10～项目12)，主要是绘制网络拓扑图和综合布线工程图。另外

本书采用Creo 9.0作为软件基础，系统概述了使用Creo Parametric 9.0模块进行产品设计的基本内容。全书共分10章，详细介绍草图设计、零件设计、曲面设计、模型外观显示与渲染、装配设计、工程图制作等软件基本功能，重点介绍软件的使用技巧及建模过程中的注意事项。本书不但有建模过程的详细介绍，还有建模原理的理论分析，可以使读者在理解模型建立原理、理顺建模思路的基础上，轻松、牢固地掌握模型的建立方法。
本书既适用于初学者快速入门，也适于老用户学习新版软件、巩固提高之用，可作为高等院

本书深度探讨了构建和训练ChatGPT模型涉及的核心技术，以及ChatGPT在各种实际
应用中的作用。全书精心划分为三部分，其中第1章为第1部分，第2章为第2部分，第3
章和第4章为第3部分。首先，详细阐述了机器学习的历史演变与各种学习范式，同时也
揭示了在人工智能生成内容（AIGC）领域下，图像处理和自然语言处理技术的历史发
展趋势；接下来，对ChatGPT的运行机制和关键算法进行深度解析，包括大规模模型结
构、上下文学习、强化学习、涌现机制等，引导读者深刻理解C

本书以国产MCGS嵌入版组态软件为例，介绍了MCGS触摸屏组态软件的构成及应用领域，其内容涵盖MCGS触摸屏组态控制技术的各个环节。

本书写给想成为游戏设计师的你。 如果你也热爱玩游戏，想要成为一名竞技游戏设计师，为游戏行业贡献一分自己的力量，在游戏历史上留下浓墨重彩的一笔，那就翻开这本书看看吧。 本书共7章，其中第 1 章讲解电子竞技市场现状；第2章讲解制作游戏的选题立意；第3章讲解游戏核心机制设计；第4章讲解技能设计法则；第5章讲解地图设计原理；第6章分析如何设计游戏系统；第7章阐述游戏交互设计相关知识。本书适合游戏从业人员、各大院校的游戏专业学生、游戏开发爱好者阅读。

为完成高等教育培养杰出人才的目标，北京大学、清华大学和北京通用人工智能研究院共同编写了这本《通用人工智能人才培养体系》，构建了世界上第一个聚焦通用人工智能的人才培养体系和“通识、通智、通用”的“通才”培养框架，旨在培养具备人文素养和家国情怀，拥有独立思辨和跨学科思维，掌握人工智能核心理论和技术，勇于实践开拓科研格局的国际领先的高层次复合型人工智能领军人才。 本书介绍了人工智能领域的发展背景以及学科内涵，包含了围绕本科生的人才培养，重点介绍了依托于北京大学元培学院、清华大学自动化系建设的“通用人工

本书全面、系统地论述了马田系统的基本理论及其拓展和应用, 是作者长期从事马田系统理论探索、实际应用和教学工作的结晶, 展示了作者在马田系统领域研究的**成果. 《BR》全书共8章, 第1章和第2章介绍了马田系统的产生、发展动态和基本理论. 第3章～第6章介绍了马田系统的4种拓展版本, 分别为区间马田系统、度量马田系统、弱监督马田系统和核马田系统. 第7章介绍了4种马田系统的拓展版本在贫困识别领域的应用. 第 8 章介绍了马田系统在多属性决策领域中的应用.

本书系统地介绍了三支决策空间理论的基本原理与基本方法. 全书共?9?章, 内容包括三支决策空间理论的相关基本概念—偏序集、Fuzzy集、粗糙集、三支决策; 三支决策空间的建立—决策评价函数公理、三支决策空间上的三支决策、基于各类集合的三支决策、动态三支决策和双决策评价函数的三支决策; 三支决策空间的构造—三支决策的聚合、半三支决策空间及其转化; 三支决策空间的推广—基于三角模的决策评价函数构造和广义三支决策空间. 本书对阐述的重要概念附有英文对照, 便于读者对相关英文文献的检索; 除第1, 2章

本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有