本書主要介紹Petri網(wǎng)的元展這一用于并發(fā)系統(tǒng)模型檢測的方法，利用元展檢測并發(fā)系統(tǒng)健壯性、兼容性與死鎖，并利用元展檢測能夠表達(dá)更多的并發(fā)系統(tǒng)設(shè)計(jì)需求的計(jì)算樹邏輯，同時(shí)還探討了健壯性、兼容性、死鎖等判定問題的復(fù)雜度。全書共10章，具有嚴(yán)格的形式化定義、豐富的示例與圖文解釋、嚴(yán)謹(jǐn)?shù)亩ɡ砑捌渥C明，以及清晰的算法描述。

本書以目前我國交通運(yùn)輸領(lǐng)域中(公路、鐵路、水路等)基礎(chǔ)設(shè)施安全風(fēng)險(xiǎn)和應(yīng)急管理的突出問題及重點(diǎn)需求為導(dǎo)向，系統(tǒng)地闡述交通基礎(chǔ)設(shè)施安全風(fēng)險(xiǎn)和應(yīng)急管理的基礎(chǔ)理論、分析和評(píng)價(jià)方法、實(shí)踐和應(yīng)用等多方面的內(nèi)容，目的在于厘清我國交通基礎(chǔ)設(shè)施安全風(fēng)險(xiǎn)和應(yīng)急管理的發(fā)展思路，為交通基礎(chǔ)設(shè)施安全風(fēng)險(xiǎn)和應(yīng)急管理工作提供理論與技術(shù)支撐，以適應(yīng)我

學(xué)術(shù)之道，誠信為本。為全面推進(jìn)高校和科研機(jī)構(gòu)科研誠信與學(xué)術(shù)規(guī)范，營造誠實(shí)、自律、規(guī)范、創(chuàng)新、有為的學(xué)術(shù)氛圍，進(jìn)一步強(qiáng)化高�？蒲姓\信與學(xué)術(shù)規(guī)范意識(shí)，加強(qiáng)過程化管理，端正學(xué)術(shù)風(fēng)氣，在參考國家相關(guān)法律法規(guī)、政策文件基礎(chǔ)之上，本讀本結(jié)合科研活動(dòng)全流程中常出現(xiàn)的各類問題，采取圖文并茂的方式，深入淺出地將科研誠信教育內(nèi)容呈現(xiàn)出來，

本書以中國社會(huì)轉(zhuǎn)型時(shí)期為大背景，基于實(shí)證研究獲得的第一手資料，從社會(huì)學(xué)的角度去探討當(dāng)代中國城鄉(xiāng)社會(huì)變遷中關(guān)注的現(xiàn)象，將失地農(nóng)民市民化的影響因素研究、農(nóng)民就地非農(nóng)化的影響因素研究、城市青年二孩生育意愿及其影響研究、農(nóng)村土地經(jīng)營場域中的農(nóng)戶行為研究等主題作為切入點(diǎn)，闡述了當(dāng)代中國城鄉(xiāng)社會(huì)的變化及其引發(fā)的社會(huì)問題。

本書全面、系統(tǒng)闡述了雙疏和強(qiáng)封堵新理論，以及如何利用創(chuàng)建的新理論使水基鉆井液的“抑制性、潤滑性和保護(hù)油氣層效果”達(dá)到甚至超過油基鉆井液，解決國際上長期未解決的技術(shù)難題，滿足非常規(guī)油氣安全、高效、經(jīng)濟(jì)鉆井需要，并介紹了面向2035年以后非常規(guī)油氣井鉆井液技術(shù)的發(fā)展方向，構(gòu)成的“雙疏型強(qiáng)封堵鉆井液理論與技術(shù)”與“仿生鉆井液

本套叢書記載了從神話傳說-夏商西周——直到清末的歷史，采用手繪畫風(fēng)和歷史圖片相結(jié)合的方式，選配近千張彩圖與珍貴文物照片，經(jīng)過嚴(yán)謹(jǐn)考據(jù)，加上寫實(shí)技法表現(xiàn)歷史事件與人物裝扮，讓孩子身歷其境，借以傳達(dá)正確的歷史常識(shí)，更可豐富孩子的美感經(jīng)驗(yàn)。本書以孩子能懂的經(jīng)驗(yàn)、語言，講述了中國歷史上影響深遠(yuǎn)的人、事、時(shí)、地、物，讓原本抽象難

姓氏是表征每個(gè)人及其家族血緣關(guān)系的文化符號(hào)，姓氏文化是中華民族生生不息的血緣紐帶和中華兒女文化認(rèn)同的基石。本書引用大量文獻(xiàn)史料，介紹中華姓氏的起源、發(fā)展和遷徙流布及支派繁衍，宗祠、族譜、郡望、堂號(hào)，門榜堂聯(lián)、字輩排行等內(nèi)容，圖文并茂，娓娓道來，既富于知識(shí)性，又注重趣味性，是有關(guān)中華姓氏文化知識(shí)的國民讀本。

《哺乳動(dòng)物細(xì)胞重組蛋白工程》圍繞建立哺乳動(dòng)物細(xì)胞高效表達(dá)體系所需的關(guān)鍵技術(shù)，從哺乳動(dòng)物細(xì)胞、基因工程、載體工程、細(xì)胞工程、培養(yǎng)基優(yōu)化、培養(yǎng)工藝和重組蛋白的分離及純化、分析鑒定、重組蛋白糖基化修飾與控制、重組抗體高效表達(dá)與質(zhì)量控制以及重組蛋白技術(shù)產(chǎn)品的研究開發(fā)與管理等方面詳細(xì)介紹了哺乳動(dòng)物細(xì)胞重組蛋白工程相關(guān)的理論和技術(shù)

本書主要介紹綠色智慧醫(yī)院建設(shè)的實(shí)用技術(shù)。本書共分十章，涉及醫(yī)院建設(shè)的多個(gè)方面。本書以綠色智慧醫(yī)院規(guī)劃設(shè)計(jì)開篇，然后介紹了綠色智慧醫(yī)院建筑節(jié)能技術(shù)、智能技術(shù)的應(yīng)用，之后對(duì)模塊化數(shù)據(jù)中心建設(shè)、室內(nèi)設(shè)計(jì)與裝飾、手術(shù)室建設(shè)、傳染病負(fù)壓隔離病房建設(shè)、醫(yī)用氣體系統(tǒng)建設(shè)、自動(dòng)化物流系統(tǒng)建設(shè)、給水及污水處理建設(shè)等內(nèi)容進(jìn)行了詳細(xì)的闡述。

《孫德仁小兒推拿：讓孩子吃飯香、長得高、少生病》是少兒推拿河?xùn)|流派代表人孫德仁教授潛心寫給廣大家長和孩子的。本書圍繞家長普遍關(guān)心的孩子健康問題，并針對(duì)困擾家長最深的孩子常見、高發(fā)疾病，比如感冒、咳嗽、發(fā)熱、腹瀉等，給出科學(xué)有效的推拿調(diào)理方案，減少孩子打針吃藥的痛苦。孫德仁在多年的兒推實(shí)踐中，總結(jié)出諸多獨(dú)具特色的推拿手法

本書是少兒推拿河?xùn)|流派代表人孫德仁寫給廣大家長的簡易兒推操作指南。肺主一身之氣，司呼吸；腎為先天之本，是生命的發(fā)動(dòng)機(jī)。中醫(yī)認(rèn)為，小兒肺嬌嫩，腎常虛。小兒常出現(xiàn)的感冒、咳嗽、發(fā)熱、不長個(gè)兒等現(xiàn)象，大多是肺和腎的問題。孫德仁獨(dú)創(chuàng)小兒養(yǎng)肺腎推拿技法，解決家長普遍關(guān)心的小兒問題，該圖冊(cè)內(nèi)容囊括小兒常見肺腎問題對(duì)癥推拿、小兒日常

本書是少兒推拿河?xùn)|流派代表人孫德仁寫給廣大家長的簡易兒推操作指南。脾胃是后天之本，中醫(yī)認(rèn)為小兒脾常不足，所以常常出現(xiàn)積食、厭食、便秘、腹瀉等問題。通過推拿調(diào)理脾胃是孫德仁兒推的特色技法，解決家長普遍關(guān)心的小兒問題。該圖冊(cè)囊括小兒常見脾胃問題對(duì)癥推拿、小兒日常健脾胃推拿調(diào)理、小兒健脾胃特效穴位等方面，具有科學(xué)有效、方便易

本書形式新穎，利用思維導(dǎo)圖模式對(duì)兒童常見病進(jìn)行簡要介紹，并反映目前兒童用藥情況，內(nèi)容簡潔，實(shí)用性強(qiáng)。全書共分七章，內(nèi)容包括兒童生長發(fā)育特點(diǎn)與用藥常識(shí)、兒童常見疾�。òY狀）的合理用藥、兒童過敏性疾病的合理用藥、兒童感染性疾病的合理用藥、新生兒合理用藥、兒童五官疾病的合理用藥、兒童意外急癥的家庭急救措施。本書適合廣大醫(yī)務(wù)工

本書共9章，基于核電廠非預(yù)應(yīng)力鋼筋混凝土安全殼結(jié)構(gòu)，利用大量的實(shí)際地震動(dòng)，通過數(shù)值分析的方法，深入研究了核電廠安全殼結(jié)構(gòu)在雙向地震作用下的抗震性能及破壞機(jī)理，提出了考慮剪切效應(yīng)耦合的核安全殼簡化模型，并初步評(píng)估了核電廠安全殼遭受雙向地震激勵(lì)的真實(shí)能力值。本書具有較好的專業(yè)性和參考性，對(duì)于保障核電廠的安全運(yùn)營具有重要的理

全書主要從“六大獲獎(jiǎng)能力”“奪冠佳作特質(zhì)”“獲獎(jiǎng)佳作主題”三個(gè)方面來展示獲獎(jiǎng)作文，并通過圖解的方式解讀獲獎(jiǎng)作文的寫作思路，由名師解析“獲獎(jiǎng)亮點(diǎn)”，明確指出從這些獲獎(jiǎng)作品中可以學(xué)到的行之有效的寫作技巧，進(jìn)而幫助中學(xué)生提升自己的文學(xué)素養(yǎng)及寫作能力。本書適合初中生及其教師、家長參考。

人工智能將引領(lǐng)一場比互聯(lián)網(wǎng)影響更為深遠(yuǎn)的科技革命，各領(lǐng)域的企業(yè)都需要盡早地將人工智能納入企業(yè)規(guī)劃路徑中。在人工智能革命的時(shí)代，企業(yè)應(yīng)如何應(yīng)對(duì)挑戰(zhàn)、如何調(diào)整企業(yè)發(fā)展方向，以及如何重塑企業(yè)運(yùn)營模式和管理制度，從而在人工智能的浪潮中獲得機(jī)遇。作為個(gè)人，我們又應(yīng)如何面對(duì)未來人機(jī)協(xié)作的工作模式，如何在未來的工作環(huán)境中尋找適合自己

本書以區(qū)塊鏈科普內(nèi)容為主，同時(shí)兼顧專業(yè)級(jí)別的實(shí)戰(zhàn)技能�？破占�(jí)別的內(nèi)容旨在以妙趣橫生的手法向公眾普及區(qū)塊鏈知識(shí)，包括公共賬本的概念及記賬機(jī)制、數(shù)據(jù)塊的“指紋”與“指針”、解答謎題證明工作量、區(qū)塊樹被剪枝成樹干（鏈）、公有鏈的社會(huì)條件、分蛋糕的“軍備競賽”、貨幣發(fā)行、賬戶與錢包、礦池與交易所、以太坊的機(jī)器人造“幣”（Tok

《Java無難事》讓你學(xué)習(xí)Java再無難事！本書系統(tǒng)地講解了Java開發(fā)人員需要掌握的核心知識(shí)。本書按照中國人的思維習(xí)慣，由淺入深、循序漸進(jìn)、引導(dǎo)式地帶領(lǐng)讀者快速掌握J(rèn)ava知識(shí)。全書秉承作者一貫的寫作風(fēng)格，對(duì)知識(shí)的講解讓你知其然且知其所以然。全書語言通俗易懂、幽默風(fēng)趣，內(nèi)容安排上由淺入深，知識(shí)講解上深入淺出，為你節(jié)省

全書首先概要介紹了傳統(tǒng)語音識(shí)別理論和經(jīng)典的深度神經(jīng)網(wǎng)絡(luò)核心算法。接著全面而深入地介紹了深度學(xué)習(xí)在語音識(shí)別中的應(yīng)用，包括"深度神經(jīng)網(wǎng)絡(luò)-隱馬爾可夫混合模型”的訓(xùn)練和優(yōu)化，特征表示學(xué)習(xí)、模型融合、自適應(yīng)，以及以循環(huán)神經(jīng)網(wǎng)絡(luò)為代表的若干先進(jìn)深度學(xué)習(xí)技術(shù)。

隨著中臺(tái)概念被廣泛討論，其中數(shù)據(jù)中臺(tái)又被賦予擔(dān)任企業(yè)智能化任務(wù)的重任。當(dāng)前，不僅是大企業(yè)，很多企業(yè)都在開始打造或者引入中臺(tái)，用來解決企業(yè)面臨的系統(tǒng)重復(fù)建設(shè)與數(shù)據(jù)孤島的問題，在這個(gè)過程中，中臺(tái)產(chǎn)品經(jīng)理需要做什么事，解決什么問題，又會(huì)遇到怎樣的困難與挑戰(zhàn)？本書第1～2章講解了中臺(tái)起源與數(shù)據(jù)中臺(tái)產(chǎn)品需要什么樣的能力；第3～6