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.     

建构主义教学模式对大学生学习方式影响研究

建构主义教学模式对大学生学习方式有重要影响,通过实证研究方法,研究了课堂环境下建构主义教学模式与大学生学习方式之间的内在关系。研究结果表明：以互动性、自主性为特征的建构主义教学模式与深层学习方式显著正相关,教学模式中的自主性对深层动机和策略的影响均显著高于互动性,且自主性可以更为有效地促使学生采用深层学习方式。     

双拦截弹拦截单目标边界型微分对策制导律研究

针对战术弹道导弹、高超声速巡航导弹和无人飞行器等新型具有高机动性能的防空目标,为提高成功拦截的概率,采用多枚拦截弹进行拦截。应用微分对策理论,将双拦截弹拦截单目标的末段制导问题建模为“二对一追踪-逃逸”对策模型。考虑最大加速度约束,研究了两枚拦截弹的拦截空间分解和对策空间分布,并通过仿真研究了制导律性能。结果表明：采用两枚拦截弹拦截时,脱靶量对目标机动方向的转变时间具有很好的鲁棒性。     

略论我国航天器名字的英译

指出了我国航天器名的英译用汉语拼音的不足;建议我国航天器的英译名以意译为主,音译为辅;提出了航天器名意译的原则和我国全部航天器按意译的英语名建议。     

金融服务滞后产业发展的成因及对策——以航空业为例

分析了在战略产业发展过程中金融业服务滞后的各种表现，从战略产业经济结构调整本身、风险约束和金融宏观政策传导三个方面剖析了金融服务滞后的原因。以民用航空制造业的发展为例，用博弈论对金融在支持战略产业发展过程中的两难状况作了理论和实证分析，提出金融支持战略产业的发展是金融发展的最优选择的观点。最后从金融体系、资金投入和金融服务等方面提出相应的对策建议。     

基于IRI模型的卫星环境仿真方法研究

针对卫星所运行电离层等离子体环境的分析要求,搭建了一个以MATLAB软件为核心,以国际参考电离层(IRI)模型的MEX封装、卫星工具包(STK)为计算仿真模块的多源交互环境。以一颗500km高的太阳同步轨道卫星为例,结合卫星的实际任务运行,对卫星运行的等离子体中的电子密度、电子温度、离子温度等重要参数进行了仿真分析。仿真结果表明,此方法可以基于IRI模型较为精确、高效地分析卫星的等离子体环境参数。该方法还能推广到地磁场、大气层、磁层、地球辐射带、太阳风等其他卫星运行环境的分析,为卫星的总体任务分析提供直接的支持。     

航天软实力、国际化与航天强国的概念

文章分三个部分就近年来国内航天界经常使用的三个名词——航天软实力、航天国际化和航天强国,分别对其概念和内涵进行简明的解释。     

行星着陆复杂形貌特征匹配与自主导航研究进展

基于行星定点软着陆探测任务的需求,围绕复杂形貌行星着陆过程环境特点,首先分析了行星着陆复杂形貌特征匹配与自主导航所面临的主要技术挑战,随后综述了行星着陆复杂形貌特征匹配与自主导航的研究现状,并概括了行星着陆复杂形貌特征匹配与自主导航所涉及的关键技术。最后对未来行星着陆探测复杂形貌特征匹配与自主导航发展方向进行了展望。     

基于左手材料的翼面隐身结构设计及优化

翼面隐身结构能同时满足飞行器机翼气动、结构和隐身的要求,但在空间有限的机翼中应用时,由于结构特点使其隐身效果受到限制。为了解决该问题,在传统隐身结构中加入左手材料(LHM)进行改进。首先选取一种典型的LHM,从隐身设计角度出发,利用其雷达散射截面(RCS)计算不同入射角度下的后向吸收率,对其电磁特性进行研究。然后根据LHM的电磁特性,将其应用于翼面隐身结构,在相同的RCS减缩效果下,应用LHM可有效降低隐身结构体积。最后,为了进一步提高隐身效果,提出一种夹芯型LHM翼面隐身结构,并对该隐身结构中的结构参数利用代理模型进行优化。研究结果表明,相较金属翼面段RCS降低了15dB以上,较相同结构的翼面隐身结构RCS降低了10dB以上。     

肋角度对气膜冷却特性的影响

在光滑二次流通道的基础上,分析对比了两种带肋通道(135°肋和45°肋)对气膜冷却特性的影响.采用瞬态液晶测试技术获得了气膜孔下游表面传热系数比与气膜冷却效率分布.使用Fluent软件RANS数值方法对相应结构进行了数值模拟,并使用了realizable k-ε湍流模型.光滑二次流通道模型中,气膜孔内流线呈螺旋状分布,导致较大的孔内速度分离与流动损失.冷气射流分成两部分,其中一股形成一对偏斜的对转涡.135°肋结构中,二次流通道上部分的旋转涡为顺时针方向,使得气流易于流入气膜孔,气膜孔内流线呈直线分布.45°肋结构中,二次流通道上部分旋转涡为逆时针方向,增强了气膜孔内旋转涡.45°肋结构中冷气流入气膜孔之后的流动结构与光滑二次流通道结构相似.135°肋结构气膜冷却效率最大而表面传热系数比最低.