本書利用交互式定理證明工具Coq,在樸素集合論的基礎(chǔ)上,從Peano五條公設(shè)出發(fā),完整實(shí)現(xiàn)Landau著名的《分析基礎(chǔ)》中實(shí)數(shù)理論的形式化系統(tǒng),包括對(duì)該專著中全部5個(gè)公設(shè)、73條定義和301個(gè)定理Coq描述,其中依次構(gòu)造了自然數(shù)、分?jǐn)?shù)、分割、實(shí)數(shù)和復(fù)數(shù),并建立了Dedekind實(shí)數(shù)完備性定理,從而迅速且自然地給出數(shù)學(xué)分

本書基于長(zhǎng)江水文泥沙分析管理系統(tǒng)平臺(tái)和數(shù)據(jù)挖掘技術(shù)，在改進(jìn)泥沙測(cè)驗(yàn)方法與技術(shù)的基礎(chǔ)上，依據(jù)翔實(shí)而系統(tǒng)的實(shí)地調(diào)查、水文泥沙監(jiān)測(cè)及空間遙感等海量數(shù)據(jù)，分析長(zhǎng)江上游泥沙時(shí)空變化特征，全面篩查泥沙變化的影響因素，量化降水、水土保持、水庫(kù)攔沙等主要因子對(duì)長(zhǎng)江上游泥沙變化的貢獻(xiàn)率，闡明長(zhǎng)江上游在人為與自然雙重驅(qū)動(dòng)力作用下泥沙輸移的

隨著第四次工業(yè)革命的到來(lái)，制造業(yè)企業(yè)的數(shù)字化轉(zhuǎn)型與升級(jí)迫在眉睫。然而，大多數(shù)制造企業(yè)在數(shù)字化轉(zhuǎn)型實(shí)踐中缺乏頂層設(shè)計(jì)、模式借鑒、路徑分析，進(jìn)而轉(zhuǎn)型陷入了“試點(diǎn)陷阱”。因此，本書構(gòu)建了一套制造企業(yè)數(shù)字化成熟度評(píng)價(jià)體系，并結(jié)合產(chǎn)品空間理論，從數(shù)字化戰(zhàn)略、運(yùn)營(yíng)技術(shù)、文化組織能力和生態(tài)圈四大維度探究企業(yè)數(shù)字化重構(gòu)及轉(zhuǎn)型范式。通過

本書較全面地介紹了乳腺癌與內(nèi)分泌代謝病的關(guān)系，以及乳腺癌患者系統(tǒng)治療及隨訪期間內(nèi)分泌代謝病的防治與管理，對(duì)乳腺癌患者的治療和改善預(yù)后具有重要的臨床意義。

本書以城市交通需求管理為對(duì)象，深入研究利用可交易出行票進(jìn)行交通需求管理所面臨的基礎(chǔ)科學(xué)問題，提出相關(guān)的建模分析方法。主要內(nèi)容包括可交易出行票的個(gè)體出行行為、方案設(shè)計(jì)以及相關(guān)數(shù)學(xué)建模分析。

縣域義務(wù)教育均衡發(fā)展已在理論上達(dá)成了共識(shí)，實(shí)踐上取得了顯著成效，但如何促進(jìn)義務(wù)教育均衡發(fā)展與教育信息化深度融合，使教育信息化更好地助力義務(wù)教育優(yōu)質(zhì)均衡，仍亟待進(jìn)一步探討�！禕R》本書以義務(wù)教育信息化均衡發(fā)展問題為邏輯起點(diǎn)，深入闡述了義務(wù)教育信息化均衡發(fā)展的基本內(nèi)涵、雙重維度和分析框架，提出了義務(wù)教育信息化IE-CCPO

閱讀引領(lǐng)人生。本書聚焦于認(rèn)知靈活性與高效閱讀的關(guān)系，首先從詞語(yǔ)、句子和語(yǔ)篇三個(gè)層面探討了認(rèn)知靈活性與高效閱讀的關(guān)系；其次從多元視角探討了認(rèn)知靈活性與數(shù)學(xué)問題解決、模式理解的關(guān)系，以及性別刻板印象與閱讀、高中生審辯思維的發(fā)展及閱讀干預(yù)等問題；最后提出了認(rèn)知靈活性的培養(yǎng)策略。

受限于太陽(yáng)輻射的光伏轉(zhuǎn)換效率，能源緊缺是太陽(yáng)能飛機(jī)總體設(shè)計(jì)面臨的核心問題，所有分系統(tǒng)設(shè)計(jì)參數(shù)都必須追求極限以滿足能源閉環(huán)的要求。本書提出了廣義能源概念，并發(fā)展出一種太陽(yáng)能飛機(jī)總體參數(shù)設(shè)計(jì)理論，推導(dǎo)出一系列廣義設(shè)計(jì)參數(shù)，將氣動(dòng)、結(jié)構(gòu)、動(dòng)力推進(jìn)、光電轉(zhuǎn)換、儲(chǔ)能電池等分系統(tǒng)性能參數(shù)統(tǒng)一表征為廣義能源，得到不同學(xué)科設(shè)計(jì)指標(biāo)對(duì)能

在處理現(xiàn)實(shí)的工程或管理問題時(shí),數(shù)據(jù)的微小波動(dòng)不可忽略且影響深遠(yuǎn),這為魯棒優(yōu)化方法的產(chǎn)生提供了契機(jī)并推動(dòng)其迅速發(fā)展.本書主要介紹了不確定決策系統(tǒng)中魯棒優(yōu)化及分布魯棒優(yōu)化方法的一些研究進(jìn)展.在魯棒優(yōu)化方面,給出了不確定集交下的一些新結(jié)果并將其應(yīng)用到可持續(xù)發(fā)展與應(yīng)急救援問題中.在分布魯棒優(yōu)化方面,介紹了隨機(jī)分布魯棒優(yōu)化及模糊

抗生素耐藥性是21世紀(jì)全球最重要的公共衛(wèi)生挑戰(zhàn)之一，抗生素抗性基因可以通過增殖和水平轉(zhuǎn)移在環(huán)境中持久存在與傳播。環(huán)境中抗生素抗性基因的來(lái)源、分布及傳播機(jī)制是當(dāng)前研究的一個(gè)重要領(lǐng)域。本書圍繞環(huán)境中抗生素耐藥性的來(lái)源、傳播、風(fēng)險(xiǎn)等主題，簡(jiǎn)明扼要地概括和總結(jié)了抗生素及抗生素抗性基因的相關(guān)概念、研究歷史及現(xiàn)狀。本書基于抗生素抗