數系的擴充始終貫穿于數學理論的發展之中. 本書利用交互式定理證明工具Coq, 在Morse-Kelley 公理化集合論形式化系統下, 給出中國科學與技術大學汪芳庭教授在其《數學基礎》中采用算術超濾分數構造實數的機器證明系統, 包括超濾空間與算術超濾的基本概念、超濾變換以及用算術超濾構造算術模型的形式化實現, 構建了非標準實數模型, 自然包含標準實數模型, 并且給出濾子擴張原則和連續統假設蘊含非主算術超濾存在的形式化驗證. 在我們開發的系統中, 全部定理無例外地給出Coq的機器證明代碼, 所有形式
圖像融合技術可將多源圖像的互補特征進行綜合，以得到更加完整和準確的場景描述，從而彌補單一傳感器單幅圖像的不足，是一種廣泛應用的圖像預處理技術，如多攝像頭拍照、微光夜視、醫學診斷、遙感等應用領域。本書以多源圖像融合技術為主要內容，在研究圖像尺度分析、遷移學習、深度學習算法與模型的基礎上，針對多聚焦圖像融合、多模態醫學圖像融合、紅外與可見光圖像、遙感圖像融合等方面開展了深入研究，分別提出了具有針對性的融合方法，同時將一些新的技術和新方法引入到圖像融合領域。
本書首先進行虛擬現實和增強現實簡介，接著以VR/AR智能建模為主線，第一部分介紹基于單張圖片的基于單張圖片的廣義柱形物體三維建模技術、基于單帳圖像的室內場顥三維建模、基于正面圖片的三維人臉快速建模技術；第二部分闡述基于稀疏柔性傳感器的三維人體重建、三維模型格式轉換引擎技術；第三部分基于中軸變換建模方面，包括動態網格與稀疏點云的中軸計算方法、剛體仿真中基于中軸變換的連續碰撞檢測、中軸驅動的三維模型變形模擬及碰撞檢測方法。力求使讀者盡快掌握現有VR/AR相關核心智能建模技術。
本書主要分三部分：第1、2章介紹機器人學的基礎以及并聯機器人的關鍵知識；第3～5章介紹并聯機器人的機構學理論，包括運動學和動力學；第6、7章介紹并聯機器人的控制，主要是運動控制和力控制。附錄將書中需要的預備知識進行了簡要介紹。本書內容全面，層次結構合理，具有很強的可讀性，幾乎所有章后都配備了適量的習題，對于深入理解書中的內容可提供很大的幫助。本書適合機器人學相關的人士閱讀。
全書共8章，第1章對現有常見的基于深度學習剩余壽命預測技術研究現狀進行深入分析，第2章給出了一種充分融合深度學習和隨機過程優勢的退化系統剩余壽命預測方法，第3章與第4章重點圍繞全壽命周期情形所開展的剩余壽命預測方法研究，第3章得到的點估計預測結果，第4章是在Bayesian深度學習框架下確定的是概率分布預測結果，第5章與第6章針對零壽命標簽情形所開展的剩余壽命預測方法研究，第5章提出了一種基于網絡模型平均的退化系統剩余壽命點估計預測方法，第6章研究了基于Bayesian深度學習的退化系
本書重點介紹以網絡安全為核心，結合機器學習、深度學習、優化理論等人工智能技術的數據分析關鍵技術，以及在不同場景中的應用。本書分別介紹了網絡異常行為檢測和網絡安全防御研究相關的交叉學科理論，云計算、自然語言處理、機器學習、深度學習、博弈論等；基于網絡流量分析的異常行為檢測方法及應用；提出了基于網絡日志分析的異常序列檢測方法及應用；提出了一種面向多樣化攻擊行為的最優安全相應策略及應用；提出了一種優先網絡安全資源的優化配置方法及應用。的防護資源優化配置方法；提出了一種云容災場景下的最優數據備
這本書將把人工智能、大數據、云、機器人和智能設備作為背景。揭示了人工智能如何幫助企業實現商業價值指數級增長。本書涵蓋了我們為什么需要人工智能，如何開始，以及成功實施所需的框架和重要元素的全部內容。作者展示了其AI可視化版圖，概述了計劃和衡量一個成功的戰略(包括潛在的權衡)所需的構建模塊，涉及了人工智能、機器學習或預測分析，這個模塊目的是指導一項人工智能和大數據不可忽視戰略。人工智能和大數據正在影響著人類工作和生活的方方面面。這本書旨在向企業領導者、創業者、商務人士闡釋如何理解、適應和利
本書通過通俗易懂的語言，并配以示例代碼和案例項目，詳細介紹TypeScript編程語言的核心知識和重要技術。同時，本書通過學練結合從而循序漸進地帶領讀者學習TypeScript語言，讓讀者可以在有趣的學習中感受到編程的魅力，快速提升實踐開發能力。 全書共12章，分為三部分。第一部分（第1~5章）為基礎篇，包含TypeScript開發入門、基礎語法、面向對象、包裝類和集合類型； 第二部分（第6~8章）為進階篇，包含TypeScript語法進階、名稱空間和模塊、類型聲明文件； 第三部分（第9~12
《電腦高效辦公和安全防護從新手到高手：微課超值版》剖析用戶在進行電腦高效辦公和安全防護中迫切需要用到或迫切想要用到的技術，并力求對其進行傻瓜式的講解，使讀者對電腦高效辦公和安全防護技術形成系統了解，能夠更好地提高辦公效率和防護電腦安全。全書共分為15章，包括使用Word編輯文檔，使用圖表圖形美化文檔，Word的高級應用，使用Excel編輯數據，使用圖表圖形美化報表，工作表數據的管理與分析，使用PowerPoint制作幻燈片，制作有聲有色的幻燈片，放映、打包和發布幻燈片，認識Windows
《Procreate插畫手繪從新手到高手》共5章內容，第1章介紹Procreate軟件的基礎操作，包括工具介紹、進階功能和常用手勢總結等；第2章介紹繪畫的基本知識，包括素描知識、色彩知識、透視知識和速寫知識等；第3章至第5章分別介紹不同主題案例的繪制方法，包括綠植、食物、頭像、萌寵和表情包等。書中選取的案例簡單易學，即使是沒有繪畫基礎的讀者也能夠快速上手。《Procreate插畫手繪從新手到高手》作者希望帶領讀者通過使用Procreate繪畫，記錄生活中的點滴，描繪每一個甜蜜的瞬間。《P
新書資訊 新書推薦