一I薛禹胜EEAc的理论证明——四论哲杰能是函数直接法.PDF

7；／J7( 7一I7 薛禹胜。EEAc的理论证明——四论哲杰能是函数直接法 7 DEEAC的理论证 明’ 一 四论暂态能量函数直接法 (南京自动化研究所)T~／7r2- 南 ． 摘 要 对于多机 系统 中理想 的两群失稳模 式采说 ，静态 EEAC (s卧 c)提供 了暂态稳定 的 充要条件 ．这 已经逐渐被学术界所接受。本文进一步从理论上证 明：在研究首摆稳定性 时，只要 以足够小的步长，按 实际的多机运动轨迹动态地修正EEAC的等值两机 系统的功 率 曲线参数或数值 映象，就可 任恚逼近积分法的计算精度 。这十证 明是独立于实际失 稳 模式和模型 的复杂程度 的。也就是说在复杂 的多群模式或群 内同调性很差时，动态 EEAC (DEEAC)在 多机秦勒觳敷 多步展 开精度 的含义上仍然是稳定 的充要奈件 。这个结 论也适合 于复杂模型 ，从 而为 DEEAC的进一步发展奠定 了坚实的理论基础 。 关键词：直．妻法 !堕墼：能量校正，临界群识剐·EEAC，理论证明 惫秀匙 和客 1 概 述 ． 用 数值 积分法 (SBS)来计算多机系 统的故障临界切除时 同 (CCT)时 ，必须反复试撵 不同的 切除时间 ；而每次试撵又必颓积分足够长的时间，才能凭经验来判断系统的稳定性。如果我们将 多机积分 的数值解映射到一个便于求取稳定度指标和灵敏度系数 的框架中进行观察和判断 ，井用 来指导多机空间中的积分 ，就有可能克服上述 困难 。 两机空阃中积分路径的唯一性对于上述 目的来讲是极具魅力 的。把它和多机暂态稳定分析相 联系的努力从来就没有中断过 。但是更普遍 的观点则是 ：任何和等值两机空阃或 OMIB空间关联的 算法都是无法应用于实际系统的。EEACE是又一次这样 的尝试 ．对DEEAcL的大量测试表 明这种 经过动态修正 的EEAC法不但保持 了解析方法 的快速性 ．而且具有令人惊 叹的精度r3D。然而由于缺 乏扎实 的理论背景 ，使人难 以想象它竞能如此好地兼顾精度 、可靠性 、信息量和速度等要求 。这 种理论落后于实践 的现实促使我们 回过头来对 EEAC进行认真的理论分析 。最初的成果r4,指 出 SEEAC完善了对两群摇摆模式的处理，而DEEAC则在定常OMIB等值中计人了群际能量和群内能 量 之 问的交换 ，但仍然没有能给出令人信服的理论分析来证 明DEEAC的表现 不是一连串的巧合 。 最近半年来，DEEAC在算法实践上又得到 了突破性 的进展 ，消除了在群 内同调性很差和多群模式 下 ，SEEAC提供 的初值太大给动态校正带来的技术性困难 。目前 DEEAC在华东和东北系统的几十 种工况的各种对称 、不对称故障的穷尽式考接中，已经几乎找不到苜摆稳定性的大误差算倒了。但 是 EEAC是否能被学术界普遍认可 ，被 中外 电力界广泛接受 ，很大程度上还取决于是否能找到坚实 的理论基础 。大量 的实践使笔者坚信这样好 的结果决不可能是偶然的，这个信念导致 了本文的研 ， 车文 1993年 6月收稿 8 1~393年 7月 电 力 系 统 自 动 化 第 17卷 第 7期 究成果 。 本文希望能证 明EEAC的轨迹近似可 以通过对等值 OMIJ3的参数进行动态修正来任意逼近问 题 的精确解 。不论具体模型、失稳模式及同调好坏 ，都能提供稳定的充要条件 。这是对笔者不久 前在 [d]中提到的， “对所有直接法都无法严格证明”的观点的否定 ，如果本文的论证能通过中 外学术界的审核 ，EEAC将不但在理论上得到重大 的进展 ，也展示 了巨大的潜力 l如果有关 的论证 站不住脚 ，EEAC就 只能与其它直接法一样停 留在工程经验水平上 。任何斧正和建议对