本書以拉格朗日力學(xué)理論與自動(dòng)定理證明思想為指導(dǎo)，系統(tǒng)深入地研究了泛函變分、拉格朗日力學(xué)和機(jī)器人動(dòng)力學(xué)之間的天然關(guān)系，從而構(gòu)建了以泛函變分的形式化為形式化數(shù)學(xué)基礎(chǔ)、以拉格朗日力學(xué)的形式化為中心、以機(jī)器人動(dòng)力學(xué)形式化分析為應(yīng)用依托的定理證明體系。內(nèi)容涵蓋了自動(dòng)定理證明、泛函變分、拉格朗日力學(xué)、形式化驗(yàn)證等領(lǐng)域。《BR》全書

本書系統(tǒng)介紹非均勻采樣系統(tǒng)的理論與分析方法，從非均勻采樣網(wǎng)絡(luò)化控制系統(tǒng)、非均勻采樣馬爾可夫跳變系統(tǒng)、事件觸發(fā)網(wǎng)絡(luò)化系統(tǒng)三個(gè)角度，詳細(xì)介紹系統(tǒng)的穩(wěn)定性分析方法、控制器設(shè)計(jì)方法等內(nèi)容。針對非均勻采樣系統(tǒng)的穩(wěn)定性問題，提出一種基于不確定離散切換系統(tǒng)的分析方法；針對非均勻采樣網(wǎng)絡(luò)化控制系統(tǒng)，研究基于狀態(tài)觀測器的輸出反饋控制、執(zhí)

本書圍繞人工智能領(lǐng)域重要的語音識別技術(shù)，面向有一定Python基礎(chǔ)的讀者講解語音識別的原理、技術(shù)發(fā)展和實(shí)現(xiàn)方法�！禕R》本書共6章，主要內(nèi)容包括語音識別概述、音頻文件的可視化、人工智能和機(jī)器學(xué)習(xí)、語音轉(zhuǎn)換為文本、語音反饋與交互、語音助手。

程裕淇是我國首位從事變質(zhì)巖（混合巖）研究的學(xué)者，首次在我國劃分了區(qū)域變質(zhì)帶，是我國變質(zhì)巖石學(xué)奠基人。他與其他學(xué)者一起提出了礦床成礦系列概念，增強(qiáng)了區(qū)域找礦效果，是我國著名的礦床學(xué)家。程裕淇在前寒武紀(jì)地質(zhì)研究領(lǐng)域頗有建樹，是我國著名的前寒武紀(jì)地質(zhì)學(xué)家。程裕淇為推動(dòng)我國地質(zhì)科技對外合作與交流，提高我國的地質(zhì)科技水平，為公益

本書介紹了復(fù)雜系統(tǒng)與復(fù)雜網(wǎng)絡(luò)的動(dòng)力學(xué)演化過程，如網(wǎng)絡(luò)通信的延時(shí)、網(wǎng)絡(luò)帶寬、數(shù)據(jù)丟包概率等因素與網(wǎng)絡(luò)模型的解析關(guān)系；復(fù)雜網(wǎng)絡(luò)系統(tǒng)中存在的動(dòng)力學(xué)行為(如分叉、混沌等)對網(wǎng)絡(luò)性能的影響，分析復(fù)雜網(wǎng)絡(luò)動(dòng)態(tài)演化的特性與動(dòng)力學(xué)行為的內(nèi)在聯(lián)系。解決一些復(fù)雜系統(tǒng)與復(fù)雜網(wǎng)絡(luò)，如互聯(lián)網(wǎng)擁塞控制系統(tǒng)和基因調(diào)控網(wǎng)絡(luò)的建模、動(dòng)力學(xué)分析及其控制等

霧霾天氣、渾濁海水、生物組織等統(tǒng)稱渾濁介質(zhì)。當(dāng)光在渾濁介質(zhì)中傳輸時(shí)，會受到介質(zhì)中粒子吸收和散射等作用，導(dǎo)致成像距離變短、圖像變模糊。本書是第一部基于介質(zhì)光和目標(biāo)光偏振特性差異，系統(tǒng)研究提高渾濁介質(zhì)中目標(biāo)清晰化成像的主動(dòng)偏振成像技術(shù)論著，集中展示團(tuán)隊(duì)關(guān)于偏振光在渾濁介質(zhì)中的傳輸過程及特性、偏振差分成像、距離選通偏振差分成

本書是中國工程院咨詢研究項(xiàng)目“生物培育肉的發(fā)展戰(zhàn)略研究”的成果。主要圍繞生物培育肉發(fā)展，從產(chǎn)業(yè)發(fā)展態(tài)勢、監(jiān)管政策、技術(shù)特點(diǎn)、技術(shù)突破、風(fēng)險(xiǎn)分析、安全評價(jià)、標(biāo)識體系等層面系統(tǒng)梳理了全球生物培育肉的**進(jìn)展和發(fā)展趨勢，并結(jié)合當(dāng)前我國生物技術(shù)發(fā)展基礎(chǔ)，形成了我國生物培育肉發(fā)展的戰(zhàn)略布局研判，提出了我國發(fā)展生物培育肉的整體思路

本書以互聯(lián)網(wǎng)租賃自行車為研究對象，基于多源數(shù)據(jù)解析了租賃自行車出行特征，探究了租賃自行車共享出行需求生成機(jī)理，構(gòu)建了租賃自行車需求預(yù)測模型，研究了投放量優(yōu)化、動(dòng)靜態(tài)智能調(diào)度、接駁換乘出行優(yōu)化等系統(tǒng)優(yōu)化管理方法，提出了面向全生命周期的低碳效益評估模型，并以南京市為例進(jìn)行了實(shí)證分析。

本書是一本介紹結(jié)核病及其營養(yǎng)治療的專業(yè)書籍，由業(yè)內(nèi)知名專家編寫而成。書中首先以結(jié)核病的發(fā)病機(jī)制作為切入點(diǎn)，重點(diǎn)闡述臨床各種因素影響結(jié)核病發(fā)展與轉(zhuǎn)歸的機(jī)制及特點(diǎn)，對結(jié)核病的臨床特征、治療進(jìn)行較系統(tǒng)的介紹，使讀者對結(jié)核病有全面而科學(xué)的認(rèn)識，接著進(jìn)一步闡述結(jié)核病的營養(yǎng)代謝原理、營養(yǎng)狀況評價(jià)和營養(yǎng)治療，以及如何進(jìn)行營養(yǎng)不良的預(yù)

高通量測序已成為生物學(xué)研究的重要手段，在生物多樣性、物種種質(zhì)資源開發(fā)利用和生物醫(yī)藥領(lǐng)域都發(fā)揮了非常重要的作用，因此，如何處理和分析高通量測序數(shù)據(jù)成為生物學(xué)研究的必備技能之一。本書以高通量測序數(shù)據(jù)在基因組分析中的運(yùn)用為例，采用分步講解的方式，圖文并茂地介紹了高通量測序數(shù)據(jù)的基本格式，利用高通量測序數(shù)據(jù)開展分析的流程、相關(guān)