本卷收錄了吳文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一書(shū).書(shū)中論述初等幾何機(jī)器證明的基本原理,證明了奠基于各種公理系統(tǒng)的各種初等幾何,只需相當(dāng)于乘法交換律的某一公理成立,大都可以機(jī)械化.因此在理論上,這些幾何的定理證明可以借肋于計(jì)算機(jī)來(lái)實(shí)施.可以機(jī)械

自1989年國(guó)際足聯(lián)舉辦首屆室內(nèi)五人制足球世界杯以來(lái)，該項(xiàng)運(yùn)動(dòng)得到了空前的普及與發(fā)展。近年來(lái)，國(guó)際足聯(lián)號(hào)召世界各國(guó)和地區(qū)足球協(xié)會(huì)大力發(fā)展室內(nèi)五人制足球運(yùn)動(dòng)，這也引起各國(guó)足球協(xié)會(huì)對(duì)開(kāi)展室內(nèi)五人制足球的重視。《BR》本教程內(nèi)容主要包括室內(nèi)五人制足球概述、室內(nèi)五人制足球基本技術(shù)動(dòng)作、室內(nèi)五人制足球進(jìn)攻戰(zhàn)術(shù)、室內(nèi)五人制足球防守

系統(tǒng)介紹了基于高精度遙感數(shù)據(jù)、土地利用數(shù)據(jù)、土壤、地形、氣候等基礎(chǔ)數(shù)據(jù)，利用CSLE模型全面調(diào)查區(qū)域土壤侵蝕狀況的方法，不僅可以獲取區(qū)域土壤侵蝕強(qiáng)度分布圖，而且可以計(jì)算區(qū)域土壤侵蝕模數(shù)，為我國(guó)區(qū)域土壤侵蝕調(diào)查提供方法參考。

這套書(shū)從小學(xué)一年級(jí)開(kāi)始就可以練習(xí)，一直到小學(xué)的中高年級(jí)，一邊與數(shù)字親密游戲，一邊練習(xí)邏輯思維能力，內(nèi)容涵蓋4宮、6宮、9宮標(biāo)準(zhǔn)數(shù)獨(dú)，以及一些常見(jiàn)的變型數(shù)獨(dú)，例如，對(duì)角線數(shù)獨(dú)、不等號(hào)數(shù)獨(dú)等。每道題給出的解題提示可以幫助孩子理解解法，理清思路。這套書(shū)內(nèi)容豐富，題目質(zhì)量高，版式新穎，趣味性十足，非常適合小學(xué)生閱讀。

本書(shū)內(nèi)容適合小學(xué)中高年級(jí)的學(xué)生閱讀，主要內(nèi)容包括九宮標(biāo)準(zhǔn)數(shù)獨(dú)、常見(jiàn)的變型數(shù)獨(dú)，題型更加豐富，解法更加多樣。版式新穎，題目有適當(dāng)提示，可拓展小學(xué)生的解題思路、開(kāi)拓眼界，非常適合喜愛(ài)數(shù)獨(dú)的中高年級(jí)小學(xué)生閱讀。

本書(shū)集合了文物、博物館方面的專業(yè)文章，包括名家專稿、文博探索、文物研究、藝術(shù)史研究、津沽史記、文化遺產(chǎn)保護(hù)、文博工作巡禮、改革開(kāi)放四十年幾部分，是天津博物館學(xué)術(shù)研究系列的一部重要代表。集合了幾十篇博物館領(lǐng)域研究的學(xué)術(shù)文章，涉及博物館工作的方方面面。具有非常重要的參考價(jià)值。

本書(shū)針對(duì)以欽州市為例的桂南濱海城市，在實(shí)行最嚴(yán)格水資源管理制度的背景下，分析了"三條紅線"與水資源優(yōu)化配置的關(guān)系。以欽州市水資源現(xiàn)狀為基礎(chǔ)，分析降雨及入海河流徑流演變規(guī)律與趨勢(shì)，定量分析氣候因子對(duì)地表水資源量變化影響，對(duì)濱海城市地表水資源可利用量進(jìn)行分析與評(píng)價(jià)；構(gòu)建了城市可供水量分析框架體系，重點(diǎn)分析中、小型蓄水工程與

本書(shū)對(duì)InSAR理論、方法和應(yīng)用進(jìn)行了全面而系統(tǒng)的介紹，并對(duì)InSAR前沿性技術(shù)進(jìn)行了擴(kuò)展介紹，可為從事InSAR和地學(xué)相關(guān)領(lǐng)域工作的科技人員與高等院校師生的學(xué)習(xí)與研究提供具有綜合性和專業(yè)性的參考資料，且可作為本科生和研究生的教材，促進(jìn)InSAR專業(yè)人才培養(yǎng)，推動(dòng)InSAR理論與應(yīng)用的持續(xù)發(fā)展，促使InSAR在國(guó)民經(jīng)濟(jì)

本書(shū)較系統(tǒng)的闡述了冰凍圈脆弱性與適應(yīng)的概念、理論方法、冰凍圈變化的影響、冰凍圈災(zāi)害風(fēng)險(xiǎn)分析等冰凍圈在社會(huì)經(jīng)濟(jì)領(lǐng)域的科學(xué)研究?jī)?nèi)容，是冰凍圈科學(xué)研究的重要出口，也是冰凍圈科學(xué)有關(guān)應(yīng)用研究的最新成果，這也是國(guó)際上前所未有的創(chuàng)新領(lǐng)域。研究主要以中國(guó)冰凍圈變化的影響、脆弱性、風(fēng)險(xiǎn)和適應(yīng)為對(duì)象，針對(duì)不同冰凍圈要素影響的關(guān)鍵對(duì)象，以

本書(shū)針對(duì)中國(guó)北方地區(qū)和青藏高原城鎮(zhèn)風(fēng)沙災(zāi)害的孕災(zāi)環(huán)境、風(fēng)沙災(zāi)害現(xiàn)狀、成因與發(fā)展趨勢(shì),提出了城鎮(zhèn)防沙工程的核心思想和理論框架。根據(jù)城鎮(zhèn)防沙技術(shù)的分類與功能,闡明了各種單項(xiàng)技術(shù)的防沙原理和技術(shù)參數(shù)優(yōu)化、多項(xiàng)技術(shù)的優(yōu)化配置及其防沙原理;制定了不同規(guī)模和重要性城鎮(zhèn)的具體防護(hù)目標(biāo)和工程設(shè)計(jì)原則,總結(jié)出不同自然條件下城鎮(zhèn)防沙工程布

聲學(xué)超常材料即具有特殊聲學(xué)性質(zhì)的人工復(fù)合材料。因其豐富的物理內(nèi)涵以及廣闊的應(yīng)用前景，聲學(xué)超常材料在相關(guān)領(lǐng)域獲得了越來(lái)越多的關(guān)注，是當(dāng)前國(guó)際聲學(xué)界的前沿?zé)狳c(diǎn)課題。本書(shū)由正從事此領(lǐng)域研究的著名學(xué)者集體創(chuàng)作，對(duì)聲學(xué)超常材料領(lǐng)域中的基本思想，研究方法、技術(shù)以及最新的進(jìn)展都作了詳細(xì)的講解，主要內(nèi)容包括：局域共振型的表面聲禁帶結(jié)構(gòu)

本書(shū)提出滲漏型天然氣水合物重要概念。根據(jù)成因類型，將天然氣水合物礦藏劃分為擴(kuò)散型和滲漏型兩種。揭示了南海北部天然氣水合物富集規(guī)律。首次提出天然氣水合物成核機(jī)制的籠子吸附假說(shuō)。建立了南海北部天然氣水合物的綜合識(shí)別方法。開(kāi)展了南海北部天然氣水合物開(kāi)采基礎(chǔ)理論研究，采用主流的數(shù)值模擬方法--格子Boltzmann方法對(duì)天然氣

空間制冷器及以此為基礎(chǔ)的空間低溫制冷技術(shù)是當(dāng)代紅外載荷技術(shù)應(yīng)用的基礎(chǔ)和支撐，也是近五十年來(lái)紅外光電技術(shù)領(lǐng)域最主要的研究方向和最活躍的研究對(duì)象之一。本書(shū)著重論述制冷器一般原理基礎(chǔ)，以空間制冷器應(yīng)用中最為普遍的輻射制冷器和機(jī)械制冷機(jī)等為論述主體，詳盡介紹其科學(xué)原理、技術(shù)路線和性能特點(diǎn)。

《生理學(xué)》由中山大學(xué)博士生導(dǎo)師劉先國(guó)教授擔(dān)任主編，南方醫(yī)科大學(xué)博士生導(dǎo)師肖中舉教授。全國(guó)近10余所長(zhǎng)期在一線擔(dān)任教學(xué)工作的專家教授參加編寫。全書(shū)分為緒論、細(xì)胞的基本功能、血液、血液循環(huán)、呼吸、消化和吸收、尿的生成和排出、能量代謝、體溫調(diào)節(jié)、感覺(jué)器官、神經(jīng)系統(tǒng)、內(nèi)分泌系統(tǒng)、生殖等12章。本書(shū)特點(diǎn)：1．章節(jié)安排更科學(xué)合理。

本書(shū)結(jié)合腫瘤免疫治療基礎(chǔ)與臨床應(yīng)用的新進(jìn)展，在力求內(nèi)容的準(zhǔn)確度和前沿深度的基礎(chǔ)上，詳細(xì)和全面地介紹、分析和總結(jié)了CAR-T和TCR-T等基因修飾T細(xì)胞技術(shù)及其在臨床上的應(yīng)用，包括CAR-T和TCR-T基礎(chǔ)知識(shí)、技術(shù)原理、臨床應(yīng)用與展望等。本書(shū)可供從事醫(yī)藥衛(wèi)生行業(yè)相關(guān)人士、生物醫(yī)學(xué)工作者以及相關(guān)專業(yè)學(xué)生等參考和研讀。

本書(shū)共7章，主要介紹了河流濕地公園的概念及其特點(diǎn)，自然資源和文化資源現(xiàn)狀，重點(diǎn)討論了濕地公園的保護(hù)、恢復(fù)和利用規(guī)劃等內(nèi)容，針對(duì)不同河流濕地的特征，從臨沂市自然景觀資源、民間工藝、人文景觀資源、歷史文化等方面提供了臨沂市5個(gè)河流濕地的規(guī)劃案例，希望通過(guò)對(duì)具體問(wèn)題的探討和解決為河流濕地公園資源保護(hù)和規(guī)劃設(shè)計(jì)提供有益的參考與

本書(shū)屬重慶市普通高等教育本科"十二五”規(guī)劃教材，第1版為普通高等教育"十一五”國(guó)家級(jí)規(guī)劃教材。本書(shū)全面介紹了密碼學(xué)的基本概念、基本理論和典型實(shí)用技術(shù)。全書(shū)共13章，內(nèi)容涉及密碼學(xué)基礎(chǔ)、古典密碼、密碼學(xué)數(shù)學(xué)引論、對(duì)稱密碼體制、非對(duì)稱密碼體制、雜湊算法和消息認(rèn)證、數(shù)字簽名、密鑰管理、序列密碼、密碼學(xué)的新進(jìn)展、中國(guó)商用密碼算

本書(shū)總結(jié)了戰(zhàn)略環(huán)境評(píng)價(jià)、"三線一單”環(huán)境管控的理論與方法，回顧了我國(guó)戰(zhàn)略環(huán)境評(píng)價(jià)與"三線一單”工作實(shí)踐，以"連云港市戰(zhàn)略環(huán)境評(píng)價(jià)”及"三線一單”試點(diǎn)工作為基礎(chǔ)，講述了戰(zhàn)略環(huán)境評(píng)價(jià)中"三線一單”工作的主要內(nèi)容，包括總體技術(shù)框架、生態(tài)環(huán)境現(xiàn)狀評(píng)價(jià)、生態(tài)環(huán)境影響預(yù)測(cè)、"三線一單”環(huán)境管控、發(fā)展調(diào)控策略、戰(zhàn)略環(huán)評(píng)與"三線一單”

MATLAB是適合多學(xué)科、多種工作平臺(tái)的功能強(qiáng)大、界面友好且開(kāi)放性很強(qiáng)的大型數(shù)學(xué)應(yīng)用軟件。本書(shū)以MATLABR2018a軟件為基礎(chǔ)，全面闡述MATLAB的主要功能，通過(guò)大量實(shí)例向讀者展示如何編寫高效的MATLAB代碼。全書(shū)共33章，其中第1～9章講解MATLAB基礎(chǔ)知識(shí)，包括MATLAB入門、數(shù)組運(yùn)算、關(guān)系運(yùn)算、邏輯運(yùn)

本書(shū)絕非傳統(tǒng)的軟件技法書(shū)，因?yàn)槠渌鶄魇诘闹�識(shí)并不局限在使用的軟件本身。書(shū)中在介紹照片處理過(guò)程中需要的相關(guān)軟件知識(shí)的同時(shí)，著重講授修片時(shí)的創(chuàng)作思路，每個(gè)案例都是在最少的技術(shù)性要求下充分地利用創(chuàng)意力量完成的。1、初級(jí)魔法：使用Photoshop或Lightroom單獨(dú)處理，最大限度地利用軟件和照片自身提供的創(chuàng)意效果。2、中