重構(gòu)及其在自動電壓控制系統(tǒng)中的應用研究.pdf

1、重構(gòu)技術是近年來隨著人們對設計模式的重視而逐漸受到關注的.而地區(qū)電網(wǎng)特別是省級電網(wǎng)的自動電壓控制也是近年來研究的熱點.隨著計算機通訊技術的發(fā)展,兩大熱點從理論走向?qū)嵱靡殉蔀榭赡?為了提高自動電壓控制系統(tǒng)的穩(wěn)定性和可靠性,該論文將重構(gòu)技術應用于自動電壓控制系統(tǒng)的研發(fā),取得了很好的理論和實踐效果.該文主要在以下幾個方面開展了工作:1.對重構(gòu)的概念進行了較詳細的介紹.描述了重構(gòu)的背景、基本概念、重構(gòu)的原因、重構(gòu)的時機、以及重構(gòu)中的測試,并討論

2、了重構(gòu)面臨的問題.2.目前國內(nèi)對重構(gòu)技術的研究大多局限在應用層面上,很少從理論層面上進行研究和探討.該文從理論上對重構(gòu)的可行性和可靠性進行了較深入的研究.引入了一階謂詞演算和前后斷言方法,并且自定義了一個重構(gòu)可靠性證明的邏輯推理系統(tǒng):重構(gòu)可靠性推演系統(tǒng).基于該系統(tǒng),對若干原子重構(gòu)給出了可靠性證明.3.提煉并描述了在開發(fā)省級電網(wǎng)自動電壓控制系統(tǒng)過程中應用的若干重構(gòu)方法.這些重構(gòu)方法是對目前已有重構(gòu)方法的一個重要補充.在開發(fā)自動電壓控制這類