本書介紹了水曲柳繁育生物學(xué)研究現(xiàn)狀，重點(diǎn)介紹了水曲柳組織培養(yǎng)技術(shù)和原理研究現(xiàn)狀，包括水曲柳種子無菌發(fā)芽與胚軸離體再生、水曲柳不定芽發(fā)生和腋芽增殖途徑的植株再生、水曲柳離體根培養(yǎng)體系的建立、水曲柳合子胚子葉愈傷組織誘導(dǎo)和增殖的影響因素、水曲柳體胚發(fā)生和植株再生，還對水曲柳合子胚和體胚發(fā)生發(fā)育的形態(tài)學(xué)、組織細(xì)胞學(xué)、生物化學(xué)

本書提出微波光子多學(xué)科協(xié)同設(shè)計(jì)思想與方法，首先從微波光子的跨域交叉融合出發(fā)，分析了其多學(xué)科特點(diǎn)，探討了微波光子多學(xué)科協(xié)同設(shè)計(jì)的技術(shù)挑戰(zhàn)；接著，基于微波光子多學(xué)科設(shè)計(jì)的內(nèi)涵，將需求-功能-邏輯-物理（RFLP）系統(tǒng)工程論方法引入微波光子系統(tǒng)的設(shè)計(jì)中，形成了基于RFLP的微波光子系統(tǒng)仿真設(shè)計(jì)的一般方法。同時(shí)，深入研究了微波

本教材分為5部分，全面涵蓋了蔬菜栽培學(xué)課程實(shí)驗(yàn)和實(shí)習(xí)。第Ⅰ部分為蔬菜栽培生物學(xué)基礎(chǔ)類，共46個(gè)實(shí)驗(yàn)；第Ⅱ部分為蔬菜栽培技藝類，共34個(gè)實(shí)驗(yàn)；第Ⅲ部分為蔬菜栽培綜合創(chuàng)新設(shè)計(jì)類，共11個(gè)實(shí)驗(yàn)；第Ⅳ部分為蔬菜栽培學(xué)教學(xué)實(shí)習(xí)類，共5個(gè)實(shí)習(xí)；附錄部分共4個(gè)，介紹了蔬菜栽培常用技術(shù)參數(shù)和實(shí)驗(yàn)室技術(shù)。 “蔬菜栽培學(xué)實(shí)驗(yàn)實(shí)習(xí)”是“蔬菜

本書是在大數(shù)據(jù)框架下，全面介紹金融科技在處理真實(shí)場景金融問題時(shí)需要掌握的最重要的幾類機(jī)器學(xué)習(xí)方法，并將重點(diǎn)放在實(shí)施過程中需要用到的特征提取、可解釋性、隱私保護(hù)與數(shù)據(jù)安全共享等相關(guān)內(nèi)容的討論上。 本書內(nèi)容分三部分:第一部分由1～6章組成，主要講常規(guī)情況下，機(jī)器學(xué)習(xí)在金融場景特別是大數(shù)據(jù)風(fēng)控中的建模應(yīng)用；第二部分由第7章和

西方經(jīng)濟(jì)學(xué)說史是經(jīng)濟(jì)學(xué)專業(yè)的核心課程之一。本書主要分為四大部分：第一篇前古典經(jīng)濟(jì)學(xué)與古典經(jīng)濟(jì)學(xué)，著重厘清古典經(jīng)濟(jì)學(xué)理論及其代表人物思想，主要包括西方經(jīng)濟(jì)學(xué)體系化之前的經(jīng)濟(jì)思想，古典經(jīng)濟(jì)學(xué)，古典學(xué)派的集大成者亞當(dāng)斯密的經(jīng)濟(jì)思想，古典學(xué)派的杰出代表托馬斯馬爾薩斯和大衛(wèi)李嘉圖的經(jīng)濟(jì)思想，古典經(jīng)濟(jì)學(xué)中斯密體系的各國后繼者的經(jīng)濟(jì)

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

本書在簡要闡述了環(huán)境生態(tài)學(xué)概念及特點(diǎn)的基礎(chǔ)上，系統(tǒng)講述了生物與環(huán)境的關(guān)系、生物種群與群落及生態(tài)系統(tǒng)的基本理論，全面分析了環(huán)境污染與生態(tài)修復(fù)、生態(tài)破壞與生物的生態(tài)關(guān)系，系統(tǒng)探討了全球變化及其對生物的影響，充分強(qiá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)邏輯

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

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