改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

基于故障行为模型的产品寿命分析方法

针对传统可靠性工程方法无法满足高可靠长寿命需求产品设计与分析要求的现状。本文充分考虑引起产品寿命分散性的内因和外因的不确定性,在产品功能模型或数字样机模型的基础上,结合产品的故障行为模型,建立了一种基于产品故障行为模型的产品寿命分析方法。在该方法中,内因参数与外因参数的分散性分别可以用相应的概率密度函数来表示,都是通过对实际使用情况和生产条件的估计得到的,因此,按照这种方法评估得到的产品寿命特征,能够弥补基于故障物理的可靠性预计方法无法体现产品正常使用条件的不足。      

基于模型预测控制的多约束火星精确着陆制导律研究

主要研究了火星着陆动力下降段考虑燃料消耗和实际任务约束条件的制导律设计问题。选取可变推力发动机作为执行机构,首先建立了着陆器在动力下降段的运动方程及质量变化方程;其次对实际任务中需要考虑的斜坡、推力幅值和方向等约束条件建立了约束模型;接下来通过构造由控制量和状态量构成的性能指标,提出一种基于模型预测控制的多约束火星精确着陆制导算法。可实现多种约束条件下的指标最优精确着陆任务。最后,通过数值仿真对比了本文与已有典型着陆策略,验证了所提算法可以在满足约束条件的前提下有效地完成既定火星精确着陆任务。     

具有变胞功能的自主移动制孔机构

根据飞机自动化装配的应用需求,结合变胞原理提出了一种双偏心变胞源机构.在此基础上设计了一种具有变胞功能的自主移动制孔机构,能实现行走和调姿制孔两种功能阶段之间的变自由度切换.给出了调姿过程由初始状态经俯仰与侧滚后到达期望法矢位置各足驱动量的运动学反解算法,可用于实时控制.运用Matlab绘出了实际工况下反解算法中各足偏移量区域,完成了双偏心变胞源机构的尺寸设计.建立虚拟样机,联合算例进行运动学仿真,结果验证了运动学算法和双偏心变胞源机构适用于本机构.研制了实物样机,测试了系统的调姿精度,结果表明可满足飞机装配自动化制孔的要求.      

基于激光反射层析法的换能器声场测量技术及仿真研究

换能器的辐射声场分布能够直接反映出换能器声学性能的好坏,若不能精确测量出换能器的辐射声场,则会对换能器的诊断和评估造成严重影响。从理论仿真的角度出发,推导了运用激光反射层析法重建换能器辐射声场的理论公式,着重利用推导出的理论公式对激光反射层析法进行了仿真计算。结果表明激光反射层析法能够精确地重建出换能器的辐射声场分布及声场中的声压量值,这为换能器的声场重建及声压测量提供了一种可行的方法。     

舰载无人机滑行轨迹控制方法

舰载无人机是航母-舰载机系统的重要作战武器,实现舰载无人机在航母甲板上的自主滑行对于提高甲板作业效率具有重要意义。对舰载无人机滑行轨迹控制方法问题进行了研究。首先,描述甲板滑行任务的过程,在此基础上,建立滑行轨迹控制问题的数学模型,包括舰载无人机甲板滑行运动模型、滑行任务约束条件以及评价轨迹控制任务的性能指标。其次,考虑甲板环境和轨迹控制任务要求,基于模型预测控制思想,将在线滑行路径规划与轨迹控制结合,采用滚动优化方法计算出舰载无人机实际滑行轨迹,并且得到控制指令信号。最后,以“尼米兹”级航母为例,对不同停放位置舰载无人机起飞前的滑行轨迹进行仿真计算,结果表明了模型的合理性和算法的有效性。      

固体火箭冲压发动机设计点性能优化分析

针对冲压动力飞行器射程优化总体需求,提出了基于飞行器-发动机性能因子的评估方法,建立了固体火箭冲压发动机性能模型及优化设计流程,为总体与动力一体化优化设计提供了支撑。根据典型含硼贫氧推进剂性能分析结果可知,相同马赫数及余气系数下,高度对比冲的影响不明显;相同马赫数下,比冲随余气系数的增加先增加后减小;相同余气系数下,比冲随马赫数的增加而降低;飞发性能因子随马赫数、余气系数的增加先增加后降低,在一定条件下达到最大值。      

SBAS电文时序动态编排算法

星基增强系统（SBAS）通过GEO卫星转发SBAS电文实现对GNSS服务性能的提升,以满足民航用户不同飞行阶段的导航需求,因此,合理有效的电文内容及播发时序设计是系统实现高质量服务的重要保证。为提高电文编排的灵活性,避免固定时序填补空余电文引起的播发资源浪费,提出了一种SBAS电文时序动态编排算法,在满足国际标准要求的前提下,综合利用SBAS电文龄期和最大播发间隔实现待播发电文的自动选择。利用NTMF实测数据对当前各主要SBAS的电文进行了特性分析,对所提方法的单双频SBAS电文编排效果进行了评估。结果表明:所提算法可保证电文时序符合国际标准要求,实现了重要电文的优先播发,将空余时隙进行动态分配实现了各类型电文播发间隔的近等比例缩短。与固定时序相比,单频SBAS完好性电文播发间隔缩短约15.0%,首次定位时间缩短约8%,双频SBAS电文首次定位时间缩短约6.5%;与固定时序的BDSBAS B1C电文相比,完好性服务能力提升约14.7%,首次定位时间缩短约16.7%。所提算法有效提升了SBAS电文播发的播发效率,实现了SBAS播发资源的100%有效利用。      

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...