一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

自适应遥测信道速率的分包遥测调度方案

在卫星分包遥测静态分配适应单一遥测信道的方案基础上,提出了一种改进型动态自适应遥测信道速率的遥测分包方法,将包传输的控制参数由绝对参数优化为相对参数,从而满足不同信道速率、不同包源速率下的包传输适应性.该方法通过将遥测包周期计数与遥测包静态分配的传输周期的比值作为遥测包传输等待迫切比例系数,用相对的传输迫切比例系数值对全部遥测包进行排序,从大到小组入遥测信道下传.通过这种遥测包调度策略解决了遥测信道速率变换对包传输控制的影响.此外通过调节遥测包传输比例系数也能很好地解决遥测包数据率变化对信道传输的适应能力的影响,如数据率增加时整体降低包传输频率、数据率减少时整体加快包传输频率.     

测控中的星载计算机快速切换

针对低轨卫星长期管理与测控中的星载计算机所需要的切换、维护的测控时间相对较长的问题,在分析原有主、备星载计算机的时间比对方法的基础上,直接针对备机建立新的时间同步模型,并进行公式推导和理论误差分析;然后建立新的测控事件调度模型,实现时间同步数据与主备机一致性数据的同时注入,优化工作流程,并有效缩短测控时间;最后编写新的遥控作业,在测控中进行实践.应用结果表明,采用新方法可以在一个测控圈次内完成在轨星载计算机的切换与维护,MTTR(Mean Time To Repair,平均恢复时间)小于8 min,时间同步精度优于1 ms,所需测控圈次相对于原方法减少83％以上,适用于在轨卫星长期管理与测控.     

航空发动机增益调度控制的多项式平方和规划方法

针对现有的线性变参数(linear parameter varying,LPV)控制器设计方法都是关于仿射参数依赖系统而没有专门针对多项式描述的LPV系统这一现状,提出了一种基于多项式平方和(sum of squares,SOS)规划的增益调度控制设计方法,并将其用于转速大范围变化时的航空发动机高压转子转速及压比控制.根据发动机非线性模型获取不同转速下的状态空间模型,并利用多项式拟合的方法建立发动机线性变参数模型.给出能够保证无静差的增益调度控制结构,利用有界实定理和多项式平方和理论推导出能够保证闭环系统鲁棒稳定的SOS约束条件,并形成控制器求解的SOS规划问题,通过求解获得多项式描述的增益调度控制器.分别以LPV模型和发动机非线性模型为对象做阶跃仿真,结果表明:高压转子转速/发动机压比控制系统的调节时间在2s以内,稳态误差不超过0.1%.      

对地观测卫星成像调度的多目标约束修正方法

 约束修正是对地观测卫星成像调度的重要组成部分,负责处理成像调度方案的约束满足与优化,是一类复杂的组合优化问题。为得到优化可行的成像调度方案,提出一种新的约束修正方法。针对约束修正问题构建时间序有向图模型,并将约束修正问题归结为点带约束成本的优化路径搜索问题;在此基础上,提出一种基于标记更新的多目标约束修正算法。实际问题的实验与分析表明：该方法能够在规定的时间内求得问题所有的多目标优化解,有效地解决了卫星成像调度的约束满足与优化问题。     

航空电子多信道实时分组调度方法

 针对航空电子波分复用（WDM）网络,提出了一种新的多信道实时调度策略实时多信道加权轮转调度（RMWRR）,将多信道分成强实时信道组和尽力服务信道组,通过调整强实时信道组的权值分配和在尽力服务信道组进行权值补偿的方法,在满足强实时消息强实时约束的同时,提高了带宽利用率,可以适应动态消息的权值变化。对经过流量整形的非强实时消息,RMWRR在尽力服务信道组对其提供延迟上界。通过理论分析,推导了RMWRR的强实时调度条件和尽力服务延迟上界。仿真和算例分析验证了该调度策略的强实时约束下的低资源占用和非强实时下的低延迟特性。     

面向单机相依任务调度的GPU并行蚁群算法

蚁群算法是一种具有高度并行特征的群智能算法,串行实现过程中具有收敛速度慢的特点,在将其应用到相依任务序列的单机调度问题中时,以任务在不同作业序下的完成时间为基础,建立了单机调度问题的TSP模型。以任务完成时间最优化为目的,实现了一种求解相依任务单机调度的改进蚁群算法,并基于GPU对其进行了并行化设计。实验表明该算法能够完成相依任务的调度处理,通过并行化得到了较高的加速比。     

航空企业自动化立体仓库输送系统的调度优化

运用粒子群算法解决航空企业自动化立体仓库中输送系统的调度优化问题.针对某主机厂自动化立体仓库输送系统的特点,采用分拣上/下包台、出/入库台、AGV运行的时间总和最小化作为性能指标,用粒子群算法的基本原理作为优化思想,然后使用 MATLAB软件进行算法仿真,分析结果的合理性.结果表明,该模型及仿真结果是合理的,效率高,满足航空企业使用需求.     

转子分区循环对称接触应力分析

 通过光弹实验表明了端齿连接转子受力的分区循环对称性。针对这~特性建立了各循环对称分区的循环对称接触有限元应力分析方法,并利用叠加原理将各循环对称分区间过渡区化为几个小规模的循环对称问题。     

带副翼三维机翼绕流的N-S方程解

提出了一种求解带副翼偏转三维机翼绕流的N-S方程计算方法。采用对接分区网格与分区求解算法的结合,有效地求解绕此外形的复杂流动。提出了一种满足通量守恒的内边界耦合条件。数值方法中选用vanLeer分裂格式离散无粘通量项,并构造了一种Limiter函数以保证TVD性质,采用中心差分格式来离散粘性通量项。数值算例表明该方法是求解带操纵面偏转的机翼绕流的有效方法。