-
题名D-S规则推广及其在飞机目标识别中的应用研究
被引量：5
- 1
-
-
作者
许红波
丁建江
胡伟稿
-
机构
国防科技大学四院
空军雷达学院科研部
-
出处
《雷达与对抗》
2006年第1期34-38,共5页
-
基金
总装重点项目(KJ04100)支持
中电科技集团公司第14所预研项目支持
-
文摘
在多传感器特征信息融合算法中,D-S理论得到了广泛应用,但该理论在处理多特征冲突问题时识别效果不十分理想。针对这种情况,本文推广了D-S规则,得出了一种处理冲突信息的新方法。在分析推广规则受融合顺序影响的基础上,提出了最佳融合顺序,较好地利用了冲突信息,并通过仿真比较了D-S规则和推广规则应用于飞机目标识别的效果。结果表明:本文提出的D-S理论推广规则能有效解决多特征冲突的飞机目标识别难题。
-
关键词
特征信息融合
D—S推广规则
融合顺序影响
目标识别
-
Keywords
feature data fusion
extended D-S rule
effect of fusion order
target recognition
-
分类号
TN911.7
[电子电信—通信与信息系统]
-
-
题名推广规则后一阶逻辑公式的准真度
被引量：1
- 2
-
-
作者
秦晓燕
-
机构
山西师范大学数学与计算机科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2019年第6期39-41,139,共4页
-
基金
山西省自然科学基金面上项目(No.201601D011043)
国家自然科学基金重点项目(No.11531009)
-
文摘
计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果,讨论经过推广规则后,一阶逻辑公式准真度的变化情况,证明经过推广规则后,一阶逻辑公式在基于准真度的一阶逻辑公式集的分类中类别不变。
-
关键词
计量逻辑
一阶逻辑
准真度
推广规则
-
Keywords
quantitative logic
first-order logic
quasi-truth degree
generalization rule
-
分类号
O141
[理学—数学]
-
-
题名一个约束逻辑的消解原理
- 3
-
-
作者
何翠红
-
机构
广东工业大学计算机科学与工程系
-
出处
《广东工学院学报》
1996年第4期64-70,共7页
-
文摘
为变量受约束理论约束的子句引入一种消解原理的约束逻辑方法。约束可看成量词限制，滤去那些约束理论的任何解释都可指定给带有这样的限定量词公式的变量值。本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。研究表明，如果约束子句集不满足约束理论当且仅当对约束理论的每一模型，能推出一约束空子句，而该空子句的约束在模型中是可满足的。
-
关键词
量词限定
约束逻辑
消解原理
推广规则
谓词逻辑
-
Keywords
resolution
constraint
quantifier restriction
-
分类号
O141.12
[理学—数学]
-
