航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

网络计算环境下任务调度问题研究

利用网上空闲处理机组成机群并行计算环境是快速增长的研究领域,任务调度是其中最关键性的问题之一.在基于消息传递机制的网络并行计算环境下,针对一类大粒度计算任务并行时协同同步工作问题,发展了一种新的静态调度模型,提出了调度算法,它映射一类特殊的并行程序任务到由网络上若干空闲处理机组成的机群中.研究表明该算法能减少此类并行程序的完成时间.      

多界面多任务下不同任务权重的目标辨认

武器装备人机界面设计中目标辨认问题,必须通过目标辨认的实验和评价研究加以解决.根据飞行作业中所需完成的操作任务,提出一个多界面多任务目标辨认实验方案.通过测定被试完成实验主任务的反应时间和正确探测率,研究人在不同任务权重下对目标颜色、形状、位置的辨认情况,为人机界面设计目标编码提供科学依据.实验结果表明:在需要分配人注意力的条件下,无论任务权重如何,绿色、红色和三角形是界面设计中合适的目标编码,圆形和正方形必要时可用于目标编码;人对不同位置的目标辨认受到任务权重的影响,人机界面对目标位置的设计要充分考虑任务权重因素.      

Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

基于图禁忌的并行测试任务调度算法

现有算法处理强约束关系的并行测试任务调度问题具有运算时间长、寻优概率低、收敛性差等缺陷,针对这些问题提出了一种基于图禁忌的调度算法.该算法从测试任务间的约束关系人手,利用图论建立测试任务间的关系图,并结合禁忌算法实现并行测试任务的多目标优化调度.算法中将强约束关系的测试任务调度问题与无约束关系的资源配置问题进行分离,提...     

基于MILP的多无人机对敌防空火力压制

建立了基于混合整数线性规划（Mixed Integer LinearProgram,MILP）的多无人机编队对敌防空火力压制协同任务分配模型,以0-1决策变量表征无人机一任务指派关系,引入连续时间决策变量来表示任务的执行时间,并通过对决策变量之间的线性等式和不等式的数学描述,建立无人机之间和无人机执行任务之间合理的协同约束关系。采用商用软件CPLEX对模型求解,仿真验证了模型的合理性。     

面向应急条件的多星动态调度方法

 针对应急条件下多星动态调度问题,建立了多目标数学规划模型,提出了应急条件多星成像任务合成策略:建立多星多轨任务合成图(MSMOTMG)模型,提出任务合成算法CP-TM。为克服合成导致任务成像机会减少的缺陷,提出了基于合成任务分解的修复技术。此外,为进一步提高调度效率,考虑了任务在等待队列中的向后移位策略,提出了综合考虑任务合成、修复和向后移位的多星动态应急调度(TMRBS-DES)算法。通过大量模拟实验,将TMRBS-DES算法同RBHA算法,以及3个baseline算法(BS-DES、TMR-DES和TMBS-DES)进行了比较。实验结果表明TMRBS-DES算法提高了调度质量,适用于应急条件下多星动态调度问题。     

基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

Cooperative task assignment of multi-UAV system

With the rapid development of Unmanned Aerial Vehicle (UAV) technology, one of the emerging fields is to utilize multi-UAV as a team under autonomous control in a complex environment. Among the challenges in fully achieving autonomous control, Cooperative task assignment stands out as the key function. In this paper, we analyze the importance and difficulties of multi-UAV cooperative task assignment in characterizing scenarios and obtaining high-quality solutions. Furthermore, we present three promising directions for future research: Cooperative task assignment in a dynamic complex environment, in an unmanned-manned aircraft system and in a UAV swarm. Our goal is to provide a brief review of multi-UAV cooperative task assignment for readers to further explore.     

一种VLBI数字基带转换器的设计与研究

数字基带转换器在VLBI系统中主要完成中频信号的基带转换和频段选择,文中采用频域抽取和邻信道合并技术设计一种VLBI数字基带转换器。采用该方法设计的转换器具有比较平坦的通带特性和较大的阻带衰减,能够方便地实现带宽的动态变化。文中对频域抽取进行理论推导论证,并根据邻信道合并的条件,详细说明了原型低通滤波器的设计方法,最后通过仿真验证了新方法的有效性。