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.     

火星着陆器地形测图技术研究

分析了勇气号、机遇号、好奇心号火星漫游车和凤凰号火星着陆器的测图遥感器性能、数据处理技术和火星地形测图产品;提出了火星地形测图未来发展的一些趋势,如遥感器向高分辨率、立体彩色遥感器的方向发展,数字立体摄影测量技术和光倾斜测量技术及激光测高技术将更加紧密融合并相互补充,正在由单一的测图产品向多种数字产品发展,测图产品的精度也在大幅度提高。     

圆形隧道衬砌与围岩应力的解析法研究

隧道衬砌与围岩的应力分析是隧道设计中一个重要内容。本文基于厦门市东通道海底隧道对圆形隧道衬砌与围岩应力的封闭解析解法进行研究,首先利用MATLAB编制衬砌与围岩应力程序并选用一个已有精确解的实例进行校验,然后对圆形隧道四种工况进行计算并给出相关的衬砌和围岩的分布曲线,最后对计算结果进行了相关分析。     

基于特征模型的挠性悬臂板控制

针对航天器上太阳帆板这种悬臂外伸薄板结构的挠性附件 ,存在环境扰动下所引起的振动 ,本文采用压电智能结构作为执行器对悬臂板进行主动振动控制。基于板系统的特征建模 ,并结合自适应控制对挠性板的主动控制进行了研究。通过仿真研究结果与应变律反馈控制比较 ,表明该方法的有效性     

一种月球软着陆参考轨迹解析算法研究

使用了高度和航向航程匹配求解推重比的算法,解决了一种无直接解析解的参考轨迹的求解问题.在数值仿真的基础上,简化了参考轨迹的求解,给出了推重比与高度和航向航程的关系,以及这些关系存在的原因.应用Monte Carlo仿真法对该方法求解的可行性进行了仿真验证,并基于一个类Apollo的参考轨迹,验证了算法对参数分布引起的状态不定具有鲁棒性.     

关键能力和专业能力相结合的教学模式探讨

文章从分析高职教育学生关键能力和专业能力培养中存在的问题入手,提出培养关键能力和专业能力相结合的课程体系建设,提出加强文化基础课程的地位,并构建关键能力与专业能力相结合的课程模式体系和创新教学方法。     

基于T-S模糊模型的模糊大系统的混合滤波

针对非线性大系统内部过程参数的检测估计,采用连续模糊大系统模型,利用lyapunov定理和分布式处理方法,给出了模糊大系统的H2/H∞混合滤波器设计方法。该方法在保证滤波误差系统全局稳定的同时,具备了H2/H∞性能。通过求解线性矩阵不等式,可以得到滤波器参数。最后,用一个数值例子验证了该方法的正确性和有效性。     

超声速条件下多体干扰与分离试验研究

采用根据国外公开文献设计的类CAV模型,在0．6m×0．6m 跨/超声速风洞中开展了多体干扰与分离网格测力试验研究,初步获得了典型多体飞行器分离过程中的气动特性变化规律。试验结果表明,载荷模型气动特性受分离位置变化影响非常明显。载荷模型沿轴向分离时,气动力（矩）逐步接近自由流中气动力（矩）值,载荷模型法向位置改变会引发其气动力（矩）值发生更为剧烈的变化。引发这种现象的原因有两个：一是尾迹和头激波的发展改变了不同轴向位置处载荷模型的表面流态,从而影响了其气动特性;二是母机模型底部流动具有明显的非对称膨胀特征,不同法向位置处流速大小和方向差异明显,导致载荷模型气动特性随法向位置变化更为剧烈。     

空间载荷机柜热控设计的仿真研究

空间站主动热控系统的作用是提供和保持航天员、仪器设备和结构部件所要求的温度、湿度和风速等热环境。本文以空间载荷机柜为热控系统的基本单元,建立了以单相流体循环回路为基础、采用液冷结合风冷的冷却方式的载荷机柜数学模型;介绍了模糊增量控制算法的工作原理;提出了采用模糊增量控制算法,以液冷支路进出口温差和风冷支路冷却量占总冷却量的比值为控制目标的反馈控制策略。同时文章采用数值模拟方法研究了控制系统的动态响应效果。仿真结果显示,模糊增量控制算法具有响应迅速、超调量小、无静态误差的特点,控制策略满足有效性、稳定性和高精确度的要求。     

数控加工钨渗铜材料工件的工艺参数选用

针对钨渗铜材料切削性能差,在数控切削加工过程中易产生裂纹、崩料、变形等质量缺陷,从刀具、切削参数、切削液选用及走刀路线的安排等方面综合考虑,提出了解决问题的工艺方法。