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

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

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

本書收錄由北京大學經濟學院師生撰寫的38篇時評文章，專家學者緊扣“兩會”脈搏，聚焦《政府工作報告》，根據黨的十九大、十九屆中央歷次全會、中央經濟工作會議精神和國家“十四五”規(guī)劃，堅持以問題為導向，圍繞新時代中國特色社會主義、新發(fā)展階段、高質量發(fā)展等重大理論和現實問題展開討論。

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

本書簡要介紹了目標跟蹤的濾波理論及跟蹤評價準則，詳細論述了基于Rao-Blackwellized粒子濾波器的水聲多目標跟蹤、基于概率假設密度的多目標跟蹤和基于粒子濾波的檢測前跟蹤等算法，最后給出了基于單基陣純方位目標運動分析以及多信息聯合目標運動分析算法。

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

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

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

本書為北京麋鹿生態(tài)實驗中心組織編寫的麋鹿百科。全書分為遠古麋鹿、麋鹿身體探秘、麋鹿行為百態(tài)、麋鹿之朋友、麋鹿之文化、麋鹿之詩詞等章節(jié)，全面而細致地展現了麋鹿的方方面面，包括體貌特征、生理習性、保護措施、文學作品等內容。通過閱讀本書，讀者可以對麋鹿這種動物產生全新的認識，并感受到麋鹿這一物種特有的魅力及其背后承載的歷史，