贝叶斯程序分析

1

作者 张昕 王冠成 +4 位作者 吴宜谦 陈逸凡 李天驰 张羿凡 熊英飞 《电子学报》 EI CAS CSCD 北大核心 2024年第4期1155-1172,共18页

程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,... 程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向. 展开更多

关键词 程序分析 逻辑编程 概率逻辑编程 贝叶斯网络 贝叶斯推断

在线阅读 下载PDF 职称材料

概率图模型的表示理论综述 被引量：9

2

作者 刘建伟 黎海恩 +1 位作者 周佳佳 罗雄麟 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1219-1226,共8页

概率图模型结合概率论与图论的知识,利用图结构表示变量的联合概率分布,近年已成为不确定性推理的研究热点.随着概率图模型在实际领域中的应用日益增加,不同的任务和应用环境对概率图模型的表示理论提出了不同的新要求.本文总结出近年... 概率图模型结合概率论与图论的知识,利用图结构表示变量的联合概率分布,近年已成为不确定性推理的研究热点.随着概率图模型在实际领域中的应用日益增加,不同的任务和应用环境对概率图模型的表示理论提出了不同的新要求.本文总结出近年来提出的多种概率图模型的表示理论.最后指出概率图模型的进一步研究方向. 展开更多

关键词 概率图模型 连续化 非齐次化 贝叶斯逻辑 马尔可夫逻辑 非参数化 矩阵正态图模型 COPULA函数 混合图模型

在线阅读 下载PDF 职称材料

智能化战术任务管理系统研究 被引量：3

3

作者 周锐 成晓静 +1 位作者 余舟毅 陈宗基 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第8期858-862,共5页

从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估... 从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估,运用模糊逻辑对各威胁源的相对重要性进行了推理,实现了对威胁源威胁级别和相对重要性的连续动态评估.研究了基于动态A 算法的战术飞机飞行路径在线实时规划问题,实现了态势评估与路径规划两子系统之间的集成.研究结果表明了该系统方案和算法的有效性,任务规划系统能够自适应战场态势的变化. 展开更多

关键词 态势评估 路径规划 贝叶斯网络 模糊逻辑 动态A^＊算法

在线阅读 下载PDF 职称材料

改进贝叶斯推理的栅格地图更新与障碍物检测 被引量：3

4

作者 段建民 王昶人 +1 位作者 任璐 刘丹 《激光杂志》 北大核心 2017年第8期13-18,共6页

随着科技发展,激光雷达在无人驾驶车中的应用成为社会热门的话题。其中,栅格地图也成为动态障碍物检测的手段之一。原始贝叶斯推理方法在栅格概率趋于极值时,若栅格状态发生改变则体现出的很强的滞后性,因此提出一种利用模糊逻辑矫正权... 随着科技发展,激光雷达在无人驾驶车中的应用成为社会热门的话题。其中,栅格地图也成为动态障碍物检测的手段之一。原始贝叶斯推理方法在栅格概率趋于极值时,若栅格状态发生改变则体现出的很强的滞后性,因此提出一种利用模糊逻辑矫正权值变量对贝叶斯后验概率进行限制的算法。应用改进的贝叶斯推理更新栅格状态并利用冲突变量检测动态障碍物。最后,通过膨胀、腐蚀、改进连通区域标记法及一维数据区间密度算法提取障碍物信息及可行驶区域信息。实车实验表明提出方法的有效性。 展开更多

关键词 无人驾驶 栅格地图 模糊逻辑 贝叶斯推理 障碍物检测

在线阅读 下载PDF 职称材料

贝叶斯决策理论与归纳逻辑 被引量：13

5

作者 熊立文 《北京师范大学学报（社会科学版）》 CSSCI 北大核心 2005年第2期108-113,共6页

贝叶斯决策理论是主观贝叶斯派归纳理论的重要组成部分。现代归纳逻辑遇到 “归纳接受”的难题,一部分学者用贝叶斯决策理论的思想和方法解决这个问题,后来导致了信念 修正理论的产生。从只考察归纳推理前提与结论之间的逻辑联系到... 贝叶斯决策理论是主观贝叶斯派归纳理论的重要组成部分。现代归纳逻辑遇到 “归纳接受”的难题,一部分学者用贝叶斯决策理论的思想和方法解决这个问题,后来导致了信念 修正理论的产生。从只考察归纳推理前提与结论之间的逻辑联系到全面地刻画归纳推理的动态 认知过程,现代归纳理论的发展呈现出一种新的面貌,而贝叶斯决策理论是其中承上启下的一 环。对贝叶斯决策理论的检验和修正导致了富有成果的新理论的建立。 展开更多

关键词 贝叶斯决策理论 归纳逻辑 规范性理论 描述性理论

在线阅读 下载PDF 职称材料

基于贝叶斯网络的余热排出泵故障诊断

6

作者 梁洁 蔡琦 +2 位作者 初珠立 李世停 王海萍 《原子能科学技术》 EI CAS CSCD 北大核心 2012年第B09期335-340,共6页

基于余热排出泵的故障树建立了贝叶斯故障诊断网络。在FT/BN基本转换的基础上,分析了多态逻辑表达的方法和不确定性问题的条件概率表的确定,运用专家分段投票的方法建立了BN网络根节点概率。所建网络可通过节点重要度、灵敏度分析和双... 基于余热排出泵的故障树建立了贝叶斯故障诊断网络。在FT/BN基本转换的基础上,分析了多态逻辑表达的方法和不确定性问题的条件概率表的确定,运用专家分段投票的方法建立了BN网络根节点概率。所建网络可通过节点重要度、灵敏度分析和双向诊断等功能为设备设计使用和维修决策提供参考。 展开更多

关键词 余热排出泵 故障诊断 贝叶斯网络 多态逻辑 不确定性

在线阅读 下载PDF 职称材料

基于逻辑图的国产民机液压系统故障诊断与定位 被引量：5

7

作者 冯蕴雯 潘维煌 +1 位作者 路成 刘佳奇 《西北工业大学学报》 EI CAS CSCD 北大核心 2022年第4期732-738,共7页

为研究国产民机液压系统典型故障诊断与故障部件定位技术,依据故障形成条件构建典型故障逻辑图,收集典型故障运行数据,采用贝叶斯网络实现故障诊断与故障部件定位。针对某型国产民机机组操作手册中的故障形成条件,参考逻辑图构建方法,... 为研究国产民机液压系统典型故障诊断与故障部件定位技术,依据故障形成条件构建典型故障逻辑图,收集典型故障运行数据,采用贝叶斯网络实现故障诊断与故障部件定位。针对某型国产民机机组操作手册中的故障形成条件,参考逻辑图构建方法,以液压系统典型故障为例,建立国产民机故障逻辑图,直观反映故障形成逻辑关系;依据逻辑图,考虑故障形成条件,建立与逻辑图对应的贝叶斯网络,并将故障形成的逻辑关系以条件概率分布值表示;获取国产民机快速存取记录器(quick access recorder,QAR)数据,依据逻辑图输入信息获取QAR参数信息;依据建立的贝叶斯网络与获取QAR数据,应用正向推理实现液压系统典型故障诊断,在完整信息与部分信息条件下,应用反向推理实现液压系统故障部件定位。研究表明所提方法可准确实现故障诊断,并可在完整信息下精准进行故障部件定位,在部分信息下对潜在可能故障部件给出发生的概率,有效辅助故障部件定位工作。研究工作对完善国产民机的机载健康管理系统与地面健康管理系统的故障诊断功能具有一定的参考意义。 展开更多

关键词 国产民机 逻辑图 运行数据 故障诊断 贝叶斯网络

在线阅读 下载PDF 职称材料

城市内涝事理图谱构建方法及应用 被引量：24

8

作者 冯钧 王云峰 +1 位作者 邬炜 朱跃龙 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2020年第6期479-487,共9页

为消除城市内涝事件的突发性和空间易变性对城市内涝灾害决策调度的影响,构建城市内涝事理图谱,并在此图谱上提出成因分析应用的框架。利用规则模板库抽取中文城市内涝语料库中的因果事件句,基于投票机制的深度神经网络融合方法抽取因... 为消除城市内涝事件的突发性和空间易变性对城市内涝灾害决策调度的影响,构建城市内涝事理图谱,并在此图谱上提出成因分析应用的框架。利用规则模板库抽取中文城市内涝语料库中的因果事件句,基于投票机制的深度神经网络融合方法抽取因果句中的事件,融合手工规则实现城市内涝事理图谱的构建。采用事理图谱自动生成以内涝点为中心的场景,用生成的场景自动生成并训练离散动态贝叶斯网络,并在该网络上进行内涝点成因分析。结果表明,所构建的城市内涝事理图谱能较好地描述所在城市的内涝演化规律,成因分析结果与真实结果对比表明,此方法能准确找到内涝点处产生内涝的成因,并排除有干扰影响的伪成因。 展开更多

关键词 城市内涝 事理图谱 规则模板 投票机制 离散动态贝叶斯网络

在线阅读 下载PDF 职称材料

专家系统中的不确定性推理 被引量：1

9

作者 韩建超 《微电子学与计算机》 CSCD 北大核心 1990年第3期25-29,共5页

本文介绍专家系统中不确定性处理的两种途径,即数值方法和非数值方法,简要分析各种数值方法的基本思想和其局限性,并着重讨论保证理论和非单调逻辑以及真值维护系统等非数值方法.

关键词 专家系统 不确定性 推理 人工智能

在线阅读 下载PDF 职称材料

基于威胁评估和扩展Voronoi图的战术飞行轨迹规划方法 被引量：8

10

作者 徐琳 宋万强 +1 位作者 严冲 张安柯 《航空科学技术》 2019年第1期35-43,共9页

针对目前各种基于Voronoi图的路径规划方法在威胁处理过程中存在的问题,提出了一种基于威胁评估和扩展Voronoi图的战术飞行轨迹规划方法。建立了基于贝叶斯网络和模糊逻辑的威胁源威胁度和路径威胁度评估模型,在此基础上建立包括路径威... 针对目前各种基于Voronoi图的路径规划方法在威胁处理过程中存在的问题,提出了一种基于威胁评估和扩展Voronoi图的战术飞行轨迹规划方法。建立了基于贝叶斯网络和模糊逻辑的威胁源威胁度和路径威胁度评估模型,在此基础上建立包括路径威胁度和燃油在内的最优路径代价计算模型。结合扩展Voronoi图的路径生成方法以及Dijkstra路径规划算法,得到了从飞行起点到目标点的能够适应战场态势变化的最小代价路径。最后利用κ-Trajectory路径圆滑算法,得到了与所规划路径等长的圆滑可飞的最优路径。仿真结果验证了所提方法的可行性和有效性。 展开更多

关键词 路经规划 扩展Voronoi图 威胁级别评估 路径威胁评估 贝叶斯网络 模糊逻辑

在线阅读 下载PDF 职称材料

基于贝叶斯网络和布尔逻辑的柴油机测试策略选择方法

11

作者 郭迎春 刘建敏 +2 位作者 张伏龙 乔新勇 王涛 《车用发动机》 北大核心 2013年第4期89-92,共4页

提出了一种以贝叶斯网络和布尔逻辑算法为基础,将信息增量与测试费用结合作为优选判据的测试策略选择方法。利用贝叶斯网络建立了故障模式与故障影响因素、可测试资源的关系模型,设计了测试方案,考虑故障概率、信息熵、测试费用等约束条... 提出了一种以贝叶斯网络和布尔逻辑算法为基础,将信息增量与测试费用结合作为优选判据的测试策略选择方法。利用贝叶斯网络建立了故障模式与故障影响因素、可测试资源的关系模型,设计了测试方案,考虑故障概率、信息熵、测试费用等约束条件,利用布尔逻辑算法对测试方案进行了优化选择。以某型坦克柴油机动力不足故障模式为例,实现了柴油机动力不足的测试策略选择。 展开更多

关键词 柴油机 测试性 布尔逻辑 贝叶斯网络

在线阅读 下载PDF 职称材料

基于改进D-S证据理论的燃气轮机滑油系统故障诊断 被引量：9

12

作者 梁茂宗 周登极 +1 位作者 张会生 魏芳 《燃气轮机技术》 2018年第2期17-22,36,共7页

本文使用D-S证据理论决策层融合结构融合了4种经典信息融合算法,对滑油系统典型故障进行诊断。为解决证据冲突问题,本文对D-S证据理论公式进行了改进,并验证了改进公式在特征层和决策层的融合效果。结论表明本文提出的D-S证据理论改进... 本文使用D-S证据理论决策层融合结构融合了4种经典信息融合算法,对滑油系统典型故障进行诊断。为解决证据冲突问题,本文对D-S证据理论公式进行了改进,并验证了改进公式在特征层和决策层的融合效果。结论表明本文提出的D-S证据理论改进方法能够较好地解决证据冲突带来的问题,可以提高诊断正确率;证据理论在决策层融合中的优势较为明显,应用于多种方法诊断结果的决策层融合可以提高诊断的容错性。 展开更多

关键词 故障诊断 改进D-S证据理论 贝叶斯网络 神经网络 模糊逻辑

在线阅读 下载PDF 职称材料

一种贝叶斯网络和模糊逻辑相结合的空战态势估计方法 被引量：5

13

作者 欧爱辉 朱自谦 《火控雷达技术》 2006年第2期34-37,45,共5页

根据态势估计的定义和多平台空对空作战的需求,提取所需的态势要素,应用贝叶斯网络和模糊逻辑相结合的技术,对整个战场的空对空作战态势进行较全面的估计,为不确定的动态环境中指挥控制决策提供支持,并对关键技术进行仿真实验,动态演示... 根据态势估计的定义和多平台空对空作战的需求,提取所需的态势要素,应用贝叶斯网络和模糊逻辑相结合的技术,对整个战场的空对空作战态势进行较全面的估计,为不确定的动态环境中指挥控制决策提供支持,并对关键技术进行仿真实验,动态演示了空战态势估计的内容和结果。 展开更多

关键词 空对空 态势估计 贝叶斯网络 模糊逻辑

在线阅读 下载PDF 职称材料

贝叶斯概率逻辑在人工智能专家系统中的应用 被引量：2

14

作者 杜鹏昊 《无线互联科技》 2020年第6期134-135,共2页

文章首先介绍了贝叶斯概率逻辑和贝叶斯方法的内容,之后用早期专家系统实例Mycin系统来说明贝叶斯概率逻辑在专家系统中是如何应用的,以及其在专家系统应用中的重要性和普遍性。

关键词 贝叶斯概率逻辑 贝叶斯方法 专家系统

在线阅读 下载PDF 职称材料

利用贝叶斯网络方法判定整机产品薄弱环节

15

作者 王亚辉 曾曼成 《直升机技术》 2015年第1期19-24,33,共7页

针对基于外场使用数据的统计分析方法和可靠性分析两类常见的整机产品薄弱环节确定方法进行研究,发现两类方法的应用均受到了限制,提出了一种把传统故障树转化为贝叶斯网络来确定整机产品薄弱环节的方法。该方法用Bayes模型确定贝叶斯... 针对基于外场使用数据的统计分析方法和可靠性分析两类常见的整机产品薄弱环节确定方法进行研究,发现两类方法的应用均受到了限制,提出了一种把传统故障树转化为贝叶斯网络来确定整机产品薄弱环节的方法。该方法用Bayes模型确定贝叶斯网络中各节点发生的条件概率,首先利用Beta分布描述节点发生条件概率的先验分布,参考专家经验,通过极大熵方法给出先验分布中的超参数;然后,再结合整机产品相关试验、类似型号等数据,对节点发生的条件概率做出Bayes估计;最后利用贝叶斯网络的反向推理确定整机产品的薄弱环节。通过光纤陀螺对本方法进行验证,分析结果与工程实际相符合,为整机产品的薄弱环节分析提供了新的思路。 展开更多

关键词 薄弱环节 确定性逻辑门 贝叶斯网络 Bayes模型 BETA分布 极大熵

在线阅读 下载PDF 职称材料

机器学习算法在人工智能中的应用 被引量：7

16

作者 黄国盛 《集成电路应用》 2022年第9期192-193,共2页

阐述基于人工智能领域的机器学习,机器学习算法,包括强化学习、监督式学习中的逻辑回归算法、朴素贝叶斯算法、线性回归算法、支持向量机的应用。

关键词 人工智能 机器学习 逻辑回归 朴素贝叶斯算法 线性回归算法 支持向量机

在线阅读 下载PDF 职称材料

延安气田钻井现场安全风险管控研究

17

作者 马弘刚 张明 +2 位作者 王明倩 梁东阳 杨浩 《能源与环保》 2023年第4期21-26,共6页

为了保障延安气田钻井项目安全推进,研究了延安气田钻井现场安全风险管控方法。分析了延安气田钻井施工现场风险源,利用GIS技术和数据库形式获取延安气田钻井现场安全风险数据,建立风险源数据集;将该数据集作为输入,使用贝叶斯网络模型... 为了保障延安气田钻井项目安全推进,研究了延安气田钻井现场安全风险管控方法。分析了延安气田钻井施工现场风险源,利用GIS技术和数据库形式获取延安气田钻井现场安全风险数据,建立风险源数据集;将该数据集作为输入,使用贝叶斯网络模型对延安气田钻井现场安全风险展开评估,计算安全风险评价指标的条件概率矩阵,得出安全风险评估结果,并提出了延安气田钻井现场安全风险管控策略。试验研究表明,该方法获取延安气田钻井现场安全风险数据时的损失值较小,获取数据信息完整;其钻井现场安全风险评价二级指标的累积贡献率最小值为96%,选取现场安全风险指标能力较好;该方法可有效评估延安气田钻井现场安全风险状态,降低指标风险程度。 展开更多

关键词 延安气田 钻井现场 安全风险 数据库逻辑表 贝叶斯网络

在线阅读 下载PDF 职称材料

基于环境独立机制的静态离散贝叶斯网络参数简化方法

18

作者 刘琳颖 孙秦 王瑶 《航空工程进展》 2014年第3期332-337,共6页

在大型工程系统的应用中,贝叶斯网络节点参数存储量随系统复杂度呈指数增长。针对该问题,综合飞行器故障模式通常采用多输入单输出逻辑门表达,以及故障树具有特殊静态离散贝叶斯网络的特点,提出将环境独立简化方法应用于常用典型逻辑门... 在大型工程系统的应用中,贝叶斯网络节点参数存储量随系统复杂度呈指数增长。针对该问题,综合飞行器故障模式通常采用多输入单输出逻辑门表达,以及故障树具有特殊静态离散贝叶斯网络的特点,提出将环境独立简化方法应用于常用典型逻辑门的贝叶斯网络。通过基本定理证明利用基于环境独立机制的概率树代替传统的条件概率表,可将呈指数增长的条件概率表减少为线性变化,并定量给出简化后节点参数个数的计算表达式。最后,将该方法用于某飞机前轮转弯系统故障诊断模型,通过与节点原条件概率表的比较,表明概率树方法可有效减少计算机内存需要。 展开更多

关键词 贝叶斯网络 环境独立 概率树 条件概率表 逻辑门

在线阅读 下载PDF 职称材料