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

由实验后的圆柱形霍尔推力器来看,内磁极刻蚀是影响霍尔推力器寿命以及效率的主要因素之一.主要结合实验结果,从理论卜分析刻蚀以及刻蚀形貌形成的原因.并利用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分配及外部接线,同时,利用其丰富的指令,给出了能够实现功能的四种控制方案,分析了使用效果。     

变形飞行器建模及控制方法研究综述

针对变形飞行器的发展现状、气动建模、动力学建模以及控制方法研究进行了综述。首先阐述了变形飞行器的定义及变形需求,再从四个方面梳理了变形飞行器的技术优势。针对不同的机翼变形方式,对飞行器各种变形技术的特点及发展现状进行了详细的分析与总结;将变形飞行器与固定外形飞行器的气动机理进行了对比分析,并对变形飞行器的动力学建模方法进行了梳理,总结了各种方法的特点;结合变形飞行器自身特性分析了飞行控制的特点及难点,并详细阐述了各类变形飞行器的控制研究进展。最后总结分析了变形飞行器的发展趋势：深化基础理论与技术研究,从材料、结构及控制等领域全方面朝着智能化方向发展,最终实现变形飞行器的工程化、自主化、智能化应用。     

语用信息的类型与词典中的语用信息

语用信息在语言学习中的作用已经受到越来越多的关注。文章考察了语用信息在英语中的表现类型 ,主要有两大类 :即语义———语用信息和文化———语用信息。并以《朗文当代英语词典》(1987)为例介绍常用英语学习词典在提供语用信息方面的一些做法。     

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

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

西安市工业废气排放总量的灰色预测模型

通过使用灰色模型预测了西安市2009-2015年的工业废气排放总量.预测结果经过残差检验、关联度检验和后验差检验,误差在允许范围内.可以有效地为西安市制定大气污染控制政策和规划提供参考数据.