本書(shū)提出了一種基于形式化模型的嚴(yán)密的系統(tǒng)設(shè)計(jì)方法，闡述了嚴(yán)密系統(tǒng)設(shè)計(jì)方法的基本原理，介紹了嚴(yán)密系統(tǒng)設(shè)計(jì)框架BIP的建模語(yǔ)言、形式語(yǔ)義及其工具鏈。自主系統(tǒng)作為人工智能技術(shù)應(yīng)用落地的重要形態(tài)，討論了自主系統(tǒng)設(shè)計(jì)的趨勢(shì)和挑戰(zhàn)，闡述了一種集成模型驅(qū)動(dòng)方法與數(shù)據(jù)驅(qū)動(dòng)方法的思路，并提出了一種新的基于替換測(cè)試的智能測(cè)試方法，用以判斷

本書(shū)用20個(gè)真實(shí)的小故事，講述了神經(jīng)外科醫(yī)生的日常。作者以悲天憫人的人文關(guān)懷將科學(xué)與倫理相互交融，為讀者呈現(xiàn)了一幕幕飽含人情冷暖的生活劇。讀罷本書(shū)，不僅讓你唏噓人間百態(tài)，更讓你觸摸到了生命的意義。

本書(shū)結(jié)合項(xiàng)目實(shí)戰(zhàn)案例和業(yè)界主流工具，從思想、技術(shù)、工具、案例等方面闡述了DevOps在傳統(tǒng)規(guī)模化IT組織中實(shí)施落地的方法。

本書(shū)收錄由北京大學(xué)經(jīng)濟(jì)學(xué)院師生撰寫(xiě)的38篇時(shí)評(píng)文章，專(zhuān)家學(xué)者緊扣“兩會(huì)”脈搏，聚焦《政府工作報(bào)告》，根據(jù)黨的十九大、十九屆中央歷次全會(huì)、中央經(jīng)濟(jì)工作會(huì)議精神和國(guó)家“十四五”規(guī)劃，堅(jiān)持以問(wèn)題為導(dǎo)向，圍繞新時(shí)代中國(guó)特色社會(huì)主義、新發(fā)展階段、高質(zhì)量發(fā)展等重大理論和現(xiàn)實(shí)問(wèn)題展開(kāi)討論。

本書(shū)嘗試梳理日常物象浮出文學(xué)地表的歷史過(guò)程，并通過(guò)經(jīng)典文本鉤沉那些原本被視為零散、瑣碎、缺乏獨(dú)立價(jià)值的日常物象描寫(xiě)，使其重新進(jìn)入讀者和研究者的視野，借此激發(fā)對(duì)明清日常敘事新型審美風(fēng)格及創(chuàng)作觀念、明清物質(zhì)生活及文化的感知與理解。

本書(shū)簡(jiǎn)要介紹了目標(biāo)跟蹤的濾波理論及跟蹤評(píng)價(jià)準(zhǔn)則，詳細(xì)論述了基于Rao-Blackwellized粒子濾波器的水聲多目標(biāo)跟蹤、基于概率假設(shè)密度的多目標(biāo)跟蹤和基于粒子濾波的檢測(cè)前跟蹤等算法，最后給出了基于單基陣純方位目標(biāo)運(yùn)動(dòng)分析以及多信息聯(lián)合目標(biāo)運(yùn)動(dòng)分析算法。

本書(shū)對(duì)通航調(diào)度、安全管控、通航保障、通航能力分析及評(píng)價(jià)等進(jìn)行理論研究和方法探索。結(jié)合三峽-葛洲壩梯級(jí)樞紐的大型船閘、升船機(jī)、錨地、航道等通航基礎(chǔ)設(shè)施的運(yùn)維管理及其信息化建設(shè)，書(shū)中重點(diǎn)介紹通航調(diào)度組織技術(shù)、船舶過(guò)閘安全檢查技術(shù)、船閘安全運(yùn)行與監(jiān)測(cè)技術(shù)、通航保障技術(shù)等，總結(jié)凝練成功經(jīng)驗(yàn)、理論方法及技術(shù)成果，為數(shù)字化、智能化

本書(shū)針對(duì)全譯實(shí)踐方法進(jìn)行全方位的闡述。全譯，即傳統(tǒng)認(rèn)同的完整性翻譯。全譯信守譯作與原作極似的規(guī)律，包括直譯與意譯兩大策略，遵循對(duì)應(yīng)、增減、移換、分合四大機(jī)制，采用對(duì)、增、減、移、換、分、合七種手段，分別對(duì)應(yīng)為對(duì)譯、增譯、減譯、移譯、換譯、分譯、合譯七種方法。

本書(shū)是教育部人文社會(huì)科學(xué)重點(diǎn)研究基地吉林大學(xué)邊疆考古研究中心編輯的學(xué)術(shù)集刊。本輯收錄考古調(diào)查發(fā)掘報(bào)告、研究論文等27篇，內(nèi)容涉及中國(guó)邊疆及毗鄰地區(qū)的古代人類(lèi)、古代文化與環(huán)境。內(nèi)容包括：古椰遺址雙肩石器初步研究、浙江安吉古城遺址出土的人面紋與獸面紋瓦當(dāng)?shù)取?/p>

本書(shū)聚焦于信息流廣告、短視頻廣告、移動(dòng)O2O廣告、社交媒體廣告和直播廣告等新興廣告模式，詳細(xì)介紹了以中國(guó)數(shù)據(jù)為主的大量實(shí)證研究成果。這些研究采用了多源數(shù)據(jù)和多研究方法交叉的研究范式，通過(guò)廣告主和消費(fèi)者的大樣本數(shù)據(jù)，結(jié)合大量實(shí)驗(yàn)室和現(xiàn)場(chǎng)實(shí)驗(yàn)，運(yùn)用計(jì)量經(jīng)濟(jì)學(xué)、統(tǒng)計(jì)學(xué)和機(jī)器學(xué)習(xí)等研究方法，揭示在線廣告的作用機(jī)制、用戶接受、投