非死锁合同网协议驱动的多机分布式时序任务分配

针对多无人机协同任务分配的时序约束问题，提出了基于非死锁合同网协议(DF CNP)的分布式时序任务分配方法，从理论上避免任务死锁，提升分配结果最优性。定义了局部信息条件下时序任务死锁判据，通过检测时序任务图环路状态与顶点可达性，判定分配方案的全局死锁状态，保证分配结果的可行性。定制了最近邻-深度优先混合搜索算法，在合同网排序过程中优先选择最近邻任务，并结合死锁判据递归回溯，在分布式架构下并行生成满足死锁约束的任务排序方案，提升分配结果的最优性。仿真对比结果表明：相比于非死锁遗传算法(TB GA)，DF CNP在求解效率方面具有显著优势；与耦合约束一致性束算法(CBBA TCC)相比，DF CNP结果最优性明显提升。     

UML在航空电子系统中的应用研究

UML是使用最广泛的面向对象建模语言,它是信息技术的蓝图和详细描述系统结构的方法.象在非航空电子系统一样,UML在航空电子系统中也得到了普遍应用.不同的公司对UML在航空电子系统中的应用进行了不同的扩展.但是,OMG(Object Management Group)没有把任何一种扩展作为标准.本文通过应用研究对 IBM Rational的 B.Selic提出的 UML/RT进行扩展,将它应用到航空电子系统中,并且详细说明扩展的意义和结果。