工程类

在新型工业化的大背景下，软件是信息技术之魂、数字社会之基，是经济社会高质量发展的关键支撑。无处不在的软件正以跨界融合、全面渗透的新面貌席卷世界，发挥"赋能”、"赋值”、"赋智”作用，打破旧秩序，重建新秩序，孕育出一个"软件定义的世界”。本书以 "软件定义”为主题，从产生背景、深刻内涵、重大意义、广泛影响、融合应用等方面对"软件定义”进行了系统阐述，聚焦软件赋能新型工业化论述"软件定义”的产生背景，

本书是面向数字芯片设计与验证的入门书籍，是微电子相关专业的基础课程。 本书以理论基础为核心，以参考实例为主线，帮助读者迅速建立数字芯片设计和验证的概念和设计基础，包括两篇：数字电路及Verilog篇讲解数字逻辑电路基础，硬件描述语言Verilog的基础语法，对应的实例分析，以及组合逻辑电路和时序逻辑电路的设计和验证的参考实例；SystemVerilog篇讲解包括兼顾设计和验证的语言SystemVe

本书全面阐述了湖仓架构相关知识。首先介绍数据架构及其在构建数据平台中的作用，剖析湖仓架构的概念、特征和优势。接着对比传统架构（数据湖与数据仓库）和现代数据平台，明确湖仓架构在未来数据平台的重要地位。然后讲解行存储与列存储等概念，以及云对象存储、文件格式和表格式等组件，还给出设计存储时的考量因素。接着阐述数据目录、计算引擎在湖仓架构中的功能、类型选择和设计要点。在数据治理与安全方面，强调在湖仓架构中

本书系统梳理开源软件发展历程、深入剖析其治理机制、提炼国内外最佳实践案例，提供一套全面、深入、实用的开源软件治理方法论体系。全书分为上、中、下3篇，共15章，理论结合实践，层层递进。上篇为理念与方法，包括6章：首先介绍开源软件和开源软件治理的定义、现状、发展和必要性，然后详细介绍开源软件治理的总体框架，包括组织架构、流程管理、工具平台和社区运营，并从开源软件治理的全生命周期和软件供应链两方面介绍开

本书共8章，第1章概述AI（Artificial Intelligence，人工智能）系统，介绍机器学习的模型和分类，以及AI系统对测试工程师“提出”的新问题等；第2章介绍数据的处理过程，以及数据的分组方法，详细介绍依托测试数据的测试评价方法；第3章讲解模型中超参数相关的概念，以及关于模型性能的评估指标，并介绍了较为主流的模型的基准测试；第4章重点介绍AI系统的测试用例设计方法，以及传统软件测试方

随着信息技术和互联网的发展，人们逐渐从信息匮乏的时代走入了信息过载（information overload）的时代 。在这个时代，无论是信息消费者还是信息生产者都遇到了很大的挑战：对于信息消费者，从大量信息中找到自己感兴趣的信息是一件非常困难的事情；对于信息生产者，让自己生产的信息脱颖而出，受到广大用户的关注，也是一件非常困难的事情。推荐系统是解决这一矛盾的重要工具。推荐系统的任务是联系用户和信