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

本書囊括了全面預算管理的大部分內容，系統(tǒng)講解從預算大綱、預算編制，到預算執(zhí)行、預算控制、預算核算、預算分析、預算考評等有關預算管理的重要環(huán)節(jié)。作者集40年企業(yè)管理之經驗，將理論與實務緊密結合。本書的一大特點是同一案例貫穿始終。本書既是企業(yè)推行全面預算管理不可多得的實用教科書，也是理論研究者從事全面預算管理教學的重要參考

內容簡介本書以物理學的波動理論和地球系統(tǒng)科學中的圈層相互作用思想為指導，探討了盆地沉降及隆升剝蝕的形成過程，建立起波動方程等定量的概念。具體闡述了地殼波狀運動的研究歷程，總結了盆地波動過程分析的理論基礎和研究方法。以各圈層周期節(jié)律的耦合為紐帶，著重探討了天文旋回對沉積盆地演化的控制。以我國典型含油氣盆地，如塔里木盆地、

時滯是一種普遍存在的現象，是導致控制器性能變差和系統(tǒng)失穩(wěn)的重要因素。隨著電力系統(tǒng)規(guī)模增大，新能源發(fā)電占比提髙，控制響應趨快，電力系統(tǒng)發(fā)輸配用環(huán)節(jié)、控制器執(zhí)行機構及信息通信的時滯效應愈發(fā)顯著。特征值計箅是揭示時滯對電力系統(tǒng)穩(wěn)定性影響機理和優(yōu)化設計控制器以消除時滯不利影響的基礎。本書將電力系統(tǒng)與數值計箅和矩陣理論深度融合，

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

本書介紹多尺度理論在遙感圖像處理中的應用，涉及多尺度的概念、小波多尺度變換、多尺度幾何分析理論、經驗模態(tài)分解、鄰域多尺度濾波器和深度學習多尺度卷積等理論，并用于光學、紅外、高光譜、合成孔徑雷達等遙感圖像處理，主要包括紅外圖像濾波、光學圖像霧霾去除和合成孔徑雷達圖像增強，以及遙感圖像的特征提取、目標檢測、語義分割、地物分

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

本書以云計算安全的基礎理論和關鍵技術為主要內容.全書共8章,第1章介紹云計算的基本概念;第2章介紹可證明安全理論基礎;第3~8章是本書的重點內容,分別介紹可搜索加密技術、基于屬性的密碼技術、安全外包計算技術、云數據完整性審計技術、數據庫的可驗證更新技術和云數據安全去重技術等.本書融前沿性、豐富性、實用性為一體,囊括了云

大數據技術與應用發(fā)展不僅改變著網絡信息環(huán)境，而且決定數據的存在形態(tài)與數字信息資源的分布和利用結構，直接關系到用戶的認知需求表達與數字信息交互機制。在這一背景下，本書從大數據技術基礎、數據內容管理和數字信息利用出發(fā)，按照大數據應用與服務基礎構架進行理論和實踐的歸納；通過基本問題的分析和實證探索，圍繞大數據需求、數字資源形

本書從新工科人才教育的角度出發(fā)，闡述鈣能制造過程中涉及的技術與裝備，從緒論開始，先后介紹了智能制造關鍵技術、高端數控機床裝備、增材制造裝備、智能傳感與控制裝備、智能檢測與裝配裝備、智能物流與倉儲裝備等內容。《BR》本書融合數字化資源，通過書中二維碼關聯相關智能制造裝備視頻，展示智能智造過程，幫助讀者理解和拓展相關知識內