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

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

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

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

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

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

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

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

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

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