共 31 条
[1]
Agematsu S, 2001, IEE CONF PUBL, P351, DOI 10.1049/cp:20010172
[2]
Archer BA, 2002, IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, P60, DOI 10.1109/CCECE.2002.1015175
[3]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[4]
BRYANT RE, 1992, COMPUT SURV, V24, P293, DOI 10.1145/136035.136043
[5]
Burch JR, 1990, P 5 ANN IEEE S LOG C, P428, DOI DOI 10.1109/LICS.1990.113767
[6]
Elgerd OI., 1982, ELECT ENERGY SYSTEMS
[7]
JONSSON M, 2001, LINE PROTECTION POWE
[8]
KIM KH, 1982, BOOLEAN MATRIX THEOR
[10]
MCMILLAN KL, SMV SYSTEM SMV VERSI