ID 原文 译文
58858 针对复杂战场环境下目标信息不确定性造成目标识别困难和误判,导致目标识别结果准确率低的问题, 提出了一种基于离散因子多传感器目标识别的数据融合方法。 In the complex battlefield environment, the uncertainty of target information causes the target recognition difficulty and misjudgment, which brings about the problem of a low accuracy of target recognition results.
58859 通过多时段、多区域获取的多个传感器输出的数据,给出目标特性相应的传感器的离散因子; This paper proposes a data fusion method for multi-sensor target recognition based on the discrete factor, which can give rise to the output data of the multi-sensor at the multi-period and multi-regions detection, and bring about the discrete factor of obtaining target characteristic corresponding sensors.
58860 依据离散因子给出多传感器目标识别的当前权重,建立多传感器目标识别的相对一致性和相对加权一致性等函数;结合多传感器目标识别的当前权重以及相关的一致性函数,构建了多传感器目标识别的数据融合支持度计算模型。 It can provide the current weight of multi-sensor target recognition according to the discrete factor, establish the relative consistency and the relative weighted consistency function of multi-sensor target recognition, combine the current weight of multi-sensor target recognition and the related consistency function, and construct the data fusion result support calculation model of multi-sensor target recognition.
58861 试验结果表明:在复杂环境下,与提前给定传感器权重目标识别的数据融合方法比较,基于离散因子多传感器目标识别的数据融合方法的目标识别结果更加准确,符合实际。 Experimental results show that when the environment is complex, the data fusion method for multi-sensor target recognition based on the discrete factor has more accurate target recognition results, which conforms to the reality in comparison with the data fusion method for target recognition with a given sensor weight in advance.
58862 说明这种方法更加可靠,并具有一定的抗干扰能力。 It is shown that the method proposed in this paper is more reliable and has a certain anti-interference ability.
58863 为缓解模型检测的状态空间爆炸问题,提出一种基于命题投影时序逻辑的分布式模型检测方法。 To alleviate the state-explosion problem of model checking, a novel distributed model checking method based on the propositional projection temporal logic (PPTL).
58864 通过标记范式图技术将命题投影时序逻辑公式描述的待验证性质转换为自动机; First, the property to be verified in the PPTL formula is transformed into an automaton with the technique of Labeled Normal Form Graph, which in turn is partitioned into multiple subautomata according to the strongly connected components.
58865 根据强连通分量将其状态空间划分为多个子自动机,将各个子自动机与层次语法图描述的待验证系统模型分发至验证服务器集群中,使用动态验证技术进行多机协同完成系统模型检测验证。 Then, each subautomaton and the system model in the Hierarchical Syntax Chart are delivered to the members of the verification server cluster, and model checking of the system is implemented in parallel with the on-the-fly technique on multiple computers.
58866 实验结果表明,该方法和单机模型检测相比验证时间明显降低,且能够验证更复杂的系统。 Experimental results indicate that, compared with the standalone model checking approach, the proposed method can not only significantly reduce the time consumption but also verify more complex systems.