导读:本文包含了形式化校验论文开题报告文献综述及选题提纲参考文献，主要关键词:形式化校验,智能配电网,自愈
形式化校验论文文献综述
南周羽[1]（2014）在《形式化校验技术在智能配电网自愈中的应用》一文中研究指出目前我国智能配电网自愈需要在大范围的分布式控制系统操纵下实现优化,在这种基础下,形式化校验技术能够在目前智能配电网系统中实现逻辑控制以及验证的双重作用力,通过介绍形式化校验技术的工作原理,解析智能配电网自愈技术的发展,了解形式化校验技术在智能配电网自愈中的故障警示、故障具体诊断、解决算法与模型认证中的应用作用。文章中所涉及到的形式化校验主要以智能分布式自动化算法为例。(本文来源于《农村电气化》期刊2014年01期）
凌万水,刘东,洪俊,侯勇[2]（2012）在《形式化校验技术在智能配电网自愈中的应用》一文中研究指出智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。(本文来源于《电力系统自动化》期刊2012年18期）
形式化校验论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
形式化校验论文参考文献
[1].南周羽.形式化校验技术在智能配电网自愈中的应用[J].农村电气化.2014
[2].凌万水,刘东,洪俊,侯勇.形式化校验技术在智能配电网自愈中的应用[J].电力系统自动化.2012