人類使用自然語言進(jìn)行日常的思考、推理和解決問題，而機(jī)器使用形式語言進(jìn)行推理和計(jì)算，因此，要實(shí)現(xiàn)人機(jī)互動，需要讓機(jī)器能夠?qū)⒆匀徽Z言自動地翻譯為形式語言，即實(shí)現(xiàn)自然語言的自動形式化。本書從人類認(rèn)知出發(fā)，通過讓機(jī)器模擬人類形式化的思維過程來實(shí)現(xiàn)自動形式化。本書涉及邏輯、語言、認(rèn)知與計(jì)算多個學(xué)科的知識，從跨學(xué)科的視角為自動形式化問題提供了一種新的基于認(rèn)知的研究進(jìn)路。

《當(dāng)代人類學(xué)十二講》匯集世界著名人類學(xué)家和精神病學(xué)家哈佛大學(xué)教授凱博文，世界著名人類學(xué)家哥倫比亞大學(xué)教授孔邁隆，復(fù)旦人類學(xué)教授潘天舒，復(fù)旦人類學(xué)副教授張聰?shù)戎�名學(xué)者的研究成果。其視野非常廣闊，涉及了當(dāng)代人類學(xué)諸多重要的議題，兒童養(yǎng)育、老齡照護(hù)、老齡社會、喪葬、人口流動、體育競技等。面對紛繁復(fù)雜、快速變化的中國乃至世界，本書討論的這些議題有助于我們理解和進(jìn)入這種復(fù)雜性、流動性。對于普通讀者而言，本書是進(jìn)入人類學(xué)廣闊世界中領(lǐng)略其中風(fēng)景的很好讀本，對于研究者而言，則展現(xiàn)了人類學(xué)可以達(dá)到的廣度和深度，作

本書圍繞C/C++程序調(diào)試這一主題，系統(tǒng)深入地介紹了在Windows和Linux操作系統(tǒng)上如何高效地調(diào)試C/C++程序。 本書分為11章，內(nèi)容涵蓋了程序調(diào)試的基本知識、VisualC++調(diào)試的基本功能與技巧、Linux系統(tǒng)中g(shù)db工具的使用、死鎖調(diào)試、動態(tài)庫調(diào)試、內(nèi)存檢查、遠(yuǎn)程調(diào)試、轉(zhuǎn)儲文件調(diào)試分析、發(fā)行版調(diào)試，以及調(diào)試的高級話題和調(diào)試方面的擴(kuò)展知識。 本書作為學(xué)習(xí)C/C++調(diào)試技術(shù)的重要資料，講解通俗易懂，選取的示例注重理論與實(shí)際的聯(lián)系。

本書帶領(lǐng)讀者通過練習(xí)掌握編寫現(xiàn)代C程序的方法和技巧。全書分為11章，首先概述C語言編程的基本概念，然后詳解C語言的所有構(gòu)成要素，包括變量、對象、函數(shù)、數(shù)據(jù)類型、運(yùn)算符、表達(dá)式、控制流、動態(tài)內(nèi)存分配、預(yù)處理器等，最后帶領(lǐng)讀者利用這些構(gòu)成要素構(gòu)建實(shí)用的系統(tǒng)，學(xué)習(xí)如何調(diào)試、測試、分析代碼。學(xué)透本書，你就能成為專業(yè)的C程序員，編寫出安全、高質(zhì)量、可移植的C程序。 本書適合所有想編寫優(yōu)秀C程序的讀者閱讀。

本書主介紹業(yè)務(wù)流程管理的實(shí)戰(zhàn)落地應(yīng)用，全書分為四個部分：基礎(chǔ)理論篇，包含流程的基本概念、業(yè)務(wù)流程管理的歷史、滴滴的業(yè)務(wù)流程管理體系；常規(guī)應(yīng)用篇，包含Activiti開發(fā)環(huán)境準(zhǔn)備、使用IDEA和Eclipse開發(fā)Activiti工作流、流程設(shè)計(jì)工具，以及Activiti核心架構(gòu)、流程引擎配置、用戶管理、流程部署、表單管理等內(nèi)容；高級實(shí)戰(zhàn)篇，包含SpringBoot和Activiti的其他實(shí)踐和應(yīng)用；升華魔改篇，包含多引擎架構(gòu)、性能優(yōu)化、流程穩(wěn)定性保障。

本書力求揭示微服務(wù)設(shè)計(jì)背后的思想，引導(dǎo)讀者理解和構(gòu)建微服務(wù)。全書分為兩部分。第一部分介紹微服務(wù)的工程原則，從具體的案例研究引入微服務(wù)的概念及優(yōu)缺點(diǎn)，闡示了如何決定要構(gòu)建哪些微服務(wù)及服務(wù)間的通信，介紹了消息優(yōu)先的方法，展示了微服務(wù)如何以更恰當(dāng)?shù)姆绞酱鎯�和處理不同類型的�?shù)據(jù)，探討了如何在生產(chǎn)環(huán)境中運(yùn)行大量微服務(wù)。第二部分介紹如何利用微服務(wù)架構(gòu)的工程優(yōu)勢來克服環(huán)境帶來的挑戰(zhàn)，以及度量微服務(wù)系統(tǒng)的方法，指導(dǎo)讀者一步步地從老的單體系統(tǒng)過渡到能夠輕松適應(yīng)新功能需求的微服務(wù)系統(tǒng)，最后使用前面章節(jié)介紹的原則，從

隨著人工智能技術(shù)的廣泛應(yīng)用，網(wǎng)絡(luò)智能化近年來受到廣泛的關(guān)注，已經(jīng)成為下一代移動通信與未來網(wǎng)絡(luò)的重要技術(shù)。阿爾法圍棋（AlphaGo）之后，深度強(qiáng)化學(xué)習(xí)不斷推陳出新，為網(wǎng)絡(luò)中的決策問題提供了有效的潛在解決方案。本書系統(tǒng)介紹了網(wǎng)絡(luò)智能化中深度強(qiáng)化學(xué)習(xí)的基本理論、算法及應(yīng)用場景。全書共8章，針對互聯(lián)網(wǎng)、移動通信網(wǎng)、邊緣網(wǎng)絡(luò)、數(shù)據(jù)中心等典型網(wǎng)絡(luò)，闡述了網(wǎng)絡(luò)管理、網(wǎng)絡(luò)控制、任務(wù)調(diào)度等決策需求，深入論述了深度強(qiáng)化學(xué)習(xí)的模型構(gòu)建與應(yīng)用技術(shù)。第1章介紹了網(wǎng)絡(luò)智能的需求與挑戰(zhàn)；第2章介紹了先進(jìn)的深度強(qiáng)化學(xué)習(xí)模型與

本書是一本概率編程的入門書。本書使用概率編程庫PyMC3以及可視化庫ArviZ對貝葉斯統(tǒng)計(jì)分析的相關(guān)知識進(jìn)行講解，包括概率思維、概率編程、線性回歸建模、廣義線性模型、模型比較、混合模型、高斯過程以及推斷引擎等知識。全書圖文并茂，通俗易懂，適合具備一定Python基礎(chǔ)的讀者學(xué)習(xí)使用。學(xué)完本書，讀者可以利用概率思維建立貝葉斯模型并解決自己的數(shù)據(jù)分析問題。

開展雙車道公路交通事故風(fēng)險(xiǎn)評價與安全設(shè)計(jì)方法研究，可為降低低等級公路交通事故率、減少事故傷亡人數(shù)與損失提供理論與技術(shù)支撐。本書以雙車道公路交通事故風(fēng)險(xiǎn)評價與安全設(shè)計(jì)方法為主線，注重理論與實(shí)踐相結(jié)合，在介紹雙車道公路交通運(yùn)行環(huán)境與事故特征的基礎(chǔ)上，重點(diǎn)研究雙車道公路超車事故風(fēng)險(xiǎn)評價、雙車道公路路側(cè)事故發(fā)生概率預(yù)測與風(fēng)險(xiǎn)評價、雙車道公路附加車道設(shè)計(jì)方法、雙車道公路路側(cè)凈區(qū)與安全邊坡設(shè)計(jì)方法、雙車道公路路側(cè)解體消能標(biāo)志設(shè)計(jì)方法、雙車道公路**車速限制方法等內(nèi)容。

本書是一部關(guān)于未來互聯(lián)網(wǎng)的集學(xué)術(shù)研究與教學(xué)實(shí)踐于一體的科研論著，介紹了未來互聯(lián)網(wǎng)的技術(shù)發(fā)展趨勢，詳細(xì)闡述了未來互聯(lián)網(wǎng)發(fā)展面臨的挑戰(zhàn)及共性關(guān)鍵技術(shù)。本書分別從未來互聯(lián)網(wǎng)體系架構(gòu)，下一代互聯(lián)網(wǎng)協(xié)議，軟件定義網(wǎng)絡(luò)，網(wǎng)絡(luò)功能虛擬化，信息中心網(wǎng)絡(luò)，移動社交網(wǎng)絡(luò)，時延容忍網(wǎng)絡(luò)，數(shù)據(jù)中心網(wǎng)絡(luò)，5G網(wǎng)絡(luò)，工業(yè)互聯(lián)網(wǎng)，網(wǎng)絡(luò)與云計(jì)算、大數(shù)據(jù)、人工智能等方面，對未來互聯(lián)網(wǎng)原理、技術(shù)及應(yīng)用等單元技術(shù)進(jìn)行了詳細(xì)論述，最后介紹了典型的未來互聯(lián)網(wǎng)研發(fā)與應(yīng)用案例。