本书讲述了自阿姆斯特朗第一个登上月球之后，人类对太空的野心就不曾停止，而今，硅谷精英们把目光投向了更遥远的火星。他们梦想打造直通火星的高速公路，甚至殖民火星。对马斯克而言，火星如同圣杯，是地球面临重大灾难时的避难所。对贝佐斯而言，以火星为代表的地外行星是新的能源基地，可为地球持续提供资源。对布兰森而言，点对点的太空旅行

本书主要内容包括：空间技术、空间应用、空间科学、其他技术、国际空间治理规则新近发展、新型商业航天活动法律规则及其政策研究、外空安全及军控立法研究等。

本书共包含10个部分的内容，关注于多种飞行型号项目中的关键的人为因素/飞行员界面问题，包括驾驶舱显示和控制。

本书覆盖了多旋翼飞行器设计的大部分内容，共十五章，包括多旋翼飞行器基础知识、布局、动力系统、建模、感知、控制和决策等部分。旨在将多旋翼飞行器工程实践中应用的设计原则组织起来，并强调基础概念的重要性，具有基础性、实用性、综合性和系统性等特点。本书可以用作高年级本科生以及研究生教材，或者作为该领域研究的入门指南，还可以作为

鲁棒故障检测方法及其在卫星姿态控制系统中的应用

中国梦-航天梦科普丛书 航天城我来了： 天上的飞船

中国梦-航天梦科普丛书 航天城我来了： 神秘的太空

中国梦-航天梦科普丛书 航天城我来了： 航天员训练

中国梦-航天梦科普丛书 航天城我来了： 航天员选拔

《可信的航天嵌入式控制软件开发技术》主要介绍航天嵌入式控制软件可信保障技术体系及其关键技术。首先从近年来的实际案例提炼出影响航天嵌入式软件可信性的十大可信问题，针对这些关键可信问题，从问题、阶段、方法、工具和度量五个维度进行研究，形成了具有五维体系结构的可信性保障技术体系；然后，重点论述了需求建模与验证、程序实现正确性