本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法，涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性
本书是学习力学的应备课外参考书，与北京理工大学普通物理力学教学团队编写的《普通物理力学》相配套。全书共分10章，内容包括质点力学、刚体力学、连续体力学和相对论。按主教材结构，本书扼要地概括总结了各章的基本概念和定理、定律，给出了各章全部习题的详细解答，以帮助读者更好地掌握力学知识，提高分析和解决问题的能力。全书习题总数
本书以力学基本理论为主体，系统阐述基本概念、规律、典型现象和主要应用，适度介绍学科研究成果和进展。作为新形态教材，本书在承袭传统纸质教材的基础上，将文字叙述、授课视频、动画、演示实验等内容有机地结合为一体。除绪论和附录之外，全书共10章，包括质点运动学、牛顿运动定律、动量与角动量、功和能、万有引力、刚体力学、连续体力学
本书译自DavidJGriffiths和DarrellFSchroeter教授所著《量子力学概论》（第3版），包含了我国大学量子力学课程主要的内容。本书强调量子力学的实验基础和基本概念，讲解直接从薛定谔方程开始；同时力图体现现代物理内容，把问题扩展到多个前沿的研究领域，如统计物理、固体物理、粒子物理等。在写法上，作
本书是一本关于物理学本身及物理学史的基础读物,是物理学知识的科普著作。作者借管窥物理学的方法论、尺度、重要概念、问题、理论系统及学科发展等,廓清了现代物理学的三大支柱:相对论、热力学、量子力学,清晰简明地为读者介绍了现代物理学的全貌,以及何谓科学精神:怀疑与自我怀疑,诚实面对证据和真理。全书关键处还附有简明易懂的图标,
本书描述了斯图克尔伯格(Stueckelberg)、霍维茨(Horwitz)理论和皮隆(Piron)理论(SHP),该理论为多体问题的讨论提供了一个全面的、经典的和量子力学相对论的协变框架。本书分为7章,具体内容包括多体相对论力学和规范理论、经典二体问题、经典N体问题、电磁学、量子力学二体问题和多体系统的结果、标量粒子
本书是为物理学专业群论教学编写的习题集。作者按照所著的教科书《物理学中的群论》的体系，收集了大量典型的群论习题，用尽可能简练明确的语言解答这些习题，为读者做出示范。本书在各节习题前面，简练且系统地介绍有关的群论基本理论和解题方法，努力按物理学专业的需要，建立一个群论教学的简明体系，创建群论自学的一种新途径。希望读者能根
本书系统介绍了基于声线法研究高斯行波对球形粒子的声辐射力和球面聚焦超声对球形粒子的声辐射力，基于声散射法研究平面波和高斯行波对球形粒子的声辐射力，高斯驻波对球形粒子的声辐射力和高斯行波对多层球形粒子的声辐射力，介绍了其他声源的声辐射力，包括中空聚焦换能器和环状活塞换能器产生的波束，零阶准贝塞尔高斯波束和艾里高斯波束，还
本书为“聚集诱导发光丛书”之一。全书共分为7章，第1章介绍了聚集诱导发光分子在水环境应用中的瓶颈问题和解决方案；第2章介绍了基于聚集诱导发光的金属离子检测；第3章介绍了基于聚集诱导发光的阴离子检测；第4章重点介绍了聚集诱导发光荧光探针在环境样品pH检测中的应用；第5章介绍了聚集诱导发光材料对有毒气体的检测；第6章介绍了
“近代物理实验”是继“普通物理实验”之后的一门重要的基础实验课，开设目的在于使学生掌握一些综合的、先进的实验方法和技能，加深对相关物理概念和规律的理解，提高实践动手能力，培养科学思维和创新能力。本教材在多年教学实践的基础上，根据物理学专业特色，吸收了物理学前沿科研技术的一些新成果，并把这些成果融入实验项目中。全书共讲解
书目推荐 更多
