-
题名DSlT:面向传感网信息融合的证据推理方法
被引量:3
- 1
-
-
作者
陈浩
王睿
孙荣丽
肖克江
崔莉
-
机构
中国科学院计算技术研究所
中国科学院大学计算机与控制学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第4期972-982,共11页
-
基金
国家自然科学基金项目(61003292
61379134)
+1 种基金
中国科学院战略性先导科技专项项目(XDA06010403)
国家国际科技合作专项项目(2013DFA10690)
-
文摘
无线传感器网络信息融合技术是近期的研究热点和难点,其面临的主要挑战包括:对高冲突信息的处理以及算法轻量级的要求.从降低计算量和处理冲突信息2方面考虑,提出一种基于逻辑表达的证据推理方法 DSlT.通过对信息的逻辑表达保留了信息中的冲突部分,提出基于逻辑运算的证据组合规则,能较好地适应高冲突证据间的融合;通过定义新的焦元,有效地减少了焦元组合数目,从而大大降低了计算量.采用算例分析和真实场景实验2种方法分别对DSlT推理方法进行验证:算例分析表明DSlT能显著提升高冲突信息融合性能,同时在执行3维证据融合运行时间对比中,DSlT比DSmT减少了81.08%;在以图像传感器网络交通信息采集为背景的真实场景实验中,通过将本方法与DST,DSmT等典型融合方法进行比较,进一步表明了该方法的有效性和先进性,也展示出该方法在无线传感器网络信息融合领域的较大应用潜力.
-
关键词
基于逻辑表达的证据推理方法
无线传感器网络
信息融合
证据理论
高冲突
轻量级运算
-
Keywords
Dempster-Shafer theory of evidence with logicals (DS1T)
wireless sensor networks(WSNs)
information fusion
evidence theory
high conflicting
light-weight computation
-
分类号
TP212
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种新的Petri网推理方法
被引量:5
- 2
-
-
作者
王志坚
蔡自兴
-
机构
中南大学信息科学与工程学院
-
出处
《计算机工程与科学》
CSCD
2002年第2期102-104,共3页
-
基金
国家自然科学基金资助项目 (699740 73 )
国家博士点基金资助项目 (990 5 3 3 17)
-
文摘
提出一种新的基于Petri网的知识表达方法和逻辑推理算法 ,通过减少重复推理过程 ,充分利用推理过程中已经得到的中间结论。该算法比现有算法减少了推理步数 。
-
关键词
PETRI网
推理方法
知识表达
逻辑推理
人工神经网络
-
Keywords
Petri net
knowledge representation
logical inference
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名《水污染》课堂实录与评析
- 3
-
-
作者
敦文术
袁琳虹
-
机构
河北省石家庄市教育科学研究所
河北省正定县开元小学
-
出处
《湖北教育》
2024年第4期23-25,共3页
-
文摘
《水污染》是六年级“科技革命的影响”单元中的一课,按照“什么是水污染—水污染的原因—水污染的危害”的逻辑顺序展开探究,培养学生提出问题、作出假设、制订计划、搜集证据、处理信息、得出结论、表达交流、反思评价的科学探究能力。本课分为三部分。第一部分:制订计划,搜集证据。
-
关键词
制订计划
表达交流
搜集证据
水污染
课堂实录
逻辑顺序
科学探究能力
反思评价
-
分类号
G63
[文化科学—教育学]
-
-
题名例谈在科学项目中培养学生批判性思维
- 4
-
-
作者
张若兰
-
机构
江苏省常州市金坛尧塘实验小学
-
出处
《湖北教育》
2023年第13期60-61,共2页
-
基金
江苏省教育科学“十四五”规划课题“大统整概念下小学科学探究活动的优化实施研究”,序号:C-c/2021/02/129。
-
文摘
批判性思维,是指为了对世界进行理智的判断,对自己或者他人的思维进行评估,以考验思维是否符合逻辑,是否符合好的标准的过程。[1]笔者认为,在小学科学课堂中学生需要培养的批判性思维应该包括系统化能力、寻求证据能力、分析能力、逻辑表达能力等和心态公正的品质。
-
关键词
逻辑表达
小学科学课堂
批判性思维
符合逻辑
证据能力
系统化
例谈
-
分类号
G63
[文化科学—教育学]
-
-
题名埃弗斯谈“模糊实在的逻辑可能性”
- 5
-
-
作者
徐兰
-
出处
《哲学动态》
CSSCI
北大核心
1992年第7期14-15,共2页
-
文摘
瑞典女哲学家埃弗斯(K.Evers)博士于1992年5月8日在中国社会科学院哲学所就“模糊实在的逻辑可能性”问题发表了演讲.埃弗斯说,对于“世界会是模糊的吗?”这个问题,经典的分析哲学家肯定竭力否定,他们不会承认世界上存在模糊的要素,也不承认任何模糊的边界或区分.但是,现在大量的科学家和哲学家已放弃了这种实在是由分离确定的部分组成,或者彼此光滑连接形成统一体的观点.一系列的证据表明,模糊实在的逻辑可能性是成立的,也就是说,反对模糊实在的主要逻辑证据即,(1)语词表达;(2)自我同一性;(3)莱布尼茨的同一性定理皆不能作为证据.因此,我们应该在某种程度上容许模糊实在的存在.
-
关键词
逻辑可能性
莱布尼茨
非决定论
自我同一性
本体论意义
证据
语词表达
哲学家
分析哲学
光滑连接
-
分类号
B0
[哲学宗教—哲学理论]
-