本书为专著，致力于计算机信息协议的研究。针对目前协议中存在的不具有实用性或过于复杂等问题，本书以UC属性作为主要对象，研究zk协议及对它的形式化甚至自动行分析验证，主要工作有：研究uC模型的可描述性及uC模型中协议模块化设计与分析方法，利用uc模型分析密码协议的性，主要是利用协议严格证明协议是否能实现特定任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输（UCOT）协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。

当第一个类人猿用沾满炭灰的石头在洞穴墙壁上刻下自己的形象时，“存储”作为延续文明的工具就诞生了。当古老的“存储”遇到云计算，就成为了由云而生、依云而建的云存储。本书呈现的是阿里云存储团队通过保障数十 EB 数据的稳定和安全在十余年的自研之路得来的技术变革、实战开发经验和教训，以及丰富的行业和场景应用的解决方案。阿里云的存储工程师们会在本书中尽力回答：超大规模的云存储系统如何创建；如何满足高峰值应用的高带宽和低延时需求；如何低成本、低能耗地长期保存和利用数据；如何保证全年 7×24 小时不间断的超高可用性；如何保证用户的数据安全；如何利用数据生命周期；如何根据用户的需求弹性地部署和调度资源；如何实现数据管理和调度的高效及智能化；如何针对不同的行业给出合适的解决方案等问题。本书是阿里巴巴集团存储技术研发成果的集大成式讲解和全面展示，既适合企业 CTO、CIO、IT 经理进行决策时参考，也适合使用云计算进行应用开发与部署的开发工程师、管理运维工程师、系统架构师作为技术用书，对于想了解和学习云存储的高校学生及相关从业者也有很高的科普价值。

本书系统全面、由浅入深介绍了管理后台开发的各方面知识、经验和技巧，包括企业内部真实的项目开发方式、项目原型、API接口文档、API接口联调、团队协作开发的Git代码管理等，并附有400余个代码清单，这些实例代码与Git分支是一一对应的。除此之外，本书还结合Element Plus介绍了组件化的二次封装、公共方法封装等，可以使项目开发工作高效保质、事半功倍。管理后台是企业应用最多的项目之一，读者在学习本书后可以全面地了解管理后台的整体结构，实现完全自主搭建管理后台。本书既适合Web前端开发者学习使用，又适合零编程经验、有兴趣从事Web前端工作，以及想深入了解管理后台内容的读者阅读，同时也可作为高等院校计算机相关专业的师生用书和培训学校的教材。

本书全面概括了与NFT相关的各个层面和角度的信息，并辅以大量案例。第1章介绍NFT的底层协议，第2章介绍NFT的发展趋势，第3章～第8章依次介绍艺术类、头像类、社区Pass卡类、影视音乐类、体育类、土地类NFT，第9章介绍NFT的使用场景，第10章介绍具备弱交易属性的NFT，第11章介绍Web2.0品牌积极拥抱Web3.0营销的背景、原因和方式；第12章介绍Web3.0原生品牌的三条发展路线；第13章介绍数字藏品和NFT的区别，以及国内NFT相关的各种监管政策和法律法规；第14章从用户的角度为NFT初级玩家提供一些经验性建议。

天地一体化信息网络的建设和发展将会改变未来空间技术应用模式并深刻影响人类未来的生活。其具有高动态、多层以及异构多节点特性，统一时间基准的建立以及节点间高精度的时间同步，是实现天地一体化信息网络高效互联和协同的重要技术基础。本书站在天地一体化信息网络系统工程角度，重点从天地一体化时间统一的角度进行阐述，特别是从时间基准的建立、到时间基准的维持、再到时间的广域播发和监测评估，层层递进描述网络化的时间及其传递。本书首先介绍了时间的概念以及天地一体化信息网络的定义和特征，然后介绍了天地一体化信息网络的时间基准体系框架以及时间基准的维持技术，在此基础上介绍了天地一体化信息网络多节点时间同步技术以及网络授时监测评估技术。本书通过对天地一体化信息网络、时间基准、时间比对等技术的综合描述，以期对天地一体化信息网络的发展以及PNT技术的进步具有积极的促进作用，为天地一体化信息网络、卫星导航、高精度时间传递、测控等相关专业领域的高年级本科生、研究生和工程技术人员提供参考。

首先，针对高端电子装备智能发展现状和存在的问题，提出高端电子装备数字化车间总体架构和整体解决方案。其次，从体系架构、业务流程、关键技术，功能组成、产品选型等方面，分别围绕制造运营管理、仓储配送管理、大数据可视化分析决策、数据采集与控制、智能生产线等数字化车间基本组成要素展开系统论述。最后，在此基础上，针对高端电子装备微组装、电装、总装总调三类典型工艺环节分别给出数字化车间案例。最后，对未来高端电子装备数字化车间的新技术、新模式进行展望。

本书首先从云网融合趋势下运营商新型网络架构—算力感知网络的发展角度，梳理了算力网络的发展情况及业务需求，介绍了算力网络的架构及关键技术；其次从算力网络实现的角度，在算力和网络基础设施的基础上，分析了算网一体、算网编排与管理的实现，并系统地介绍了算力网络规划的架构、方法及流程，提出了算力网络的信息发布、采集、交易、资源调度等内容的端到端解决方案；最后阐述了此方案在云网能力互调、云网安能力统一编排等场景的大规模实际应用。本书可作为从事云网融合、算力调度与5G等相关人员的参考用书，也适合高等院校计算机、通信、电子工程等专业的师生，以及想要学习云网融合算力调度技术的相关人员阅读。

Node.js开发简单，性能极好，一经发布便成了明星级项目。随着大前端领域的蓬勃发展，跨平台开发、API构建、Web应用开发等场景愈加常见，Node.js也成为大前端开发的推荐“利器”。本书聚焦于Node.js高级技术。第1章介绍如何编写npm模块，其中涉及对许多常用模块的解析。第2章介绍如何编写企业级Web开发框架，主要剖析了开发框架的流程。第3章介绍如何构建具有Node.js特色的服务，着重讲解了页面即服务的概念。第4章介绍服务器部署与性能调优的相关知识。第5章介绍TDD和BDD理念，以及如何编写测试用例，同时分享了笔者关于开源和自学的看法。基于Node.js不断进阶，实现高级应用开发是符合技术趋势的，也是全栈工程师必须掌握的技能。因此，各位大前端领域及后端领域的测试、运维、软件开发从业者都适合阅读本书。

本书旨在介绍卫星通信系统中通信信号处理过程及所涉及的信号估计理论和评价标准。根据参数估计对象的不同，将主要内容分为载波同步、定时同步和帧同步三个部分。每一部分不仅涵盖了基于现代信号处理信号估计理论的多种参数估计算法，而且分析各个算法的理论出处、列出了算法的具体实时步骤并对比不同算法的同步性能，最终会给出适合的工程应用场景。本书聚焦于卫星通信系统接收信号的处理过程，涵盖了目前已知的对三种未知信号参数的不同估计方式，能够为入门卫星通信相关研究的学生迅速建立起卫星接收机结构的总体概念以及现代信号处理的基本理论基础，并可作为后期进行理论和实践研究的参考书籍。

《基于通信协议的网络化系统故障检测》结合作者多年来的研究成果，系统阐述了网络化系统建模与故障检测的理论和方法。主要包括：RR 协议下网络化系统故障检测、WTOD协议下具有数据漂移的非线性系统故障检测、SCP 调度下具有异常测量值的时滞系统故障检测、静态事件触发机制下非线性马尔可夫跳跃系统故障检测、静态事件触发机制下具有量化的非线性系统有限时故障检测、环事件触发机制下具有随机时滞的非线性系统有限时故障检测、环事件触发机制下状态饱和时滞非线性系统有限时故障检测、动态事件触发机制下非线性马尔可夫跳跃系统非脆弱故障检测、动态事件触发机制下非线性系统有限时故障检测。*后探讨了通信协议约束下故障检测技术在网络化直流电机系统中的应用。