本書主題為基于最弱前置條件計算的軟件測試及錯誤定位分析方法研究。主要包括以下幾個方面的內(nèi)容：一、首先對基于程序分析的軟件測試及錯誤定位研究的總體情況進行分析。回顧軟件測試技術(shù)近幾十年的發(fā)展歷程，分析該技術(shù)的重要地位、目前的現(xiàn)狀及面臨的主要困境。分析作為軟件質(zhì)量維護重要環(huán)節(jié)的軟件修復(fù)，并進一步細化軟件修復(fù)的重要步驟

微機電系統(tǒng)（MEMS）具有尺寸微小、片內(nèi)集成、批量制造、材料寬泛的技術(shù)特征，因而成為先進傳感器技術(shù)的主流發(fā)展方向。微型化、智能化和網(wǎng)絡(luò)化的壓力傳感器在高端裝備、智能制造、機器人、物聯(lián)網(wǎng)等新興領(lǐng)域具有很大的應(yīng)用潛力。本書將作者團隊多年來在該領(lǐng)域的科研積累融為一爐，從相關(guān)基礎(chǔ)理論出發(fā)，論述了MEMS壓力傳感器的主流工藝、器

本書主要面向應(yīng)用型大學(xué)計算機類專業(yè)學(xué)生，從程序員的視角出發(fā)，圍繞可執(zhí)行文件的生成、加載和執(zhí)行，重點介紹如何利用計算機系統(tǒng)相關(guān)知識來編寫更有效的程序。全書將每個環(huán)節(jié)涉及的硬件和軟件的基本概念關(guān)聯(lián)起來，幫助學(xué)生建立完整的層次框架，從而加強系統(tǒng)觀。本書共分8章，涵蓋計算機系統(tǒng)基礎(chǔ)、高級語言程序、數(shù)據(jù)的機器級表示、數(shù)據(jù)的基本運

本書以Hadoop3.3.0為核心，涵蓋Hadoop生態(tài)系統(tǒng)的常用組件，主要介紹各組件的架構(gòu)原理、Shell命令、常用API及編程等，并配有較多例題。全書共7章，內(nèi)容包含Hadoop概述、Hadoop偽分布式安裝、Hadoop分布式文件系統(tǒng)HDFS、分布式計算框架MapReduce、分布式數(shù)據(jù)庫HBase、數(shù)據(jù)倉庫Hi

本教材落實立德樹人的根本任務(wù),通過理論知識學(xué)習(xí)、基礎(chǔ)技能訓(xùn)練和綜合應(yīng)用實踐,培養(yǎng)中等職業(yè)學(xué)校學(xué)生符合時代要求的信息素養(yǎng)和適應(yīng)職業(yè)發(fā)展需要的信息能力。課程通過多樣化的教學(xué)形式,幫助學(xué)生認識信息技術(shù)對當今人類生產(chǎn)、生活的重要作用;理解信息技術(shù)、信息社會等概念和信息社會特征與規(guī)范;掌握信息技術(shù)設(shè)備與系統(tǒng)操作、網(wǎng)絡(luò)應(yīng)用基礎(chǔ)、圖

本書通過具體示例演示大規(guī)模C++開發(fā)的基本設(shè)計設(shè)想，為各種規(guī)模的項目奠定基礎(chǔ)，并演示成功進行大規(guī)模實際開發(fā)所需的過程、方法、技術(shù)和工具。通過閱讀本書，讀者可以逐步改變自己的設(shè)計和開發(fā)方法。本書旨在使用軟件從業(yè)人員熟悉的C++構(gòu)件來解決現(xiàn)實問題，同時確定（并激發(fā)）現(xiàn)代C++替代方案。作者利用超過30年的構(gòu)建大規(guī)模、關(guān)鍵任

本書基于傳感器相關(guān)的操作與調(diào)試崗位技能要求，以及“1+X工業(yè)傳感器集成應(yīng)用”和“1+X中級物聯(lián)網(wǎng)智慧農(nóng)業(yè)系統(tǒng)集成和應(yīng)用”職業(yè)資格鑒定考試要求，對接全國人工智能應(yīng)用技術(shù)技能大賽智能傳感器技術(shù)應(yīng)用賽項標準，將企業(yè)的11個典型任務(wù)按照工作過程設(shè)計成模塊化的課程內(nèi)容體系，包括傳感器的認識與選用、溫度傳感器的應(yīng)用與調(diào)試、力傳感器

中望?3D是一款專門基于Windows系統(tǒng)開發(fā)的三維CAD軟件，該軟件以參數(shù)化特征造型為基礎(chǔ)，具有功能強大、易學(xué)易用等特點。本書系統(tǒng)地介紹了中望?3D2021?中文版軟件在草圖線框繪制、三維造型建模、裝配體動畫設(shè)計、工程圖設(shè)計等方面的應(yīng)用。本書的特點是將軟件基本操作與產(chǎn)品設(shè)計相結(jié)合，通過實例介紹常用工具的功能及屬性設(shè)置

本書為職業(yè)本科計算機類專業(yè)基礎(chǔ)課MOOC+SPOC系列教材。 本書圍繞職業(yè)本科教育計算機類專業(yè)人才培養(yǎng)目標，結(jié)合“Python程序設(shè)計”課程定位及學(xué)生認知特點，從實踐的角度出發(fā)，全面介紹Python語言的環(huán)境搭建、基本數(shù)據(jù)處理、流程控制、批量數(shù)據(jù)處理、文本數(shù)據(jù)處理、函數(shù)應(yīng)用、模塊化編程、文件讀寫操作和面向?qū)ο缶幊痰葍?nèi)容

本實驗指導(dǎo)結(jié)合了實際工程案例，基于新華三的云教學(xué)領(lǐng)航基礎(chǔ)服務(wù)平臺包含實驗機架管理基礎(chǔ)功能、用戶中心功能、實驗報告功能、云端連接功能，實訓(xùn)教學(xué)與實驗教學(xué)管理功能等�；�于新華三的計算機網(wǎng)絡(luò)實驗室已于2020年7月建設(shè)完成，目前已使用3年，實驗室里面的設(shè)備共9組，教師機1組，學(xué)生機8組。網(wǎng)絡(luò)實驗室方案從邏輯上可分為實驗臺區(qū)域