本書系統(tǒng)且全面地梳理了模型檢測量子系統(tǒng)的原理以及基于這些原理的算法，涵蓋作者相關論文中的重要研究成果。本書講解如何應用模型檢測技術來驗證量子工程系統(tǒng)的正確性、安全性和可靠性，包含步驟詳盡的算法以及豐富的示例和練習。書中首先介紹模型檢測和量子理論的基礎知識，然后討論量子自動機、量子馬爾可夫鏈和量子馬爾可夫決策過程的可達性

本書是學習力學的應備課外參考書，與北京理工大學普通物理力學教學團隊編寫的《普通物理力學》相配套。全書共分10章，內容包括質點力學、剛體力學、連續(xù)體力學和相對論。按主教材結構，本書扼要地概括總結了各章的基本概念和定理、定律，給出了各章全部習題的詳細解答，以幫助讀者更好地掌握力學知識，提高分析和解決問題的能力。全書習題總數(shù)

本書以力學基本理論為主體，系統(tǒng)闡述基本概念、規(guī)律、典型現(xiàn)象和主要應用，適度介紹學科研究成果和進展。作為新形態(tài)教材，本書在承襲傳統(tǒng)紙質教材的基礎上，將文字敘述、授課視頻、動畫、演示實驗等內容有機地結合為一體。除緒論和附錄之外，全書共10章，包括質點運動學、牛頓運動定律、動量與角動量、功和能、萬有引力、剛體力學、連續(xù)體力學

????為什么學數(shù)學總是學不進去，或是總也學不好？其實是你一直還沒踏入數(shù)學學習的門檻。數(shù)學不是一個單獨的學科，眾多學科都與其相關聯(lián)。在生活中，數(shù)學也無處不在。當你真正了解了數(shù)學的本質，學會用數(shù)學思維去思考一切后，你就會發(fā)現(xiàn)，原來數(shù)學就這么簡單，而且，學數(shù)學真的會上癮。請跟隨本書，開啟一段從史前時期到人工智能時代的跨越千

本書采用分子動力學模擬的研究方法，對微裝備、微制造領域的納米摩擦和磨損問題進行了系統(tǒng)論述。其主要內容包括：緒論、分子動力學的原理與方法、納米壓入過程模擬、空氣條件下納米磨料磨損行為、含水膜條件下單晶銅納米薄膜材料的磨損行為、化學機械拋光過程的分子動力學、晶界對納米多晶銅力學性能的影響。本書主要應用LAMMPS大規(guī)模并行

本書是“十二五”普通高等教育本科規(guī)劃教材。全書共三篇，分別講述靜力學、運動學和動力學的基本原理和實際應用。書中貫穿牛頓力學和分析力學兩條主線，重點介紹了有理論力學課程特點的基本內容；以不同層次和角度論述了基本概念、基本原理和基本方法。本書的特色是：1.引入了二維碼鏈接資源實現(xiàn)“助教”功能。為了使讀者更深入了解理論力學的

本書譯自DavidJ�盙riffiths和DarrellF�盨chroeter教授所著《量子力學概論》（第3版），包含了我國大學量子力學課程主要的內容。本書強調量子力學的實驗基礎和基本概念，講解直接從薛定諤方程開始；同時力圖體現(xiàn)現(xiàn)代物理內容，把問題擴展到多個前沿的研究領域，如統(tǒng)計物理、固體物理、粒子物理等。在寫法上，作

本書收錄了十位20世紀后半葉的數(shù)學家,他們每個人都在數(shù)學史上留下了自己的足跡。在美國成為數(shù)學研究中心的時代里,他們是更加多元化的國際數(shù)學大家庭的成員,構成了這個大家庭的橫截面。在這個時期內,很多長期以來開放性的問題得到了解決,純數(shù)學和應用數(shù)學得到了大發(fā)展,新數(shù)學思想的引入使得主要技術進步成為可能。

本書是一本關于粒子物理學的科普類圖書。作為大型強子對撞機實驗背后的科學,粒子物理學研究了科學界最根本、最令人震驚的問題:宇宙是如何開始的?“物質是什么?”我們是由什么構成的?最小的東西有多小?在沒有任何先驗科學知識的前提下,作者布萊恩·馬丁用10章內容帶領讀者進行一場前所未有的探索之旅:從核物理開始介紹,講述到加速器驅

本書為理論物理學家大栗博司先生寫給自己女兒的數(shù)學啟蒙讀物,全書以用“數(shù)學語言”解讀自然為線索,用生動故事和比喻重新講解了數(shù)學的核心原理與體系,并且講解了把數(shù)學作為一門“語言”的思維方式,是數(shù)學入門,重新理解數(shù)學的科普佳作。書中以日常生活的真實事件為話題,按從形象、具象到抽象的順序講述了生活話題背后的數(shù)學原理,為讀者提供