具不确定观测和相关噪声的最优递推滤波

应用正交投影定理,对于噪声相关系统,在观测不确定的情况下,求出了状态向量的卡尔曼滤波公式。在线性最小方差准则下,解决了状态噪声一步相关,相同时刻的测量噪声和状态噪声相关,以及测量噪声和状态噪声在相邻时刻均相关的情况下的滤波问题,并给出了递推滤波公式。仿真算例说明了它们的有效性。     

不同迎角下脊形前体绕流数值模拟研究

脊形前体有较强的背风涡流场,不同的前体形状对前体涡流场和气动力有很大的影响.本文针对脊形前体飞行器大迎角湍流大分离流动计算的困难,采用IDDES混合湍流模型,以及与之匹配的非定常算法,研究了不同来流迎角下脊形前体的气动特性,以及背风涡非定常演化、破裂的细致流动结构.选取了不同脊形角,以及不同上、下高宽比的脊形前体进行计...     

西藏矿产开发中生态补偿费用分摊的博弈研究——基于利润分配的视角

西藏生态补偿费用分摊是西藏矿产开发生态补偿机制中的重要内容之一.由于脱胎于西方经典生态补偿理论的传统生态补偿费用分摊理论与西方生态补偿理论的异源性差异,当前我国费用分摊实践缺乏统一的方法论基础.文章以矿产相关企业间独立决策与统一决策利润博弈为主线,分析不同决策方式下相关企业的最大化利润决策行为,旨在协调矿产开采企业、冶炼加工企业与资源使用企业的关系,分析企业行为的内在逻辑和生态费用分摊的基础.     

直升机主起落架疲劳试验技术研究

以直升机主起落架疲劳试验为对象，对试验内容、试验方法、试验实施及试验结果进行分析。通过试验验证确定了起落架的疲劳危险区域，并为优化零件结构提供了依据。     

基于混合线性规划的RLV再入气动控制分配

针对可重复使用运载器(RLV)再入阶段气动操纵面控制分配问题,将控制分配问题转化为有约束的优化问题,进而采用混合线性规划算法对其进行求解。针对气动操纵面与控制力矩呈现非线性关系的情况,采用分段线性规划算法解决了控制面发生故障等非线性在线可重构优化问题。最后通过仿真,验证了多种故障模式分段线性分配方法具有良好的可重构性能以及较小的分配误差。     

舱内航天服散热途径分析

为分析常压下航天员穿着舱内航天服时的散热性能，６名健康男性青年按二次复合设计分组共进行２４人次试验，经分析计算了获得了服装各散热途径的散热率随通风气源参数及人体活动水平变化的数学模型。对影响服装散热性能的因素及服装散热特性进行了分析讨论。     

圆柱形霍尔推力器的内磁极刻蚀研究

由实验后的圆柱形霍尔推力器来看,内磁极刻蚀是影响霍尔推力器寿命以及效率的主要因素之一.主要结合实验结果,从理论卜分析刻蚀以及刻蚀形貌形成的原因.并利用PIC粒子模拟跟踪离子的轨迹来解释内磁极的刻蚀问题.结果表明:推力器的工作状态、电磁场位形是影响内磁极刻蚀及刻蚀形貌的主要囚素.最后针对刻蚀原因提出了相应的减小刻蚀的方法,并比较了各种方法所起的作用.     

A formal approach using SysML for capturing functional requirements in avionics domain

In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.     

Queuing theory application in imaging service analysis for small Earth observation satellites

The performance of Earth observation satellites is usually analyzed by real data or system simulation, which is accurate but not systematic. Modelling satellite service systems with queueing theory and analysing the performance statistics systematically will provide a useful guide in designing satellite systems. Earth observation satellites could be regarded as a two tandem server system with a finite buffer in between, providing two-stage service: image capture and image download service. In this paper, we introduce the queueing models for different service systems: the pure image capture service system, the two-stage service system with Poisson distribution download service, the pure download service system, and the two-stage system with general download service. Formulated solutions are given and some results are shown. From this work we can see queueing theory provides a good way to analyse the performance of small earth observation satellites, which is useful for system mission analysis and optimisation in design stage.