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

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

空射导弹发射初始弹道数值仿真

导弹从载机上发射时,载机对导弹的流场存在干扰,从而影响导弹在发射初始阶段的姿态和运动轨迹。为了确定导弹的初始弹道参数,本文利用CFD商业软件Fluent6.1计算导弹发射时的非定常流场,并通过该软件的接口嵌入导弹的六自由度弹道方程,同时计算了导弹在载机流场干扰下的非定常气动力和初始弹道。计算结果清晰地表现出导弹与载机的分离过程和载机流场的干扰形式,并可估算出载机的流场干扰范围。     

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

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

基于混合线性规划的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.     

大学生英语口语中使用话语联系语的错误浅析

话语联系语是英语语篇中实现衔接和语义上的连贯的一种主要手段，然而，其使用尤其是在英语口语中的使用却经常发生错误。论文从语篇衔接的角度结合实际口语语料对中国大学生在英语口语中使用话语联系语的错误进行了分析并发现，中国大学生在英语口语中使用话语联系语的错误主要表现为过度使用话语联系语从而导致语法错误或造成语篇逻辑不连贯。文章于口语实例分析中进一步探讨了造成这些错误的原因，最后简要说明了大学英语口语教学实践中如何减少话语联系语的错误使用，提高大学生对英语口语语篇连贯性的处理能力。     

C919飞机全机静力试验技术

介绍了C919大型客机全机静力试验的目的及任务需求，分析了试验特点和难点。从试验飞机支持、试验加载及控制、试验测量及监控、损伤检测及状态监测等方面制定了总体技术实现方案，验证结果表明试验系统可靠，技术实现方案满足任务要求。试验中采用了多项创新技术：试验综合加载平台设计技术优化了多系统集成，加快了试验准备速度，降低了试验准备风险；约束点误差转移控制技术将约束部位误差转移至非重点考核部位，提高了关键考核区域试验精度；机身双层地板双向加载技术优化了机身加载及扣重设计，改善了局部载荷的加载精度。技术成果为后续型号试验提供了较高参考价值。     

基于S7-200 PLC的彩灯闪烁控制方案

通过分析彩灯的控制要求,设计了基于西门子S7-200可编程控制器的控制方案,对控制系统硬件进行了设计,选择了外围元器件,进行了I/O分配及外部接线,同时,利用其丰富的指令,给出了能够实现功能的四种控制方案,分析了使用效果。