《航天型號(hào)嵌入式軟件驗(yàn)證技術(shù)與實(shí)踐》分別從航天型號(hào)嵌入式軟件概述、軟件開發(fā)通用要求、軟件測試要求、軟件測試技術(shù)、軟件驗(yàn)證實(shí)踐與經(jīng)驗(yàn)、軟件驗(yàn)證展望等角度描述航天型號(hào)嵌入式軟件的驗(yàn)證現(xiàn)狀。 在《航天型號(hào)嵌入式軟件驗(yàn)證技術(shù)與實(shí)踐》撰寫過程中，參考了大量的相關(guān)資料，并結(jié)合多年的實(shí)踐經(jīng)驗(yàn)，力求內(nèi)容具有實(shí)用性、針對

本書包括三部分內(nèi)容。第1部分為第1章～第4章，主要介紹與本書內(nèi)容相關(guān)的基本概念和方法；第2部分為第5章～第12章，分別介紹5種通用的用于航天型號(hào)系統(tǒng)概念評價(jià)的方法（AHP方法、QFD方法、K-T方法、Pugh方法、TOPSIS方法），3種專門為航天型號(hào)研發(fā)的設(shè)計(jì)和評價(jià)方法（RMA方法、ROSETTA方法、MATE方法）

人工智能時(shí)代已經(jīng)來臨,航空航天作為全世界最早的信息科技產(chǎn)業(yè)應(yīng)用技術(shù)領(lǐng)域之一,迫切需要開設(shè)人工智能技術(shù)及其在航空航天的應(yīng)用課程,為人工智能在航空航天的普及、人才的培養(yǎng)、學(xué)科的發(fā)展提供條件。本書重點(diǎn)介紹了人工智能是什么、人工智能在航空航天領(lǐng)域能做什么,選取線性回歸、邏輯回歸、神經(jīng)網(wǎng)絡(luò)、聚類、降維、異常檢測、深度學(xué)習(xí)、強(qiáng)化學(xué)

為進(jìn)一步研討空、天、海領(lǐng)域的戰(zhàn)略性和前沿性技術(shù)，圍繞航天強(qiáng)國建設(shè)、國家航空產(chǎn)業(yè)發(fā)展目標(biāo)和國家航海產(chǎn)業(yè)發(fā)展戰(zhàn)略，由中國工程院主辦，中國空間技術(shù)研究院、海軍北京創(chuàng)新中心、四川大學(xué)、中國商用飛機(jī)有限責(zé)任公司承辦，以“創(chuàng)新開放匯智聚力”為主題的航天航空航海國際工程科技戰(zhàn)略高端論壇，于2020年11月2日-4日，在四川成都舉辦。

本書基于近年來中航工業(yè)、中國科學(xué)院、NASA、DARPA等國內(nèi)外專家、學(xué)者對系統(tǒng)工程的反思，深刻剖析及凝練航天有效載荷最近十余年的研制與管理經(jīng)驗(yàn)，針對質(zhì)量問題群體這個(gè)尚未深入開展研究的新對象，提出質(zhì)量問題的新認(rèn)識(shí)，即三源思想，綜合集成循證醫(yī)學(xué)、工程心理學(xué)、TRIZ理論和流水管理理論，建立了質(zhì)量管理新模式（理論），即循果

《單純復(fù)形在復(fù)雜系統(tǒng)中的應(yīng)用研究》為單純復(fù)形應(yīng)用航天系統(tǒng)工程研究的書，單純復(fù)形是拓?fù)鋵W(xué)中的概念，指由點(diǎn)、線段、三角形等單純形粘合而得的拓?fù)鋵ο�。單純�?fù)形不應(yīng)當(dāng)與范疇同倫論中的單純集合混淆。

該冊內(nèi)容包括NPR8705.2B《航天系統(tǒng)適人性要求》和NASA/TM-2006-214535《人因工程設(shè)計(jì)、研發(fā)、測試與評價(jià)》�！逗教煜到y(tǒng)適人性要求》是一個(gè)程序性要求文件，目的是定義和實(shí)施載人航天系統(tǒng)研制中必要的過程、程序和要求，旨在確保執(zhí)行太空任務(wù)的乘組和乘客安全�！度艘蚬こ淘O(shè)計(jì)、研發(fā)、測試與評價(jià)》制定的目的是突顯

《航天熱能工程學(xué)》主要敘述與能量轉(zhuǎn)換過程相關(guān)的熱力學(xué)和傳熱學(xué)基礎(chǔ)知識(shí)，目的是使讀者了解熱力學(xué)基礎(chǔ)理論，理解熱力學(xué)基本定律，掌握工質(zhì)的熱力性質(zhì)，了解動(dòng)力循環(huán)的概念，掌握傳熱學(xué)基本概念和基本定律，培養(yǎng)正確的思維模式，并使他們學(xué)會(huì)運(yùn)用熱力學(xué)和傳熱學(xué)的基礎(chǔ)理論和分析方法處理工程實(shí)際中的有關(guān)問題，為后續(xù)課程提供必要的熱能應(yīng)用方面

《航天熱能工程學(xué)》主要敘述與能量轉(zhuǎn)換過程相關(guān)的熱力學(xué)和傳熱學(xué)基礎(chǔ)知識(shí)，目的是使讀者了解熱力學(xué)基礎(chǔ)理論，理解熱力學(xué)基本定律，掌握工質(zhì)的熱力性質(zhì)，了解動(dòng)力循環(huán)的概念，掌握傳熱學(xué)基本概念和基本定律，培養(yǎng)正確的思維模式，并使他們學(xué)會(huì)運(yùn)用熱力學(xué)和傳熱學(xué)的基礎(chǔ)理論和分析方法處理工程實(shí)際中的有關(guān)問題，為后續(xù)課程提供必要的熱能應(yīng)用方面

本書介紹航天器系統(tǒng)設(shè)計(jì)的基礎(chǔ)知識(shí)，包括航天器系統(tǒng)工程與管理、空間環(huán)境、航天器動(dòng)力學(xué)、航天器推進(jìn)與發(fā)射、航天器姿態(tài)確定與控制、航天器電源系統(tǒng)、航天器熱控、航天器構(gòu)形與結(jié)構(gòu)設(shè)計(jì)、空間通信、航天器測控、星載計(jì)算機(jī)系統(tǒng)、嵌入式軟件系統(tǒng)、航天器可靠性、航天器集成與測試、空間任務(wù)操作、納星概念設(shè)計(jì)等。