一种新的卫星测控资源调度模型及其求解算法

针对低轨卫星测控资源优化调度问题,以卫星可见弧段为调度元素建立了一种新的复合独立集模型.新模型可分解为多个具有约束关系的子优化问题.在应用蚁群优化算法求解该问题时,蚁群分别对各子问题的可行域进行搜索,并引入局部搜索策略提高蚁群算法的求解质量.实验结果表明,该算法具有较快的收敛速度,能够生成较好的调度计划,测控网的利用率获得提高.     

一种卫星成像调度的约束修正方法

约束修正是卫星成像调度的重要组成部分,负责处理成像调度方案的约束满足与优化的问题.为得到优化可行的成像调度方案,针对一类带有卫星存储器和数据下传等约束的卫星成像调度问题,提出一种新的约束修正方法.首先构建时间序有向图模型,将约束修正问题归结为点带约束成本的路径搜索问题,针对该模型提出一种基于标记更新的约束修正算法.通过针对实际问题的实验分析,表明该方法能够在规定的时间内求得问题的最优解,有效的解决了卫星成像调度的约束满足与优化问题.     

ATN地空通信中的报文传输调度算法

一、ATN地空网络简介 航空电信网（ATN）是通信导航监视／空中交通管理系统（CNS／ATM）的重要组成部分,是实现新一代航行系统的基础。由于历史的原因,航空电信网采用了国际标准化组织（ISO）制定的七层通信模型。航审电信网主要由三个子网组成,即：地地通信子网、空地通信子网、空空通信了刚。目前ATN的地空通信子网主要由甚高频（VHF）数据链、航空移动卫星通信（AMSS）、     

成组技术在典型航天产品生产调度中的应用

对典型产品的特性进行了相似性分析,并根据成组技术中的相似性原理对组成产品的零件进行了分类.在对典型产品现有的生产调度方法进行分析的基础上,根据每类零件的生产特点,采用不同的调度方法组织生产,以实现生产线的均衡,提高了生产线的生产能力.     

AFDX交换机在强实时条件下的分组调度

研究了航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)交换机分组调度方法的实时性能,采用实时通信中的周期性任务模型,依据AFDX协议"确定性网络"中关于交换机支持双优先级消息调度原则,推导出了相应的交换机关键参数的数学表达,提出了强实时约束下基于双优先级调度的负载匹配的分组调度方法(DP-LM,Dual Priority-Load Match),比较了单/双优先级分组调度的不同(消息调度、关键参数和匹配方法),算例结果表明:由于低优先级消息的引入将会对高优先级消息的实时传输产生重要影响.     

飞机地面除冰运行决策模型研究

对飞机地面除冰过程进行了分析,提出了一种包含航空公司、地面服务公司、机场除冰指挥三类Agent的多Agent飞机除冰调度模型．模型中每类Agent均采用归类式Agent结构。给出三类Agent的行为规则,按照“优先级高先服务”的原则为航班分配除冰资源。运用JADE软件开发框架开发Agent智能体,并就模型的可靠性、公平性、资源效用性进行了仿真研究,仿真结果验证了该模型的有效性.     

一种变参数滑模变结构控制及飞行控制应用研究

提出了一种新的负指数分布变参数滑模变结构控制,采用增益调度方法调节变结构控制器参数。通过自适应调节边界层系数、滑动模系数和控制增益系数实现降低能耗、减弱颤振的目标。对某飞机短周期迎角稳定控制系统进行仿真,结果表明了该控制方案的有效性和实用性。     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

涡扇发动机自增益调度H_∞控制器设计

对可以用LPV(线性变参数)系统表示的涡扇发动机对象,将其凸分解为多胞表示,利用多胞特性将整个控制器设计转化为对胞体顶点控制器的设计。然后利用LMI(线性矩阵不等式)方法,对多胞的各顶点设计具有单一Lyapunov函数满足H∞性能且极点在给定区域的输出反馈控制器,综合顶点控制器得到具有同样多胞结构的全局连续变增益控制器。通过与一般的PID控制器进行对比验证了此控制器的有效性。      

基于改进遗传算法的移动目标成像侦测任务规划问题研究

基于先验信息调用成像侦察卫星监控陆地或海洋移动目标动态信息是卫星成像侦察面临的新 课题。在已知移动目标位置等先验信息基础上,动态构造目标可变潜在区域及其运动预测模 型,利用STK辅助构造其候选成像观测活动集合;在此集合及目标运动预测模型基础上 对动态可变区域成像卫星调度问题进行建模,并设计了一种基于模拟退火算法及遗传算法的 改进遗传算法对问题进行求解,得到近最优的移动目标成像侦测方案。最后通过实例及算法 对比验证了规划模型及算法对解决该类问题的合理性和有效性。