針對結(jié)構(gòu)可靠性理論在工程實際中的應(yīng)用，《結(jié)構(gòu)可靠性分析與控制》系統(tǒng)闡述了結(jié)構(gòu)可靠性的分析與控制方法，主要內(nèi)容包括結(jié)構(gòu)可靠性的基本概念體系、結(jié)構(gòu)可靠性分析中的不確定性、結(jié)構(gòu)可靠性的度量方法和控制方式、概率分布和信度分布、結(jié)構(gòu)性能和作用的概率模型、結(jié)構(gòu)可靠度分析與校核、結(jié)構(gòu)可靠性設(shè)計與評定、不確定事物的推斷、結(jié)構(gòu)性能和作用

本書共6章。第1章介紹新一代互聯(lián)網(wǎng)研究概況，由當(dāng)前互聯(lián)網(wǎng)技術(shù)面臨的問題入手，歸納總結(jié)新一代互聯(lián)網(wǎng)體系結(jié)構(gòu)研究過程中的共識與分歧，同時提出一種新型的網(wǎng)絡(luò)體系結(jié)構(gòu)。第2章介紹新一代互聯(lián)網(wǎng)研究重要計劃，給出國際上的主要研究計劃與主要研究項目。第3-6章重點討論新一代互聯(lián)網(wǎng)的部分核心技術(shù)。

學(xué)科發(fā)展戰(zhàn)略研究系列報告的正文內(nèi)容主要由五個部分組成，每個部分獨立成章：第一章闡述學(xué)科的科學(xué)意義與戰(zhàn)略價值，第二章介紹學(xué)科的發(fā)展規(guī)律和研究特點，第三章分析學(xué)科的發(fā)展現(xiàn)狀與發(fā)展態(tài)勢，第四章論述未來5～10年學(xué)科發(fā)展的關(guān)鍵科學(xué)問題、發(fā)展思路、發(fā)展目標(biāo)和重要研究方向，第五章論述有利于學(xué)科發(fā)展的有效資助機制與政策建議。

本書立足于電磁線圈炮，講解電磁武器的基礎(chǔ)知識，微型電磁線圈炮的制作、效率優(yōu)化、自動控制、結(jié)構(gòu)和工藝、命中精度提升、測試與測量、安全與可靠性，適用于電氣工程、電磁學(xué)方面的實驗，在設(shè)計、制作、測試的過程中提升電源設(shè)計能力。

本書為“低維材料與器件叢書”之一。本書基于作者多年的科研工作，并結(jié)合國內(nèi)外的最新研究進展比較系統(tǒng)地介紹了富勒烯的發(fā)現(xiàn)、結(jié)構(gòu)、合成、分離、形成機理、物理性質(zhì)、化學(xué)性質(zhì)及高分子化學(xué)等相關(guān)基礎(chǔ)知識，對富勒烯的產(chǎn)業(yè)化開發(fā)和應(yīng)用作了回顧與展望。全書共分10章，涵蓋了目前國內(nèi)外有關(guān)富勒烯的最新研究成果。

《安全協(xié)議實施安全性自動化分析與驗證》系統(tǒng)介紹安全協(xié)議實施安全性自動化分析與驗證的基本理論和關(guān)鍵技術(shù)及**成果。主要內(nèi)容包括安全協(xié)議實施安全性分析與驗證的國內(nèi)外發(fā)展現(xiàn)狀、一階定理證明器ProVerif及應(yīng)用、自動化安全協(xié)議證明器CryptoVerif及應(yīng)用、基于計算模型自動化抽取安全協(xié)議Blanchet演算實施模型、安

本書較為系統(tǒng)地介紹了近年來通過化學(xué)方法和技術(shù)轉(zhuǎn)化利用木質(zhì)纖維素類生物質(zhì)的相關(guān)進展。首先介紹了木質(zhì)纖維素類生物質(zhì)的組成、結(jié)構(gòu)特點及其化學(xué)轉(zhuǎn)化利用面臨的科學(xué)和技術(shù)上的挑戰(zhàn)。以化學(xué)反應(yīng)特點為線索，提出了木質(zhì)纖維素類生物質(zhì)轉(zhuǎn)化利用可能涉及的各種轉(zhuǎn)化反應(yīng)、工藝及其特點。在此基礎(chǔ)上，以從簡到繁的原則，介紹了以生物質(zhì)基小分子油類（油

泥沙資源利用是解決黃河泥沙問題的有效途徑之一，潛在的社會經(jīng)濟生態(tài)效益巨大。黃河泥沙難以實現(xiàn)規(guī)�；�、標(biāo)準(zhǔn)化利用的主要原因除時機不成熟之外，其利用方向和途徑不夠明確，缺少處理與利用成套技術(shù)、綜合效益評價方法和良性運用機制等方面的研究，開展"黃河泥沙資源利用成套技術(shù)與示范"研究意義重大。多年以來，黃河水利科學(xué)研究院等單位在黃

本書根據(jù)作者從事半導(dǎo)體材料研究所積累的理論知識、工作經(jīng)驗和技術(shù)資料，在查閱了大量的書籍和文獻資料的基礎(chǔ)上，將與半導(dǎo)體材料專業(yè)技術(shù)相關(guān)的知識要點提取出來，并根據(jù)作者的理解將相關(guān)內(nèi)容分成6個部分，即半導(dǎo)體材料概述、材料物理性能、晶體生長、熱處理、材料性能測量和半導(dǎo)體工藝基礎(chǔ)技術(shù)。其中半導(dǎo)體材料物理性能被劃分為三大類12個方

本書由多年從事網(wǎng)絡(luò)技術(shù)教學(xué)工作及系統(tǒng)集成項目的教師及工程技術(shù)人員編寫。本書以注重實際操作、注重主流技術(shù)、注重網(wǎng)絡(luò)應(yīng)用為中心，主要目的是讓學(xué)生掌握和熟悉網(wǎng)絡(luò)互聯(lián)的組網(wǎng)方法和相關(guān)設(shè)備的配置，能夠利用互聯(lián)網(wǎng)絡(luò)作為本學(xué)科的學(xué)習(xí)與研究工具，適應(yīng)信息化社會的發(fā)展。本書既能保持教學(xué)的系統(tǒng)性，又能反應(yīng)當(dāng)前網(wǎng)絡(luò)互聯(lián)發(fā)展的最新技術(shù)。