本书主题为基于最弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容：一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。回顾软件测试技术近几十年的发展历程，分析该技术的重要地位、目前的现状及面临的主要困境。分析作为软件质量维护重要环节的软件修复，并进一步细化软件修复的重要步骤

微机电系统（MEMS）具有尺寸微小、片内集成、批量制造、材料宽泛的技术特征，因而成为先进传感器技术的主流发展方向。微型化、智能化和网络化的压力传感器在高端装备、智能制造、机器人、物联网等新兴领域具有很大的应用潜力。本书将作者团队多年来在该领域的科研积累融为一炉，从相关基础理论出发，论述了MEMS压力传感器的主流工艺、器

本书主要面向应用型大学计算机类专业学生，从程序员的视角出发，围绕可执行文件的生成、加载和执行，重点介绍如何利用计算机系统相关知识来编写更有效的程序。全书将每个环节涉及的硬件和软件的基本概念关联起来，帮助学生建立完整的层次框架，从而加强系统观。本书共分8章，涵盖计算机系统基础、高级语言程序、数据的机器级表示、数据的基本运

本书以Hadoop3.3.0为核心，涵盖Hadoop生态系统的常用组件，主要介绍各组件的架构原理、Shell命令、常用API及编程等，并配有较多例题。全书共7章，内容包含Hadoop概述、Hadoop伪分布式安装、Hadoop分布式文件系统HDFS、分布式计算框架MapReduce、分布式数据库HBase、数据仓库Hi

本教材落实立德树人的根本任务,通过理论知识学习、基础技能训练和综合应用实践,培养中等职业学校学生符合时代要求的信息素养和适应职业发展需要的信息能力。课程通过多样化的教学形式,帮助学生认识信息技术对当今人类生产、生活的重要作用;理解信息技术、信息社会等概念和信息社会特征与规范;掌握信息技术设备与系统操作、网络应用基础、图

本书通过具体示例演示大规模C++开发的基本设计设想，为各种规模的项目奠定基础，并演示成功进行大规模实际开发所需的过程、方法、技术和工具。通过阅读本书，读者可以逐步改变自己的设计和开发方法。本书旨在使用软件从业人员熟悉的C++构件来解决现实问题，同时确定（并激发）现代C++替代方案。作者利用超过30年的构建大规模、关键任

本书基于传感器相关的操作与调试岗位技能要求，以及“1+X工业传感器集成应用”和“1+X中级物联网智慧农业系统集成和应用”职业资格鉴定考试要求，对接全国人工智能应用技术技能大赛智能传感器技术应用赛项标准，将企业的11个典型任务按照工作过程设计成模块化的课程内容体系，包括传感器的认识与选用、温度传感器的应用与调试、力传感器

中望?3D是一款专门基于Windows系统开发的三维CAD软件，该软件以参数化特征造型为基础，具有功能强大、易学易用等特点。本书系统地介绍了中望?3D2021?中文版软件在草图线框绘制、三维造型建模、装配体动画设计、工程图设计等方面的应用。本书的特点是将软件基本操作与产品设计相结合，通过实例介绍常用工具的功能及属性设置

本书为职业本科计算机类专业基础课MOOC+SPOC系列教材。 本书围绕职业本科教育计算机类专业人才培养目标，结合“Python程序设计”课程定位及学生认知特点，从实践的角度出发，全面介绍Python语言的环境搭建、基本数据处理、流程控制、批量数据处理、文本数据处理、函数应用、模块化编程、文件读写操作和面向对象编程等内容

本实验指导结合了实际工程案例，基于新华三的云教学领航基础服务平台包含实验机架管理基础功能、用户中心功能、实验报告功能、云端连接功能，实训教学与实验教学管理功能等。基于新华三的计算机网络实验室已于2020年7月建设完成，目前已使用3年，实验室里面的设备共9组，教师机1组，学生机8组。网络实验室方案从逻辑上可分为实验台区域