本書(shū)圍繞計(jì)算機(jī)代碼的驗(yàn)證工作，以代碼驗(yàn)證的背景和歷史發(fā)展為切入點(diǎn)，從微分方程出發(fā)，提出了一個(gè)逐步驗(yàn)證代碼精度階的方法和流程。重點(diǎn)討論了在驗(yàn)證過(guò)程中如何設(shè)計(jì)一套具有覆蓋性的測(cè)試相關(guān)問(wèn)題。詳細(xì)介紹了精度階驗(yàn)證的有關(guān)內(nèi)容，包括代碼驗(yàn)證和解驗(yàn)證、代碼確認(rèn)的區(qū)別，人造精確解方法，并給出了精度階驗(yàn)證的實(shí)例。

本書(shū)介紹了SSL、TLS和DTLS協(xié)議的基礎(chǔ)理論和工程化實(shí)踐經(jīng)驗(yàn)，深入地論述了涉及的密碼知識(shí)以及在互聯(lián)網(wǎng)應(yīng)用過(guò)程中遇到的實(shí)際問(wèn)題，包括協(xié)議結(jié)構(gòu)、工作原理、安全性分析及其面臨的攻擊，公鑰證書(shū)管理及其常見(jiàn)問(wèn)題與易犯錯(cuò)誤等內(nèi)容。本書(shū)以大量的現(xiàn)實(shí)應(yīng)用問(wèn)題作為牽引，特別是對(duì)SSL、TLS和DTLS在真實(shí)網(wǎng)絡(luò)環(huán)境下的實(shí)際配置與部署

本書(shū)共分兩部分，每部分又分3篇。第一部分“基礎(chǔ)篇”主要介紹了虛擬機(jī)的創(chuàng)建以及OracleRAC環(huán)境的配置與建設(shè)；“高級(jí)篇”主要介紹如何安全、有效地對(duì)RAC集群環(huán)境和數(shù)據(jù)庫(kù)進(jìn)行省級(jí)維護(hù)；“附錄篇”補(bǔ)充了與前兩篇相關(guān)且緊密聯(lián)系的內(nèi)容，使平臺(tái)建設(shè)與維護(hù)方面的案例更加豐富和完善。第二部分“基礎(chǔ)環(huán)境搭建”主要介紹DG服務(wù)器基礎(chǔ)環(huán)

本書(shū)主要研究了狀態(tài)相關(guān)的脈沖對(duì)（切換）神經(jīng)網(wǎng)絡(luò)穩(wěn)定性的影響，以及利用脈沖免疫（脈沖解毒）怎么控制網(wǎng)絡(luò)病毒的傳播，是作者近年來(lái)的研究成果。 本書(shū)首先介紹了狀態(tài)相關(guān)的脈沖（切換）系統(tǒng)、神經(jīng)網(wǎng)絡(luò)模型、計(jì)算機(jī)病毒傳播模型，然后運(yùn)用B-equivalence方法、Lyapunov函數(shù)和一些分析技巧研究了幾類狀態(tài)相關(guān)的脈沖（切換

本書(shū)是編者多年教學(xué)經(jīng)驗(yàn)的結(jié)晶，在全面介紹Java編程原理和基本概念的基礎(chǔ)上，重點(diǎn)培養(yǎng)讀者面向?qū)ο蟮乃枷爰袄�用面向�(qū)ο笏枷虢鉀Q實(shí)際問(wèn)題的能力。 本書(shū)以培養(yǎng)學(xué)生的職業(yè)能力為核心，以工作實(shí)踐為主線，面向企業(yè)技術(shù)工程師崗位能力模型設(shè)置教材內(nèi)容，建立以實(shí)際工作過(guò)程為框架的職業(yè)教育課程結(jié)構(gòu)。 本書(shū)可作為高等院校計(jì)算機(jī)專業(yè)及理工

書(shū)中闡述了網(wǎng)絡(luò)物理和社會(huì)系統(tǒng)（CyberPhysicalandSocialSystems,CPSS）中大數(shù)據(jù)與物聯(lián)網(wǎng)的聯(lián)系和遇到的問(wèn)題，介紹了情景意識(shí)和決策支持的分析模型，描述了信息的表征和表示方式，給出了融合方法和數(shù)據(jù)處理策略，并提出了基于FIAT的復(fù)雜環(huán)境決策支持�；�于分析和信息融合的核心概念，本書(shū)還介紹了通過(guò)FI

本書(shū)分為WPSOffice案例應(yīng)用、浙江省計(jì)算機(jī)等級(jí)考試(二級(jí)WPS辦公軟件高級(jí)應(yīng)用技術(shù))考證實(shí)訓(xùn)兩篇，包含中國(guó)菜演示文稿母版制作、演示文稿首頁(yè)設(shè)計(jì)、函數(shù)進(jìn)階使用、學(xué)生信息管理、二級(jí)WPS表格實(shí)訓(xùn)等任務(wù)。

本書(shū)在編寫(xiě)體系上做了精心設(shè)計(jì)，按照理實(shí)一體化教學(xué)思路進(jìn)行編排。本書(shū)結(jié)合學(xué)科特點(diǎn)，推進(jìn)課程思政建設(shè)。每個(gè)項(xiàng)目設(shè)置”思政課堂”模塊，在培養(yǎng)學(xué)生信息技術(shù)能力的同時(shí)，著力引導(dǎo)學(xué)生樹(shù)立正確的職業(yè)道德觀，增強(qiáng)愛(ài)崗敬業(yè)的理念，提升綜合素養(yǎng)。本書(shū)共有8個(gè)項(xiàng)目，內(nèi)容包括信息素養(yǎng)與安全、認(rèn)識(shí)Windows10操作系統(tǒng)、計(jì)算機(jī)網(wǎng)絡(luò)基礎(chǔ)、Wo

本書(shū)以“項(xiàng)目導(dǎo)向、任務(wù)驅(qū)動(dòng)”的教學(xué)模式，根據(jù)自動(dòng)控制技術(shù)的發(fā)展現(xiàn)狀，介紹了控制理論的基本概念、基本理論及基本分析方法，并結(jié)合控制理論對(duì)實(shí)際應(yīng)用項(xiàng)目進(jìn)行了分析。理論與實(shí)訓(xùn)相結(jié)合，體現(xiàn)了“教、學(xué)、做一體化”特點(diǎn)。全書(shū)主要包括自動(dòng)控制系統(tǒng)概述、控制系統(tǒng)的數(shù)學(xué)模型、控制系統(tǒng)的時(shí)域分析法、控制系統(tǒng)的根軌跡法、控制系統(tǒng)的頻率特性法

本書(shū)由國(guó)家工業(yè)信息安全發(fā)展研究中心組織編寫(xiě)，是反映全球網(wǎng)絡(luò)空間領(lǐng)域最新發(fā)展情況的綜合性報(bào)告，全書(shū)分戰(zhàn)略政策篇、組織機(jī)構(gòu)與作戰(zhàn)力量建設(shè)篇、網(wǎng)絡(luò)安全技術(shù)篇、網(wǎng)絡(luò)安全演習(xí)篇，主要跟蹤2022年度美國(guó)、歐盟、英國(guó)、俄羅斯、日本等國(guó)家和組織在本領(lǐng)域內(nèi)的戰(zhàn)略政策、組織機(jī)構(gòu)與作戰(zhàn)力量、網(wǎng)絡(luò)安全演習(xí)及網(wǎng)絡(luò)安全技術(shù)發(fā)展等方面的最新動(dòng)向，