狹義相對論在近代物理學(xué)中已有廣泛的應(yīng)用，是物理學(xué)的基礎(chǔ)理論之一，它的基本假設(shè)和結(jié)論有著牢固的實(shí)驗(yàn)基礎(chǔ)。本書?S13草，第1～6章介紹狹義相對論的基本內(nèi)容和主要結(jié)論，第7～13章從理論的角度總結(jié)和分析檢驗(yàn)狹義相對論的幾種主要實(shí)驗(yàn)類型：狹義相對性原理、光速變原理、時間膨脹效應(yīng)、緩慢運(yùn)動物體的電磁感應(yīng)、相對論力學(xué)、光子靜質(zhì)量

本書是根據(jù)教育部卨等學(xué)校大學(xué)數(shù)學(xué)課程教學(xué)指導(dǎo)委員會制定的非數(shù)學(xué)專業(yè)“髙等數(shù)學(xué)”課稈教學(xué)基本要求，參考了全國大學(xué)生數(shù)學(xué)競賽非數(shù)學(xué)類競賽大綱和全國碩士研究生入學(xué)考試數(shù)學(xué)考試大綱的內(nèi)容和要求，并結(jié)合了作者的“卨等數(shù)學(xué)”慕課，精心制作完成的數(shù)字化新形態(tài)教材，讀者可以掃描二維碼學(xué)習(xí)相關(guān)資源�！禕R》本書層次清晰，結(jié)構(gòu)嚴(yán)謹(jǐn)，內(nèi)容充

本書是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗(yàn)證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實(shí)際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對函數(shù)的階次選擇分?jǐn)?shù)，而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實(shí)際系統(tǒng)動態(tài)過程本質(zhì)上是

本書圍繞分子結(jié)構(gòu)解析和材料表界面研究，分九章系統(tǒng)介紹與之相關(guān)的各種先進(jìn)儀器分析方法，包括質(zhì)譜分析法、一維核磁共振波譜分析法、二維核磁共振波譜分析法、紅外和拉曼波譜分析法、紫外和分子熒光波譜分析法、X射線衍射分析法、X射線光電子能譜分析法、表面顯微分析法。對于每種方法的發(fā)展史、基本原理、常用概念、主要測定技術(shù)、測試影響因

本書是髙等學(xué)校數(shù)學(xué)建模課程教材，共12章，包括數(shù)學(xué)建校概述、初等模型、微分方程模型、差分方程模型、概率與隨機(jī)模型、數(shù)學(xué)規(guī)劃模型、數(shù)據(jù)處理模型、問歸分析模型、分類模型、評價模型、預(yù)測模型、現(xiàn)代優(yōu)化算法。本書以數(shù)學(xué)建模方法為主線，以解決社會生活和生產(chǎn)符理等領(lǐng)域中的實(shí)際問題為切入點(diǎn)，著重介紹解決問題的數(shù)學(xué)建模思想方法和基本過

本書分11章，內(nèi)容涉及數(shù)學(xué)建模簡介、Python編程基礎(chǔ)與科學(xué)計(jì)算、常微分方程及差分方程方法、偏微分方程、插值與擬合方法、**化方法、圖論方法、排隊(duì)論、回歸分析、因子分析、時間序列預(yù)測分析方法。第3—11章每章先給出歷史沿革，然后進(jìn)行方法簡介，最后結(jié)合實(shí)例講解建模方法，配合數(shù)學(xué)軟件的介紹和使用，加強(qiáng)建模求解過程的基本訓(xùn)

光子晶體功能材料具有獨(dú)特的光學(xué)特性，在眾多領(lǐng)域擁有巨大的應(yīng)用前景。本書圍繞光子晶體“材料體系”與“應(yīng)用探索”兩大主題，分別介紹了微流控光子晶體、液態(tài)膠體光子晶體、空心微球膠體光子晶體、分子刷光子晶體及磁響應(yīng)膠體光子晶體的制備原理和獨(dú)特性能，并探討了光子晶體材料在綠色印刷、光纖、結(jié)構(gòu)色印染、物理傳感器和防偽識別領(lǐng)域的**

橢圓曲線密碼體制（ECC）是當(dāng)前主流的公鑰密碼體制，該體制的安全核心是橢圓曲線離散對數(shù)問題（ECDLP）。本書首先對橢圓曲線離散對數(shù)及其相關(guān)問題，以及它們之間的相互關(guān)系進(jìn)行了探討，然后主要介紹了橢圓曲線離散對數(shù)問題的計(jì)算方法，包括通用的平方根算法及其改進(jìn)、特殊橢圓曲線離散對數(shù)的計(jì)算方法、指標(biāo)計(jì)算方法的努力、歸約到NPC

本書系統(tǒng)深入地闡述了矩陣結(jié)構(gòu)和矩陣函數(shù)的公理化體系，并給出基于此公理體系進(jìn)行形式化分析與驗(yàn)證的應(yīng)用。主要內(nèi)容包括：矩陣結(jié)構(gòu)的形式化；矩陣序列與矩陣級數(shù)理論的形式化；矩陣函數(shù)微分的形式化；矩陣?yán)碚摰淖詣踊�定理證明；矩陣?yán)碚摴�理化系統(tǒng)在信息或物理系統(tǒng)形式化建模驗(yàn)證中的應(yīng)用。

本書以非相對量子力學(xué)理論為基礎(chǔ)，重點(diǎn)介紹基于原子與經(jīng)典電磁場和量子化電磁場相互作用的相關(guān)量子技術(shù)。第1章介紹非相對論量子力學(xué)理論框架；第2章介紹角動量和對稱性；第3～8章探討原子與經(jīng)典電磁場和量子化電磁場相互作用的相關(guān)應(yīng)用，分別是近似方法、電磁作用與應(yīng)用、原子的激光冷卻、非厄米量子力學(xué)、量子多體問題和電磁場的量子理論與