自動控制理論與控制技術(shù)正廣泛深入地應(yīng)用到機械工程、儀器科學等領(lǐng)域，本書從工程應(yīng)用角度闡述了經(jīng)典控制理論的概念、原理和各種分析方法，內(nèi)容包括控制系統(tǒng)的基本概念與基本組成、控制系統(tǒng)的數(shù)學模型、控制系統(tǒng)的時域分析、控制系統(tǒng)的頻域分析、控制系統(tǒng)的穩(wěn)定性分析、控制系統(tǒng)的根軌跡分析、控制系統(tǒng)的綜合與校正，以及MATLAB軟件在控制

本書在簡要闡述了環(huán)境生態(tài)學概念及特點的基礎(chǔ)上，系統(tǒng)講述了生物與環(huán)境的關(guān)系、生物種群與群落及生態(tài)系統(tǒng)的基本理論，全面分析了環(huán)境污染與生態(tài)修復、生態(tài)破壞與生物的生態(tài)關(guān)系，系統(tǒng)探討了全球變化及其對生物的影響，充分強調(diào)了生物多樣性與生物安全、環(huán)境生態(tài)與生態(tài)環(huán)境管理，深入論述了環(huán)境生態(tài)與生態(tài)文明的關(guān)系。

證明論是邏輯基礎(chǔ)理論的分枝.結(jié)構(gòu)證明論是證明論的分枝，它研究演算中的分析性證明.本書在介紹古典句子邏輯和直覺主義邏輯的基礎(chǔ)上，給出公理系統(tǒng)、自然演繹和矢列演算等不同類型的邏輯演算.根據(jù)結(jié)構(gòu)的定義和結(jié)構(gòu)規(guī)則，區(qū)分不同類型的矢列演算，并且以切割消除為工具，給出了插值性質(zhì)、可判定性等問題的證明.本書還介紹了一階邏輯、模態(tài)邏輯

邏輯定理的機器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機器證明工具

師生關(guān)系一直是影響教育活動的重要因素之一。隨著人工智能的勃興，基于物聯(lián)網(wǎng)、云計算、大數(shù)據(jù)、泛在網(wǎng)絡(luò)等新一代信息技術(shù)在教育領(lǐng)域的推廣應(yīng)用，不僅使教育步入新的發(fā)展階段，而且給師生關(guān)系及其建設(shè)帶來新的機遇與挑戰(zhàn)。本書發(fā)現(xiàn)，師生關(guān)系從原來僅限于人類教師與學生之間的雙主體關(guān)系走向人類教師、機器人教師和學生三者間的三主體關(guān)系。本書

本書以飼料智能加工生產(chǎn)學理論為綱，主要論述配合飼料的智能加工設(shè)備與加工工藝，兼顧添加劑預混合飼料智能加工技術(shù)，涵蓋生產(chǎn)配合飼料的原料接收-清理-儲存-輸送-粉碎-配料-混合等全流程生產(chǎn)工藝。全書共11章，第一章為緒論部分，主要介紹了飼料智能加工的特點、優(yōu)勢，以及飼料智能加工工業(yè)的現(xiàn)狀與發(fā)展前景；第二章至第十一章不僅介紹

本書共19章。詳細介紹了以下內(nèi)容：不同類型環(huán)境，包括海水環(huán)境、低溫及堿性極端環(huán)境、植物內(nèi)生環(huán)境等樣本的DNA/RNA提取及宏基因組文庫構(gòu)建技術(shù)；從核酸、脫氧核酸、蛋白質(zhì)三個角度分析環(huán)境微生物代謝活性；通過宏基因組測序獲得功能基因分類及多樣性的方法；從基因組學技術(shù)層面介紹復雜微生物群落的研究方法，以及挖掘活性基因（如有機

本書從電磁兼容基本概念和發(fā)展趨勢切入，分別介紹：電磁兼容性分析的必要性，電磁計算方法在電磁兼容分析與設(shè)計領(lǐng)域的發(fā)展趨勢；電磁兼容分析中的基礎(chǔ)理論知識；傳導發(fā)射與傳導抗擾度基本概念；線纜耦合電磁兼容分析，包括電磁計算方法對場-線-路耦合等典型電磁兼容問題的分析；輻射發(fā)射與電磁兼容分析的計算電磁學方法；系統(tǒng)級電磁兼容分析的

為了突破光纖非線性對系統(tǒng)傳輸容量的限制，進一步提高光纖的帶寬利用率，人們開始發(fā)展并利用新的光纖復用維度——空分復用(SDM)�？辗謴陀眉夹g(shù)與密集波分復用(DWDM)系統(tǒng)的融合應(yīng)，有助于實現(xiàn)多維復用光纖網(wǎng)絡(luò)的發(fā)展目標。本書從空分復用角度重新梳理光纖的相關(guān)知識，總結(jié)空分復用光纖的**成果，形成了較為完整的空分復用光纖理論體

本書體現(xiàn)了網(wǎng)絡(luò)安全保密一體化設(shè)計與運用的思想，橫向上沿著PDR動態(tài)模型，縱向上沿著IATF動態(tài)模型，立體式地組織內(nèi)容。本書涵蓋了通信加密、認證與訪問控制、可信計算等基于密碼的網(wǎng)絡(luò)安全機制，以及操作系統(tǒng)安全、防火墻、網(wǎng)閘、入侵檢測、網(wǎng)絡(luò)態(tài)勢感知、內(nèi)容安全、網(wǎng)絡(luò)攻擊溯源等通用網(wǎng)絡(luò)安全機制，同時強調(diào)人的因素、管理因素和安全保