不同负载率下干式配电变压器绕组热点温升规律及推演模型研究

1

作者 何东升 贾志东 +4 位作者 刘让雄 罗海凹 朱旭光 杨诗瑶 邓婧 《智慧电力》 北大核心 2025年第5期63-72,共10页

针对变压器大电流温升试验实施难题,提出基于小电流试验的绕组热点温升评估方法。以SCB14-800/10型干式配电变压器为对象,首先建立电磁-热-流多物理场耦合数值模型,解析B相绕组温度场分布特性及其动态温升演变规律;继而开展七梯度负载率... 针对变压器大电流温升试验实施难题,提出基于小电流试验的绕组热点温升评估方法。以SCB14-800/10型干式配电变压器为对象,首先建立电磁-热-流多物理场耦合数值模型,解析B相绕组温度场分布特性及其动态温升演变规律;继而开展七梯度负载率(40%~100%)温升试验,对比验证B相高、低压绕组热点温升和仿真结果的差异。基于此,首创性提出基于集中参数法的三段连续负载温升推演模型,通过对比验证模型有效性。结果表明:该模型关联了不同负载率下绕组热点的动态温升规律,通过小负载率试验量化大负载率下的动态温升变化规律,显著减少电能损耗和提高检测效率。 展开更多

关键词 干式配电变压器 多物理场耦合 动态温升 推演计算模型 集中参数法

在线阅读 下载PDF 职称材料

面向数字孪生变压器的计算机辅助运维(CAM+)构架与关键技术 被引量：8

2

作者 廖瑞金 罗豪 +3 位作者 成立 杨丽君 赵学童 郝建 《高电压技术》 EI CAS CSCD 北大核心 2024年第3期924-940,共17页

发展数字孪生变压器对支撑电力装备智能运维具有重要价值。目前变压器已具有计算机辅助设计、工程仿真的一般功能,但面向运行维护的场景、性能数字孪生还处于初级阶段。为此,该文提出了一种将计算机辅助设计、工程仿真、制造进一步拓展... 发展数字孪生变压器对支撑电力装备智能运维具有重要价值。目前变压器已具有计算机辅助设计、工程仿真的一般功能,但面向运行维护的场景、性能数字孪生还处于初级阶段。为此,该文提出了一种将计算机辅助设计、工程仿真、制造进一步拓展为电力装备的计算机辅助运维(computer aided maintenance+,CAM+)新模式,包含了场景更新、虚实融合、故障定位、智能运维等功能。该文首先介绍了CAM+的内涵,结合电力装备的数字孪生架构提出了面向数字孪生变压器的CAM+模式的技术架构。然后,综述了3维场景可视化建模、高精度传感、多物理场耦合模型与快速计算、虚实融合的动态推演、多源数据融合、状态智能评估、知识图谱等CAM+模式所涉及的关键技术。最后,分析了CAM+在变压器场景更新、参量孪生和智能运维的应用,并总结了未来CAM+所面临的挑战和发展方向。 展开更多

关键词 CAM+ 数字孪生变压器 虚实融合 动态推演 智能运维

在线阅读 下载PDF 职称材料

一种基于子句稳定度的多元动态演绎算法及应用

3

作者 曹锋 王家帆 +1 位作者 易见兵 李俊 《广西师范大学学报（自然科学版）》 CAS 北大核心 2024年第6期164-176,共13页

一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛... 一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛盾体分离式的文字,通过分析变元项、函数项、基项之间的联系与差异,本文提出一种基于稳定度的子句评估方法,其核心思想是通过所含项的组成部分度量子句参与演绎的稳定程度;同时提出一种基于子句稳定度的多元动态演绎算法(clause stability algorithm,CFA),旨在搜索当前演绎过程中的较优路径;将提出的CFA算法应用于国际著名证明器Prover9(CFA_P证明器)和国际顶尖证明器Eprover2.6(CFA_E证明器),使用CFA_P和CFA_E对国际CASC-26 FOF组竞赛例进行测试,相比原始Prover9和原始Eprover2.6,CFA_P多证明119个定理、CFA_E多证明11个定理;在证明相同定理总数的情况下,CFA_P缩短了证明时间14.76 s、CFA_E则缩短了2.54 s;针对Eprover2.6未证明的94个定理进行单独测试,CFA_E能证明27个定理,占定理总数的28.7%。实验表明,CFA算法是有效的,其在优化演绎路径方面具有良好作用,能提高一阶逻辑自动定理证明器的性能。 展开更多

关键词 一阶逻辑 定理证明 人工智能 启发式策略 多元动态演绎

在线阅读 下载PDF 职称材料

山火灾害下电网安全形态的事件驱动模型与动态推演方法 被引量：6

4

作者 殷浩洋 刘东 《中国电机工程学报》 EI CSCD 北大核心 2024年第20期7911-7924,I0001,共15页

近年来,山火灾害的发生频度与强度不断增加,对生态环境以及电网、算力网络等重要公共基础设施的危害不容忽视。为了分析算力网络与电力网络混合模式下,电网安全状态在山火灾害发展过程中的演进过程,首先,该文考虑自然环境、社会系统、... 近年来,山火灾害的发生频度与强度不断增加,对生态环境以及电网、算力网络等重要公共基础设施的危害不容忽视。为了分析算力网络与电力网络混合模式下,电网安全状态在山火灾害发展过程中的演进过程,首先,该文考虑自然环境、社会系统、算力网与电网间的耦合关系,建立山火灾害时空演化过程中电网与算力网络设备的故障模型;同时,分析电网、算力网和社会域可能的应灾措施;其次,从线路过载严重度、失负荷严重度、算力网络结构损失严重度以及碳平衡破坏度4个方面建立一套综合评估指标体系;然后,基于事件驱动模型提出山火灾害下电网安全形态的动态推演方法;最后,以某电网为算例进行仿真,结果表明,所提方法可动态刻画不同应灾方式下电网的安全形态,为提升电网运行人员面向突发山火的应急管理能力提供技术支撑。 展开更多

关键词 山火灾害 电网安全形态 算力网络 事件驱动仿真 动态推演

在线阅读 下载PDF 职称材料

基于系统动力学模型的光伏发电装机容量推演分析方法 被引量：3

5

作者 徐波 伍声宇 +3 位作者 冯君淑 陈梓翰 胡文保 马文静 《智慧电力》 北大核心 2024年第7期88-95,共8页

针对政策、市场、技术等不同因素对光伏发电装机容量增长的影响,提出基于系统动力学模型的光伏发电装机容量推演分析方法。首先,计及电力系统消纳能力对光伏发电装机容量的影响,建立光伏发电装机容量推演分析模型;然后,利用系统动力学... 针对政策、市场、技术等不同因素对光伏发电装机容量增长的影响,提出基于系统动力学模型的光伏发电装机容量推演分析方法。首先,计及电力系统消纳能力对光伏发电装机容量的影响,建立光伏发电装机容量推演分析模型;然后,利用系统动力学刻画关键影响因素的因果反馈关系,建立了系统动力学因果回路图;最后,给出系统动力学模块的建模方法。算例分析表明,所提模型能够定量分析不同因素对光伏发电装机容量的动态调控作用,准确反映未来光伏发电装机容量发展趋势。 展开更多

关键词 光伏发电装机容量 系统动力学 消纳能力 推演分析

在线阅读 下载PDF 职称材料

考虑决策者情绪的暴雨动态贝叶斯网络情景推演

6

作者 谢小良 田宇章 《人民黄河》 CAS 北大核心 2024年第4期55-61,共7页

为处理“7·20”河南省特大暴雨灾害的复杂演化过程,验证应急管理措施的科学性和有效性,利用动态贝叶斯网络,运用证据理论和情绪更新机制,提出了一种主客观因素相结合的情景推演方法,较同类方法更加注重对决策者情绪等主观因素的研... 为处理“7·20”河南省特大暴雨灾害的复杂演化过程,验证应急管理措施的科学性和有效性,利用动态贝叶斯网络,运用证据理论和情绪更新机制,提出了一种主客观因素相结合的情景推演方法,较同类方法更加注重对决策者情绪等主观因素的研究。结果表明:动态贝叶斯网络能有效仿真情景推演的动态变化过程,改进DS证据理论能减少方法的主观性并处理演化过程不确定性,情绪更新机制能有效地量化决策主体的情绪变化情况。 展开更多

关键词 动态贝叶斯 情景推演 情景要素 改进DS证据理论 情绪更新机制

在线阅读 下载PDF 职称材料

基于动态贝叶斯网络的非常规突发灾害事故情景推演 被引量：27

7

作者 夏登友 钱新明 段在鹏 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2015年第6期897-902,共6页

针对非常规突发灾害事故演变路径不清晰,演变过程及发展态势复杂,应急决策主体在应急救援过程中很难做出正确决策的现状,在分析非常规突发灾害事故情景演变规律的基础上,基于情景状态(S)、处置目标(T)、处置措施(M)和自身演变(E)四个要... 针对非常规突发灾害事故演变路径不清晰,演变过程及发展态势复杂,应急决策主体在应急救援过程中很难做出正确决策的现状,在分析非常规突发灾害事故情景演变规律的基础上,基于情景状态(S)、处置目标(T)、处置措施(M)和自身演变(E)四个要素分析了非常规突发灾害事故情景演变的路径,基于动态贝叶斯构建了非常规突发灾害事故动态情景网络,并利用联合概率公式进行相应节点变量的状态概率计算,实现了非常规突发灾害事故的关键情景推演.以大连"7·16"油库爆炸火灾事故为例,演示了非常规突发灾害事故的情景推演流程及关键技术,并对情景推演的结果进行了分析.推演结果表明:事故按输油管线爆炸→油罐爆炸起火→原油泄漏、污染海域的路径演变;其中,输油管线爆炸出现的概率为90.2%,T103罐爆炸起火出现的概率为84.1%,原油泄漏、污染海域出现的概率为80.3%,推演结果与实际灾害事故的情景发展状态基本一致,证明了该方法的合理性和可行性. 展开更多

关键词 情景应对 非常规突发灾害事故 演变路径 动态贝叶斯网络 情景推演

在线阅读 下载PDF 职称材料

基于LM98640的TDI-CCD暗场扣除方法 被引量：2

8

作者 宁永慧 郭汉洲 +1 位作者 余达 赵庆磊 《液晶与显示》 CAS CSCD 北大核心 2019年第6期592-597,共6页

为了实现相关双采样模式下,视频处理器LM98640的暗电平扣除功能,设计了数字暗场扣除方法。通过获得TDI-CCD的暗场数据,进行统计分析,估算当前条件下的真实暗电平水平;通过设置LM98640的偏置寄存器,实现暗电平的模拟扣除功能;通过暗场灰... 为了实现相关双采样模式下,视频处理器LM98640的暗电平扣除功能,设计了数字暗场扣除方法。通过获得TDI-CCD的暗场数据,进行统计分析,估算当前条件下的真实暗电平水平;通过设置LM98640的偏置寄存器,实现暗电平的模拟扣除功能;通过暗场灰度动态检测和实时更新设置,保证暗场在不同的温度水平下具有0~3的灰度均值;通过时序控制,保证偏置参数加载不影响图像内容;通过偏置参数功能分区,保证暗场扣除和偏置调整功能的完整性。实验结果表明,该方法在TDI-CCD成像系统长时间工作时,能有效控制暗场均值在0~3量化灰度范围。通过检测更新扣除机制,实现了对噪声的帧扣除,避免了行扣除不准确带来的噪声,有效降低了沿轨方向高频分量。 展开更多

关键词 LM98640 暗电平扣除 数字反馈 偏置扣除 动态范围

在线阅读 下载PDF 职称材料

面向指挥决策支持的平行仿真系统研究 被引量：20

9

作者 毛少杰 周芳 +1 位作者 楚威 丁冉 《指挥与控制学报》 2016年第4期315-321,共7页

现代战场环境呈现态势瞬息变化与迷雾大等特点,要求指挥决策支持系统应对不确定性的战场环境具有超前预测与快速决策能力.在通用平行系统研究的基础上,提出了面向指挥决策支持的平行仿真系统概念,建立了平行仿真系统的体系架构,从战场... 现代战场环境呈现态势瞬息变化与迷雾大等特点,要求指挥决策支持系统应对不确定性的战场环境具有超前预测与快速决策能力.在通用平行系统研究的基础上,提出了面向指挥决策支持的平行仿真系统概念,建立了平行仿真系统的体系架构,从战场实体模型动态生成与修正、多分支推演等方面建立了平行仿真系统运行过程模型,给出了支撑平行仿真系统构建与运行的关键技术. 展开更多

关键词 平行仿真 指挥决策支持 平行仿真系统 模型动态修正 多分支推演

在线阅读 下载PDF 职称材料

列车动载对下伏隧道影响的计算模式简化研究 被引量：3

10

作者 郑余朝 刘凯 +2 位作者 罗川疆 仇文革 龚伦 《土木工程学报》 EI CSCD 北大核心 2017年第S1期25-30,共6页

铁路与下伏隧道局部相交,需要采用三维数值计算才能得到相对正确的结果。为对计算模式进行简化,以上海轨道交通9号线R413标段三孔并行盾构隧道下穿沪-杭铁路干线为工程背景,以基准位置(拱顶)的压力值作为简化的依据,先利用三维计算得出... 铁路与下伏隧道局部相交,需要采用三维数值计算才能得到相对正确的结果。为对计算模式进行简化,以上海轨道交通9号线R413标段三孔并行盾构隧道下穿沪-杭铁路干线为工程背景,以基准位置(拱顶)的压力值作为简化的依据,先利用三维计算得出列车动载下,拱顶压力沿纵向的分布规律、扩散范围及不均匀系数Ku;然后建立沿隧道纵向的平面模型,得到Ku随埋深的变化规律,并与对应埋深时的三维计算结果进行了验证;从而得到了考虑扩散范围、不均匀系数和模型差异系数Km影响的荷载综合折减系数Kf来实现三维计算模式向二维模式的简化。 展开更多

关键词 列车动载 下伏隧道 简化计算模式 综合折减系数

在线阅读 下载PDF 职称材料

基于动态贝叶斯网络情景推演的危化品事故应急处置研究 被引量：24

11

作者 张江石 冯娜娜 《安全与环境学报》 CAS CSCD 北大核心 2020年第4期1420-1426,共7页

由于危险化学品事故的演化路径具有不确定性和动态性的特点,往往很难科学地采取应急处置措施。以天津港"8·12"事故为例,基于外部环境、事件情景、应急处置3类情景要素分析危险化学品事故的情景演变路径,结合动态贝叶斯... 由于危险化学品事故的演化路径具有不确定性和动态性的特点,往往很难科学地采取应急处置措施。以天津港"8·12"事故为例,基于外部环境、事件情景、应急处置3类情景要素分析危险化学品事故的情景演变路径,结合动态贝叶斯网络构建情景推演模型,利用联合概率公式计算情景发生概率,来实现危险化学品事故中关键情景的推演,便于有针对性地采取应急处置措施。推演结果表明:应加强事故初期的应急处置力度,遏制事态发展;事故发展中期,救援难度非常大,宜尽量争取应急疏散时间,避免人员伤亡;进行应急处置时,要统筹考虑各种内外部因素及事故演变的具体情况,特别要阻止向事故扩大的趋势转变。 展开更多

关键词 公共安全 动态贝叶斯网络 情景推演 应急处置 危险化学品事故

在线阅读 下载PDF 职称材料

倒置式油浸电流互感器受潮过程微水含量动态推演方法 被引量：9

12

作者 王有元 李伯男 +1 位作者 黄磊峰 杜泓志 《高电压技术》 EI CAS CSCD 北大核心 2021年第6期1921-1930,共10页

为在可测特征量的基础上研究受潮过程中电流互感器内部微水的分布及扩散规律,该文提出了一种受潮过程中电流互感器内部微水含量动态推演方法。首先,建立了220k V倒置式油浸电流互感器电-热-流多物理场耦合三维仿真模型,利用有限元分析... 为在可测特征量的基础上研究受潮过程中电流互感器内部微水的分布及扩散规律,该文提出了一种受潮过程中电流互感器内部微水含量动态推演方法。首先,建立了220k V倒置式油浸电流互感器电-热-流多物理场耦合三维仿真模型,利用有限元分析和多物理场耦合分析等方法,得到了受潮过程中电流互感器内部温度场以及微水含量分布规律;然后,通过分析环境温度对微水扩散的影响,建立了电流互感器内部油纸绝缘中微水含量与取油阀处绝缘油微水含量间的关联关系,并在此基础上,建立了基于回归决策树算法的倒置式油浸电流互感器内绝缘微水含量动态推演模型;最后,搭建了LVB-220W3倒置式油浸电流互感器实验平台,来验证仿真及动态推演模型的有效性。研究结果表明:本文提出的电流互感器内绝缘微水含量动态推演模型计算结果与实验结果的最大偏差为2.51%,可为油纸绝缘设备运维和检测提供一种新的思路。 展开更多

关键词 电流互感器 油纸绝缘 受潮 水分扩散 温度 动态推演

在线阅读 下载PDF 职称材料

金属矿山地下开采工程三维推演系统架构研究 被引量：1

13

作者 刘亚静 王建佳 《金属矿山》 CAS 北大核心 2014年第4期139-142,共4页

采用现代高新技术改造传统采矿工业是矿山发展的必然趋势。虚拟矿山是数字矿山的重要组成部分,是传统矿山的一种新型表达方式,在矿山信息化建设中扮演着举足轻重的角色。在分析了国内外数字矿山研究及应用现状的基础之上,讨论金属矿山... 采用现代高新技术改造传统采矿工业是矿山发展的必然趋势。虚拟矿山是数字矿山的重要组成部分,是传统矿山的一种新型表达方式,在矿山信息化建设中扮演着举足轻重的角色。在分析了国内外数字矿山研究及应用现状的基础之上,讨论金属矿山地下开采工程三维动态推演系统的架构,阐述了如何以3D图形渲染技术和地理信息系统技术为依托,完成自然实体、人工实体和三维地质数据的精确地表达,将矿区工业广场以及地层、巷道、工作面的空间位置关系直观地展现出来。在此基础上通过对金属矿山井下工程数据资料的有效整合以及科学的分析,实现采矿方法的优选,并结合采矿设计的标准和采矿设计工程师的设计理念对地下开采过程进行动态推演,从而为采矿设计者的决策提供重要科学依据。 展开更多

关键词 金属矿山 三维可视化 动态推演 数字矿山

在线阅读 下载PDF 职称材料

互联网金融创新监管的多阶段博弈规律研究--基于平台异质性的市场反应分析 被引量：5

14

作者 高宇 孙雁南 姚鑫 《当代经济科学》 CSSCI 北大核心 2022年第3期41-57,共17页

聚焦P2P行业监管发展历程的经验教训总结,重点关注行业监管政策阶段性调整对不同资本类型P2P平台市场表现的异质性影响,以探讨新兴金融创新模式监管政策体系建设的动态调整依据及规律。首先,基于监管政策演变及平台异质性特征构建“监... 聚焦P2P行业监管发展历程的经验教训总结,重点关注行业监管政策阶段性调整对不同资本类型P2P平台市场表现的异质性影响,以探讨新兴金融创新模式监管政策体系建设的动态调整依据及规律。首先,基于监管政策演变及平台异质性特征构建“监管方—平台方”的多阶段动态演化博弈模型,分析了监管政策调整框架下不同资本类型平台的异质性市场反应路径。其次,通过对2014—2019年P2P平台真实市场表现数据的统计分析,验证了演化博弈模型的结果推论。最后,构建了“监管方—平台方”之间决策效用的动态优化推演模型,以进一步探索博弈双方决策效用的周期变动、强度迁移以及多层次治理规律,并据此从风险事前防范、事中管控、事后处置与分析角度为新兴金融创新模式发展的有效监管提出政策建议。 展开更多

关键词 互联网金融 P2P行业 金融创新 金融监管 监管强度 演化博弈 动态优化推演

在线阅读 下载PDF 职称材料

我国工薪所得个人所得税费用扣除标准的评价及动态测算模型的构建 被引量：6

15

作者 陈庆海 《当代经济管理》 2010年第12期73-77,共5页

工薪所得个人所得税费用扣除标准应以某年城镇居民最高收入家庭每一就业者负担的月消费性支出作为衡量指标,并充分考虑家庭人口和物价变动因素。通过计算1996年~2007年城镇居民家庭全国及分组每一就业者负担的月消费性支出,并对照2005... 工薪所得个人所得税费用扣除标准应以某年城镇居民最高收入家庭每一就业者负担的月消费性支出作为衡量指标,并充分考虑家庭人口和物价变动因素。通过计算1996年~2007年城镇居民家庭全国及分组每一就业者负担的月消费性支出,并对照2005年以来的两次工薪所得个人所得税费用扣除标准调整情况,发现两次调整均存在一定滞后性和扣除不足性,影响了居民的消费支出。在充分考虑家庭人口和物价变动因素条件下,通过构建我国工薪所得个人所得税费用扣除标准动态测算模型,测算结果是,我国2009年、2010年和2011年工薪所得个人所得税费用扣除标准比较的合理数值分别应为2,500元、2,650元和2,850元。 展开更多

关键词 工薪所得 个人所得税费用扣除标准 动态测算模型

在线阅读 下载PDF 职称材料

基于HLA的气象服务邦员设计与实现

16

作者 刘胤田 王小东 王再奎 《系统仿真学报》 CAS CSCD 北大核心 2017年第7期1582-1587,1595,共7页

为了增加特殊天气现象下的飞行经验并保障飞行安全,飞行模拟训练中需要考虑特殊天气的多样性和典型性,气象数据的动态性和连续性,克服传统飞行模拟器使用的气象服务特殊天气现象单一、气象数据静止缺乏连续性的不足,提出具有多尺寸典型... 为了增加特殊天气现象下的飞行经验并保障飞行安全,飞行模拟训练中需要考虑特殊天气的多样性和典型性,气象数据的动态性和连续性,克服传统飞行模拟器使用的气象服务特殊天气现象单一、气象数据静止缺乏连续性的不足,提出具有多尺寸典型特殊天气模板库生成模块、气象数据动态推演模块以及气象格点数据插值计算模块的气象服务;并基于HLA接口规范建立气象服务邦员,设计FOM/SOM模板;给出气象服务仿真单元流程图。该气象服务能为飞行模拟训练系统提供较为真实的特殊天气现象。 展开更多

关键词 HLA 气象格点数据插值 气象服务 气象数据动态推演

在线阅读 下载PDF 职称材料

基于DBN的气体泄漏事故情景推演与节点分析 被引量：8

17

作者 岳文静 杜丽敬 +3 位作者 陈先锋 袁必和 杨家祺 王朋程 《中国安全科学学报》 CAS CSCD 北大核心 2022年第S01期165-170,共6页

化工园区危险化学品气体泄漏事故在演化过程中具有路径复杂和发展动态性高的特点,为解决气体泄漏事故难以快速有效应对的问题,以张家口“11·28”重大爆燃事故为例构建推演模型。首先基于动态贝叶斯方法构建基于情景状态、外部环境... 化工园区危险化学品气体泄漏事故在演化过程中具有路径复杂和发展动态性高的特点,为解决气体泄漏事故难以快速有效应对的问题,以张家口“11·28”重大爆燃事故为例构建推演模型。首先基于动态贝叶斯方法构建基于情景状态、外部环境和应急措施的灾害链情景演化模型,利用联合概率公式计算情景状态概率,实现气体泄漏事故的动态推演;然后结合复杂网络拓扑结构相关知识,利用综合重要度公式,探究事故情景推演过程中的关键节点;最后提出基于数据参考的针对性断链措施。研究表明:基于动态贝叶斯的情景推演模型可以在事故演化路径中起到预测作用,推演结果为相关事故灾前预测、灾中应急和灾后恢复提供更为科学有效的依据。 展开更多

关键词 动态贝叶斯网络(DBN) 气体泄漏 情景推演 关键节点 灾害链 重要度

在线阅读 下载PDF 职称材料

基于子句活跃度和复杂度的多元动态演绎算法及应用 被引量：5

18

作者 林玲瑜 曹锋 +3 位作者 易见兵 方旺盛 李俊 吴贯锋 《计算机工程与科学》 CSCD 北大核心 2023年第12期2256-2264,共9页

一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度... 一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度的度量与计算方法,能很好地对不同项结构的子句进行有效评估;基于该子句评估方法,提出了一种子句充分协同演绎的多元动态演绎算法,能有效优化多元演绎搜索路径。将该多元动态演绎算法应用于国际顶尖证明器Eprover 2.6中,以2021年国际自动推理FOF组竞赛例为测试对象,在标准的300 s测试时间内,加入了多元动态演绎算法的Eprover 2.6相比原始Eprover 2.6多证明定理4个,在证明定理总数相同的条件下,平均证明时间减少了1.12 s;能证明Eprover 2.6未证明定理16个,占未证明定理总数的15.1%。实验结果表明,该多元动态演绎算法是一种有效的推理方法,能在一定程度上提升自动定理的证明能力和时间效率。 展开更多

关键词 一阶逻辑 定理证明 自动推理 多元动态演绎 子句评估

在线阅读 下载PDF 职称材料

基于动态贝叶斯网络的突发事件情景推演模型研究 被引量：19

19

作者 巩前胜 《西安石油大学学报（自然科学版）》 CAS 北大核心 2018年第2期119-126,共8页

针对突发事件的突发性、情景演变时间的连续性和路径的不确定性等特点,"情景-应对"型应急决策模式是目前最为有效的方法之一,而"情景-应对"模式成功应用的关键就在于情景网络构建与推演。选取情景状态、应急活动、... 针对突发事件的突发性、情景演变时间的连续性和路径的不确定性等特点,"情景-应对"型应急决策模式是目前最为有效的方法之一,而"情景-应对"模式成功应用的关键就在于情景网络构建与推演。选取情景状态、应急活动、应急资源以及应急环境为关键要素,分析突发事件情景演化规律与路径,运用动态贝叶斯网络(Bayesian Networds,BN)理论,构建突发事件情景网络,计算情景状态概率,从而推演情景发展趋势;以2010年大连输油管道爆炸事件为例,完成情景网络构建与推演过程。实证分析结果表明:发生概率最大的情景状态依次为输油管道爆炸、威胁到附近储油罐、附近储油罐起火、原油泄漏并污染附近海域等,发生概率分别为89.0%、86.4%、81.5%和78.7%,计算结果基本符合突发事件现场实际状况,充分说明该模型的有效性与可行性。 展开更多

关键词 突发事件 演化路径 情景推演 动态贝叶斯网络

在线阅读 下载PDF 职称材料