无循环有向图的传递归约

本文从无循环有向图的代数结构出发,着重探讨了与无循环有向图的基本框架图相对应的传递归约所具有的重要性质,并引出有关定理,这些定理对于图论的代数运算具有实用意义。     

INDU网络对于战场动态协同的支持

为了在多维战场上赢得胜利．我军必须做到诸作战单元之间的精确协同。本文分析了战场上动态协同的各种情况，描述了战斗动作间的时态依赖和逻辑依赖，介绍了区间代数的扩展—INDU网络，并利用它来支持战场上的动态协同。     

用含特征集的矩阵运算进行时态关系的传播

用集合进行时态的表示与推理,降低计算复杂性.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强.时态关系的区间表示比较直观,容易理解.同时,它可以进一步扩展到二维空间领域,拓展成为矩阵代数,实现二维空间的推理.对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,构造出了13个特征集,使得它们既能表达原子矩阵间的差异,又不会分离出多余的原子矩阵,也不会漏掉应该有的原子矩阵.含25个元素的矩阵可以用含不超过3个元素的特征集来表示,将矩阵运算转换为集合运算,提高了计算效率.