師生關系一直是影響教育活動的重要因素之一。隨著人工智能的勃興，基于物聯(lián)網(wǎng)、云計算、大數(shù)據(jù)、泛在網(wǎng)絡等新一代信息技術在教育領域的推廣應用，不僅使教育步入新的發(fā)展階段，而且給師生關系及其建設帶來新的機遇與挑戰(zhàn)。本書發(fā)現(xiàn)，師生關系從原來僅限于人類教師與學生之間的雙主體關系走向人類教師、機器人教師和學生三者間的三主體關系。本書探討對三主體師生關系及其類型的認識，以期為三主體師生關系建設，特別是相關主體的智慧教育素養(yǎng)提供借鑒和參考。

邏輯定理的機器證明是人工智能領域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現(xiàn)邏輯定理證明的藝術，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現(xiàn)。本書首先用作者構造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機器證明工具TPG(TreeProofGenerator)實現(xiàn)邏輯定理的自動證明(一種樹證明)。最后，用交互式定理機器證明工具Fitch實現(xiàn)了邏輯定理的計算機證明(一種自然推理證明)。

本書是在大數(shù)據(jù)框架下，全面介紹金融科技在處理真實場景金融問題時需要掌握的最重要的幾類機器學習方法，并將重點放在實施過程中需要用到的特征提取、可解釋性、隱私保護與數(shù)據(jù)安全共享等相關內容的討論上。 本書內容分三部分:第一部分由1～6章組成，主要講常規(guī)情況下，機器學習在金融場景特別是大數(shù)據(jù)風控中的建模應用；第二部分由第7章和第8章組成，主要講在數(shù)據(jù)隱私保護和安全要求下，機器學習如何進行大數(shù)據(jù)風控建模；第三部分由9～16章組成，主要講如何基于吉布斯抽樣算法建立特征提取的理論 和標準框架及其在包含投資和融

本書提出微波光子多學科協(xié)同設計思想與方法，首先從微波光子的跨域交叉融合出發(fā)，分析了其多學科特點，探討了微波光子多學科協(xié)同設計的技術挑戰(zhàn)；接著，基于微波光子多學科設計的內涵，將需求-功能-邏輯-物理（RFLP）系統(tǒng)工程論方法引入微波光子系統(tǒng)的設計中，形成了基于RFLP的微波光子系統(tǒng)仿真設計的一般方法。同時，深入研究了微波光子器件、處理單元和系統(tǒng)的建模方法，闡明了微波光子跨域特點和時空頻多維映射原理，并以微波光子干涉儀系統(tǒng)模型為例，詳細闡述了多學科協(xié)同設計和建模仿真的思路及方法；最后，本書探討了不同

區(qū)塊鏈是一項會對未來信息化發(fā)展產生重大影響的新興技術，有望推動人類從信息互聯(lián)網(wǎng)時代步入價值互聯(lián)網(wǎng)時代。密碼學是區(qū)塊鏈的底層技術，為區(qū)塊鏈數(shù)據(jù)的不可偽造、防篡改、可公開驗證和隱私保護提供了基礎保障。本書在介紹區(qū)塊鏈結構、區(qū)塊鏈安全和密碼學原理等知識的基礎上，著重介紹應用于區(qū)塊鏈的新型密碼技術。本書涵蓋各類密碼體制的實現(xiàn)方案，同時介紹了區(qū)塊鏈安全中密碼技術的研究進展。

當前和今后一段時期將是我國集成電路和光電芯片技術發(fā)展的重要戰(zhàn)略機遇期和攻堅期，加強自主集成電路和光電芯片技術的研發(fā)工作，布局和突破關鍵技術并擁有自主知識產權，實現(xiàn)集成電路產業(yè)的高質量發(fā)展是我國當前的重大戰(zhàn)略需求�！吨袊�集成電路與光電芯片2035發(fā)展戰(zhàn)略》面向2035年探討了國際集成電路與光電芯片前沿發(fā)展趨勢和中國從芯片大國走向芯片強國的可持續(xù)發(fā)展策略，圍繞上述相關方向開展研究和探討，并為我國在未來集成電路和光電芯片發(fā)展中實現(xiàn)科技與產業(yè)自立自強，在國際上發(fā)揮更加重要作用提供戰(zhàn)略性的參考和指導意見。

服務質量預測是服務計算的一個重要研究分支，是支撐服務發(fā)現(xiàn)和服務管理的有力技術工具。經(jīng)過多年發(fā)展，服務質量預測已聚焦到如何利用機器學習技術解決情境感知的應用需求問題。本書圍繞此議題，針對靜態(tài)、動態(tài)、多屬性、拓撲感知、虛擬機等場景下服務質量預測問題，分別闡述基于近鄰效應、矩陣分解、非負多矩陣分解、貝葉斯魯棒張量分解、深度神經(jīng)網(wǎng)絡、貝葉斯網(wǎng)絡等機器學習技術的解決方案，集中體現(xiàn)該領域**的研究成果與發(fā)展動態(tài)。

《SQLServer從入門到精通（第5版）》從初學者角度出發(fā)，通過通俗易懂的語言、豐富多彩的實例，詳細介紹了SQLServer開發(fā)所必需的各方面技術。全書分為4篇共19章，內容包括數(shù)據(jù)庫基礎、SQLServer數(shù)據(jù)庫環(huán)境搭建、創(chuàng)建與管理數(shù)據(jù)庫、操作數(shù)據(jù)表、SQL基礎、SQL函數(shù)的使用、SQL數(shù)據(jù)查詢基礎、SQL數(shù)據(jù)高級查詢、視圖的使用、存儲過程、觸發(fā)器、游標的使用、索引與數(shù)據(jù)完整性、SQL中的事務、維護SQLServer數(shù)據(jù)庫、數(shù)據(jù)庫的安全機制、VisualCSQLServer實現(xiàn)酒店客房管理系

《Oracle從入門到精通（第5版）》從初學者角度出發(fā)，通過通俗易懂的語言和豐富多彩的實例，詳細介紹了使用Oracle19c進行數(shù)據(jù)管理的各方面技術。全書分為4篇，共21章，內容包括Oracle19c概述，Oracle體系結構，Oracle管理工具，SQL*Plus命令，SQL語言基礎，PL/SQL編程，過程、函數(shù)、觸發(fā)器和包，管理控制文件和日志文件，管理表空間和數(shù)據(jù)文件，數(shù)據(jù)表對象，其他數(shù)據(jù)對象，表分區(qū)與索引分區(qū)，用戶管理與權限分配，數(shù)據(jù)庫控制，Oracle系統(tǒng)調優(yōu)，優(yōu)化SQL語句，Oracl

《Vue3移動Web開發(fā)與性能調優(yōu)實戰(zhàn)》旨在向讀者介紹如何使用Vue3和其他現(xiàn)代Web技術創(chuàng)建高性能的移動Web應用程序�！禫ue3移動Web開發(fā)與性能調優(yōu)實戰(zhàn)》不僅詳細介紹有關移動Web和Vue3的技術知識，包括HTML5、CSS3、Vue全家桶、構建工具Vite、移動Web屏幕適配等，并講解如何使用這些技術來創(chuàng)建快速、可靠和可擴展的應用程序，還深入探討各種性能優(yōu)化技術，并向讀者展示如何使用這些技術來提升Web應用程序的性能、可靠性和用戶體驗。后通過一個企業(yè)級實戰(zhàn)項目仿微信朋友圈系統(tǒng)來全方位講