最小割集论文_李震,张勇

导读:本文包含了最小割集论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:最小,故障,可靠性,测试,毛刺,分布式,聚乙烯。

最小割集论文文献综述

李震,张勇^[1]（2019）在《基于最小割集的软件安全性测试用例生成》一文中研究指出软件产业的飞速发展也给软件的安全性问题很大的挑战。对软件进行安全性测试是保证软件安全的重要手段[1]。软件安全性的测试用例是保证软件安全性测试的基础,它能提高软件安全性测试的质量。利用故障树的原理和方法,基于故障树最小割集的生成,阐述了其基本原理并对其进行定性和定量分析。利用生成的最小割集设计测试用例能保证测试的充分性、测试用例分布的合理性,保证了软件安全性测试用例质量和安全性测试质量、效率。(本文来源于《计算机与数字工程》期刊2019年07期）

郑渠岸,李超群,张丹丹^[2]（2019）在《基于最小割集的供电可靠性分布式计算研究》一文中研究指出电力需求的增长及对供电质量的更高要求,使得传统的配电网供电可靠性分析方法难以胜任智能电网时代的配电网可靠性分析。鉴于此,以最小割集理论为基础,建立配网可靠性评估模型和算法。针对负荷点可靠性计算互相独立的特点,建立了分布式并行计算的算法,利用标准算例验证了所提分布式算法的有效性。(本文来源于《机电信息》期刊2019年09期）

杨宏亮,黄观明^[3]（2019）在《基于故障树最小割集的解脱器活塞断裂分析》一文中研究指出针对解脱器活塞在停射过程中出现断裂的现象,采用基于故障树最小割集分析方法,建立解脱器活塞断裂的最小割集故障树,并通过有限元分析方法、材料微观分析法以及冲击功测试等方法对最小割集中的故障类型进行验证,试验结果表明:活塞热处理硬度偏高,同时二次镀铬不除氢或除氢时间短,造成活塞氢含量高,是导致活塞断裂的主要原因。本文的研究方法具有理论与工程应用价值,对其他工程故障分析解决和生产工艺的制定提供参考。(本文来源于《舰船科学技术》期刊2019年01期）

周嘉,李伟伦,贲树俊^[4]（2018）在《基于最小割集算法的供电能力分析方法研究》一文中研究指出提出了一种基于最小割集算法的最大供电能力分析技术,通过对N-1故障进行流程分析,得到N-1故障下负荷转供情况,最终可以获得馈线层的最大供电能力分析结果。最后,利用南通地区的配电网拓扑及参数模型进行了仿真验证,证明了所提出的供电能力分析方法的可行性。(本文来源于《机电信息》期刊2018年21期）

丁志勇^[5]（2018）在《最小割集在燃气管道失效分析中的应用》一文中研究指出依据失效分析理论,建立埋地聚乙烯燃气管道的失效事故树,利用最小割集理论,为控制埋地聚乙烯燃气管道失效事故发生和降低失效事故率提供依据。(本文来源于《设备管理与维修》期刊2018年12期）

邹敏,王洪春^[6]（2018）在《利用Petri网模型的求解因果图最小割集的算法》一文中研究指出【目的】为快速有效地求得因果图的最小割集。【方法】将因果图转换为Petri网模型,利用Petri网的特点提出一种新的求解因果图最小割集的算法,该算法省略了求因果图节点事件的一阶割集和最终割集这两步,大大减少了因果图用于故障诊断的时间。【结果】以实例说明了这一求解过程,并验证了算法的有效性。【结论】利用上述算法能够快速有效地求得最小割集,从而可对系统进行定性分析。(本文来源于《重庆师范大学学报(自然科学版)》期刊2018年03期）

令狐金花,潘平,杜瑶瑶^[7]（2018）在《基于SPN最小割集的信息系统非技术性安全管理方法》一文中研究指出探索一种基于SPN最小割集理论的信息系统安全管理的优化方法,目的在于提供一种信息系统安全风险管理的最优管理策略及其方法。在信息系统安全风险管理中,遵循科学管理的确定性管理模式忽视了风险的或然性。频繁发生的信息系统安全事件以及其造成的危害表明,这种管理模式不再适用于随机的、动态的信息安全风险管理。为了实现对信息系统的安全风险管理,通过理论与实例分析,实现了信息系统安全风险管理的组合优化,为信息系统安全风险管理提供了一种新的研究途径。(本文来源于《通信技术》期刊2018年05期）

雷倩茹^[8]（2018）在《故障树最小割集技术在软件测试中的应用》一文中研究指出笔者提出将故障树分析技术应用在软件测试中,通过分析软件系统结构,以软件程序的各子模块为事件建立软件故障模型并对模型进行定性分析,利用最小割集算法分析模块重要性次序,找出软件关键模块和故障组合模块,将分析结果应用于软件测试,提高软件测试针对性,发现软件潜在缺陷,降低产品失效风险,以达到提高软件可靠性的目的。(本文来源于《信息与电脑(理论版)》期刊2018年07期）

罗炜麟^[9]（2018）在《基于SAT的故障树最小割集计算》一文中研究指出故障树分析(FTA)是一种重要的可靠性分析方法,广泛应用于安全关键系统的可靠性分析与验证。求解故障树所有的最小割集(MCS),即寻找所有引发系统故障的最小的基本事件的组合,是FTA的关键问题。这一问题本身并不简单,其一直是学术和工业界讨论的热点。现有的这一问题的解决方法主要分为基于布尔代数以及基于二叉判定图(BDD)。对于一些特别复杂或者规模特别庞大的故障树,这些方法依然存在局限性。因此,我们的主要贡献在于提出了全新的基于可满足性问题(SAT)的故障树MCS求解算法。本文研究内容分为叁个部分,具体内容如下所述。首先,我们提出一个基本的基于SAT的故障树MCS求解算法——SATMCS。SATMCS采用类似Davis-Putnam-Loveland-Logeman(DPLL)的方式,不断迭代搜索故障树的MCS。通过启发式的策略,SATMCS可以避免对搜索空间的全部遍历。SATMCS的创新点如下所示:(a)Tseitin编码故障树,不仅使得编码效率得到提升,而且使得SATMCS可以得到故障树的结构特征,有助于启发式搜索策略的构建;(b)提出了基于割集覆盖的MCS提取算法,每次迭代通过求解一个MCS的近似来不断提取准确的MCS;(c)基于多优先度的独立启发式赋值策略,SATMCS可以利用故障树结构特征,趋向性地搜索MCS。然后,我们通过对SATMCS的性能分析,明确SATMCS性能瓶颈在于最小割集的近似程度。为此,我们深度优化了SATMCS——SATMCS-Pro。SATMCS-Pro采用类似SATMCS基于搜索的MCS求解过程,根本性的变化在于MCS的提取算法。SATMCS-Pro的创新点如下所示:(a)提出了一种增量式的割集判定过程,提高了割集判定的效率;(b)提出了一种基于局部传播图的最小割集提取算法,精确高效地求解最小割集;(c)增量式地学习割集搜索过程产生的冲突子句以及最小割集对应的Block子句,加速搜索空间的剪枝过程;(d)我们的研究捕捉到了最小割集的分布规律,进而SATMCS-Pro采用Jump-chronological回溯策略提高了相邻两次迭代求解的信息共享程度,优化了搜索过程。最后,我们实现了一个可以搭载SATMCS或SATMCS-Pro作为求解核心的故障树最小割集求解工具——NUAAFTA。从实验中,我们可以得出:SATMCS-Pro拥有优秀的求解故障树所有的最小割集的能力,其性能指标(内存和时间消耗)与商业软件具有可比性,甚至优于一些商业软件。(本文来源于《南京航空航天大学》期刊2018-02-01）

刘光普,梁莺,任雍,吴昌叨,韩伟中^[10]（2017）在《最小割集法在极限改善因子故障诊断中的应用》一文中研究指出新一代天气雷达极限改善因子是否达标直接影响雷达回波信号的谱估计和滤波能力,为了更好地解决极限改善因子中不同频率的毛刺干扰问题,介绍了极限改善因子参数的测试原理,详细阐述了最小割集法的原理,并结合信号的功率、脉冲包络参数指标,对影响极限改善因子的发射和接收链路逐一进行分析,并以相关故障诊断实例说明最小割集法的实现过程。通过分析极限改善因子异常的原因,不仅可以为雷达技术人员更好的完成雷达现场测试和维修维护提供指导和帮助,而且能够提高测试效率,保障雷达正常稳定运行。(本文来源于《电子测量技术》期刊2017年12期）

最小割集论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

电力需求的增长及对供电质量的更高要求,使得传统的配电网供电可靠性分析方法难以胜任智能电网时代的配电网可靠性分析。鉴于此,以最小割集理论为基础,建立配网可靠性评估模型和算法。针对负荷点可靠性计算互相独立的特点,建立了分布式并行计算的算法,利用标准算例验证了所提分布式算法的有效性。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

最小割集论文参考文献

[1].李震,张勇.基于最小割集的软件安全性测试用例生成[J].计算机与数字工程.2019

[2].郑渠岸,李超群,张丹丹.基于最小割集的供电可靠性分布式计算研究[J].机电信息.2019

[3].杨宏亮,黄观明.基于故障树最小割集的解脱器活塞断裂分析[J].舰船科学技术.2019

[4].周嘉,李伟伦,贲树俊.基于最小割集算法的供电能力分析方法研究[J].机电信息.2018

[5].丁志勇.最小割集在燃气管道失效分析中的应用[J].设备管理与维修.2018

[6].邹敏,王洪春.利用Petri网模型的求解因果图最小割集的算法[J].重庆师范大学学报(自然科学版).2018

[7].令狐金花,潘平,杜瑶瑶.基于SPN最小割集的信息系统非技术性安全管理方法[J].通信技术.2018

[8].雷倩茹.故障树最小割集技术在软件测试中的应用[J].信息与电脑(理论版).2018

[9].罗炜麟.基于SAT的故障树最小割集计算[D].南京航空航天大学.2018

[10].刘光普,梁莺,任雍,吴昌叨,韩伟中.最小割集法在极限改善因子故障诊断中的应用[J].电子测量技术.2017

论文知识图

标签：最小论文;  故障论文;  可靠性论文;  测试论文;  毛刺论文;  分布式论文;  聚乙烯论文;