本書是理論計(jì)算機(jī)科學(xué)方面的經(jīng)典教材，主要討論形式語(yǔ)言與自動(dòng)機(jī)理論、可計(jì)算性理論和計(jì)算復(fù)雜性理論等內(nèi)容。本書強(qiáng)調(diào)定義和定理的準(zhǔn)確性和嚴(yán)謹(jǐn)性，但在形式化證明中又非常注重符合直覺(jué)的理解，避免多余的數(shù)學(xué)細(xì)節(jié)。本書分為理論和應(yīng)用兩個(gè)部分：理論部分主要介紹有窮自動(dòng)機(jī)、正則語(yǔ)言和文法、上下文無(wú)關(guān)語(yǔ)言和文法、下推自動(dòng)機(jī)、圖靈機(jī)、形式語(yǔ)

本書共分為7章，主要內(nèi)容包括緒論、知識(shí)圖譜表示學(xué)習(xí)的現(xiàn)有研究綜述、基于超平面機(jī)制的時(shí)態(tài)知識(shí)圖譜表示學(xué)習(xí)模型、基于張量分解技術(shù)的時(shí)態(tài)知識(shí)圖譜表示學(xué)習(xí)模型、利用隱式類型信息增強(qiáng)現(xiàn)有靜態(tài)模型的普適性方法、類型增強(qiáng)的時(shí)態(tài)知識(shí)圖譜表示學(xué)習(xí)模型、總結(jié)與展望。知識(shí)圖譜是一種新型數(shù)據(jù)管理模式，對(duì)原本分散的多專業(yè)、多來(lái)源、多結(jié)構(gòu)的專業(yè)知

編者從百色水利樞紐工程項(xiàng)目前期工作開(kāi)始，對(duì)工程建設(shè)管理體制與機(jī)制、招投標(biāo)管理、施工管理、合同管理、技術(shù)管理、質(zhì)量管理、安全生產(chǎn)管理、征地補(bǔ)償及移民安置、水土保持與環(huán)境保護(hù)、工程驗(yàn)收、建設(shè)成就與工程評(píng)價(jià)等方面進(jìn)行了系統(tǒng)性的總結(jié)；對(duì)工程建設(shè)過(guò)程中出現(xiàn)的如復(fù)雜地基下高碾壓混凝土重力壩建設(shè)、有限巖體內(nèi)布置地下廠房洞室群等技術(shù)難

本書共分四篇，即總體布置、工程施工、金結(jié)與機(jī)電，以及保障措施，主要內(nèi)容包括工程概述、平面布置、引水隧洞及調(diào)壓井、溶洞處理工程施工、壓力管道土建工程施工、廠房系統(tǒng)土建工程施工、鉆孔與灌漿工程施工、金屬結(jié)構(gòu)及埋件安裝工程、機(jī)電設(shè)備安裝工程、質(zhì)量管理體系職業(yè)健康安全管理、環(huán)境保護(hù)與水土保持措施，以及文明施工措施等。

本書為工業(yè)設(shè)計(jì)類學(xué)術(shù)專著。本書以IP設(shè)計(jì)為研究對(duì)象，共十個(gè)章節(jié)，從“泛IP”的視角，闡釋“泛IP”語(yǔ)境下IP產(chǎn)品設(shè)計(jì)的概念及發(fā)展歷史、展示IP的形式及IP產(chǎn)品分類，分析“泛IP”語(yǔ)境下IP產(chǎn)品設(shè)計(jì)的意義，探究“泛IP”語(yǔ)境下IP產(chǎn)品設(shè)計(jì)的特征和設(shè)計(jì)原則，研究“泛IP”語(yǔ)境下IP產(chǎn)品設(shè)計(jì)的文化內(nèi)容表達(dá)，總結(jié)“泛IP”語(yǔ)境

本書以河南礦區(qū)為研究對(duì)象，分析了煤層開(kāi)釆底板突水形成條件，在總結(jié)分析現(xiàn)有文獻(xiàn)資料的基礎(chǔ)上，運(yùn)用理論推導(dǎo)、試驗(yàn)?zāi)�擬、數(shù)值模擬、現(xiàn)場(chǎng)監(jiān)測(cè)等多種方法和手段，對(duì)煤層底板破壞與遞進(jìn)導(dǎo)升協(xié)同突水致災(zāi)機(jī)制進(jìn)行研究。主要內(nèi)容包括：緒論、河南礦區(qū)水文地質(zhì)特征及突水影響因素分析、底板破壞與遞進(jìn)導(dǎo)升協(xié)同突水機(jī)制研究、底板破壞養(yǎng)護(hù)遞進(jìn)導(dǎo)升協(xié)同

本書以某工程大型閘墩為案例，建立了三維有限元計(jì)算網(wǎng)格模型，模型考慮了閘墩地基、基礎(chǔ)和墩體，并內(nèi)設(shè)了復(fù)雜的水管網(wǎng)絡(luò)；結(jié)合實(shí)際工程，設(shè)置邊界條件，給定初始條件，采用三維非穩(wěn)定溫度場(chǎng)與應(yīng)力場(chǎng)計(jì)算程序，開(kāi)展了多工況的仿真計(jì)算；計(jì)算結(jié)果表明，墩墻混凝土采用C40混凝土，絕熱溫升大，澆筑塊長(zhǎng)，因此若不采取溫控措施，結(jié)構(gòu)有開(kāi)裂的危險(xiǎn)

本書共分為8章，通過(guò)水利基礎(chǔ)知識(shí)、土石方工程施工、混凝土工程與渠系工程施工、水利工程建設(shè)監(jiān)理理論、水利工程信息化建設(shè)、大中型水利工程標(biāo)準(zhǔn)化工地建設(shè)、社會(huì)資本參與的大中型水利工程資產(chǎn)管理、水利工程建設(shè)經(jīng)濟(jì)等方面來(lái)分析水利工程建筑施工技術(shù)要點(diǎn)，為現(xiàn)代化水利工程建筑施工提供指導(dǎo)，提升水利工程經(jīng)濟(jì)效益和社會(huì)效益。本書理論與實(shí)踐

在金屬溶劑萃取中，萃取劑起到了至關(guān)重要的作用，萃取工藝中的所有條件都是為了發(fā)揮萃取劑的最大優(yōu)勢(shì)而確定的。提升萃取劑性能是從本質(zhì)上提高萃取體系分離效率、降低萃取過(guò)程的經(jīng)濟(jì)和環(huán)境成本、增加行業(yè)核心競(jìng)爭(zhēng)力最有效的方式。本書共分12章，第1章簡(jiǎn)要介紹金屬冶煉中萃取劑的作用與分類；第2章闡述了溶液萃取中的多種化學(xué)反應(yīng)；第3章介紹

我國(guó)氣體產(chǎn)業(yè)十分廣闊，以氧、氮、氬為代表的工業(yè)氣體領(lǐng)域，以天然氣為代表的自然氣體領(lǐng)域，以氫氣為代表的綠色氣體領(lǐng)域等均有豐富的應(yīng)用。而這些氣體大規(guī)模的制、儲(chǔ)、運(yùn)均需要低溫技術(shù)和低溫產(chǎn)業(yè)的支撐。隨著工業(yè)氣體、自然氣體的市場(chǎng)需求增加，大型空分、大型液化天然氣裝置的配套裝備特別是低溫泵閥產(chǎn)品也不斷推陳出新，迭代發(fā)展。同時(shí)隨著液