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.     

运载火箭尾段防热/承载一体化热防护系统设计及性能分析

先进热防护技术是可重复使用运载火箭研制的关键技术之一,具有高结构效率的防热/承载一体化热防护系统是运载火箭极具潜力的备选热防护方案。本文系统地总结了可重复使用运载火箭尾舱段防热和承载两方面的设计要求,设计了一种全复合材料防隔热/承载一体化热防护系统。开展了运载火箭尾段一体化热防护系统设计,进行了代表性单胞结构的高温环境地面试验,揭示了复合材料一体化热防护系统的防隔热机理。同时施加力学和热流载荷,利用有限元方法对运载火箭尾段进行了热力耦合分析,获得了尾段结构的温度场、应变场和应力场。结果表明:在典型载荷工况下一体化热防护系统内壁温度保持在89.2℃以下,内部最大应力不超过9.53 MPa,安全系数达到1.89。     

楼房软弱土层地基处理技术实例分析

结合工程实例,详细探讨了建筑工程地基软弱土层承载力不足的加固地基施工方法和技术措施,并对其施工效果进行了观测、验算和评析.     

飞行控制律全包线鲁棒稳定性评估

传统的飞行控制律评估方法只能对飞行包线内的离散点进行逐点分析,对不确定性参数也只考虑了上下界,分析过程缺乏完整性和系统性。针对这些不足,研究了基于一种改进遗传算法的分析方法,该方法将评估准则转化为某个适应度函数,通过对适应度函数寻优以找到最坏情况下的不确定参数组合,在其基础上进行评估并给出评估结果或控制律修改意见。仿真结果表明,该方法能连续地研究多个不确定性参数同时摄动时的飞行包线,克服了传统方法的不足。     

固液混合推进石蜡燃料的性质及燃烧性能研究

石蜡燃料具有高退移速率和低成本的特性,是理想的固液混合推进剂燃料。为了研究不同石蜡燃料的性质对燃烧性能的影响规律,针对54#,58#,62#和66#4种粗晶石蜡和58#,60#,70#和90#4种微晶石蜡开展了粘度分析和TG-DSC热分析,并利用高速摄影法测试了8种石蜡在氧气流中的燃烧性能。研究结果表明:8种石蜡燃料的退移速率与氧气质量密流之间均满足幂函数关系,幂函数系数分别为0.0521±0.0012,0.0479±0.0008,0.0444±0.0010,0.0394±0.0007,0.0459±0.0009,0.0411±0.0008,0.0385±0.0011和0.0247±0.0007。石蜡的燃烧特性受粘度和熔点的影响很大,熔点越高,其退移速率越低;石蜡熔化液体的粘度越低,其退移速率越高。8种石蜡燃料的平均退移速率分别比HTPB燃料的退移速率高196%,171%,159%,141%,156%,146%,125%和48%。     

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

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

C919飞机全机静力试验技术

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

空间机械制冷机微振动研究

机械制冷机广泛应用于空间红外遥感器中,由于其中存在运动部件,因此工作过程中不可避免地会产生振动,是卫星在轨状态下影响光学遥感器成像品质的重要振动源之一。文章对空间机械制冷机的微振动问题进行了研究,建立了线性驱动对称布置压缩机以及斯特林膨胀机的力学简化模型;分析了2个对置活塞的质量、阻尼、刚度偏差与压缩机整体的振动输出之间的关系,仿真分析结果表明,压缩机整体的振动输出对阻尼的偏差最为敏感;对3种常用制冷机微振动测量方法进行了介绍,对比了3种方法的优缺点,指出扰振力的测试方法对于空间遥感器领域较为适用。     

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

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