B方法在變配電所實(shí)時(shí)控制系統(tǒng)的可靠性設(shè)計(jì)中的應(yīng)用.pdf

1、隨著電力系統(tǒng)的飛速發(fā)展,變配電所綜合自動(dòng)化得到越來越廣泛的應(yīng)用.以計(jì)算機(jī)控制、計(jì)算機(jī)通信技術(shù)和電力自動(dòng)裝置為基礎(chǔ)的微機(jī)保護(hù)系統(tǒng)作為變配電所自動(dòng)化系統(tǒng)的核心部分,克服了傳統(tǒng)電力系統(tǒng)功能性差、可靠性差和管理不便等缺陷,實(shí)現(xiàn)了無人值班系統(tǒng).電力系統(tǒng)關(guān)系到整個(gè)電網(wǎng)安全可靠地供電,它對(duì)系統(tǒng)可靠性的要求很高.B方法是目前在工業(yè)界應(yīng)用廣泛的形式化方法之一,它建立在需要對(duì)實(shí)際操作進(jìn)行驗(yàn)證分析的基礎(chǔ)上,從而保證模型設(shè)計(jì)的正確性和系統(tǒng)功能的可靠性.

2、 本文基于變配電所實(shí)時(shí)控制系統(tǒng)的工程背景,為提高系統(tǒng)的可靠性,采用B方法完成了系統(tǒng)的模型設(shè)計(jì)和實(shí)現(xiàn).文章首先在全面了解B方法規(guī)約機(jī)制、驗(yàn)證理論和開發(fā)過程的基礎(chǔ)上,提煉出B方法提高軟件可靠性的有利因素.然后介紹了變配電所的背景知識(shí),并抽取其微保單元的模塊功能如下:電流選擇性速斷、過流、過壓、低壓、母聯(lián)自投等.通過對(duì)這些功能的分析,利用B方法對(duì)這個(gè)分布式系統(tǒng)的各個(gè)單元進(jìn)行模型設(shè)計(jì);同時(shí)考慮故障定位的準(zhǔn)確性,為依靠單元間的相互協(xié)作而設(shè)計(jì)的保護(hù)