多局部节点异步航迹快速关联算法

为解决传统多维分配算法在多局部节点航迹关联中的运算量爆炸问题,提出一种应用于多局部节点的异步航迹快速关联算法。首先,引入虚拟航迹插值重构量测航迹,然后定义虚实混合航迹序列的时序离散度(temporal discrete degree,TDD),并在此基础上采用重新设计的多维次序匹配算法进行航迹关联判定,待判定结束后进行TDD线性趋势系数(TDD-linear trend coefficient,TDD-LTC)检验,以排除关联的多义性。仿真结果表明,相同条件下,所提算法在不损失正确关联率的同时,可极大提升关联速度,且在多局部节点、目标密集等情况下关联速度更具优势,明显优于现有算法。

基于有限迁移系统的线性时态逻辑的计量化方法

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。