首页--工业技术论文--电工技术论文--输配电工程、电力网及电力系统论文--电力系统的自动化论文

B方法在配电自动化系统中的应用研究

摘要第1-4页
Abstract第4-7页
第一章 绪论第7-12页
   ·研究背景及意义第7-9页
   ·课题的研究现状第9-10页
   ·本文研究的主要内容及组织结构第10-12页
第二章 B 方法的相关理论第12-28页
   ·B 方法基本数学知识第13-18页
     ·广义代换第13-15页
     ·二元关系第15-16页
     ·自由性与非自由性第16-17页
     ·B 类型第17-18页
   ·B 抽象机第18-21页
     ·静态行为第19-20页
     ·动态行为第20-21页
   ·精化/实现第21-23页
   ·B 方法的证明理论第23-26页
     ·抽象机的正确性证明第23-24页
     ·精化的正确性证明第24-26页
     ·实现的正确性证明第26页
   ·B 工具第26-27页
   ·小结第27-28页
第三章 配电自动化系统模型第28-33页
   ·可靠性影响因素第28页
   ·系统分析第28-30页
   ·非形式的规范第30-32页
   ·小结第32-33页
第四章 B 方法在配电自动化系统中的应用研究第33-47页
   ·构造复数第33-38页
     ·实数抽象机第33-35页
     ·复数抽象机第35-37页
     ·抽象机的精化与实现第37-38页
   ·节点抽象机第38-39页
   ·电流监控器第39-42页
   ·系统控制器第42-46页
     ·CONTROLLER 抽象机第42-44页
     ·CONTROLLER 实现第44-46页
   ·小结第46-47页
第五章 系统的正确性证明第47-53页
   ·REAL _ TYPE 正确性证明第47-49页
     ·类型检查第47-48页
     ·证明义务第48-49页
   ·CONTROLLER 正确性证明第49-50页
     ·类型检查第49-50页
     ·证明义务第50页
   ·Atelier B 的实验结果第50-52页
   ·小结第52-53页
总结与展望第53-55页
 本文的工作总结第53页
 将来的工作展望第53-55页
致谢第55-56页
参考文献第56-58页

论文共58页,点击 下载论文
上一篇:电化学生物传感器的研制及应用
下一篇:高光谱图像条带噪声去除方法研究与应用