本书的主要内容是基于作者在密码函数研究领域所发表的学术论文撰写而成的，主要介绍了在单输出密码函数、多输出密码函数以及密码函数的应用等三个方面的原创性研究成果。本书的第1章介绍了与密码函数相关的基础知识；第2章和第3章侧重介绍具有优良密码学性质的单输出和多输出布尔函数的构造，提出一系列新型密码函数构造方法；第4章探索了多输出密码函数在正交序列集设计及真随机数生成器的校正器设计等方面的应用。各章后的评注部分是对每章内容的扩展。各章后配有习题，供读者进一步思考和研究。

本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到2022年主流零知识证明算法的分类。从最基础的加密学原理讲起，本书阐述了不同计算复杂性模型下的简洁交互式论证构建，并详细描述了通用程序和可满足性电路之间的转换，通过多项式承诺方案实现简洁论证以及多项式承诺方案的多种实现。第1章到第3章介绍基础概念以及阐述交互式证明依赖强大的随机性。 第4章、第8章、第9章、第10章、第17章，从计算复杂性模型角度（IP/MIP/PCP/IOP），阐述了 交互式论证系统构建的不同方法和性能。MIP=PCP，并且多项式IOP统一了IP、MIP以及IOP。第5章介绍了Fiat-Shamir算法，将任意公开掷币交互式论证转化为非交互式论证。第6章介绍如 何将通用的图灵程序转化为电路，并解释了算术电路实例转化为可满足性电路实例的原因。第7章 引入多项式承诺方案以及低次测试，实现简洁交互式论证的雏形。第11章、第13章介绍零知识的定义以及零知识实现的两种方式：承诺-证明以及掩码多项式。第12章、第14章、第15章、第16章介绍承诺方案，并总结了多项式承诺方案的三种方式：基 于IOP（第10章），基于离散对数难问题以及基于配对。第18章介绍了SNARK的组合和递归。第19章是对本书中讲述的所有零知识证明算法的分类总结。

本书论证了探讨中国互联网信息服务协同治理的重要性，为构建互联网信息服务协同治理厘清了概念域、奠定了理论基础。在借鉴已有模型和结合实践的基础上，析出了互联网信息服务协同治理“价值——主体——过程——保障”的四维分析框架。随后，追溯了中国互联网信息服务治理的变迁历程。提炼了当前中国互联网信息服务治理的特点——“碎片式发包”，并从“全要素协同”的角度论述了借鉴协同治理理论资源可以对这一模式的优化带来的效用。从应然层面构建了中国互联网信息服务协同治理模式。从价值、主体、过程和保障四部分对其进行解构。从现实层面对标中国互联网信息服务协同治理的理想模式，通过理论推演、文本梳理与实地调研、访谈，从主体、过程与保障三方面总结剖析了中国互联网信息服务协同治理存在的困境。*后，运用理论资源的提炼与实践经验的总结（访谈所得）旨在重塑互联网信息服务协同治理。本书揭示了互联网信息服务协同治理是一个具有探讨热度、深度与广度的前沿议题，在理论层面，厘清了互联网信息服务治理的概念域，构建了互联网信息服务协同治理的四维分析框架；在实践层面，本文在理论框架的引导下，将各个要素中实践上*为痛点的问题进行了剖析。同时，本部分中笔者从互联网信息服务具体样态的研究、治理过程中“政企”关系的描摹与治理效能评价等方面锚定了本领域中仍有探索空间的方向。

《电子传奇：从固体到凝聚态》深入探索电子技术背后的物理理论，从半导体和电的历史讲起，展现了晶体管发明等关键历程，回溯原子模型演化，聚焦当下热门的自旋电子学研究及前沿的纳米技术、量子霍尔效应、拓扑绝缘体等领域。书中详细描述量子、能带、晶格等核心概念及理论的诞生与发展脉络，将抽象的物理知识具象化，生动解读法拉第、特斯拉、赫兹、郎道、肖克利、霍尔等大师的科研工作与趣闻轶事，带领读者领略大师风采，了解电子在半导体中“舞蹈”的奇妙规则，揭示物理与工程领域的紧密联系，无论是专业学者还是对电子技术感兴趣的读者，都能从中一窥电子技术物理世界的魅力与奥秘，收获对电子技术及相关物理理论的全新认知，感受科学发展的波澜壮阔与永不止步。

内容简介本书深入研究和探索了基于深度学习的轻量级领域本体自动构建方法，并将其和传统主流方法技术有机结合起来，最终构建和提出了一系列支持轻量级领域本体自动生成的深度学习流程框架与方法模型，并主要以资源环境领域为例进行了试验应用和对试验结果进行了深入分析和评价。

《边缘智能》深入探讨人工智能与边缘计算的密切关系。众多智能场景和大模型的兴起加剧了大数据需求，同时数据规模对网络架构提出挑战，边缘计算应运而生。人工智能和边缘计算密不可分，边缘计算通过降低延迟和负载为人工智能提供保障，而人工智能的优化能力则支持了边缘计算高效运行。

本书是计算机类和通信工程等专业的课程教材，主要内容包括计算机网络概述、物理层与数据通信基础、数据链路层、局域网、网络层、网络互联技术和综合布线技术、传输层协议、应用层协议、网络管理与信息安全、网络新技术等。本次修订更新对网络发展现状和网络技术的介绍，更新相关习题，引进企业网络案例，增加使用Wireshark截获实际网络中的分组包的介绍，配备教学视频。修订后的图书更加科学系统，完善丰富，知识性和指导性更强。本书可作为高等学校计算机及相关专业的教材，亦可供从事计算机网络工程技术和运行管理的人员参考。

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

本书提供了适应性设计（AD）的全面研究，从构思概念、开发方法和应用到AD的真实世界产品设计，通过扩展AC的设计和物理产品的实用性，可以实现实质性的益处。AD的主要元素包括合理化的功能结构、可适应的产品架构、可适应接口和适应性评估。AD原则的关键方面是适应性，包括设计适应性、产品适应性、一般适应性和特定适应性，以及适应性的建模和评估。对这些方面的详细讨论是为了理解AD。还描述了在软件中实现AD和设计应用的方法、工具和技术。包括AD的应用示例，以说明如何在实际产品设计中使用AD。*后，强调了人工智能、大数据、物联网、云技术等先进技术以及元宇宙和Web3.0时代AD的未来发展。

本书结合医学相关专业的教学特点，重点培养学生的医学计算能力，书中的案例设计紧贴医学、医药和临床等专业典型问题的解决方案。其主要内容包括Python程序设计及医学数据分析处理、数据库的基础理论和结构化查询语言、医学数据库信息系统和智能医学几大部分。 本书既可作为医科院校各专业和综合院校的医药相关专业学生的“大学计算机基础”“Python程序设计”等相关课程的教材，也可作为医药卫生领域中的医、教、研人员以及对计算机在医学领域应用感兴趣的IT工作者的参考用书。