期刊文献+
共找到55篇文章
< 1 2 3 >
每页显示 20 50 100
Autonomous air combat maneuver decision using Bayesian inference and moving horizon optimization 被引量:60
1
作者 HUANG Changqiang DONG Kangsheng +2 位作者 HUANG Hanqiao TANG Shangqin ZHANG Zhuoran 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2018年第1期86-97,共12页
To reach a higher level of autonomy for unmanned combat aerial vehicle(UCAV) in air combat games, this paper builds an autonomous maneuver decision system. In this system,the air combat game is regarded as a Markov pr... To reach a higher level of autonomy for unmanned combat aerial vehicle(UCAV) in air combat games, this paper builds an autonomous maneuver decision system. In this system,the air combat game is regarded as a Markov process, so that the air combat situation can be effectively calculated via Bayesian inference theory. According to the situation assessment result,adaptively adjusts the weights of maneuver decision factors, which makes the objective function more reasonable and ensures the superiority situation for UCAV. As the air combat game is characterized by highly dynamic and a significant amount of uncertainty,to enhance the robustness and effectiveness of maneuver decision results, fuzzy logic is used to build the functions of four maneuver decision factors. Accuracy prediction of opponent aircraft is also essential to ensure making a good decision; therefore, a prediction model of opponent aircraft is designed based on the elementary maneuver method. Finally, the moving horizon optimization strategy is used to effectively model the whole air combat maneuver decision process. Various simulations are performed on typical scenario test and close-in dogfight, the results sufficiently demonstrate the superiority of the designed maneuver decision method. 展开更多
关键词 autonomous air combat maneuver decision bayesian inference moving horizon optimization situation assessment fuzzy logic
下载PDF
贝叶斯程序分析
2
作者 张昕 王冠成 +4 位作者 吴宜谦 陈逸凡 李天驰 张羿凡 熊英飞 《电子学报》 EI CAS CSCD 北大核心 2024年第4期1155-1172,共18页
程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,... 程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向. 展开更多
关键词 程序分析 逻辑编程 概率逻辑编程 贝叶斯网络 贝叶斯推断
下载PDF
战术辅助决策系统中的态势评估问题研究 被引量:11
3
作者 周锐 余舟毅 +2 位作者 池沛 成晓静 陈宗基 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第9期2130-2133,共4页
从感知、评价、决策的认知过程研究了现代军机战术辅助决策系统结构、组成和功能,并对态势评估和任务规划两个关键子系统进行了研究,提出了基于黑板知识库系统的态势评估实现结构。重点研究了基于贝叶斯网络和模糊逻辑技术的战场威胁评... 从感知、评价、决策的认知过程研究了现代军机战术辅助决策系统结构、组成和功能,并对态势评估和任务规划两个关键子系统进行了研究,提出了基于黑板知识库系统的态势评估实现结构。重点研究了基于贝叶斯网络和模糊逻辑技术的战场威胁评估算法,首先采用贝叶斯网络对威胁源的威胁级别进行评估,在此基础上,采用模糊逻辑对各威胁源的相对重要性程度进行综合评估。仿真结果表明了该评估算法的有效性,提高了决策的自动化和智能化程度。 展开更多
关键词 态势评估 任务规划 模糊逻辑 贝叶斯网络
下载PDF
概率图模型的表示理论综述 被引量:9
4
作者 刘建伟 黎海恩 +1 位作者 周佳佳 罗雄麟 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1219-1226,共8页
概率图模型结合概率论与图论的知识,利用图结构表示变量的联合概率分布,近年已成为不确定性推理的研究热点.随着概率图模型在实际领域中的应用日益增加,不同的任务和应用环境对概率图模型的表示理论提出了不同的新要求.本文总结出近年... 概率图模型结合概率论与图论的知识,利用图结构表示变量的联合概率分布,近年已成为不确定性推理的研究热点.随着概率图模型在实际领域中的应用日益增加,不同的任务和应用环境对概率图模型的表示理论提出了不同的新要求.本文总结出近年来提出的多种概率图模型的表示理论.最后指出概率图模型的进一步研究方向. 展开更多
关键词 概率图模型 连续化 非齐次化 贝叶斯逻辑 马尔可夫逻辑 非参数化 矩阵正态图模型 COPULA函数 混合图模型
下载PDF
贝叶斯推理的逻辑与认知问题 被引量:11
5
作者 任晓明 黄闪闪 《浙江大学学报(人文社会科学版)》 CSSCI 北大核心 2012年第4期106-113,共8页
贝叶斯主义的复兴出现在统计推理领域,贝叶斯方法成功避免了经典统计推理中的主观因素问题以及先验回避问题,凸显了自身的归纳特性,因而是推理方法的革命。尽管目前贝叶斯主义风行,但它仍存在主观性、简单性与旧证据问题等难题,这也为... 贝叶斯主义的复兴出现在统计推理领域,贝叶斯方法成功避免了经典统计推理中的主观因素问题以及先验回避问题,凸显了自身的归纳特性,因而是推理方法的革命。尽管目前贝叶斯主义风行,但它仍存在主观性、简单性与旧证据问题等难题,这也为其进一步发展留下了宽广空间。认知心理学近来对贝叶斯推理研究的发展,为贝叶斯推理研究的认知转向提供了契机,同时为这种方法的发展提供了可能的进路:探索频率主义与贝叶斯主义整合的可能性;在外延性归纳逻辑中引入内涵因素,尝试外延性与非外延性因素的融合。 展开更多
关键词 统计推理 贝叶斯推理 逻辑 困境 认知转向
下载PDF
基于非确定性推理的网构软件服务质量动态评估方法 被引量:10
6
作者 吴国全 魏峻 黄涛 《软件学报》 EI CSCD 北大核心 2008年第5期1173-1185,共13页
提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估... 提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SCB)平台上进行了应用与验证,结果表明,该评估模型准确、有效,可以在用户多种QoS需求下为其选择最为合适的构件. 展开更多
关键词 网构软件 服务分级 服务质量 贝叶斯网络 模糊逻辑
下载PDF
基于综合性评估的无线链路质量分类预测机制 被引量:13
7
作者 郭志强 王沁 +1 位作者 万亚东 李默涵 《计算机研究与发展》 EI CSCD 北大核心 2013年第6期1227-1238,共12页
在无线传感器网络的应用中,对无线链路质量进行有效地评估和预测是网络协议设计中的一个基础性问题,特别是对于提高数据的传输可靠性.从刻画无线链路质量的多维角度出发,基于模糊逻辑设计了一个综合性链路质量指标(fuzzy-logic based li... 在无线传感器网络的应用中,对无线链路质量进行有效地评估和预测是网络协议设计中的一个基础性问题,特别是对于提高数据的传输可靠性.从刻画无线链路质量的多维角度出发,基于模糊逻辑设计了一个综合性链路质量指标(fuzzy-logic based link quality index,FLI),体现了无线链路的可靠性、波动性和丢包突发性对于链路数据传输可靠性的影响.然后基于FLI准则,利用贝叶斯网络设计了一种对无线链路质量进行分类预测的机制.通过3个实际无线传感器网络研究平台的链路数据集进行实验分析和对比,该机制中的分类预测器的平均预测精度约为85%.相比于4C预测器,在保证平均预测精度的同时,克服了其预测精度在分类界限处的畸变下滑现象,使预测精度的分布均匀化. 展开更多
关键词 无线传感器网络 链路质量评估 分类预测 模糊逻辑 贝叶斯网络
下载PDF
面向城市道路交通状态估计的数据融合研究 被引量:10
8
作者 徐涛 杨晓光 +1 位作者 徐爱功 张明月 《计算机工程与应用》 CSCD 北大核心 2011年第7期218-221,共4页
实时道路交通状态估计是ATMS和ATIS的重要内容。布设于城市道路网络中的各类检测器提供了丰富实时的动态信息。针对目前我国各检测器间相互独立形成信息孤岛、数据参数多样、结构迥异、采样周期和精度不一等现状,采用贝叶斯估计、模糊... 实时道路交通状态估计是ATMS和ATIS的重要内容。布设于城市道路网络中的各类检测器提供了丰富实时的动态信息。针对目前我国各检测器间相互独立形成信息孤岛、数据参数多样、结构迥异、采样周期和精度不一等现状,采用贝叶斯估计、模糊逻辑等数据融合方法建立多源异构交通信息三层次融合体系,得到精度更高、可靠性更强的交通信息。实例证明,数据融合适用于城市道路交通状态估计。 展开更多
关键词 智能交通系统 交通状态估计 数据融合 贝叶斯估计 模糊逻辑
下载PDF
结合模糊逻辑的贝叶斯网络在态势评估中的应用 被引量:4
9
作者 张红兵 赵杰煜 罗雪山 《计算机应用研究》 CSCD 北大核心 2004年第7期167-170,共4页
在对数据融合模型和态势评估方法研究的基础上 ,提出了用模糊逻辑和贝叶斯网络技术结合的方法来处理随机环境中的态势评估。利用传感器获取的信息对整个战场态势作出全面的评估 ,为在不确定性的动态环境中指挥控制决策提供支持 。
关键词 态势评估 贝叶斯网络 模糊逻辑 数据融合
下载PDF
智能化战术任务管理系统研究 被引量:3
10
作者 周锐 成晓静 +1 位作者 余舟毅 陈宗基 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第8期858-862,共5页
从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估... 从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估,运用模糊逻辑对各威胁源的相对重要性进行了推理,实现了对威胁源威胁级别和相对重要性的连续动态评估.研究了基于动态A 算法的战术飞机飞行路径在线实时规划问题,实现了态势评估与路径规划两子系统之间的集成.研究结果表明了该系统方案和算法的有效性,任务规划系统能够自适应战场态势的变化. 展开更多
关键词 态势评估 路径规划 贝叶斯网络 模糊逻辑 动态A^*算法
下载PDF
重大交通突发事件中的态势评估研究 被引量:4
11
作者 侯琳 杨帆 +1 位作者 张佐 张毅 《交通信息与安全》 2009年第S1期67-69,73,共4页
态势评估是交通应急管理的基础。针对重大交通突发事件中的态势评估,提出了分析预测流程,并对态势要素及各阶段功能进行阐述。结合国内外已有的态势评估研究成果,举例说明人工智能方法在突发事件态势评估领域的应用。
关键词 突发事件管理 态势评估 神经网络 贝叶斯网络 模糊逻辑
下载PDF
基于FBCREAM方法的飞机驾驶人因可靠性评估模型 被引量:11
12
作者 郭云东 孙有朝 《科学技术与工程》 北大核心 2021年第27期11843-11849,共7页
飞机驾驶人为差错是导致飞行不安全事件/事故的重要因素之一,为有效预测飞机驾驶人因可靠性,减少人为差错,确保飞行安全,提出一种基于FBCREAM(fuzzy Bayesian cognitive reliability and error analysis method)的飞机驾驶人因可靠性评... 飞机驾驶人为差错是导致飞行不安全事件/事故的重要因素之一,为有效预测飞机驾驶人因可靠性,减少人为差错,确保飞行安全,提出一种基于FBCREAM(fuzzy Bayesian cognitive reliability and error analysis method)的飞机驾驶人因可靠性评估模型。考虑飞机驾驶的情境环境及人因特征,调整原始CREAM(cognitive reliability and error analysis method)中的人为差错形成条件使其更合理地表征驾驶舱中飞行员工作情境。引入模糊逻辑方法,利用隶属函数对人为差错形成条件的不确定性和模糊性进行建模。以人为差错形成条件的隶属度为输入参数,人为差错模式隶属度为输出构建贝叶斯网络模型,通过解模糊化方法计算人为差错概率精确值。选取单发故障情境环境下执行飞行任务进行实例分析,结果表明该方法能够准确评估飞机故障情境环境下的飞机驾驶人因可靠性,可为航空安全评估提供有效的工具和重要支持。 展开更多
关键词 人为差错 人因可靠性 模糊逻辑 贝叶斯网络 航空安全评估
下载PDF
改进贝叶斯推理的栅格地图更新与障碍物检测 被引量:3
13
作者 段建民 王昶人 +1 位作者 任璐 刘丹 《激光杂志》 北大核心 2017年第8期13-18,共6页
随着科技发展,激光雷达在无人驾驶车中的应用成为社会热门的话题。其中,栅格地图也成为动态障碍物检测的手段之一。原始贝叶斯推理方法在栅格概率趋于极值时,若栅格状态发生改变则体现出的很强的滞后性,因此提出一种利用模糊逻辑矫正权... 随着科技发展,激光雷达在无人驾驶车中的应用成为社会热门的话题。其中,栅格地图也成为动态障碍物检测的手段之一。原始贝叶斯推理方法在栅格概率趋于极值时,若栅格状态发生改变则体现出的很强的滞后性,因此提出一种利用模糊逻辑矫正权值变量对贝叶斯后验概率进行限制的算法。应用改进的贝叶斯推理更新栅格状态并利用冲突变量检测动态障碍物。最后,通过膨胀、腐蚀、改进连通区域标记法及一维数据区间密度算法提取障碍物信息及可行驶区域信息。实车实验表明提出方法的有效性。 展开更多
关键词 无人驾驶 栅格地图 模糊逻辑 贝叶斯推理 障碍物检测
下载PDF
贝叶斯决策理论与归纳逻辑 被引量:13
14
作者 熊立文 《北京师范大学学报(社会科学版)》 CSSCI 北大核心 2005年第2期108-113,共6页
贝叶斯决策理论是主观贝叶斯派归纳理论的重要组成部分。现代归纳逻辑遇到 “归纳接受”的难题,一部分学者用贝叶斯决策理论的思想和方法解决这个问题,后来导致了信念 修正理论的产生。从只考察归纳推理前提与结论之间的逻辑联系到... 贝叶斯决策理论是主观贝叶斯派归纳理论的重要组成部分。现代归纳逻辑遇到 “归纳接受”的难题,一部分学者用贝叶斯决策理论的思想和方法解决这个问题,后来导致了信念 修正理论的产生。从只考察归纳推理前提与结论之间的逻辑联系到全面地刻画归纳推理的动态 认知过程,现代归纳理论的发展呈现出一种新的面貌,而贝叶斯决策理论是其中承上启下的一 环。对贝叶斯决策理论的检验和修正导致了富有成果的新理论的建立。 展开更多
关键词 贝叶斯决策理论 归纳逻辑 规范性理论 描述性理论
下载PDF
朴素贝叶斯分类器一阶扩展的注记 被引量:1
15
作者 徐光美 杨炳儒 钱榕 《计算机工程》 CAS CSCD 北大核心 2008年第13期49-50,53,共3页
众多研究者致力于将朴素贝叶斯方法与原有的ILP系统结合,形成各种各样的多关系朴素贝叶斯分类器(MRNBC)。该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法。现实中关系数据库广泛存在,可以直接作用于数据库表,而无须转换表示形式的MR... 众多研究者致力于将朴素贝叶斯方法与原有的ILP系统结合,形成各种各样的多关系朴素贝叶斯分类器(MRNBC)。该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法。现实中关系数据库广泛存在,可以直接作用于数据库表,而无须转换表示形式的MRNBC则是研究的重点,该方法主要基于关系数据库理论,分析了进行一阶扩展的关键问题。 展开更多
关键词 多关系数据挖掘 朴素贝叶斯 分类 归纳逻辑程序设计 关系数据库
下载PDF
基于贝叶斯网络的不确定因果逻辑量化分析方法 被引量:2
16
作者 林青 戴慧珺 任德旺 《计算机系统应用》 2016年第9期27-34,共8页
在安全苛求系统中,潜在风险会引发灾难事故,研究分析潜在风险的影响至关重要.风险到事故的因果逻辑关系包括两类:确定性和非确定性的.确定性因果关系可以用事件树、故障树等分析.由于非确定性因果关系包含不确定性因素和数据不足,贝叶... 在安全苛求系统中,潜在风险会引发灾难事故,研究分析潜在风险的影响至关重要.风险到事故的因果逻辑关系包括两类:确定性和非确定性的.确定性因果关系可以用事件树、故障树等分析.由于非确定性因果关系包含不确定性因素和数据不足,贝叶斯网络成为最佳选择.量化分析中,条件概率的分配是一件不容易的工作,本文提出一种基于模糊逻辑的分配方法,结合建立的不确定性影响模型,利用贝叶斯网络进行量化分析,分析确定性因素的影响.最后通过实例学习,验证和评估方法的有效性. 展开更多
关键词 贝叶斯网络 非确定因果逻辑 模糊逻辑
下载PDF
概率逻辑模型与学习研究进展
17
作者 徐光美 杨炳儒 +1 位作者 张伟 宁淑荣 《计算机科学》 CSCD 北大核心 2007年第1期130-132,共3页
近年来,概率逻辑学习研究取得了很大进展,已经提出各种不同的形式化方法和学习方法,包括概率关系模型(PRMs)、贝叶斯逻辑程序(BLPs)、逻辑贝叶斯网络(LBNs)和随机逻辑程序(SLPs)等。文章重点介绍了贝叶斯网络与一阶逻辑的结合,并以PRMs... 近年来,概率逻辑学习研究取得了很大进展,已经提出各种不同的形式化方法和学习方法,包括概率关系模型(PRMs)、贝叶斯逻辑程序(BLPs)、逻辑贝叶斯网络(LBNs)和随机逻辑程序(SLPs)等。文章重点介绍了贝叶斯网络与一阶逻辑的结合,并以PRMs、BLPs和LBNs为例,描述了基于贝叶斯网络的概率逻辑模型(PLMs)的知识表示方法,给出了此类PLMs一般使用的参数估计方法和结构学习方法,并给出了建议的研究方向。 展开更多
关键词 概率逻辑模型 概率关系模型 贝叶斯逻辑程序 逻辑贝叶斯网络 概率逻辑学习
下载PDF
贝叶斯主义的主观性问题及其发展进路 被引量:1
18
作者 黄闪闪 《山东科技大学学报(社会科学版)》 2012年第6期11-20,共10页
贝叶斯主义在科学领域的成功运用,使其从特殊方法上升抽象为一般的归纳方法。虽然整体上并未影响其恰当性与实用性,贝叶斯方法论却存在以主观性为代表的局部问题。逻辑主义的主观性问题表现在无差别原则导致的悖论和不一致上;概率演算... 贝叶斯主义在科学领域的成功运用,使其从特殊方法上升抽象为一般的归纳方法。虽然整体上并未影响其恰当性与实用性,贝叶斯方法论却存在以主观性为代表的局部问题。逻辑主义的主观性问题表现在无差别原则导致的悖论和不一致上;概率演算公理要求的可数可加性附带的信念不对称问题,以及意见收敛定理相关的条件化中的一致性问题,使得主观主义面临主观性诘难。为此,整体上借鉴主体交互解释、非帕斯卡概率逻辑以及认知科学成果进行调整与发展,贝叶斯主义仍是具有优势与发展前景的研究纲领。 展开更多
关键词 贝叶斯主义 逻辑主义 主观主义 主观性
下载PDF
安全监测系统传感器逻辑结构动态优化方法研究 被引量:1
19
作者 郭博智 崔卫民 +1 位作者 喻天翔 宋笔锋 《机械强度》 EI CAS CSCD 北大核心 2008年第5期713-717,共5页
提出一种安全监测系统传感器逻辑结构的动态优化方法,通过一个动态贝叶斯网络描述被监测系统(设备)与安全监测系统的关系,使由于安全监测系统"漏报"和"虚警"两类故障引起的总预期损失降到最小,从而确定传感器系统... 提出一种安全监测系统传感器逻辑结构的动态优化方法,通过一个动态贝叶斯网络描述被监测系统(设备)与安全监测系统的关系,使由于安全监测系统"漏报"和"虚警"两类故障引起的总预期损失降到最小,从而确定传感器系统最优的动态逻辑结构。用一个三传感器安全监测系统逻辑结构动态优化的算例说明所提方法的特性和优点。 展开更多
关键词 安全监测系统 逻辑结构 动态贝叶斯网络 优化设计 总预期损失
下载PDF
《现代归纳逻辑的哲学视野》述评 被引量:4
20
作者 桂起权 《重庆理工大学学报(社会科学)》 CAS 2011年第1期9-13,19,共6页
以"对归纳概率的多元主义解释研究"作为切入点,解析逻辑哲学的核心理念以及如何应用于非经典逻辑,尤其是现代归纳逻辑。与此同时,从特定角度对我国归纳逻辑梯队"三代人"的成长作了简要的历史性评述。
关键词 概率归纳逻辑 逻辑哲学 多元主义 主观贝叶斯主义
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部