期刊文献+
共找到56篇文章
< 1 2 3 >
每页显示 20 50 100
贝叶斯程序分析
1
作者 张昕 王冠成 +4 位作者 吴宜谦 陈逸凡 李天驰 张羿凡 熊英飞 《电子学报》 EI CAS CSCD 北大核心 2024年第4期1155-1172,共18页
程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,... 程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向. 展开更多
关键词 程序分析 逻辑编程 概率逻辑编程 贝叶斯网络 贝叶斯推断
下载PDF
Autonomous air combat maneuver decision using Bayesian inference and moving horizon optimization 被引量:54
2
作者 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
A Bayesian Approach to Robot Group Control
3
作者 Tomislav Stipancic Bojan Jerbic Petar Curkovic 《Computer Technology and Application》 2011年第9期716-723,共8页
关键词 工业机器人 贝叶斯方法 控制 贝叶斯网络 工业应用 行为模式 决策机制 人工干预
下载PDF
绿色金融标准演进路径及制度逻辑研究 被引量:4
4
作者 张奔 宫大卫 于潇 《统计与信息论坛》 北大核心 2023年第9期64-79,共16页
绿色金融标准体系建设是推动绿色金融发展的重要抓手,厘清绿色金融标准演进路径对推动绿色金融标准发展具有重要意义。首先,利用聚类分析,对截至2021年101个国家级行政主体及7个部门主体发布的绿色金融标准进行分类归纳,总结出全球绿色... 绿色金融标准体系建设是推动绿色金融发展的重要抓手,厘清绿色金融标准演进路径对推动绿色金融标准发展具有重要意义。首先,利用聚类分析,对截至2021年101个国家级行政主体及7个部门主体发布的绿色金融标准进行分类归纳,总结出全球绿色金融标准发展的五种不同路径。其次,从制度演进视角分析绿色金融标准发展的路径依赖,构建一个基于传导路径视角的绿色金融标准变迁发生机理的经济学模型,并分析各行为主体在不同经济治理体系下制订绿色金融标准的行为逻辑。研究发现,不同国家(地区)在不同时期对绿色金融标准的关注主题是不同的,而中央政府、中央银行(联合)、金融监管机构发布的标准与16个主题的相关性较其他行为主体的相关性更强。同时,根据贝叶斯时空模型分析结果,制度和技术是引致绿色金融标准变迁的重要因素。最后,运用成本收益分析方法,分析了行为主体推动绿色金融标准制订和发展的内在逻辑:当绿色金融标准发布主体的成本低于绿色金融标准执行主体的收益时,产生正的消费者剩余,标准得以实施,反之则需要修订或发布新的标准。这一内在逻辑推动了各方主体对绿色金融标准制订方向和数量的调整,以满足各方利益需求。通过创新运用数理统计方法进行分析,构建绿色金融标准变迁的经济模型,分析制度变迁的驱动因素,为绿色金融标准建设提供了计量分析的研究方法,研究的观点和结论可为绿色金融标准发展提供具体的方法和思路,以期引导绿色金融标准实现差异化统一。 展开更多
关键词 绿色金融标准 聚类分析 制度逻辑分析 贝叶斯时空模型 成本收益分析
下载PDF
基于混合贝叶斯神经网络的电网故障处置诊断研究
5
作者 杨斌 胡真瑜 +2 位作者 赵静 孙龙祥 林捷 《自动化技术与应用》 2023年第12期168-171,共4页
随着电网规模的发展壮大,电网故障诊断和故障处置难度不断增加。为此本文针对在海量告警信息情况下的故障定位困难、故障处置不及时、负荷恢复考虑不健全的电网故障处置问题,提出了一种基于贝叶斯信念网络和神经网络自学习推理系统的混... 随着电网规模的发展壮大,电网故障诊断和故障处置难度不断增加。为此本文针对在海量告警信息情况下的故障定位困难、故障处置不及时、负荷恢复考虑不健全的电网故障处置问题,提出了一种基于贝叶斯信念网络和神经网络自学习推理系统的混合技术,用于海量数据情况下的故障定位、故障处置决策的电网故障诊断和安全评估,最后以电网安全评估为例进行仿真验证。研究和仿真结果显示将神经网络自学习推理系统与贝叶斯信念网络相结合,可以快速、有效实现海量告警信息情况下的电网故障分析、诊断及处置,表明本文所提出的混合方法可有效进行电网故障诊断,有助于调度操作人员做出最佳负荷恢复处置决策。 展开更多
关键词 模糊逻辑 贝叶斯网络 故障诊断 故障处置 神经网络
下载PDF
法律模糊性问题的“解码”与“计算”
6
作者 刘东亮 《现代法学》 北大核心 2023年第6期49-70,共22页
在法律实践中,常常需要模糊推理和模糊判断。由“模糊逻辑之父”拉特飞·扎德开创的模糊逻辑理论,提供了一种分析模糊性问题的新工具,可用以解析不确定法律概念,认定信息不完备条件下的待证事实,并作出模糊综合评判。特别是扎德的... 在法律实践中,常常需要模糊推理和模糊判断。由“模糊逻辑之父”拉特飞·扎德开创的模糊逻辑理论,提供了一种分析模糊性问题的新工具,可用以解析不确定法律概念,认定信息不完备条件下的待证事实,并作出模糊综合评判。特别是扎德的“词语计算”和“软计算”理论,比较清晰地揭示了人类的思维过程,也使我们更容易理解法官的判案过程。这一过程可以概括为:“软计算=贝叶斯法则+语言概率”,即用当事人双方提供的证据所反映的信息,不断修正、调整其主观上以语言变量而非数值形式表示的概率性认识(置信度),经渐进收敛,对事实存在的可能性形成“内心确信”,然后据以作出裁判。 展开更多
关键词 模糊逻辑 软计算 贝叶斯法则 语言概率 计算思维
下载PDF
延安气田钻井现场安全风险管控研究
7
作者 马弘刚 张明 +2 位作者 王明倩 梁东阳 杨浩 《能源与环保》 2023年第4期21-26,共6页
为了保障延安气田钻井项目安全推进,研究了延安气田钻井现场安全风险管控方法。分析了延安气田钻井施工现场风险源,利用GIS技术和数据库形式获取延安气田钻井现场安全风险数据,建立风险源数据集;将该数据集作为输入,使用贝叶斯网络模型... 为了保障延安气田钻井项目安全推进,研究了延安气田钻井现场安全风险管控方法。分析了延安气田钻井施工现场风险源,利用GIS技术和数据库形式获取延安气田钻井现场安全风险数据,建立风险源数据集;将该数据集作为输入,使用贝叶斯网络模型对延安气田钻井现场安全风险展开评估,计算安全风险评价指标的条件概率矩阵,得出安全风险评估结果,并提出了延安气田钻井现场安全风险管控策略。试验研究表明,该方法获取延安气田钻井现场安全风险数据时的损失值较小,获取数据信息完整;其钻井现场安全风险评价二级指标的累积贡献率最小值为96%,选取现场安全风险指标能力较好;该方法可有效评估延安气田钻井现场安全风险状态,降低指标风险程度。 展开更多
关键词 延安气田 钻井现场 安全风险 数据库逻辑表 贝叶斯网络
下载PDF
战术辅助决策系统中的态势评估问题研究 被引量:11
8
作者 周锐 余舟毅 +2 位作者 池沛 成晓静 陈宗基 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第9期2130-2133,共4页
从感知、评价、决策的认知过程研究了现代军机战术辅助决策系统结构、组成和功能,并对态势评估和任务规划两个关键子系统进行了研究,提出了基于黑板知识库系统的态势评估实现结构。重点研究了基于贝叶斯网络和模糊逻辑技术的战场威胁评... 从感知、评价、决策的认知过程研究了现代军机战术辅助决策系统结构、组成和功能,并对态势评估和任务规划两个关键子系统进行了研究,提出了基于黑板知识库系统的态势评估实现结构。重点研究了基于贝叶斯网络和模糊逻辑技术的战场威胁评估算法,首先采用贝叶斯网络对威胁源的威胁级别进行评估,在此基础上,采用模糊逻辑对各威胁源的相对重要性程度进行综合评估。仿真结果表明了该评估算法的有效性,提高了决策的自动化和智能化程度。 展开更多
关键词 态势评估 任务规划 模糊逻辑 贝叶斯网络
下载PDF
贝叶斯推理的逻辑与认知问题 被引量:11
9
作者 任晓明 黄闪闪 《浙江大学学报(人文社会科学版)》 CSSCI 北大核心 2012年第4期106-113,共8页
贝叶斯主义的复兴出现在统计推理领域,贝叶斯方法成功避免了经典统计推理中的主观因素问题以及先验回避问题,凸显了自身的归纳特性,因而是推理方法的革命。尽管目前贝叶斯主义风行,但它仍存在主观性、简单性与旧证据问题等难题,这也为... 贝叶斯主义的复兴出现在统计推理领域,贝叶斯方法成功避免了经典统计推理中的主观因素问题以及先验回避问题,凸显了自身的归纳特性,因而是推理方法的革命。尽管目前贝叶斯主义风行,但它仍存在主观性、简单性与旧证据问题等难题,这也为其进一步发展留下了宽广空间。认知心理学近来对贝叶斯推理研究的发展,为贝叶斯推理研究的认知转向提供了契机,同时为这种方法的发展提供了可能的进路:探索频率主义与贝叶斯主义整合的可能性;在外延性归纳逻辑中引入内涵因素,尝试外延性与非外延性因素的融合。 展开更多
关键词 统计推理 贝叶斯推理 逻辑 困境 认知转向
下载PDF
概率图模型的表示理论综述 被引量:8
10
作者 刘建伟 黎海恩 +1 位作者 周佳佳 罗雄麟 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1219-1226,共8页
概率图模型结合概率论与图论的知识,利用图结构表示变量的联合概率分布,近年已成为不确定性推理的研究热点.随着概率图模型在实际领域中的应用日益增加,不同的任务和应用环境对概率图模型的表示理论提出了不同的新要求.本文总结出近年... 概率图模型结合概率论与图论的知识,利用图结构表示变量的联合概率分布,近年已成为不确定性推理的研究热点.随着概率图模型在实际领域中的应用日益增加,不同的任务和应用环境对概率图模型的表示理论提出了不同的新要求.本文总结出近年来提出的多种概率图模型的表示理论.最后指出概率图模型的进一步研究方向. 展开更多
关键词 概率图模型 连续化 非齐次化 贝叶斯逻辑 马尔可夫逻辑 非参数化 矩阵正态图模型 COPULA函数 混合图模型
下载PDF
基于非确定性推理的网构软件服务质量动态评估方法 被引量:10
11
作者 吴国全 魏峻 黄涛 《软件学报》 EI CSCD 北大核心 2008年第5期1173-1185,共13页
提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估... 提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SCB)平台上进行了应用与验证,结果表明,该评估模型准确、有效,可以在用户多种QoS需求下为其选择最为合适的构件. 展开更多
关键词 网构软件 服务分级 服务质量 贝叶斯网络 模糊逻辑
下载PDF
基于综合性评估的无线链路质量分类预测机制 被引量:13
12
作者 郭志强 王沁 +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
13
作者 徐涛 杨晓光 +1 位作者 徐爱功 张明月 《计算机工程与应用》 CSCD 北大核心 2011年第7期218-221,共4页
实时道路交通状态估计是ATMS和ATIS的重要内容。布设于城市道路网络中的各类检测器提供了丰富实时的动态信息。针对目前我国各检测器间相互独立形成信息孤岛、数据参数多样、结构迥异、采样周期和精度不一等现状,采用贝叶斯估计、模糊... 实时道路交通状态估计是ATMS和ATIS的重要内容。布设于城市道路网络中的各类检测器提供了丰富实时的动态信息。针对目前我国各检测器间相互独立形成信息孤岛、数据参数多样、结构迥异、采样周期和精度不一等现状,采用贝叶斯估计、模糊逻辑等数据融合方法建立多源异构交通信息三层次融合体系,得到精度更高、可靠性更强的交通信息。实例证明,数据融合适用于城市道路交通状态估计。 展开更多
关键词 智能交通系统 交通状态估计 数据融合 贝叶斯估计 模糊逻辑
下载PDF
结合模糊逻辑的贝叶斯网络在态势评估中的应用 被引量:4
14
作者 张红兵 赵杰煜 罗雪山 《计算机应用研究》 CSCD 北大核心 2004年第7期167-170,共4页
在对数据融合模型和态势评估方法研究的基础上 ,提出了用模糊逻辑和贝叶斯网络技术结合的方法来处理随机环境中的态势评估。利用传感器获取的信息对整个战场态势作出全面的评估 ,为在不确定性的动态环境中指挥控制决策提供支持 。
关键词 态势评估 贝叶斯网络 模糊逻辑 数据融合
下载PDF
智能化战术任务管理系统研究 被引量:3
15
作者 周锐 成晓静 +1 位作者 余舟毅 陈宗基 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第8期858-862,共5页
从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估... 从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估,运用模糊逻辑对各威胁源的相对重要性进行了推理,实现了对威胁源威胁级别和相对重要性的连续动态评估.研究了基于动态A 算法的战术飞机飞行路径在线实时规划问题,实现了态势评估与路径规划两子系统之间的集成.研究结果表明了该系统方案和算法的有效性,任务规划系统能够自适应战场态势的变化. 展开更多
关键词 态势评估 路径规划 贝叶斯网络 模糊逻辑 动态A^*算法
下载PDF
重大交通突发事件中的态势评估研究 被引量:4
16
作者 侯琳 杨帆 +1 位作者 张佐 张毅 《交通信息与安全》 2009年第S1期67-69,73,共4页
态势评估是交通应急管理的基础。针对重大交通突发事件中的态势评估,提出了分析预测流程,并对态势要素及各阶段功能进行阐述。结合国内外已有的态势评估研究成果,举例说明人工智能方法在突发事件态势评估领域的应用。
关键词 突发事件管理 态势评估 神经网络 贝叶斯网络 模糊逻辑
下载PDF
基于FBCREAM方法的飞机驾驶人因可靠性评估模型 被引量:10
17
作者 郭云东 孙有朝 《科学技术与工程》 北大核心 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
18
作者 段建民 王昶人 +1 位作者 任璐 刘丹 《激光杂志》 北大核心 2017年第8期13-18,共6页
随着科技发展,激光雷达在无人驾驶车中的应用成为社会热门的话题。其中,栅格地图也成为动态障碍物检测的手段之一。原始贝叶斯推理方法在栅格概率趋于极值时,若栅格状态发生改变则体现出的很强的滞后性,因此提出一种利用模糊逻辑矫正权... 随着科技发展,激光雷达在无人驾驶车中的应用成为社会热门的话题。其中,栅格地图也成为动态障碍物检测的手段之一。原始贝叶斯推理方法在栅格概率趋于极值时,若栅格状态发生改变则体现出的很强的滞后性,因此提出一种利用模糊逻辑矫正权值变量对贝叶斯后验概率进行限制的算法。应用改进的贝叶斯推理更新栅格状态并利用冲突变量检测动态障碍物。最后,通过膨胀、腐蚀、改进连通区域标记法及一维数据区间密度算法提取障碍物信息及可行驶区域信息。实车实验表明提出方法的有效性。 展开更多
关键词 无人驾驶 栅格地图 模糊逻辑 贝叶斯推理 障碍物检测
下载PDF
贝叶斯决策理论与归纳逻辑 被引量:13
19
作者 熊立文 《北京师范大学学报(社会科学版)》 CSSCI 北大核心 2005年第2期108-113,共6页
贝叶斯决策理论是主观贝叶斯派归纳理论的重要组成部分。现代归纳逻辑遇到 “归纳接受”的难题,一部分学者用贝叶斯决策理论的思想和方法解决这个问题,后来导致了信念 修正理论的产生。从只考察归纳推理前提与结论之间的逻辑联系到... 贝叶斯决策理论是主观贝叶斯派归纳理论的重要组成部分。现代归纳逻辑遇到 “归纳接受”的难题,一部分学者用贝叶斯决策理论的思想和方法解决这个问题,后来导致了信念 修正理论的产生。从只考察归纳推理前提与结论之间的逻辑联系到全面地刻画归纳推理的动态 认知过程,现代归纳理论的发展呈现出一种新的面貌,而贝叶斯决策理论是其中承上启下的一 环。对贝叶斯决策理论的检验和修正导致了富有成果的新理论的建立。 展开更多
关键词 贝叶斯决策理论 归纳逻辑 规范性理论 描述性理论
下载PDF
朴素贝叶斯分类器一阶扩展的注记 被引量:1
20
作者 徐光美 杨炳儒 钱榕 《计算机工程》 CAS CSCD 北大核心 2008年第13期49-50,53,共3页
众多研究者致力于将朴素贝叶斯方法与原有的ILP系统结合,形成各种各样的多关系朴素贝叶斯分类器(MRNBC)。该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法。现实中关系数据库广泛存在,可以直接作用于数据库表,而无须转换表示形式的MR... 众多研究者致力于将朴素贝叶斯方法与原有的ILP系统结合,形成各种各样的多关系朴素贝叶斯分类器(MRNBC)。该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法。现实中关系数据库广泛存在,可以直接作用于数据库表,而无须转换表示形式的MRNBC则是研究的重点,该方法主要基于关系数据库理论,分析了进行一阶扩展的关键问题。 展开更多
关键词 多关系数据挖掘 朴素贝叶斯 分类 归纳逻辑程序设计 关系数据库
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部