《可信的航天嵌入式控制軟件開發(fā)技術(shù)》主要介紹航天嵌入式控制軟件可信保障技術(shù)體系及其關(guān)鍵技術(shù)。首先從近年來的實際案例提煉出影響航天嵌入式軟件可信性的十大可信問題，針對這些關(guān)鍵可信問題，從問題、階段、方法、工具和度量五個維度進行研究，形成了具有五維體系結(jié)構(gòu)的可信性保障技術(shù)體系；然后，重點論述了需求建模與驗證、程序?qū)崿F(xiàn)正確性

《常規(guī)液體火箭發(fā)動機專用工裝設(shè)計》根據(jù)常規(guī)液體火箭發(fā)動機制造專用工裝的專業(yè)特點、分類與功能、設(shè)計原理與構(gòu)造、應(yīng)用與發(fā)展等方面內(nèi)容進行編寫。全書共8章，主要針對常規(guī)液體火箭發(fā)動機專用工裝中的模具、機床夾具、焊接夾具、刀具、量具、液壓試驗工裝、組合夾具的設(shè)計原理及在產(chǎn)品中的應(yīng)用情況進行詳細介紹，對工裝設(shè)計數(shù)字化的發(fā)展前景進

航天型號物資是航天科技工業(yè)的基礎(chǔ)，對航天型號任務(wù)的成功具有至關(guān)重要的作用。航天型號物資的固有質(zhì)量和可靠性、供應(yīng)進度和成本主要取決于供應(yīng)商。《航天型號物資供應(yīng)商手冊》主要介紹了：中國航天科技集團公司的總體情況、組織機構(gòu)和主要成員單位；航天型號物資的分類與特點；與供應(yīng)商有關(guān)的物資需求規(guī)劃、認定評價、選用、采購、質(zhì)量保證、新

《國外典型空間技術(shù)驗證飛行器》是一部系統(tǒng)介紹國外典型空間技術(shù)驗證飛行器的編譯作品，瞄準國內(nèi)外空間技術(shù)的發(fā)展前沿，詳細介紹了具有代表性的典型空間技術(shù)驗證飛行器，具有較高的技術(shù)水平，且具備較大的工程設(shè)計參考價值。全書共分為25章。內(nèi)容涵蓋了在軌服務(wù)、導(dǎo)航通信、預(yù)警監(jiān)視、對地偵察、環(huán)境探測和其他新技術(shù)驗證等6類空間試驗飛行器

“阿波羅”登月發(fā)射倒計時

本書共七章，分別從空間目標軌道計算基礎(chǔ)、空間目標探測技術(shù)、軌道運動力學(xué)模型、空間環(huán)境對在軌航天器飛行安全影響、空間目標軌道計算方法、航天器碰撞預(yù)警策略，對降低虛警、提高預(yù)警的航天器碰撞預(yù)警及規(guī)避可工程化實施進行了詳細講述，從而控制在軌航天器規(guī)避碰撞風(fēng)險，以保障航天器長期安全運行。

隨著空間技術(shù)的快速發(fā)展，空間在軌維修與保障已成為國際戰(zhàn)略競爭新的制高點。世界主要大國紛紛制定空間發(fā)展戰(zhàn)略，大力推進航天技術(shù)的發(fā)展與革新，為爭奪空間優(yōu)勢展開激烈的競爭。在空間體系結(jié)構(gòu)變革的牽引下，空間感知、軌道機動和在軌操作維護能力等已成為空間技術(shù)研究領(lǐng)域的重點發(fā)展方向。其中，空間目標在軌接觸是在軌操作的前提和基本環(huán)節(jié)，

本書以深空探測的重要研究領(lǐng)域――火星探測為研究背景，對火星探測任務(wù)中探測器進入、下降和著陸過程（EDL過程）中的導(dǎo)航、制導(dǎo)與控制問題進行了詳細的研究，系統(tǒng)地提出了探測器在經(jīng)歷火星大氣層"恐怖"七分鐘后能夠精確著陸火星表面的理論與方法。

古往今來，飛離地球、遨游太空是人類的夢想。人類用富有激情和超凡的想象力，描繪著瑰麗絢爛的飛天夢。為了探索宇宙的更多奧秘，開辟人類更廣闊的生存空間，人類不僅在宇宙中建造了空間站，并且開始籌建月球基地，移民火星等多種設(shè)想也受到了更廣泛的關(guān)注。本叢書閱讀對象為青少年群體以及愛好閱讀科普作品尤其渴望了解航天知識的其他讀者。

深空探測是人類發(fā)射探測器脫離地球引力場，進入宇宙空間的探測活動。深空探測的對象包括月球、行星及其衛(wèi)星、太陽，以及行星際、恒星際的廣闊空間。通過深空探測，人類可以進一步認識地球所處的空間環(huán)境，分析和預(yù)測可能發(fā)生的空間現(xiàn)象及其對地球的影響，可以研究宇宙、太陽系、生命的起源和演化，驗證各種科學(xué)假設(shè)和理論。本叢書閱讀對象為青少