【摘 要】
：
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实
【机 构】
：
电力传输与功率变换控制教育部重点实验室上海交通大学电子信息与电气工程学院,上海市电力公司浦东供电公司,华东电网有限公司,
论文部分内容阅读
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。
其他文献
提出并论证发电机误上电保护扇形低阻抗新型主判据及其整定计算,分析发电机在不同工况下误上电时电机有功功率及保护安装点测量阻抗的不同特性,得出发电机误上电初始测量阻抗
吴茱萸是我国应用历史悠久的中药材,始载于《本经》,云:味辛,温。对近年来有关吴茱萸的药理作用进行概述,并进一步分析了其药理作用特点、物质基础和作用机理等,为研制、开发
本文选取唐代宦官使职体系为研究对象，从历史学的角度考察唐代宦官使职体系的诸问题。本文着重对宦官使职体系的组成机关及各机关使职的机构设置进行研究，分析了宦官使职体系内
本文的主要内容是通过研究《喜羊羊与灰太狼》这部动画片，来分析如何提高中国动画片的可看性。本文分析了《喜羊羊与灰太狼》这部动画片从内容形式上都对中国动画片有一定的借
结合西畴县甘蔗种植现状,分析甘蔗产业化发展优势、存在问题,提出因地制宜,科学规划;强化生产基地建设,加大政府投入力度;依靠科技进步,提高甘蔗生产效益;建立蔗农互助合作组
2014年6月6日，国务院法制办发布了《中华人民共和国著作权法（修订草案送审稿）》，图书馆界的建议在其中未能得以体现。技术措施作为独立于传统著作权体系的新制度，对其保护应当受到
习近平总书记在党的第十八届中央纪委五中全会指出：“坚持思想建党和制度治党,严明政治纪律和政治规矩,加强纪律建设,……坚决遏制腐败现象蔓延势头”;王岐山同志在福建省考察
我国实行“退耕还林”政策以后，对于调节生态平衡、建立人与自然的和谐关系起到了积极作用，但是在实践中，仍然存在着生态效益与经济效益的冲突、政策效应与科学规划、激励机制等
目的:观察半夏泻心汤对伊立替康(Irinotecan,CPT-11)致于小细胞肺癌(Small-cell lung cancer,SCLC)荷瘤鼠脾虚的改善作用。方法:取荷瘤鼠,按高、中、低剂量灌胃给予半夏泻心
先进的思想文化能够促进社会的巩固和发展,反之则阻碍社会进步。当前社会思想文化领域面临六种主要挑战,其根源在于社会对传统资源继承的断裂,三大精神层面(科学精神、人文精