《形式語義學(xué)引論（第二版）》為形式語義學(xué)入門參考書，簡(jiǎn)單介紹程序的操作語義、指稱語義和公理語義�！缎问秸Z義學(xué)引論（第二版）》共7章：第1章介紹操作語義，第2章介紹指稱語義，第3章介紹公理語義，第4介紹過程調(diào)用的形式語義，第5章介紹非確定程序的形式語義，第6章介紹并發(fā)程序的形式語義，第7章介紹程序的時(shí)態(tài)語義。

《在路上——魯能生態(tài)優(yōu)先、綠色發(fā)展的探索與未來》是魯能集團(tuán)“生態(tài)優(yōu)先、綠色發(fā)展”發(fā)展戰(zhàn)略的思考和研究成果。《在路上——魯能生態(tài)優(yōu)先、綠色發(fā)展的探索與未來》共分為三篇十七章，全面論述生態(tài)優(yōu)先、綠色發(fā)展的背景和意義，明確魯能在生態(tài)綠色發(fā)展中應(yīng)當(dāng)關(guān)注的重點(diǎn)，并以實(shí)際案例分析和總結(jié)，指出未來魯能的生態(tài)優(yōu)先、綠色發(fā)展之路應(yīng)當(dāng)如何

在路上——魯能生態(tài)優(yōu)先綠色發(fā)展探索與未來

《FRP增強(qiáng)工程結(jié)構(gòu)體系》面向現(xiàn)代工程結(jié)構(gòu)向大跨度、輕量化、長(zhǎng)壽命的發(fā)展需求，論述了纖維增強(qiáng)復(fù)合材料（FRP）在解決各類民用建筑、橋梁工程、海洋工程、地下工程等結(jié)構(gòu)中的設(shè)計(jì)評(píng)價(jià)方法和特色應(yīng)用，重點(diǎn)從以下幾個(gè)方面介紹**研究成果和進(jìn)展：從各類FRP的基本性能、長(zhǎng)期性能、耐久性能等方面詳述作為結(jié)構(gòu)材料的FRP性能特點(diǎn)及性能

本書主要分析和講解了亡國之君李后主、柳三變、范仲淹、晏殊、王安石、蘇東坡、黃庭堅(jiān)、李清照、辛棄疾、文天祥等著名大宋詞人。從他們寫的詩詞入手，逐步分析。是閱讀宋詞、了解詞人生平很好的輔助讀物。全稿以時(shí)間為軸，串聯(lián)起北宋南宋社會(huì)著名文人的主要作品，詩詞里的故事經(jīng)過作者的解讀，也能讓讀者了解宋代問人事和會(huì)的風(fēng)俗流變。

作家是文學(xué)作品的創(chuàng)作者，浩如煙海的文學(xué)作品都是由作家創(chuàng)作出來的，這里麗既包含作家辛勤勞動(dòng)的汗水，又包含作家的藝術(shù)修養(yǎng)和才情智慧，也包含作家的思想情感和價(jià)值觀念，甚至包含作家的煩惱、痛苦和不安，當(dāng)然也包含作家對(duì)讀者的引導(dǎo)和期望。任何文學(xué)創(chuàng)作既是作家與社會(huì)、歷史、生活這些外在的現(xiàn)實(shí)發(fā)生碰撞、對(duì)抗、融合、交流的過程，也是作家

本書以歷史唯物主義和辯證唯物主義為指導(dǎo)，通過借鑒政治學(xué)、國際關(guān)系學(xué)、外交學(xué)、社會(huì)學(xué)、現(xiàn)代傳播學(xué)、文化哲學(xué)、心理學(xué)、制度經(jīng)濟(jì)學(xué)的有關(guān)理論和研究方法，將中國特色文化外交置于推動(dòng)中國文化走出去、提升中華文化軟實(shí)力以助推中華民族偉大復(fù)興、中國夢(mèng)早日實(shí)現(xiàn)的視域下，結(jié)合新中國成立以來中國(政府主導(dǎo)型)對(duì)外文化交流的具體實(shí)踐，

本書主要分析和講解了王勃、駱賓王、王昌齡、王維、孟浩然、李白、杜甫、韋應(yīng)物、柳宗元、劉禹錫、孟郊、白居易、杜牧、李商隱、張九齡等著名大唐詩人。從他們寫的詩歌入手，逐步分析。是閱讀唐詩、了解詩人生平很好的輔助讀物。

本書是專門介紹社會(huì)網(wǎng)絡(luò)分析方法在情報(bào)分析中應(yīng)用的專著，收錄了大量情報(bào)分析實(shí)踐工作成果。本書圍繞社會(huì)網(wǎng)絡(luò)分析方法在情報(bào)分析中的應(yīng)用這一核心問題，對(duì)相關(guān)理論、方法和應(yīng)用進(jìn)行了研究，具體包括：社會(huì)網(wǎng)絡(luò)分析的概念及其在情報(bào)分析中的應(yīng)用概況,合作網(wǎng)絡(luò)、主題關(guān)聯(lián)網(wǎng)絡(luò)、引用網(wǎng)絡(luò)的理論方法及其在科技評(píng)價(jià)、學(xué)科結(jié)構(gòu)、技術(shù)預(yù)見和科研范式研

刺梨（RosaroxburghiiTratt）為薔薇科薔薇屬藥食同源植物，具有很高的營(yíng)養(yǎng)價(jià)值和廣泛的藥用價(jià)值。此外，該植物具有良好的抗氧化、抗腫瘤、抗衰老等作用，臨床上其復(fù)方制劑也被廣泛用于治療惡性腫瘤、高脂血癥及冠心病�！禕R》本書詳細(xì)敘述了刺梨的植物基源、生物學(xué)特性、環(huán)境適應(yīng)性、栽培技術(shù)、種植現(xiàn)狀、生藥學(xué)鑒別、化學(xué)

分?jǐn)?shù)階微積分及相關(guān)研究是近年來科研領(lǐng)域的研究熱點(diǎn)，該項(xiàng)研究不本書內(nèi)容主要包括目標(biāo)識(shí)別與跟蹤技術(shù)的研究現(xiàn)狀和基礎(chǔ)理論（第1章）、衛(wèi)星目標(biāo)定位方法（第2～4章）、目標(biāo)識(shí)別方法（第5，6章）和目標(biāo)跟蹤方法（第7，8章），介紹了相關(guān)目標(biāo)衛(wèi)星定位、識(shí)別和跟蹤的研究背景、挑戰(zhàn)性問題、解決理論、算法設(shè)計(jì)過程和應(yīng)用場(chǎng)景分析等內(nèi)容，并給

《數(shù)值分析與計(jì)算方法》是為理工科高等院校普遍開設(shè)的“數(shù)值分析”與“計(jì)算方法”課程而編寫的參考教材，第二版共10章，全部教學(xué)內(nèi)容大約需要120個(gè)學(xué)時(shí)，主要包括：數(shù)值計(jì)算的基本理論，插值問題，線性方程組的直接與迭代解法，方程求根，數(shù)據(jù)擬合與函數(shù)逼近，數(shù)值積分與數(shù)值微分，常微分方程初（邊）值問題，矩陣特征值與特征向量的冪法計(jì)

大學(xué)教師人事制度的改革實(shí)踐和高等教育學(xué)相關(guān)學(xué)科的建設(shè)，均需要大學(xué)教師流動(dòng)的實(shí)證研究和基于大數(shù)據(jù)的國際比較與跨職業(yè)比較研究�！禕R》本書采用社會(huì)學(xué)理論和數(shù)學(xué)思想方法，構(gòu)建了大學(xué)教師多維流動(dòng)的概念和研究框架；綜合運(yùn)用Web內(nèi)容分析法和問卷調(diào)查法，建成了大學(xué)教師、專業(yè)科技人員和公務(wù)員的學(xué)業(yè)-職業(yè)經(jīng)歷大數(shù)據(jù)集；對(duì)數(shù)據(jù)集內(nèi)各職業(yè)

本書系統(tǒng)研究了汶川特大地震對(duì)水環(huán)境的影響，在震區(qū)自然地理?xiàng)l件及河流與水文地質(zhì)特征分析基礎(chǔ)上，探討了地震災(zāi)區(qū)主要污染源（不同類型礦山、磷石膏堆放場(chǎng)、銅尾礦庫）對(duì)沱江、岷江和嘉陵江流域的影響，進(jìn)行了水系沉積物中重金屬元素的污染評(píng)價(jià)，分析了沱江流域水系沉積物重金屬元素賦存形態(tài)與典型堰塞湖沉積物中的污染物特征，進(jìn)而研究了地震對(duì)

有效控制原子從一個(gè)量子態(tài)到另一個(gè)量子態(tài)的布居數(shù)躍遷和相干態(tài)囚禁，不僅對(duì)設(shè)計(jì)和控制化學(xué)反應(yīng)過程及產(chǎn)物有重要作用，而且對(duì)原子光學(xué)和量子光學(xué)中特定量子態(tài)的制備、相干操控等具有重要意義.本書著重介紹了應(yīng)用B-樣條函數(shù)和單電子原子模型勢(shì)，求解堿金屬原子的定態(tài)薛定詩方程，計(jì)算出自由堿金屬原子的能級(jí)結(jié)構(gòu)及波函數(shù)，并以零場(chǎng)波函數(shù)作為基

本書依據(jù)植物水分和能量代謝平衡原理，通過切脈、樹干打孔、伐樁觀測(cè)以及滲透脅迫試驗(yàn)等手段，用氣象數(shù)據(jù)分析、熱紅外成像檢測(cè)和數(shù)字圖像解析等生態(tài)信息學(xué)新方法和新技術(shù)，結(jié)合水分狀態(tài)、光合作用、蒸騰強(qiáng)度、氣孔導(dǎo)度和花色素苷含量等生理觀測(cè)和分析，從組織結(jié)構(gòu)層面深入研究了木本植物對(duì)環(huán)境脅迫的重要響應(yīng)特征和機(jī)理。研究發(fā)現(xiàn)，葉色變化、葉

本書重點(diǎn)闡述如何利用多體動(dòng)力學(xué)和有限元法的混合模擬技術(shù)進(jìn)行車輛結(jié)構(gòu)疲勞壽命評(píng)估和耐久性分析，對(duì)利用多學(xué)科優(yōu)化系統(tǒng)進(jìn)行結(jié)構(gòu)疲勞分析也有所涉及。具體內(nèi)容包括：首先，介紹結(jié)構(gòu)疲勞壽命預(yù)測(cè)的基本理論背景和概念；其次，重點(diǎn)介紹基于多體動(dòng)力學(xué)和有限元法的車輛結(jié)構(gòu)疲勞壽命預(yù)測(cè)及評(píng)估具體方法，內(nèi)容涵蓋車輛動(dòng)力學(xué)分析、有限元法、結(jié)構(gòu)動(dòng)應(yīng)

本書闡述了研究變性原子核結(jié)構(gòu)與性質(zhì)的常見理論模型，包括Hartree-Fock方法、總羅斯面(TRS)方法、投影殼模型、反射不對(duì)稱殼模型，以及我們近年來建立并發(fā)展起來的兩種模型，即基于投影殼模型的位能面理論(PTES)和投影后變分(VAP)方法，討論了這些理論的優(yōu)缺點(diǎn)；闡明了我們發(fā)展新模型的重要性；并將這些理論應(yīng)用在手

當(dāng)結(jié)構(gòu)在流體介質(zhì)中振動(dòng)時(shí)，會(huì)向周圍介質(zhì)中輻射聲能量。結(jié)構(gòu)的模態(tài)輻射效率和平均輻射效率是描述結(jié)構(gòu)聲輻射性能的重要參數(shù)，其中平均輻射效率作為工程技術(shù)人員在結(jié)構(gòu)聲學(xué)設(shè)計(jì)中最為關(guān)心的參數(shù)之一，在噪聲控制領(lǐng)域具有實(shí)際意義。本書針對(duì)圓板、矩形板和密加筋矩形板等典型結(jié)構(gòu)，以其平均輻射效率為表征參量，詳細(xì)介紹其在輕質(zhì)流體（以空氣為例）

本書是標(biāo)準(zhǔn)化科學(xué)理論的原創(chuàng)著作，系統(tǒng)性地創(chuàng)建了標(biāo)準(zhǔn)化的理論和方法，包括標(biāo)準(zhǔn)化的科學(xué)性和哲學(xué)認(rèn)識(shí)，標(biāo)準(zhǔn)化的理性概念、公理、形式譜系、原理、定律、標(biāo)準(zhǔn)化熵、相似標(biāo)準(zhǔn)化、標(biāo)準(zhǔn)方程等元理論和基礎(chǔ)理論，通用化、系列化、模塊化、組合化、型譜系列與族系、統(tǒng)型、協(xié)同互操作性、產(chǎn)品頂層設(shè)計(jì)、產(chǎn)品優(yōu)化、標(biāo)準(zhǔn)化指標(biāo)體系等的理論和設(shè)計(jì)方法，標(biāo)