导读:本文包含了可能性计算论文开题报告文献综述及选题提纲参考文献，主要关键词:管道失效可能性,计算方法,定量风险评价,确定性
可能性计算论文文献综述
王立涛,武权,张建昌,申南,于丹[1]（2019）在《定量风险评价中管道失效可能性的计算方法》一文中研究指出为了研究定量风险评价中管道失效可能性的计算方法,详细分析了经典物理学的确定性计算方法和现代统计学的随机不确定性计算方法在管道风险评价中的应用,同时对管道失效可能性的计算方法提出了改进建议。该建议揭示了两种计算方法的优势和不足之处,对各自优势的发挥和缺点的弥补给出了解决方法,阐明了计算原理。研究表明:在定量风险评价中,常用的基于频率和概率统计的不确定性计算方法对接确定性计算方法,既能够从宏观角度对管道失效可能性进行整体统计计算,也可深入到各种风险因素的专业技术分析层面,是行之有效的管道失效可能性计算方法。(本文来源于《油气田地面工程》期刊2019年S1期）
袁申,魏杰林,李永明[2]（2019）在《具有多值决策过程的广义可能性计算树逻辑模型检测》一文中研究指出模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。(本文来源于《计算机工程与科学》期刊2019年01期）
宗华[3]（2018）在《新方法可计算复杂动力系统可能性》一文中研究指出本报讯 日常天气模式、脑电图上的大脑活动以及心电图上的心跳都会产生一行行的复杂数据。为分析这些数据，抑或为预测风暴、癫痫或者心脏病，研究人员必须首先将这些连续的数据分割成离散的片段。想要简单、准确地开展这项任务并非易事。来自乌拉圭共和国大学和英国(本文来源于《中国科学报》期刊2018-04-04）
梁常建,李永明[4]（2017）在《广义可能性计算树逻辑的模型检测问题》一文中研究指出本文首先分别给出了"约束可达","总是可达"这两个公式在广义可能性计算树逻辑(GPo CTL)中的另外两种等价形式;其次讨论了基于广义可能性测度的计算树逻辑的模型检测问题,将GPo CTL的模型检测问题规约为经典的CTL模型检测问题,利用截集的方法,给出了计算GPo CTL的模型检测问题的算法及其复杂度,并通过实例分析说明了这种算法的可行性;最后,研究了具有公平性假设的GPo CTL模型检测问题的计算复杂度,得到了与上面相似的结论.(本文来源于《电子学报》期刊2017年11期）
刘于庆[5]（2017）在《基于ANFIS的钢轨折断风险事件可能性计算模型研究》一文中研究指出钢轨折断会造成铁路线路故障,引起列车延误,严重时可能会造成列车脱轨颠覆,发生行车安全事故。因此,掌握钢轨折断发生规律,科学控制钢轨折断风险是保障铁路线路安全的关键。依据国标中对生产过程危险和有害因素的划分方式,本文将钢轨折断风险事件致灾因素划分为人、设备、管理、环境四大类,结合我国铁路现场管理经验,进一步对四大类致灾因素细分,并确定各类致灾因素中影响钢轨折断的关键致灾因素。为实现对铁路线路上钢轨折断风险的精准定位,准确量化钢轨折断致灾因素,本文以200m为基本单元将连续的铁路线路划分为若干网格。将不同网格的钢轨看作不同的个体,进行个性化分析,以网格为基本单元采集各致灾因素数据,求解每个网格的钢轨折断风险发生可能性,精确识别钢轨折断风险时空位置,将钢轨折断风险事件可能性计算的空间位置精度控制在百米级别。将自适应神经网络模糊推理系统(ANFIS)应用于钢轨折断风险事件可能性计算,以各致灾因素为输入变量,钢轨折断风险事件可能性为输出变量,构建基于ANFIS的钢轨折断风险事件可能性计算模型,根据各致灾因素状态计算每日每个网格内钢轨折断风险事件发生的可能性。当各致灾因素处于不同状态时网格内钢轨折断发生的可能性也在随之改变,实现了对钢轨折断风险的动态管理。为了验证构建的基于ANFIS的钢轨折断风险事件可能性计算模型的有效性,本文选取太原铁路局大秦线涿鹿-沙城东区间下行里程范围为K190+000～K210+000共100个网格为研究对象,以网格为基本单元采集2014年12月1日至2015年3月5日钢轨折断致灾因素历史状态数据和钢轨折断事故数据,利用构建的模型计算每日每个网格内钢轨折断风险事件发生可能性,将计算结果与采集的钢轨病害和钢轨折断事故数据对比,验证了模型的有效性。(本文来源于《北京交通大学》期刊2017-05-02）
李丹[6]（2017）在《广义可能性计算树逻辑表达能力的研究》一文中研究指出为了解决复杂计算机系统的验证问题,确保系统的正确性与可靠性,人们提出了模型检测方法.该方法于1981年首次被Clark和Emerson提出,是一种形式化的自动验证技术,其验证能够贯穿系统开发的整个过程,此方法主要分为以下叁个过程:首先,抽象出系统的数学模型;其次,形式化描述需要验证的属性;最后,通过模型检测算法验证系统是否满足该属性,若满足将返回是;若不满足将给出一个反例.经典的模型检测只是针对完全确定的系统,但现实中却很少存在这样的系统.于是,人们开始考虑将量化信息引入到状态迁移模型中,比如:概率、多值、时间和可能性等.为了解决具有模糊性系统的验证问题,李永明将可能性测度和模型检测相结合,提出了基于可能性测度的模型检测理论.为了处理更一般的不确定性问题,李永明将可能性测度拓展为广义可能性测度,并结合模型检测,提出了基于广义可能性测度的模型检测理论.由于研究逻辑公式间的表达能力对拓广模型检测的适用范围具有重要意义,但目前对广义可能性计算树逻辑的表达能力还尚未研究全面.本文是在前面工作的基础上,以有限的广义可能性Kripke结构为模型,研究广义可能性计算树逻辑与计算树逻辑表达能力的关系,并以有限的强广义可能性Kripke结构为模型,研究广义可能性计算树逻辑与可能性计算树逻辑表达能力的关系.本文主要工作如下:1.定义了区间广义可能性计算树逻辑的语构和语义.2.以有限的广义可能性Kripke结构为模型,给出区间广义可能性计算树逻辑公式和计算树逻辑公式等价关系的定义,通过归纳法和反证法得出:计算树逻辑是区间广义可能性计算树逻辑的一个真子类,然后得出计算树逻辑公式转化为区间广义可能性计算树逻辑公式的算法.3.定义了强广义可能性Kripke结构,并以有限的强广义可能性Kripke结构为模型,给出区间广义可能性计算树逻辑公式和可能性计算树逻辑公式等价关系的定义,通过归纳法和反证法得出:可能性计算树逻辑是区间广义可能性计算树逻辑的一个真子类,然后得出可能性计算树逻辑公式转化为区间广义可能性计算树逻辑公式的算法.4.对前面等价关系的定义进行拓展,给出相应公式间等价关系的另一种定义.(本文来源于《陕西师范大学》期刊2017-05-01）
刘娇娇[7]（2017）在《你会计算游戏中的“可能性”吗?》一文中研究指出在学习概率知识的时候,课本给出了摸球、转盘的游戏,让我知道了"概率"的一个作用:比较事件发生的可能性大小.写作业时,我又遇到了两个有趣的关于计算可能性的小游戏,现在跟你们一起分享!游戏1星期天,小红和小明在操场上做游戏,地上有两个半径分别为2m和3m的同心圆(如图1),他俩分别蒙上眼,在离大圆1米的地方向大圆内掷石子,掷中阴影部分小红胜,掷中空白部分小明胜,掷到大圆外和两圆边界(本文来源于《初中生世界》期刊2017年14期）
马占有,李永明[8]（2016）在《基于决策过程的广义可能性计算树逻辑模型检测》一文中研究指出本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用.(本文来源于《中国科学:信息科学》期刊2016年11期）
[9]（2016）在《探索开源云的可能性——第叁届中国开源云计算大会将于12月举行》一文中研究指出中国开源云计算大会是年度活动,今年已至第叁届。第叁届中国开源云计算大会将于12月6日在北京举行。举办方说,本届大会将以开源云计算案例分享为重要内容,直达技术与应用的前沿,探索开源云技术的可能性。作为基于开源软件技术的云计算话题的专门会议,中国开源云计算大会在2014年和2015年各举办了一届,均取得圆满成功。第一届和第二届的(本文来源于《中国信息化》期刊2016年08期）
孙传青[10]（2016）在《天然气管道失效可能性分析及模型计算研究》一文中研究指出本文运用层次分析和灰色理论,建立了基于灰色多层次的管道失效可能性分析模型,并运用模型进行了实例计算。结果证明该方法良好,能合理的对管道失效可能性进行分析。(本文来源于《石化技术》期刊2016年07期）
可能性计算论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可能性计算论文参考文献
[1].王立涛,武权,张建昌,申南,于丹.定量风险评价中管道失效可能性的计算方法[J].油气田地面工程.2019
[2].袁申,魏杰林,李永明.具有多值决策过程的广义可能性计算树逻辑模型检测[J].计算机工程与科学.2019
[3].宗华.新方法可计算复杂动力系统可能性[N].中国科学报.2018
[4].梁常建,李永明.广义可能性计算树逻辑的模型检测问题[J].电子学报.2017
[5].刘于庆.基于ANFIS的钢轨折断风险事件可能性计算模型研究[D].北京交通大学.2017
[6].李丹.广义可能性计算树逻辑表达能力的研究[D].陕西师范大学.2017
[7].刘娇娇.你会计算游戏中的“可能性”吗?[J].初中生世界.2017
[8].马占有,李永明.基于决策过程的广义可能性计算树逻辑模型检测[J].中国科学:信息科学.2016
[9]..探索开源云的可能性——第叁届中国开源云计算大会将于12月举行[J].中国信息化.2016
[10].孙传青.天然气管道失效可能性分析及模型计算研究[J].石化技术.2016