一个一阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。     

基于公理设计的产品可靠性要求实现方法

针对可靠性设计要求难以系统、全面落实到产品设计方案的问题,提出了一种基于公理设计的产品可靠性要求实现方法.首先,应用公理设计原理进行产品初步设计,从而确定其功能需求,并针对各项功能的保持要求进一步扩展功能保持需求（扩展的功能保持需求构成功能保持域,该域包含于功能域）,进而系统导出参数化的可靠性设计方案;其次,根据功能保持需求扩展或优化设计参数,构建考虑可靠性设计要求的域映射模型,并给出应用独立公理进行方案评价的方法.同时,以温度传感器设计为例贯穿全文,验证了所提出方法的可行性和有效性.      

星际文明的遗存

应当仔细分析和研究由于外星人物理效应系统的存在而导致的后果——废弃物问题。在外星人物理效应系统中所利用的胶子链，实际上是不可消除的，从能量守恒定律中可找到这个结论的依据。目前已知，能量守恒定律是100余年前由迈耶尔创立的，而其他守恒定律多达12个，但没得到验证，它们是建立在经验主义基础上的。但实际上，可以把那些未得到论证的12个守恒定律作为公理的某些理论基础。     

摩擦学系统的系统工程及其航天应用

空间摩擦学问题已成为影响航天器精度、寿命和可靠性增长需求的关键因素之一。本文从摩擦学的三个公理出发并基于此理论,分析航天器所处环境工况下的润滑问题、微动-摩擦学行为耦合作用现象以及摩擦-电学行为耦合问题,并分析与其相对应的摩擦学系统设计需求。根据需求建立面向航天器的摩擦学系统设计思路,通过摩擦学系统设计知识库的建立和管理,运用摩擦学的三个公理,在求解过程中引入专家判定系统,实现考虑摩擦学行为的系统依赖性、时变依赖性与多学科、跨学科性的摩擦学系统设计。     

欧空局拟打造数据中继星座

为保持欧洲的独立性，并改善“欧洲静地导航重叠业务”这一“伽利略”的增强系统的可靠性和安全性，欧空局准备向其成员国建议兴建一个“欧洲数据中继卫星系统”（EDRSS）。该系统将是一个由3颗静地轨道卫星构成的星座，首颗卫星拟于2012年发射。日前升空的欧空局的“自动转移飞行器”（ATV）货运飞船将采用美国的“跟踪与数据中继卫星系统”（TDRSS），     

欧洲出台“伽利略”导航卫星计划

欧盟的执行机构——欧洲委员会在１９９９年２月１０日公布的有关欧洲导航卫星计划的报告中说，为了欧洲未来的战略独立性和成千上万欧洲高技术产业从业人员的前途，欧洲需要建立一个由欧洲人牢牢控制的导航卫星系统。欧洲委员会在这份长达２９页的报告中，建议欧盟（ＥＵ...     

航天简讯

科索沃战争使欧洲人意识到独立拥有侦察卫星系统的重要性□□在欧洲议员大会上，来自意大利、法国、德国和英国的议员们一致认为：在巴尔干半岛上的这场空战，充分证明了欧洲拥有独立的天基对地侦察系统的必要性。在这场战争中，欧洲部队只能依靠美国卫星所提供的有关塞尔维亚军队及科索沃难民的情报实施作战计划，使欧洲盟国处于被动局面。这充分说明信息就是力量，美国拥有，但欧洲没有。意大利议员极力主张欧洲应拥有自主的天基侦察与导航系统，认为这事关欧洲战略的独立性。只有这样，欧洲才能在国际事务中，尤其是地区性危机中扮演更为…     

驾驶员－飞机闭环系统特性综合的一种方法

为获得驾驶员－飞机良好的匹配特性，根据Ｎｅａｌ－Ｓｍｉｔｈ闭环系统评价准则，建立了相应的边界条件方程．采用牛顿迭代和最速下降法相结合，迭代求得驾驶员模型参数和飞机模型参数．按良好飞行器品质要求，对闭环特性进行综合．驾驶员模型选用俯仰跟踪时的形式，飞机模型采用等效系统模型．     

勇攀新高——中国返回式卫星研制回顾（下）

卫星回收系统 回收系统的任务是保证追回舱以一定的安全速度着陆。它包括星上发出信标信号．供地面尽快发现目标．打开降落伞减速．这是完成整个飞行任务最后的，关键的一步．如回收系统发生故障，就会前功尽弃。     

空－空机炮模态的综合火力／飞行控制系统设计

针对国产某型号高速歼击机的数学模型及其数字式三轴电传操纵控制增稳系统，采用经典控制理论的方法，在数字式三轴电传操纵控制增稳系统的基础上，分析、设计了一种复杂的非线性控制系统──空－空机炮模态的综合火力／飞行控制系统．文中给出了该控制系统的构成，讨论了火力／飞行耦合器的结构．数学仿真表明，所设计的综合火力／飞行控制系统具有良好的性能，由于采用的飞机数学模型及其数字式三轴电传操纵控制增稳系统的真实性，使得所设计的综合火力／飞行控制系统具有较强的实际意义和工程使用价值．     

基于相关性分析的结构可靠性加严试验方法

针对传统结构可靠性试验的验证多是基于载荷应力和结构强度相互独立的假设问题,从应力和强度数据的相关性分析与度量出发,在二者均为正态随机变量的前提下,建立了一种基于Copula函数相关应力-强度干涉模型的结构可靠性加严试验验证方案设计方法。该方法结合Copula函数和应力-强度干涉模型实现相关条件下原可靠性指标与加严条件下可靠性指标的转化,适用于小样本情况下基于传统成败型试验方法评估其可靠性。研究结果表明:相比独立假设,应力和强度呈负相关时,会增加试验样本量且样本量随负相关程度减弱而减少;呈正相关时,会减少试验样本量且样本量随正相关程度增强而减少。     

基于改进BP算法的复杂武器系统健康状态评估

根据复杂武器系统指标体系的确定原则：系统性原则、完整性原则、独立性原则、可比性原则、可操作性原则和定性与定量相结合的原则,建立了某复杂武器系统健康指标体系;分析了基本BP神经网络的优点及BP算法的缺陷,研究了一种改进的BP算法;建立了某复杂武器系统健康管理BP神经网络结构;对某复杂武器系统健康状态进行了评估,验证了指标体系的合理性。     

International cooperation in space within ESA

The various areas and missions involving international cooperation and coordination with ESA and its various space partners are reviewed. Special mention is made of cooperation with NASA which has been a privileged partner of ESA for many years. The past and future activities conducted within the Inter Agency Consultative Group (IACG) are also mentioned. It is shown that the apparent loss of independence which may result from extensive international cooperation can be corrected through the existence of a Long Term Plan.     

基于改进BP算法的复杂武器系统健康状态评估CSCD

根据复杂武器系统指标体系的确定原则:系统性原则、完整性原则、独立性原则、可比性原则、可操作性原则和定性与定量相结合的原则,建立了某复杂武器系统健康指标体系;分析了基本BP神经网络的优点及BP算法的缺陷,研究了一种改进的BP算法;建立了某复杂武器系统健康管理BP神经网络结构;对某复杂武器系统健康状态进行了评估,验证了指标体系的合理性。     

基于RTX实时系统测角方法的研究

针对惯导测试转台角速率精度测试要求,开发了在RTX实时系统下,以VC进程建立数据采集,以VB环境建立操作界面的测试程序,便于转台角速率的实时监测及对速率精度的随时检测,具有携带方便,适应性强、测试系统与转台系统相对独立等特点,保证设备运行的可靠性。     

Instantaneous BeiDou–GPS attitude determination: A performance analysis

The advent of modernized and new global navigation satellite systems (GNSS) has enhanced the availability of satellite based positioning, navigation, and timing (PNT) solutions. Specifically, it increases redundancy and yields operational back-up or independence in case of failure or unavailability of one system. Among existing GNSS, the Chinese BeiDou system (BDS) is being developed and will consist of geostationary (GEO) satellites, inclined geosynchronous orbit (IGSO) satellites, and medium-Earth-orbit (MEO) satellites. In this contribution, a BeiDou–GPS robustness analysis is carried out for instantaneous, unaided attitude determination.     

交会对接成像软件的多目标跟踪改进

介绍交会对接成像敏感器的工作原理以及由单组条带预判窗口跟踪模式的单一目标敏感器组成的交会对接测量系统.从敏感器嵌入式软件的层面,提出多目标窗口计算、多目标条带预判、多目标匹配计算和多目标测量结果处理等4项改进方法,在硬件系统完全不变的情况下,改善多目标跟踪交会对接敏感器性能.该项改进将单机系统提升为多机热备份系统,提高系统安全性.实现不同目标器之间的自主跟踪切换,优化交会对接流程.此外,变不同敏感器之间切换为敏感器处理对象切换,提升交会对接过程的可靠性.改进后的算法已在我国交会对接各重点型号试验中顺利应用.     

Backstepping sliding-mode control of stratospheric airships using disturbance-observer

In the presence of unknown disturbances and model parameter uncertainties, this paper develop a nonlinear backstepping sliding-mode controller (BSMC) for trajectory tracking control of a stratospheric airship using a disturbance-observer (DO). Compared with the conventional sliding mode surface (SMS) constructed by a linear combination of the errors, the new SMS manifold is selected as the last back-step error to improve independence of the adjustment of the controller gains. Furthermore, a nonlinear disturbance-observer is designed to process unknown disturbance inputs and improve the BSMC performances. The closed-loop system of trajectory tracking control plant is proved to be globally asymptotically stable by using Lyapunov theory. By comparing with traditional backstepping control and SMC design, the results obtained demonstrate the capacity of the airship to execute a realistic trajectory tracking mission, even in the presence of unknown disturbances, and aerodynamic coefficient uncertainties.     

地标自主导航的高精度地标库建立方法

利用地标信息的卫星自主导航方法是通过星载光学摄像机实时拍摄地标景象来计算卫星的位置、速度等参数,具有完全自主的特点,并且适用范围广泛,可用于能够周期性获得地面图像的航天器,但受到地标选取方法以及地标库建立策略的制约,影响到导航精度,阻碍了推广使用。针对上述问题,提出了建立全局及高性能的地标库,即采用全球地标控制点选取的原则选取性能优良的全球地标样本,并自动生成全局地标库。通过计算机仿真验证了该方法的有效性,结果表明,使用全球地标控制点选取地标样本,并自动生成全局地标库,可以快速而准确地为航天器进行高精度的自主导航,导航位置误差约为99 m,速度误差约为0.08 m/s。