智能推理是實(shí)現(xiàn)智能化的基礎(chǔ)，它包括經(jīng)典的單調(diào)推理和非單調(diào)推理�！吨悄芡评砑捌湓谛拍钚拚�中的應(yīng)用》首先介紹了經(jīng)典的單調(diào)推理中的命題推理系統(tǒng)和謂詞推理系統(tǒng)，以及推理的公理化系統(tǒng)和自然推理系統(tǒng)；其次，介紹了單調(diào)推理系統(tǒng)下的自動(dòng)推理算法和可滿足性驗(yàn)證算法：然后介紹了非單調(diào)推理的主要理論和方法，包括非單調(diào)推理邏輯、自知邏輯、缺省

《基于逼近論的多模態(tài)信息表示》從逼近論角度，由最基本的線性無(wú)關(guān)函數(shù)基（插值基、奇異值分解、主成分分析）出發(fā)，到正交函數(shù)基（傅里葉變換、小波基），再到一般通用逼近算子（人工神經(jīng)網(wǎng)絡(luò)），延伸至過(guò)完備基（壓縮傳感、稀疏表示），最后實(shí)現(xiàn)分層特征表示（深度學(xué)習(xí)）。通過(guò)基函數(shù)表示信息的思想貫穿始終，作者希望由此啟發(fā)讀者更進(jìn)一步思考

本書依據(jù)現(xiàn)行的規(guī)范、標(biāo)準(zhǔn)編寫,內(nèi)容緊緊圍繞建筑施工企業(yè)的模板施工技術(shù)而展開(kāi)。書中系統(tǒng)地介紹了55型組合式鋼模板、大模板、滑升模板、臺(tái)(飛)模、爬升模板、性模板、膠合板模板、木模板等內(nèi)容。本書以大量生動(dòng)的模板拼裝圖和構(gòu)造圖分步驟講解模板工的操作技能和要點(diǎn),畫面生動(dòng)、文字簡(jiǎn)潔、圖文并茂,融知識(shí)性、趣味性和可讀性于一體,非常

本書從萬(wàn)用表的選購(gòu)和使用講起，從常用器件的識(shí)別和檢測(cè)、液晶彩電結(jié)構(gòu)和電路組成開(kāi)始，通過(guò)實(shí)物圖解、方框圖解、原理圖解、維修圖解的方式，介紹液晶彩電各個(gè)單元電路的作用、工作原理、實(shí)物對(duì)照、易發(fā)故障、維修提示、維修案例，做到原理與實(shí)物相結(jié)合，維修與實(shí)踐相結(jié)合，使讀者盡快讀懂電路圖，盡快在實(shí)物中找到對(duì)應(yīng)的元件和測(cè)試點(diǎn)，通過(guò)萬(wàn)用

《船舶與海洋平臺(tái)專業(yè)設(shè)計(jì)軟件開(kāi)發(fā)》主要研究船舶與海洋平臺(tái)設(shè)計(jì)軟件的開(kāi)發(fā)原理、算法與開(kāi)發(fā)技術(shù)。全書共10章：第1章為緒論；第2章介紹船體型線與船體曲面設(shè)計(jì)軟件開(kāi)發(fā)技術(shù)；第3章介紹基于三維切片模型的船舶靜水力特性計(jì)算方法；第4章介紹船舶裝載穩(wěn)性與總縱彎曲強(qiáng)度校核軟件開(kāi)發(fā)技術(shù)；第5章介紹船舶與海洋平臺(tái)有限元分析軟件開(kāi)發(fā)技術(shù)；

本書為2008年版《DSLR數(shù)碼單反攝影圣經(jīng)》的全新升級(jí)版，相較于舊版，作者對(duì)內(nèi)容進(jìn)行了較大幅度的更新和完善，無(wú)論是新的相機(jī)硬件知識(shí)，經(jīng)典的攝影理論，還是流行的攝影創(chuàng)作題材和技法，在本書中都可以找到。 本書是作者多年攝影創(chuàng)作實(shí)踐的新歸納和總結(jié)，書中對(duì)數(shù)碼單反相機(jī)的結(jié)構(gòu)、功能、工作原理以及硬件操作進(jìn)行深入剖析，并對(duì)新攝

《化工原理實(shí)驗(yàn)》是化工原理、食品工程原理、環(huán)境工程原理等相關(guān)課程的配套教材，注重培養(yǎng)學(xué)生綜合素質(zhì)，通過(guò)實(shí)驗(yàn)使學(xué)生掌握化工生產(chǎn)的單元操作技能以及實(shí)驗(yàn)研究方法。本書內(nèi)容包括五章：章化工原理實(shí)驗(yàn)基礎(chǔ)知識(shí)，主要介紹化工原理實(shí)驗(yàn)概要、實(shí)驗(yàn)數(shù)據(jù)及測(cè)量誤差、實(shí)驗(yàn)數(shù)據(jù)的處理方法、化工安全常識(shí)及實(shí)驗(yàn)安全要求；第二章測(cè)量?jī)x表和測(cè)量方法，主

本書采用漫畫的表達(dá)形式，根據(jù)作者長(zhǎng)期從事軟件開(kāi)發(fā)和管理的經(jīng)驗(yàn)，從軟件開(kāi)發(fā)的需求出發(fā)，有重點(diǎn)地介紹了軟件工程開(kāi)發(fā)中遇到的問(wèn)題及解決方案。本書內(nèi)容都是大學(xué)課堂或教材中所沒(méi)有的，是作者軟件開(kāi)發(fā)經(jīng)驗(yàn)的積累和總結(jié)，書中共介紹了30個(gè)軟件開(kāi)發(fā)的工程案例，每一個(gè)案例都具有代表性，能夠幫助IT技術(shù)人員避開(kāi)軟件開(kāi)發(fā)的誤區(qū)而走向成功。本書

本書編寫的目的是通過(guò)打造一個(gè)立體的、全方位的資源系統(tǒng)，提供一個(gè)明確的、可操作的學(xué)習(xí)PLC編程技術(shù)的新途徑，使讀者在沒(méi)有PLC硬件的情況下，只需一臺(tái)計(jì)算機(jī)（臺(tái)式機(jī)或筆記本）和一本書，就能夠循序漸進(jìn)地去開(kāi)啟PLC的編程之路。本書共分12章，分別是PLC編程基礎(chǔ)、基本程序設(shè)計(jì)案例、程序設(shè)計(jì)常用指令、三相異步電動(dòng)機(jī)控制PLC程

本書結(jié)合現(xiàn)行的《水利工程工程量清單計(jì)價(jià)規(guī)范》（GB50501—2007）、《水利建筑工程預(yù)算定額》和《水利水電設(shè)備安裝工程預(yù)算定額》進(jìn)行編寫。該書的主要內(nèi)容包括水利工程識(shí)圖與水利工程造價(jià)兩大部分，其中識(shí)圖部分主要是結(jié)合具體的實(shí)際案例，以典型的施工建筑物為對(duì)象，從簡(jiǎn)單的水利水電工程圖例、基本的水工構(gòu)造開(kāi)始講起，然后以較復(fù)

本書主要介紹了防腐蝕涂料及其涂裝技術(shù)，具體包括腐蝕機(jī)理、防腐材料的選擇、重防腐涂料、功能性涂料、底材的表面處理以及涂裝施工和涂裝質(zhì)量控制等內(nèi)容，并深度解讀了目前國(guó)內(nèi)、國(guó)際標(biāo)準(zhǔn)和相關(guān)的安全數(shù)據(jù)，反映了國(guó)內(nèi)外防腐蝕涂料與涂裝技術(shù)的新規(guī)范、新工藝及應(yīng)用現(xiàn)狀。本書可供從事防腐蝕涂裝設(shè)計(jì)、施工的技術(shù)人員閱讀使用。

《電工基礎(chǔ)及應(yīng)用——信息化教程》是針對(duì)高等職業(yè)技術(shù)教育的特點(diǎn)，根據(jù)編者多年教學(xué)和實(shí)踐經(jīng)驗(yàn)，以“夠用、實(shí)用”為度，采用現(xiàn)代教學(xué)技術(shù)編寫而成的新形態(tài)教材。教材中關(guān)鍵知識(shí)點(diǎn)和技能點(diǎn)旁邊插入了二維碼資源標(biāo)志，隨掃隨學(xué)，移動(dòng)終端掃描的數(shù)字資源主要包括動(dòng)畫及微課等，方便師生線上與線下教學(xué)互動(dòng)。本書主要內(nèi)容包括電路模型與電路定律、電

本書主要介紹了石墨烯和石墨烯基金屬硫化物復(fù)合材料的制備、結(jié)構(gòu)、性能及應(yīng)用。主要包括：半導(dǎo)體光催化基礎(chǔ)，Ⅱ-Ⅵ族金屬硫化物光催化劑，石墨烯與石墨烯基半導(dǎo)體催化劑，可見(jiàn)光響應(yīng)的還原氧化石墨烯/硫化鎘光催化劑，紫外光響應(yīng)的還原氧化石墨烯/硫化鋅光催化劑，可見(jiàn)光響應(yīng)的ZnxCd1-xS/石墨烯光催化劑，并對(duì)石墨烯基金屬硫化物復(fù)

本書根據(jù)施工現(xiàn)場(chǎng)土建工長(zhǎng)識(shí)讀圖技能要求,介紹了建筑識(shí)圖基礎(chǔ)知識(shí)、建筑施工圖的識(shí)讀、建筑結(jié)構(gòu)施工圖的識(shí)讀、實(shí)例解讀等內(nèi)容。在內(nèi)容的表現(xiàn)形式上,全書按照基礎(chǔ)知識(shí)(配示意圖)介紹———圖紙識(shí)讀(要點(diǎn)以引出線方式在圖中標(biāo)注)———實(shí)例導(dǎo)讀(引出線標(biāo)注重點(diǎn)內(nèi)容、經(jīng)驗(yàn)性的指導(dǎo))這三個(gè)層級(jí)展開(kāi),一步步對(duì)圖紙內(nèi)容進(jìn)行解析,使讀者能簡(jiǎn)便

《BIM造價(jià)應(yīng)用》分為上、中、下三篇，上篇為BIM算量軟件基礎(chǔ)功能學(xué)習(xí)，中篇為BIM算量軟件CAD轉(zhuǎn)化功能應(yīng)用，下篇為BIM技術(shù)應(yīng)用。本書以廣聯(lián)達(dá)BIM系列軟件為基礎(chǔ)，通過(guò)《BIM算量一圖一練》，依托項(xiàng)目化案例實(shí)操講解，分別從BIM算量基礎(chǔ)軟件操作到CAD轉(zhuǎn)化識(shí)別，到如今的BIM技術(shù)造價(jià)應(yīng)用，講練結(jié)合，打通從設(shè)計(jì)到算量

本書介紹了各種高壓電器的基本結(jié)構(gòu)與工作原理，高壓電器的選擇、安裝、使用、維護(hù)、常見(jiàn)故障及其排除方法，架空線路和電纜線路的安裝與維護(hù)等。具體內(nèi)容包括高壓電工的基礎(chǔ)知識(shí)、高壓隔離開(kāi)關(guān)與高壓負(fù)荷開(kāi)關(guān)、高壓斷路器、操動(dòng)機(jī)構(gòu)、高壓熔斷器、電力變壓器與互感器、操作電源、繼電保護(hù)裝置、并聯(lián)電容器與無(wú)功補(bǔ)償、電力架空線路、電力電纜線路

本書按應(yīng)用領(lǐng)域分類，精選了土木建筑及裝修用膠黏劑、包裝用膠黏劑、木（竹）材及其制品用膠黏劑、紙及紙制品用膠黏劑、制鞋與皮革用膠黏劑、纖維與服裝用膠黏劑、汽車與交通運(yùn)輸用膠黏劑、裝配用膠黏劑、醫(yī)藥衛(wèi)生用膠黏劑、日常生活用膠黏劑、其他用途膠黏劑等11類膠黏劑的300余例配方。配方內(nèi)容包括：性能特點(diǎn)與用途、原料與配比（范圍）

本書編寫組深入研究了BIM技術(shù)在裝配式建筑中應(yīng)用的技術(shù)特點(diǎn)，總結(jié)了國(guó)內(nèi)外相關(guān)BIM標(biāo)準(zhǔn)、技術(shù)指南、論文、試驗(yàn)成果，本著消化、吸收、創(chuàng)新的原則，經(jīng)廣泛征求設(shè)計(jì)、施工、監(jiān)理、建設(shè)單位意見(jiàn)的基礎(chǔ)上編寫而成。主要內(nèi)容包括：總則、術(shù)語(yǔ)、BIM執(zhí)行策略、BIM應(yīng)用流程、BIM協(xié)同設(shè)計(jì)交互操作、模型拆分（工作集和連接）、文件夾結(jié)構(gòu)與

本書為新形態(tài)教材《電工基礎(chǔ)及應(yīng)用———信息化教程》的配套指導(dǎo)書,全書分十個(gè)單元,每個(gè)單元設(shè)置學(xué)習(xí)模塊,全書共35個(gè)學(xué)習(xí)模塊(其中※部分為選學(xué)模塊),每個(gè)模塊包含知識(shí)回顧、典型例題和模塊習(xí)題三個(gè)部分,通過(guò)知識(shí)回顧,學(xué)生可以系統(tǒng)地總結(jié)教材中各模塊的知識(shí)點(diǎn);通過(guò)典型例題的分析,學(xué)生可以領(lǐng)會(huì)解題思路,掌握解題方法;通過(guò)模塊習(xí)題

本書是將項(xiàng)目化教材《教學(xué)導(dǎo)引手冊(cè)》和《學(xué)習(xí)導(dǎo)引手冊(cè)》等內(nèi)容以及課程標(biāo)準(zhǔn)、教學(xué)實(shí)施案例等進(jìn)行有機(jī)整合,包括“行動(dòng)領(lǐng)域描述”“學(xué)習(xí)領(lǐng)域描述”“學(xué)習(xí)情境描述”“學(xué)習(xí)情境設(shè)計(jì)”“教學(xué)方案設(shè)計(jì)”“教學(xué)案例”“任務(wù)書”“引導(dǎo)文”“工作記錄單”“工作報(bào)告單”等,為教師和學(xué)生提供了一套完整的《化工生產(chǎn)技術(shù)》教學(xué)與學(xué)習(xí)解決方案。本書可作