失效概率矩独立全局灵敏度分析的高效算法

失效概率矩独立全局灵敏度分析对指导可靠性优化至关重要,本文从乘法降维及Edgeworth级数展开的角度提出一种失效概率矩独立全局灵敏度指标分析的高效算法。所提算法通过Edgeworth级数展开将失效概率矩独立全局灵敏度指标的求解转化为输出无条件及条件前四阶整数矩的求解。对于输出的无条件及条件四阶矩的计算,基于乘法降维的思想,本文推导了重复利用计算输出的无条件矩的输入输出样本来计算条件矩以及外层关于输入变量一维积分的计算公式,使得仅需重复利用输出无条件前四阶矩求解产生的积分网格内的数据即可同时求得输出的前四阶条件矩以及外层关于输入变量的一维积分。所提算法大大提高了失效概率矩独立全局灵敏度的分析效率。航空发动机涡轮盘以及汽车前轴的分析结果验证了所提算法的高效性及准确性。     

变速恒频电源系统的数字仿真研究

建立了脉宽调制型交直交变速恒频电源系统的数学模型，研制了仿真软件，并给出了仿真实例。研究表明，本文的方法和软件可以进行变速恒频电源系统部件级和系统级的仿真分析，为设计和分析该系统提供了有力的工具。文中的方法和软件也可以用于分析恒速恒频和高压直流电源系统，为开发一套完整的飞机电源系统仿真软件奠定了基础。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

GPS／DNS组合导航系统研究

通过误差分析的方法，给出了用卫星全球定位系统ＧＰＳ的位置、速度信息作为观测量的ＧＰＳ／ＤＮＳ组合导航系统的数学模型。在此模型的基础上应用卡尔曼滤波器，估计出导航参数误差并对系统进行校正，从而实现了ＧＰＳ与多普勒导航系统（ＤＮＳ）的组合。ＧＰＳ／ＤＮＳ组合导航系统克服了多普勒导航系统定位误差随时间发散的缺点，使得导航精度与时间无关，弥补了ＧＰＳ实时性的不足。仿真结果表明，该组合方案可获得高的导航定位精度。该系统丰富了组合导航系统内容，且体积小、成本低，便于工程实现，具有实用价值。     

无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。     

非线性系统的高阶线性化方法及其在二阶摄动制导中的应用

本文讨论了非线性系统相对于标称轨道的高阶线性化方法。文中在一阶线性展开的基础上,提出了高阶误差项的补偿方法,导出了计算二阶补偿项系数的线性方程组,并给出了补偿项的计算公式。然后,采用所得方法研究了飞行器的二阶摄动制导方法。     

Assessment of between-floor structural and topological properties on cognitive map development in multilevel built environments

The present study investigated cognitive map development in multilevel built environments. Three experiments were conducted in complex virtual buildings to examine the effects of five between-floor structural factors that may impede the accuracy of humans’ ability to build multilevel cognitive maps. Results from Experiments 1 and 2 (of three experiments) revealed that difficulties in developing multilevel cognitive maps are not solely caused by the z-axis offset, as is suggested in the literature, but are due to the factorial combination of a between-floor overlap and a z-axis offset. Results from Experiment 2 showed that this process becomes substantially more difficult when the reference directions between different floors have an angular offset from each other. Finally, results from Experiment 3 demonstrated that confusing between-floor heading shifts in aligned buildings did not make it reliably harder to build multilevel cognitive maps. The implications of these findings are discussed in terms of theories of mental representations in multilayered three-dimensional spaces, as well as for architectural design.     

组织管理的系统思维

系统是由相互关联的元素组成的整体。系统思维(Systems Thinking)是一种以整体观点观察事物的方式。基于工程原理和法则的定量化模型方法在管理领域的应用,因为人的动机和行为的复杂性而受到了限制。综合集成是具有系统思维的管理者对现实问题的不同诠释,是认识和解决管理复杂性问题的有效方法。     

小步长低阶Collocation方法轨道积分性能研究

介绍了Collocation方法的原理及误差构成,以Collocation方法在逐历元滤波轨道解算中的应用为切入点对小步长低阶Collocation方法轨道积分的性能进行了研究。分别就二体问题及真实GPS星座卫星轨道为对象进行了一系列验算,得到了一些有益结论：就积分方法本身性能而言,Collocation积分方法较传统数值积分法精度要高且稳定性要好;在一定长度的积分步长范围内,将小步长低阶Collocation方法用于滤波轨道解算是可行且有效的。 但在积分步长很小的情形下,从计算效率方面考虑,不推荐使用Collocation方法;利用小步长低阶Collocation方法取代大步长高阶方法能提高效率且可抑制蚀现象引起的积分结果发散。经试验表明：选用积分步长为900s的4阶方法是合适的。     

Assessment of the NeQuick model at mid-latitudes using GNSS TEC and ionosonde data

The modelling of the total electron content (TEC) plays an important role in global navigation satellite systems (GNSS) accuracy, especially for single-frequency receivers, the most common ones constituting the mass market. For the latter and in the framework of Galileo, the NeQuick model has been chosen for correcting the ionospheric error contribution and will be integrated into a global algorithm providing the users with daily updated information.