主要內(nèi)容●如何配置Go語(yǔ)言環(huán)境，并提供設(shè)計(jì)、開(kāi)發(fā)和測(cè)試Go應(yīng)用程序的入門指南。●對(duì)基本數(shù)據(jù)結(jié)構(gòu)(如映射、切片和數(shù)組)的實(shí)際討論。●gRPC和并發(fā)的基本原理�！裨贕o語(yǔ)言中設(shè)計(jì)和開(kāi)發(fā)API的基礎(chǔ)知識(shí)。

本書是關(guān)于現(xiàn)代類型論的專著。與集合論類似，現(xiàn)代類型論是數(shù)學(xué)及諸多領(lǐng)域的基礎(chǔ)語(yǔ)言。本書介紹了現(xiàn)代類型論(及其元理論)，并以自然語(yǔ)言語(yǔ)義學(xué)和計(jì)算機(jī)輔助推理為例對(duì)以現(xiàn)代類型論為基礎(chǔ)的應(yīng)用領(lǐng)域進(jìn)行深入淺出的討論。作為基礎(chǔ)語(yǔ)言，現(xiàn)代類型論一方面提供了豐富的描述機(jī)制，另一方面便于理解與實(shí)現(xiàn)，因此與集合論相比有著多方面的優(yōu)勢(shì)。這些優(yōu)點(diǎn)在實(shí)際運(yùn)用中展示出來(lái)：作為范例，書中深入研究了基于現(xiàn)代類型論的自然語(yǔ)言語(yǔ)義學(xué)，以加深讀者對(duì)此的理解。書中還介紹了以現(xiàn)代類型論為基礎(chǔ)的交互式證明技術(shù)在數(shù)學(xué)形式化、計(jì)算機(jī)程序驗(yàn)證及自

圖神經(jīng)網(wǎng)絡(luò)不僅能夠解決傳統(tǒng)機(jī)器學(xué)習(xí)方法無(wú)法解決的圖數(shù)據(jù)問(wèn)題，而且能夠應(yīng)用于許多實(shí)際場(chǎng)景，例如社交網(wǎng)絡(luò)、藥物發(fā)現(xiàn)、網(wǎng)絡(luò)安全、金融風(fēng)控等�！秷D神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型與應(yīng)用實(shí)戰(zhàn)》旨在為初學(xué)者和實(shí)踐者提供一個(gè)詳細(xì)、全面的入門指南，圍繞圖神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型、應(yīng)用實(shí)戰(zhàn)（均采用Python+PyTorch實(shí)現(xiàn)）等方面進(jìn)行介紹。《圖神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型與應(yīng)用實(shí)戰(zhàn)》配套示例源碼、數(shù)據(jù)集、PPT課件�！秷D神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型與應(yīng)用實(shí)戰(zhàn)》共分9章，內(nèi)容包括圖神經(jīng)網(wǎng)絡(luò)概述、PyTorch開(kāi)發(fā)環(huán)境搭建、數(shù)據(jù)集的獲取與加載、圖神經(jīng)

工程教育事關(guān)國(guó)家的競(jìng)爭(zhēng)力建設(shè)。本書是近年來(lái)國(guó)際工程教育中心承擔(dān)中國(guó)工程院有關(guān)國(guó)際工程教育改革與發(fā)展為主題研究的部分重要成果，對(duì)我國(guó)工程教育服務(wù)“一帶一路”倡議、對(duì)推動(dòng)工程教育走向世界，對(duì)實(shí)施命運(yùn)共同體建設(shè)和人文交流、對(duì)探討教育教學(xué)改革等具有重要的指導(dǎo)作用�？晒└叩裙こ探逃芯抗ぷ髡摺⒋髮W(xué)校長(zhǎng)及相關(guān)院系專業(yè)管理者、教育行政管理部門領(lǐng)導(dǎo)、高校工程學(xué)科和教育學(xué)科教師和研究生等專業(yè)人員，以及企業(yè)高層領(lǐng)導(dǎo)者研究與參考。

《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》內(nèi)容涵蓋身份認(rèn)證的基礎(chǔ)理論，包括身份認(rèn)證與授權(quán)的區(qū)別、常見(jiàn)的認(rèn)證方式以及關(guān)鍵技術(shù)和協(xié)議，如SAML、OAuth2.0、OIDC等。除基礎(chǔ)概念外，《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》還展示如何在不同的環(huán)境中安全地接入和實(shí)現(xiàn)身份認(rèn)證，包括純前端應(yīng)用、BFF和后端領(lǐng)域服務(wù)。同時(shí)，《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》詳細(xì)討論如何在現(xiàn)有應(yīng)用中集成其他身份認(rèn)證系統(tǒng)，以及如何實(shí)現(xiàn)社交賬號(hào)登錄等功能。對(duì)于追求深入理解的讀者，《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》還準(zhǔn)備了一些高級(jí)主題，包括在微信小程序中集成認(rèn)證平臺(tái)、G

全球范圍內(nèi)**程度的合作與共享是推動(dòng)科技發(fā)展的共同需求。本書分析了科技治理需要的基本原則、制度和協(xié)議，探討了科技倫理治理規(guī)范，為緊密有效的國(guó)際合作和負(fù)責(zé)任地開(kāi)發(fā)新興技術(shù)提供了指導(dǎo)。本書可供高等工程教育研究工作者、大學(xué)校長(zhǎng)及相關(guān)院系專業(yè)管理者、教育行政管理部門領(lǐng)導(dǎo)、高校工程學(xué)科教師和研究生等專業(yè)人員，以及企業(yè)高層領(lǐng)導(dǎo)者研究與參考。

本書以智能制造產(chǎn)線為對(duì)象，介紹了智能制造產(chǎn)線運(yùn)行優(yōu)化涉及的關(guān)鍵技術(shù):產(chǎn)線狀態(tài)數(shù)據(jù)實(shí)時(shí)采集與云-邊協(xié)同計(jì)算技術(shù)、產(chǎn)線混合生產(chǎn)任務(wù)的集成規(guī)劃與優(yōu)化技術(shù)、產(chǎn)線生產(chǎn)物流的主動(dòng)感知與協(xié)同調(diào)度技術(shù)、刀具磨損狀態(tài)智能監(jiān)控與壽命預(yù)測(cè)技術(shù)、工件加工質(zhì)量的誤差分析/溯源與預(yù)測(cè)技術(shù)、復(fù)雜數(shù)控加工裝備的健康狀態(tài)綜合評(píng)價(jià)技術(shù)等。這些關(guān)鍵技術(shù)是實(shí)現(xiàn)智能制造產(chǎn)線的重要組成部分，是構(gòu)建自組織、自學(xué)習(xí)、自適應(yīng)、自優(yōu)化生產(chǎn)系統(tǒng)的核心技術(shù)。本書可以作為“智能制造類”研究生的選用教材，對(duì)學(xué)生了解智能車間和智能工廠具有重要的指導(dǎo)作用。

本書是“微處理器原理與接口技術(shù)”課程的教材。本書首先通過(guò)邏輯的、歷史的脈絡(luò)引入計(jì)算機(jī)系統(tǒng)和微處理器，然后以ARMCM0為對(duì)象介紹了微處理器的組成原理和指令集，并介紹了匯編語(yǔ)言編程方法等。在接口技術(shù)方面，本書介紹了內(nèi)部總線AHBLite和SoC的組成方法，并以RP2040芯片為例，介紹了接口常用的GPIO、UART、I2C、SPI、A/D、D/A、定時(shí)計(jì)數(shù)器等電路原理和編程方法，特別引入了觸摸按鍵、觸摸屏、COB液晶和圖形液晶等的原理介紹和接口方法。本書專辟一章介紹了實(shí)時(shí)操作系統(tǒng)，并以FreeR

基金和股票一樣，都是一種風(fēng)險(xiǎn)投資產(chǎn)品。對(duì)于我們普通人來(lái)說(shuō)，如何買基金、如何通過(guò)基金來(lái)實(shí)現(xiàn)家庭財(cái)富長(zhǎng)久穩(wěn)健的增值確實(shí)是一門學(xué)問(wèn)。本書力求從一個(gè)普通投資者的視角，運(yùn)用量化投資的思維，介紹一些切實(shí)可用的基金投資方法。全書大致分為三個(gè)部分，第一部分介紹了一些基金投資和量化投資的基本概念。第二部分介紹了兩種不同的基金投資模型，并對(duì)其進(jìn)行了深入的分析。第三部分是從資產(chǎn)配置的角度闡述了基金投資的理念。

AI從何而來(lái)，要帶領(lǐng)人類去往何處，社會(huì)、國(guó)家、行業(yè)乃至個(gè)人會(huì)受到怎樣的影響？本書以淺顯的文字、通俗的例子描述了關(guān)于深度學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)、AI大模型的一些比較難懂的概念。其中不乏一些平日整理的筆記和心得，這也正是筆者學(xué)習(xí)的心路歷程。書中還討論了AI大模型在教育、醫(yī)療、工業(yè)等領(lǐng)域的應(yīng)用前景，以及可能對(duì)人類和社會(huì)發(fā)展的影響。通過(guò)閱讀本書，你可以了解AI的發(fā)展歷史、大模型的技術(shù)原理，以及當(dāng)下大模型的一些潛在問(wèn)題。希望這本書能幫你認(rèn)識(shí)和了解AI大模型，并在閱讀中收獲一些啟發(fā)和愉悅。