weixin_41052109的博客

STK是由美国Analytical Graphics公司开发的一款在航天领域处于领先地位的商业分析软件。STK支持航天任务的全过程，包括设计、测试、发射、运行和任务应用。

采用此插件，当你浏览外文网站插件会自动询问你是否转为中文。实乃上外文网站翻译的首选插件。如果你想要划词翻译，则需要自行下载google翻译插件。

在写作英文论文时，很多时候会由于粗心等犯一些比较低级错误。 Word 自带错误更正功能，但是其订正功能相对低级 作为一款专门修改英文的工具，Grammarly 则更专业一些。 Grammarly 主要功能包括：考虑上下文的拼写检查， 语法检查， 标点符号纠正，句子结构修正，句式修改，词汇增强以及防剽窃等。

Real-life decisions are usually made in the state of uncertainty. How do we model optimization problems in uncertain environments? How do we solve these models? The main purpose of the book is just to provide uncertain programming theory to answer these questions. By uncertain programming we mean the optimization theory in uncer- tain environments. Stochastic programming, fuzzy programming and hybrid programming are subtopics of uncertain programming. This book provides a self-contained, comprehensive and up-to-date presen- tation of uncertain programming theory, including numerous modeling ideas and applications in system reliability design, project scheduling problem, vehicle routing problem, facility location problem, and machine scheduling problem.

本书概述了旅行商问题的起源和历史，并阐述了其许多重要的应用范围，如基因组测序、计算机处理器设计、音乐整理、行星寻找，等等。此外还探讨了人类如何在不借助计算机的情况下解决这个令人着迷的数学问题。

The all-inclusive treatise on "Astrodynamics" by Richard H. Battin clearly must be counted among the great classics in scientific literature. This text documents the fundamental theoretical developments in astrodynamics and space navigation that eventually led to man's ventures into space. It includes all the essential elements of celestial mechanics, spacecraft trajectories, and space navigation as well as the his- tory of the underlying mathematical developments over the past three centuries culminating finally with the 20th century space exploration.

本书借助代表当今数据挖掘和机器学习最高水平的著名开源软件Weka，通过大量的实践操作，使读者了解并掌握数据挖掘和机器学习的相关技能，拉近理论与实践的距离。全书共分9章，主要内容包括Weka介绍、探索者界面、知识流界面、实验者界面、命令行界面、Weka高级应用、Weka API、学习方案源代码分析和机器学习实战。本书系统讲解Weka 3.7.13的操作、理论和应用，内容全面、实例丰富、可操作性强，做到理论与实践的统一。本书适合数据挖掘和机器学习相关人员作为技术参考书使用，也适合用作计算机专业高年级本科生和研究生的教材或教学参考用书。本资源为袁梅宇老师的授课PPT。

优化计算广泛应用于信息学科的各个研究领域，然而传统优化方法在实际应用中有很大的局限性。为了解决该问题，近年来，各种智能优化算法的研究得到了蓬勃发展，其中有广为人知的遗传算法、模拟退火算法、蚁群算法、神经网络算法等。迄今为止，智能优化算法在各个学科和各种实际应用场合中已经得到了广泛且有效的使用。本课程将紧密跟踪学术界最新发展动态，为信息学科的研究生掌握最新的智能优化技术抛砖引玉，为他们后续开展学术研究打下坚实基础。

Computational intelligence (CI) techniques have attracted several research engineers, decision makers, and practicing researchers in recent years for solving an unlimited num- ber of complex real-world problems, particularly related to the area of optimization. In the indecisive, uncertain, chaotic existence of multiple decision variables, complex constraints, and turmoil environment, classical and traditional approaches are incapable of obtaining complete and satisfactory solutions to optimization problems. CI embraces techniques that use global search optimization, machine learning, approximate reasoning, and connec- tionist systems. CI techniques involve a combination of learning, adaptation, and evolu- tion used for intelligent and innovative applications. CI is considered as one of the most innovative research directions, since efficient, robust, and easy-to-use solutions to complex real-world problems can be developed.

本书由美国斯坦福大学StephenBoyd教授和加州大学洛杉矶分校LievenVanden-berghe教授合着，从理论、应用和算法三个方面系统地介绍凸优化内容。 凸优化在数学规划领域具有非常重要的地位。从应用角度看，现有算法和常规计算能力已足以可靠地求解大规模凸优化问题，一旦将一个实际问题表述为凸优化问题，大体上意味着相应问题已经得到彻底解决，这是非凸的优化问题所不具有的性质。从理论角度看，用凸优化模型对一般性非线性优化模型进行局部逼近，始终是研究非线性规划问题的主要途径，因此，通过学习凸优化理论，可以直接或间接地掌握数学规划领域几乎所有重要的理论结果。由于上述原因，对于涉足优化领域的人员，无论是理论研究还是实际应用，都应该对凸优化理论和方法有一定程度的了解。

“信息 资源 利用”专题培训讲座是图书馆推出的实用性读者培训活动，旨在帮助读者了解和掌握图书馆各种资源及相关服务的利用方法，欢迎大家参加。每次讲座时间约60分钟（含上机实习）。 内容包含SCI、EI数据库利用、学术资源与学术信息发现、学位论文资源的获取等。

本文件为英文论文写作的常用工具，包括Stylewriter、论文自动接错工具和WhiteSmoke.

本压缩包为EndNote中文教程的合集，内容包括EndNote使用手册、基础教程，EndNote讲座PPT以及在Latex中的应用等文件。

本文档为北航宇航学院研究生课程现代控制理论的课程PPT文档，还包含课程参考教材的PDF文档，欢迎大家下载使用。

课程内容简介 在控制系统的建模过程中，由于忽略了各种因素，产生模型不确定性。本课程讲授模型不确定性存在的场合，系统的鲁棒稳定性分析和鲁棒控制器设计理论。使学生掌握不确定控制系统的分析与综合方法。并结合实际，进行四个工程案例的分析。本课程为硕士研究生必修课，也可作为博士研究生必修课或选修课。 章节与学时分配 第一章 概论（1学时）,介绍鲁棒控制理论发展概况； 　　 第二章 基础知识（2学时），介绍学习本课程需要的数学知识； 　　 第三章 鲁棒稳定性分析方法（4学时），主要介绍Lyapunov方法和多项式方法； 　　 第四章 鲁棒控制器设计方法（6学时），主要介绍保证价值控制方法和Lyapunov方法; 第五章 滑动模态控制器设计方法（10学时），主要介绍滑动模态控制器设计方法； 　 第六章 鲁棒控制的应用（9学时），通过汽车自动驾驶、航天器姿态控制、机器人控制和导弹侧向控制等四个工程案例，讲述鲁棒控制器设计方法的应用过程。

本文档包含北航矩阵理论A全部课程课件，附带还有使用教材课后习题参考答案，欢迎大家下载使用。

本讲义为word文档,制作精良,有很好的目录索引.内容包含绪论,航天器姿态动力学,航天器的姿态确定,自旋稳定航天器姿态控制系统设计和三轴稳定航天器姿态控制系统设计.

General perturbations element sets generated by NORAD can be used to predict position and velocity of Earth-orbiting objects. To do this one must be careful to use a prediction method which is compatible with the way in which the elements were generated. Equations for ¯ve compatible models are given here along with corresponding FORTRAN IV computer code. With this information a user will be able to make satellite predictions which are completely compatible with NORAD predictions.

The General Mission Analysis Tool (GMAT) is a space trajectory simulation, analysis, and optimization system developed by a team made up of NASA Goddard Space Flight Center and private industry partners. It is developed as open source under the NASA Open Source Agreement: not only is the source code for each release available for download, but the primary development repository is hosted publicly at SourceForge.net. Here at GSFC, it’s been used as a primary or secondary design tool on many of our most exciting missions: LCROSS, ARTEMIS, LRO, MMS, OSIRIS, and others. And externally, it’s been used by entities as varied as the Air Force Research Lab, Iowa State University, and the European Space Agency. Contributors to this release included NASA GSFC civil servants, Thinking Systems Inc., and A.I. Solutions.

The extended Kalman filter (EKF) is probably the most widely used estimation algorithm for nonlinear systems. However, more than 35 years of experience in the estimation community has shown that is difficult to implement, difficult to tune, and only reliable for systemsthatarealmostlinearonthetimescaleoftheupdates.Many of these difficulties arise from its use of linearization. To overcome thislimitation,theunscentedtransformation(UT)wasdevelopedas a method to propagate mean and covariance information through nonlineartransformations.Itismoreaccurate,easiertoimplement, andusesthe same order ofcalculationsas linearization. Thispaper reviews the motivation, development, use, and implications of the UT.

内容简介 　　MATLAB是目前流行的理论与工程仿真软件之一。该软件自产生以来，就以其独有的特点和明显的优势吸引了各行各业的工作者。《MATLAB函数速查手册》较全面地介绍了MATLAB的函数，主要包括MATLAB操作基础、矩阵及其基本运算、与数值计算相关的基本函数、符号运算的函数、概率统计函数、绘图与图形处理函数、MATLAB程序设计相关函数、Simulink仿真工具函数、图形用户界面制作函数、信号处理工具箱函数和符号数学工具箱函数等内容。 　　《MATLAB函数速查手册》立足MATLAB函数基础，并且附带较多的实例讲解，所以既适合初学者，又适合有一定经验的MATLAB使用者。《MATLAB函数速查手册》也可以作为大专院校学生的参考用书。 [编辑本段] 编辑推荐 　　内容全面：近500个函数，全面覆盖MATLAB的各类应用；查询方便：提供功能索引和字母索引；实例丰富：每个函数均配有实例讲解。 　　《MATLAB函数速查手册》全面讲解MATLAB各种函数的语法、功能和使用实例，包含以下内容：MATLAB操作基础，矩阵及其基本运算函数，数值计算函数，符号运算函数，概率统计函数，绘图与图形处理函数，MATLAB程序设计函数，Silulink命令，图形用户界面设计函数，信号处理工具函数，符号数学工具箱函数。

《卫星工程概论》是2004年中国宇航出版社出版的书籍，作者是徐福祥。本资源为精编扫描版PDF文件。 第1章　概论 第2章　地球空间环境特征及其对航天器的影响 第3章　卫星总体设计 第4章　卫星轨道 第5章　卫星有效载荷 第6章　卫星结构与机构 第7章　卫星热控制 第8章　卫星姿态控制与轨道控制 第9章　卫星推进 第10章　卫星电源与供配电 第11章　卫星测控与星载数据管理 第12章　卫星返回与再入 第13章　卫星电磁兼容性 第14章　卫星可靠性 第15章　卫星的计算机辅助设计

Most international students need to write essays and reports for exams and coursework, but writing good academic English is one of the most demanding tasks students face. This new, fourth edition of Academic Writing: A Handbook for International Students has been completely revised to help students reach this goal. The four main parts of Academic Writing are: • The Writing Process • Elements of Writing • Vocabulary for Writing • Writing Models

Since the late 1970s and early 1980s, a great deal of time, energy, and re- sources have been devoted to teaching non-native L2 writers the rhetorical features of written academic discourse in English. In addition, to meet mar- ket demands and the expectations of professional training and preparation for English as a Second Language and English for Academic Purposes teachers, teacher-training and graduate programs have set out to address teachers' on-the-job skills that pertain to teaching L2 academic writers how to generate and organize ideas into coherent essays and compositions, as is expected of practically all students at undergraduate and graduate levels. There is little doubt that L2 writers need to be familiar with many rhetor- ical and discourse features of written English and that the teaching of col- lege- or university-level writing cannot do without them. In teaching L2 writing to academically bound learners, what has become of smaller impor- tance, however, is the language tools (i.e., the grammar and vocabulary that L2 writers must have to construct academic text, which in turn can be orga- nized into a coherent written academic discourse). To put it plainly, no mat- ter how well discourse is organized or how brilliant the writer's ideas may be, it would be hard to understand them if the language is opaque.

《Origin 9.0科技绘图与数据分析超级学习手册》以叙述Origin 9.0版本的功能为主，由浅入深地讲解了Origin的知识，涵盖了一般用户所要用到的各种功能，并详细介绍了Origin常用工具的使用。《Origin 9.0科技绘图与数据分析超级学习手册》按逻辑编排，自始至终采用实例描述，内容完整且每章相对独立，是一本简明的Origin使用手册。 　　《Origin 9.0科技绘图与数据分析超级学习手册》共分为16章，详细介绍了Origin的基础知识，电子表格及数据管理，二维图形绘制，三维图形绘制，图形的输出和利用，曲线拟合，数据操作和分析，数字信号处理，峰拟合和光谱分析，统计分析等内容。在本书最后，还重点介绍了Origin中编程与自动化的实现方法及其运用。 　　《Origin 9.0科技绘图与数据分析超级学习手册》以实用为目标，以实例来引导，讲解详实、深入浅出，适合作为理工科研究生、本科生的教学用书，也可以作为广大科研工作者进行科技图形制作的参考书。

《SPWM变频调速应用技术》以帮助工作在生产第一线的电气工作者选好用好变频器为宗旨，通俗易懂。《《SPWM变频调速应用技术》自1997年12月出版以来，已发行52500册，深爱读者欢迎。为更好地满足读者的需要，对《SPWM变频调速应用技术(第4版)》再次进行修订。这次修订主要删去不再使用的如拟超导技术的叙述；增加直接转矩控制、IGBT的相关电路、变频器里的开关电源、变频器对被保护参数的检测方法、变频器在实施PID调节功能时的一些具体方法、电磁调速电动机的变频调速等内容。《SPWM变频调速应用技术》可供变频器的使用、维护人员阅读，也可供变频器用户等作为培训教材使用。

⑴EndNote 是SCI（Thomson Scientific 公司）的官方软件，支持国际期刊的参考文献格式有3776 种，写作模板几百种，涵盖各个领域的杂志。您可以方便地使用这些格式和模板，如果您准备写SCI 稿件，更有必要采用此软件。 ⑵EndNote 能直接连接上千个数据库，并提供通用的检索方式，为您提高了科技文献的检索效率。 ⑶EndNote 能管理的数据库没有上限，至少能管理数十万条参考文献。 ⑷EndNote 快捷工具嵌入到Word 编辑器中，您可以很方便地边书写论文边插入参考文献，书写过程中您不用担心插入的参考文献会发生格式错误或连接错误。 ⑸EndNote 的系统资源占用小，很少发生因EndNote 数据库过大发生计算机死机现象，这是EndNote 最重要的特色之一。 ⑹国外数据库下载数据时，均支持EndNote ，即使检索的机器上没有安装EndNote 您照样方便使用。 ⑺EndNote 有很强的功能扩展，如果默认安装的EndNote 不能满足您的要求，您能很方便地扩展其功能而不需要专业的编程知识。 ⑻EndNote 的应用不仅仅局限于投稿论文的写作，对于研究生毕业论文的写作也会起到很好的助手作用。 ⑼可以放心下载，但确保电脑没有病毒。

导弹制导控制系统设计是探测制导与控制技术专业本科学生从事导弹设计 研究的一项重要工作。这项工作是一门系统和复杂的工作，其涵盖的专业知识有 《导弹飞行力学》、《导弹导引系统原理》、《导弹控制系统设计原理》、《自动控制 原理》和《计算机仿真》等多门专业课程的内容。本书内容主要针对不同类型导 弹的制导和控制系统的基本原理和工作过程进行分析，结合不同的制导律和姿态 控制律设计方法对导弹的制导和控制系统进行工程化设计，并利用工程中常用的 Matlab 软件对导弹的制导和控制系统进行计算机数字仿真验证。学生通过本书学 习可以熟悉导弹制导控制系统的基本原理和工作过程，初步掌握导弹制导控制系 统的建模、分析、设计和仿真方法，并且通过尽量接近工程化的设计和实践培养 一定的工程应用能力，而这些方法和能力都是学生今后从事真正科研工作的基础 和基本能力。

经过几十年的发展，嵌入式系统已经在很大程度改变了人们的生活、工作和娱乐方式，而且这些改变还在加速。嵌入式系统具有无数的种类，每类都具有自己独特的个性。例如，MP3、数码相机与打印机就有很大的不同。汽车中更是具有多个嵌入式系统，使汽车更轻快、更干净、更容易驾驶。 即使不可见，嵌入式系统也无处不在。嵌入式系统在很多产业中得到了广泛的应用并逐步改变着这些产业，包括工业自动化、国防、运输和航天领域。例如神州飞船和长征火箭中肯定有很多嵌入式系统，导弹的制导系统也是嵌入式系统，高档汽车中也有多达几十个嵌入式系统。 在日常生活中，人们使用各种嵌入式系统，但未必知道它们。事实上，几乎所有带有一点“智能”的家电（全自动洗衣机、电脑电饭煲…）都是嵌入式系统。嵌入式系统广泛的适应能力和多样性，使得视听、工作场所甚至健身设备中到处都有嵌入式系统。

系统讲述了航天任务设计与分析的相关理论、方法、及应用实现。全书共6章，主要内容包括航天任务设计总体分析、近地空间环境、轨道和星座设计、卫星有效载荷、卫星公用平台、卫星发射系统和地面系统分析。此外，还给出了大量分析应用实例，并将应用技巧融汇其中，主要以航天器关键系统总体设计为主线展开。

Loongnix 操作系统是龙芯开源社区推出的 Linux 操作系统，作为龙芯软件生态建设的 成果验证和展示环境，集成在内核、驱动、图形环境等操作系统基础设施方面的最新研发 成果，以“源码开放、免费下载”的形式进行发布，可直接应用于日常办公、生产、生活 4 等应用环境，同时可供合作厂商、科研机构及爱好者等在龙芯平台上研发其品牌软件或专用系统。

SylixOS 是国内一款内核自主化率达到 100% 的开源大型实时操作系统；支持 ARM、 MIPS、PowerPC、x86、SPARC、DSP 等处理器架构，便于在不同硬件平台之间进行系统迁 移；硬实时内核，调度算法先进高效，性能强劲；应用编程接口符合 IEEE、 ISO、 IEC 、 GJB7714-2012 相关操作系统编程接口规范，便于基于 Linux、VxWorks 等操作系统应用向 SylixOS 系统的迁移。 SylixOS 提供一整套集设计、开发、调试、仿真、部署、测试于一体的开发平台，便于 系统开发与调试，加快软件研发速度，缩短产品研制周期，助力用户专注应用开发。

SylixOS 是目前国内功能最为完善的实时嵌入式操作系统，符合 IEEE1003 （IEC9945）POSIX 操作系统规范，同时支持 IEEE1003.1b 针对于实时操作系统的扩展标准。实时性与知名的 VxWorks 操作系统相当，同时又可兼容大部分 Linux、UNIX、BSD 等 POSIX 兼容系统应用程 序与中间件。SylixOS 目前由北京翼辉信息技术有限公司负责维护升级，同时提供完善的开发、 调试、仿真、部署环境。 SylixOS 操作系统以开放源代码形式存在，开源版权遵循 GPL 规范，方便学习和研究。本 实验指导书是针对 SylixOS 的 Cortex-A9 教学验证平台（以下称验证平台）编写，但本书中的 方法在 RealEvo-Simulator（与 RealEvo-IDE 一起提供的 SylixOS 虚拟机）和其他平台上同样适 用。

C Primer Plus（第6版）中文版，人民邮电出版社，英文原版书名：C Primer Plus。作者：普拉达 (Stephen Prata) 著，姜佑 译。《C Primer Plus（第6版）中文版》经久不衰的C语言畅销经典教程，针对C11标准进行全面更新，详细讲解了C语言的基本概念和编程技巧。 全书共17章。第1、2章介绍了C语言编程的预备知识。第3~15章详细讲解了C语言的相关知识，包括数据类型、格式化输入/输出、运算符、表达式、语句、循环、字符输入和输出、函数、数组和指针、字符和字符串函数、内存管理、文件输入输出、结构、位操作等。第16章、17章介绍C预处理器、C库和高级数据表示。 本书以完整的程序为例，讲解C语言的知识要点和注意事项。每章末设计了大量复习题和编程练习，帮助读者巩固所学知识和提高实际编程能力。附录给出了各章复习题的参考答案和丰富的参考资料。 《C Primer Plus（第6版）中文版》可作为C语言的教材，适用于需要系统学习C语言的初学者，也适用于巩固C语言知识或希望进一步提高编程技术的程序员。

General Mission Analysis Tool (GMAT): User Guide Welcome, and thank you for using GMAT! This User Guide contains a wealth of material to intro- duce you to GMAT and how it works. It also provides an extensive Reference Guide that contains data on every Resource, Command, and major subcomponent in the system.

非常全的STK培训教材，内容包括： STK基本操作 用户界面 创建场景 场景对象 场景图形设置 文件管理 STK工具 报告 图表 动态显示 动态图表 可见性分析 STK专业版 高级分析功能 高经度轨道预报 长期轨道预报 卫星寿命计算 高分辨率地图和地形数据 链路与星座 连接模块 三维显示模块 工具条 鼠标运用 对象属性 工具 活动关节 模型开发环境 制作动画

雷达通过对从物体表面反射的较高频无线电波的分析发现远处的物体并测定其位置、速度或其它特征。 STK雷达模块介绍： • 应用领域 • 对象的雷达特性（RCS） • 雷达系统的特性 • 约束条件 • 雷达侦察工具 • 分析报告

这个手册提供了 Satellite Tool Kit （ STK ）的基本用法和功能描述， STK 是 I AGI 共司开发的一套工具软件。

STK/MATLAB,SIMULINK STK与Matlab联合实现可视化仿真集成，该方案可以适用于航空航天、航海、作战模拟、电子对抗、卫星导航定位、遥感遥测、卫星通信等各个可视化仿真集成案例之中。 STK/MATLAB接口为STK和MATLAB提供了双向通讯功能，在MATLAB工作区通过Connect模块以TCP/IP协议打开STK端口。 利用超过150个MATLAB命令增强STK的轨道、弹道、轨迹的分析能力，MexConnect还提供在MATLAB命令行直接使用任意 STK/Connect 命令的功能。MexConnect工具可以建立各种不同级别的STK对象，进行操作并生成报告。所有STK的数据，包括动态位置、速度和姿态数据，可以返 回到MATLAB工作空间，用于数学分析。宇航工具箱让MATLAB用户可以输出多重坐标系，以及符合STK格式的星历和姿态文件用于VO模块的三维可视 化。另外此工具还可以使用STK附加模块的功能如STK/COMM（通信），STK/Coverage （覆盖）和STK/Radar（雷达）。

RealEvo-Simulator ：硬件模拟器 RealEvo-Simulator 是翼辉信息推出的基于最新 QEMU 开发的计算机硬件系统仿真软件。 RealEvo-Simulator 目前支持 ARM、MIPS、PowerPC、x86、SPARC 体系结构处理器模拟。 RealEvo-Simulator 还支持常用外设的仿真：SD 卡、网卡、USB、硬盘、FLASH、 LCD、触摸屏等。 RealEvo-Simulator 使用翻译执行的机制极大地提升了处理器模拟的性能。