反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。本书是国际著名计算机科学家ZoharManna和AmirPn

本书针对可逆信息隐藏技术存在的问题提出了解决信息隐藏过程中抗干扰的具体方法，建立了在信息隐藏过程中隐秘图像发生嵌入失真的数学模型，分析了信息隐藏过程中出现的上溢和下溢机理，提出了相应的解决方法，构造出更为陡峭的误差差分分布直方图模型。书中主要介绍以下5方面内容：基于有效位差分扩展的可逆信息隐藏算法、基于左右平移的大嵌入容量可逆信息隐藏算法、基于双向差分扩展的可逆信息隐藏算法、一种有效的无移位的多位可逆信息隐藏算法及基于二阶差分的新型大嵌入容量可逆信息隐藏算法。

本书主要内容包括：绪论、云计算资源管理关键技术及系统架构、云计算中碎片资源管理关键技术、云存储及相关调度机制、云计算负载均衡的相关技术等，共十八章。具体内容包括：云计算的概念、云存储、云作业调度算法、云计算资源管理技术等。

本书主要阐述天基物联网的特点和各行业需求，详细论述各类相关载荷的关键技术（星载AIS、星载ADSB、天基DCS），包括针对星载AIS和ADSB的高灵敏度接收、多信号冲突建模、盲信号分离技术研究，针对天基DCS的海量用户多址接入等；介绍了载荷数据的智能应用，包括多维数据融合、数据挖掘、异常目标检测等，对后续相关载荷列装和天基物联网星座的建设和应用提供参考。

本书的内容分为三部分。第一部分侧重于数字社会，其中介绍了关键基础设施和不同形式的数字化，如网络安全的战略重点、网络安全的法律问题、数字社会的公民以及网络安全培训。第二部分侧重于关键基础设施保护，其中探究了使用新技术来提高当前网络防御能力的可行性，并介绍了新技术带来的新挑战。第三部分侧重于网络环境中的计算方法和应用。本书汇集了世界各国的学术研究人员，同时面向关键基础设施保护领域（包括关键基础设施环境和分析，以及医疗健康、电力系统、海事、航空和建筑环境等一些领域）的研究人员、技术专家和决策者的成果。

本书包括9个模块，分别为部署数据仓库环境、创建数据仓库文件、管理仓库表中的数据、管理分区表中的数据、分析和导出仓库数据、应用函数统计分析、迁移平台数据方法、调优数据仓库性能、数据仓库应用实战。编者秉持“以提升学生能力为本”的编写理念，基于工作过程导向重构课程体系，采用情景导入式和问题导入式教学模式，联合企业遴选4个不同应用场景的大数据分析项目，设计24个循序渐进的任务，按照“学习目标→任务分析→技术准备→任务实施→任务小结→模块总结→实践创新→检测反馈”结构编写，引导学生“照样做”“模仿做”“独

本书研究x86多媒体指令集扩展专利技术实现的思路、方法。MMX与之后的SSE、AVX等一系列x86多媒体扩展指令集使得处理器支持的紧缩数据的数据元素类型从整数扩展到单精度、双精度浮点数，宽度从8位扩展到16位、32位、64位、512位。本书第1章分析MMX指令集专利技术。第2～7章研究SSE、SSE2、SSE3、SSSE3、SSE4等专利技术。第8～11章研究AVX、AVX2和AVX-512等专利技术。

众智建模与仿真方法主要用于研究众智科学的基本原理和规律。其主要内容包括众决策、众协作、众进化等仿真，用于研究众决策、众协作、众进化等群体智能问题。本书共7章。第1章为众智仿真理论。第2章为众智仿真方法。第3章为众智仿真平台。第4章为众智仿真方法在生产系统分析中的应用。第5章为众智仿真方法在装备保障体系分析中的应用。第6章为基于=Agent的众智仿真案例。第7章为基于HLA的众智仿真案例。

低代码技术广泛应用在企业信息化、移动应用开发、物联网、数字化营销等领域，通过可视化建模工具、模块化组件、自动化部署等功能，使开发人员可以通过简单的拖曳操作设计出相应的工作流程，并对流程进行控制，从而快速开发各种企业信息化系统。本书主要介绍低代码概念、低代码平台、低代码应用开发基础知识、低代码脚本、基于低代码平台的需求分析、可视化开发、一键部署、平台集成、应用生命周期管理等低代码应用开发技术内容，以及企业数字化应用、物联网系统应用、移动应用场景、软件工作台应用、数据大屏应用等实例开发。本书理论与实

游戏策划到底是什么？只是简单地改改数据、写写剧情吗？不是的，它是一项综合而又复杂的岗位。本书不适合那些具有一定游戏策划经验的人，也不适合想要深入学习游戏设计的开发者，但它可以帮助那些想要了解这个行业或刚刚进入这个行业的人，来系统地了解游戏策划这个职业。本书共包含13章，第1~2章对游戏及游戏策划进行概述；第3章讲解了系统策划的相关知识；第4章讲解了数值策划的相关知识；第5章带领读者了解文案策划的工作内容；第6章带领读者了解战斗策划的工作内容；第7章展示了关卡策划的内容；第8章展示了技术策划的内容