多面体编译理论与深度学习实践

本书基于软件测试过程模型，构建软件测试价值模型、能力模型及基于能力战略的软件测试策略框架，讨论软件测试终止、测试预言、测试生成问题。基于图结构、图元素及软件失效行为，介绍逻辑驱动、数据驱动、剖面驱动的基础理论、基础技术及实践者方法。基于技术创新及软件测试发展需求，构建面向服务、大数据及应用、软硬件一体化测试的技术框架，讨论基于服务模型的形式化描述及求解、服务实体及基于时间波动的服务实时性测试、大数

本书详细介绍了可用于数据处理的表格格式、云产品、框架、存储层，以及如何将这些内容组合在一起，以获得适合自己需求的高性能解决方案。作者在书中提供的决策框架将帮助你明智地决定选择哪种数据湖。本书是大数据领域每个人的必读书。阅读本书后，你将了解构建云数据湖所需的所有基础知识，并能够以多种方式应用这些知识。本书主要面向数据架构师、数据开发人员和数据运维专业人员，他们希望广泛地了解设置和运营云数据湖的各个方

本书为想要设计、构建和维护实时分析应用程序的人员（包括数据工程师、架构师和技术领导者）提供了结构合理的基础知识。第1章和第2章简要介绍实时分析，并概述可以构建的实时分析应用程序的类型。第3章介绍一家虚构的比萨公司，该公司已经建立了流处理基础设施，但尚未实现任何实时分析功能。第4~10章展示如何为这家比萨公司实现不同类型的实时分析应用程序。第11~13章介绍将应用程序投入生产时的注意事项、实时分析的