INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解的一致性计算。

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

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

模糊区间段的矩阵表示及其运算

介绍了Allen的区间代数及其扩展——INDU网络,将Heisenberg不确定性原理应用于INDU网络,并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除.因为在现实世界中这15种关系是不可能出现的,于是就产生了有10种基本关系的FINDU网络.然后,定义了1种类布尔运算,并依此给出了FINDU网络的矩阵表示.FINDU网络在军事多自主体系统中可以得到很好的应用.

协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。

区间代数与区间段代数在定性时态推理中的联合运用

详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示。研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表。将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法。

时间的模糊区间段表示及其运算

介绍了Allen的区间代数及其扩展——INDU网络,将Heisenberg不确定性原理应用于IN-DU网络,将INDU的25种基本关系中两区间有端点相等的或区间段相等的这15种关系删除,这15种关系在现实世界中是不可能出现的,就产生了有10种基本关系的FINDU网络,给出了FINDU网络的复合运算表。FINDU网络在军事多自主体系统中可以得到很好的应用。