论文部分内容阅读
重构技术是近年来随着人们对设计模式的重视而逐渐受到关注的。而地区电网特别是省级电网的自动电压控制也是近年来研究的热点。随着计算机通讯技术的发展,两大热点从理论走向实用已成为可能。为了提高自动电压控制系统的稳定性和可靠性,本论文将重构技术应用于自动电压控制系统的研发,取得了很好的理论和实践效果。 本文主要在以下几个方面开展了工作: 1.对重构的概念进行了较详细的介绍。描述了重构的背景、基本概念、重构的原因、重构的时机、以及重构中的测试,并讨论了重构面临的问题。 2.目前国内对重构技术的研究大多局限在应用层面上,很少从理论层面上进行研究和探讨。本文从理论上对重构的可行性和可靠性进行了较深入的研究。引入了一阶谓词演算和前后断言方法,并且自定义了一个重构可靠性证明的逻辑推理系统:重构可靠性推演系统。基于该系统,对若干原子重构给出了可靠性证明。 3.提炼并描述了在开发省级电网自动电压控制系统过程中应用的若干重构方法。这些重构方法是对目前已有重构方法的一个重要补充。在开发自动电压控制这类实时系统中,这些重构方法有效解决了实际工程问题。 4.在线控制软件要求的是高性能和高可靠性。对于电力系统的控制软件来说,可靠性尤其重要。在福建电网主站自动电压控制系统的研发中采用了重构技术,保证了系统的可靠性和稳定性。同时,重构技术在该系统的完善和维护中也发挥了重要作用。