Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Automation of Electric Power Systems》 2006-09
Add to Favorite Get Latest Update

Fault Diagnosis Based on Temporal Logic Technology in HV Transmission System

YUE Quan-min, DONG Zhi-yun, ZHENG Hua-zhen, YU Wei-yong, ZHANG Pei-chao, WANG Zhong-min, ZHANG Qi-ming (Shanghai Jiaotong University, Shanghai 200240, China)  
A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines. A linear temporal logic formal deduction system is expressed with a complete syntax and semantic interpreting system. The fault analog signal is preprocessed in a substation by considering the need for system fault tolerance and real-time requirement of fault diagnosis. In the dispatcher center, the time sequence of protection and breaker actions in the fault diagnosing process is analyzed. Then the TDS and TAS about a typical fault mode are formed and the time sequence restriction relation is expressed by LTL. The reliability and tolerance of reasoning is verified with a practical example.
【CateGory Index】: TM711
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 1 Hits
1 GUI Qiang,LIU Yi-chuan,ZHANG Pei-chao(Shanghai Jiaotong University,Shanghai 200240,China);Research on data mining system based on fault information in HV power grid[J];Relay;2007-10
【Citations】
Chinese Journal Full-text Database 9 Hits
1 Bi Tltinshul, Ni Yixinl, Yang Qixun'(l. The University of Hong Kong, Hong Kong, China)(2. North China Electric Power University, Beijing 100085. China);AN EVALUATION OF ARTIFICIAL INTELLIGENT TECHNOLOGIESFOR FAULT DIAGNOSIS IN POWER NETWORK[J];AUTOMATION OF ELECTRIC POWER SYSTEMS;2000-02
2 Sun Jing 1, Qin Shiyin 1, Song Yonghua 2 (1. Beijing University of Aeronautics and Astronautics, Beijing 100083, China) (2. Brunel University, Uxbridge, Middlesex, UB8 3PH, UK);A FAULT DIAGNOSIS METHOD FOR POWER SYSTEMS BASED ON PETRI NETS AND PROBABILITY INFORMATION[J];Automation of Electric Power Systems;2003-13
3 Sun Yarning , Liao Zhiwei (Tianjin University, Tianjin 300072, China ) (South China University of Technology, Guangzhou 510640, China);A NEW DATA MINING APPROACH FOR FAULT DIAGNOSIS OFHV TRANSMISSION LINE SYSTEM BASED ON SEQUENCE OF EVENTSPart Two Simulation and Fault-tolerance Performance Analysis[J];Automation of Electric Power Systems;2004-05
4 Liao Zhiwei 1,2, Sun Yaming1, Ye Qinghua2 (1.Tianjin University, Tianjin 300072; 2.South China Technology University, Guangzhou 510640, China);ARTIFICIAL INTELLIGENT TECHNOLOGIES FOR FAULT DIAGNOSIS IN POWER SYSTEM[J];Proceedings of Electric Power System and Automation;2003-06
5 ZHU Xue-Yang+, TANG Zhi-Song(KeyLaboratoryofComputerScience,InstituteofSoftware,TheChineseAcademyofSciences,Beijing100080,China);A Temporal Logic-Based Software Architecture Description Language XYZ/ADL[J];Journal of Software;2003-04
6 JIANG Yi-xin, LIN Chuang, Xing xu-jia (Department of Computer Science and Technology,Tsinghua University, Beijing 100084, China);Model Checking of Petri Nets Based on Linear Temporal Logic[J];Acta Simulata Systematica Sinica;2003-S1
7 GUO Jian1 DU Hui-min2 HAN Jun-gang1 HAO Ke-gang3 1 (ASIC Center,Xi'an instifute of post and teleommunications, Xian 710069,China) 2 (Compoter Department,Northwest Polytedmdogy University, Xian 710069,China) 3 (Compute Departnunt,Northwest Univ;HARDWARE DESIGN'S FORMAL VERIFICATION BASED ON TEMPORAL LOGIC——MODEL CHECKING[J];Mini-micro Systems;2001-05
8 Zhang Guangquan (Dept.of Mathematics and Computer Science,Chongqing Teachers'College,Chongqing,400047)Sun Min (Dept.of Information,Management Institute of Sichuan Economic Cadres, Chengdu,610000);Comparison and Analysis of Temporal Logic[J];JOURAL OF YUZHOU UNIVERSITY(NATURAL SCIENCES EDITION);1999-02
9 SUN Jing, QIN Shi-yin, Song Yong-hua (Beijing University of Aeronautics and Astronautics, Beijing 100083, China; Brunel University, Uxbridge, Middlesex, UB8 3PH, UK);FUZZY PETRI NETS AND ITS APPLICATION IN THE FAULT DIAGNOSIS OF ELECTRIC POWER SYSTEMS[J];Proceedings of the Csee;2004-09
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 ZHANG Guang-quan~(1,2), ZHANG Ling-hong~2 (1.College of Mathematics and Computer Science, Chongqing Nse Academy of Sciences, Beijing 100080, China);The Application of UML and ADL in Modeling Software Architecture[J];Journal of Chongqing Teachers College(Natural Science Edition);2004-04
2 LIU Shan-Yan ZHANG Guang-quan (College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China);The Application of Real-time System Based on Temporal Logic XYZ/E[J];Journal of Chongqing Normal University(Natural Science Edition);2006-03
3 ZHANG Guang-quan,YANG Jing-zhong(College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China);Research into Aspect-Oriented Modeling Based on Software Architecture[J];Journal of Chongqing Normal University(Natural Science Edition);2008-01
4 CHEN Xing-ying,ZHANG Xiao-hua,QU Feng,LIU Hao-ming,ZHAO Bo(College of Electrical Engineering,Hohai University,Nanjing 210098,Jiangsu Province,China);Survey on applications of data mining in power system[J];Journal of Electric Power Science and Technology;2007-03
5 XU Hai 1,WANG Hong 2,LIANG Zhi shan 3 (1.Department of Postgraduate,Northeast China Institute of Electric Power Engineering,Jilin City 132012;2.Department of Electric Power Engineering,Northeast China Institute of Electric Power Engineering,Jilin Ci;Heuristic-search Service Restoration in Distribution Networks[J];Journal of Northeast China Institute of Electric Power Engineering;2001-02
6 Zhou Ming1 ,Ren Jianwen1 ,L i Gengyin1 ,Xu K aili2 1.North China Electric Power University,Baoding0 710 0 3,China 2 .University of Wyom ing,U SA;DISTRIBUTED POWER SYSTEM FAULT DIAGNOSISEXPERT SYSTEM BASED ON FUZZY INFERENCE[J];Automation of Electric Power Systems;2001-24
7 Xiao Jun, Zhang Yi, Wang Chengshan(Tianjin University, Tianjin 300072, China);AN INTELLIGENT PROCESS CONTROL SYSTEM FOR URBAN POWER SYSTEM PLANNING BASED ON EXPERT SYSTEMS[J];Automation of Electric Power Systems;2003-11
8 WANG Ying-ying, LUO Yi, TU Guang-yu (Huazhong University of Science and Technology, Wuhan 430074, China);Fault Location Based on Bayes Probability Likelihood Ratio for Distribution Networks[J];Automation of Electric Power Systems;2005-19
9 GUOChuang-xin, ZHU Chuan-bai, CAO Yi-jia, WU Xin (Zhejiang University, Hangzhou 310027, China);State of Arts of Fault Diagnosis of Power Systems[J];Automation of Electric Power Systems;2006-08
10 XU Junde, ZHAO Dongmei, ZHANG Dongying, ZHANG Xu, LIU Minghui, LEI Xing North China Electric Power University, Beijing 102206, China;Dual Data Source Based Fault Diagnosis Application of the Regional Power Network[J];Automation of Electric Power Systems;2006-13
China Proceedings of conference Full-text Database 2 Hits
1 ZHANG Ling-Hong, ZHANG Guang-Quan, ZHU Xue-Yang, RONGMei, HE Yu-Qiang (Ningxia Yinglite Information Corporation,YinChuang Ningxia 750001,China; Computer Science and Technology Department,Soochow University,Suzhou Jiangsu 215006,China; Key Lab.Of Computer Science, The Chinese Academy of Sciences, Beijing 100080, China; ShenZhen Tourism College, Jinan University, Shenzhen 518053, China; GuoDian Shi Zui Shan Power Plant, Shi Zui Shan Ningxia 753202, China);Application of UML and XYZ/ADL in Modeling Software Architecture of Elevator Control Management System[A];[C];2006
2 ;The Verification of Workflow Model Based on Spin[A];[C];2006
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 LI Wei-dong, WEI Li-ming, SUN Hui, XIAO Hong-fei ( Dept. of Electr. Eng. and Electron Technol., Dalian Univ. of Technol., Dalian 116024, China );Research on comparison of power flow tracing methods[J];Journal of Dalian University of Technology;2002-04
2 Part Two integrated Automation, Life Cycle CostsZing Qingyu(Electric Power Research institute. Beijing 100085, China);THE DEVELOPMENT OF SUBSTATION AUTOMATION IN THE NEAR FUTURE[J];AUTOMATION OF ELECTRIC POWER SYSTEMS;2000-20
3 Li Weidong, Sun Hui, Zhao Shanjun (Dalian University of Technology. Dalian 116023. China; Puyang Electric Power Bureau. Puyang 457000. China);RESEARCH ON RIGOROUS MATHEMATICAL DERIVATION OF LOSS ALLOCATION RULE IN TRANSMISSION COST CALCULATION[J];Automation of Electric Power Systems;2001-11
4 Liao Zhiwei, Sun Yaming (Tianjin University, Tianjin 300072. China);DATA MINING TECHNOLOGY AND ITS APPLICATION ON POWER SYSTEM[J];Automation of Electric Power Systems;2001-11
5 Zhou Ming1 ,Ren Jianwen1 ,L i Gengyin1 ,Xu K aili2 1.North China Electric Power University,Baoding0 710 0 3,China 2 .University of Wyom ing,U SA;DISTRIBUTED POWER SYSTEM FAULT DIAGNOSISEXPERT SYSTEM BASED ON FUZZY INFERENCE[J];Automation of Electric Power Systems;2001-24
6 Ma Rui, Yan Hongwen (Changsha Institute of Electric Power, Changsha 410077, China);A NEW DATA-MINING FRAMEWORK BASED ON DECISION-TREE FOR COMPETITIVE BIDDING ASSESSMENT IN POWER MARKET[J];Automation of Electric Power Systems;2002-15
7 Yu Zhihong, Guo Zhizhong(Harbin Institute of Technology, Harbin 150001, China);A NOVEL APPROACH FOR TRANSIENT STABILITY ASSESSMENT BASED ON DATA MINING THEORY[J];Automation of Electric Power Systems;2003-08
8 Sun Hongbin , Hu Jiangyi , Liu Yingshang , Zhang Boming , Wu Wenchuan (Tsinghua University, Beijing 100084, China) (Eastern China Power Dispatch and Communication Center, Shanghai 200002, China) (Southern China Power Dispatch and Communication Center, Guangzhou 510620, China);EVOLUTION OF THE POWER DISPATCHING CONTROL CENTER——REAL TIME POWER SECURITY EARLY WARNING SYSTEM[J];Automation of Electric Power Systems;2004-15
9 YU Ji-lai, LIU Zhuo (Harbin Institute of Technology, Harbin 150001, China);Electrical Dissecting Method of AC Branch Part One Dissection of Ordinary Branch[J];Automation of Electric Power Systems;2005-01
10 TANG Yi~1 YU Ji-lai~1 LIU Xian-lin~21.Harbin Institute of Technology,Harbin 150001,China2.Zhengzhou University,Zheng Zhou 450002,China;Electrical Dissecting Method of AC Branch Part Two Dissection of Phase-shifter's Branch[J];Automation of Electric Power Systems;2005-02
【Secondary Citations】
Chinese Journal Full-text Database 10 Hits
1 Wen Fushuau; Qiu Jiaju; Han Zhenxiang (Zhejiang University);A Refined Genetic Algorithm for Fault Section Estimation Using Information from Circuit Breakers[J];TRANSACTIONS OF CHINA ELECTROTECHNICAL SOCIETY;1996-02
2 ban Zhenxiang, Wen Fushuan. Zhang Qi(Zhejiang University, Hangzhou 310027. China);ARTIFICIAL INTELLIGENCE APPLICATIONS IN POWER SYSTEMS[J];AUTOMATION OF ELECTRIC POWER SYSTEMS;2000-02
3 Bi Tltinshul, Ni Yixinl, Yang Qixun'(l. The University of Hong Kong, Hong Kong, China)(2. North China Electric Power University, Beijing 100085. China);AN EVALUATION OF ARTIFICIAL INTELLIGENT TECHNOLOGIESFOR FAULT DIAGNOSIS IN POWER NETWORK[J];AUTOMATION OF ELECTRIC POWER SYSTEMS;2000-02
4 Liao Zhiwei, Sun Yaming (Tianjin University, Tianjin 300072. China);DATA MINING TECHNOLOGY AND ITS APPLICATION ON POWER SYSTEM[J];Automation of Electric Power Systems;2001-11
5 Zhao Hongshan,Mi Zengqiang,Yang Qixun North China Electric Power U niversity,Baoding 0 710 0 3,China;SUBSTATION FAULT DIAGNOSISBASED ON PETRI NETSEMBEDDING[J];Automation of Electric Power Systems;2002-04
6 Sun Jing 1, Qin Shiyin 1, Song Yonghua 2 (1. Beijing University of Aeronautics and Astronautics, Beijing 100083, China) (2. Brunel University, Uxbridge, Middlesex, UB8 3PH, UK);A FAULT DIAGNOSIS METHOD FOR POWER SYSTEMS BASED ON PETRI NETS AND PROBABILITY INFORMATION[J];Automation of Electric Power Systems;2003-13
7 Gu Xueping,Sheng Siqing,Zhang Wenqin,Gao Shu,Yang Yihan(North China Institute of Electric Power,Baoding);AN APPROACN TO BUILD EXPERT SYSTEMS WITN ARTIFICIAL NEURAL NETWORKS FOR POWER SYSTEM FAULT DIAGNOSIS[J];AUTOMATION OF ELECTRIC POWER SYSTEMS;1995-09
8 Wen Fushuan; Han Zhenxiang; Tian lei; Shi Juewei(Dept. of Electrical Engineering,Zhejiang University Hangzhou 310027)Zhang Huaiyu(Central Dispatching Institute,Zhejiang Provincial Power Company Hangzhou 310007);AN ANALYTIC MODEL AND GENETIC ALGORITHM BASED METHOD FOR FAULT DIAGNOSIS IN POWER SYSTEMS PART 3:THE EMS DATA ACQUISITION METHOD AND TEST RESULTS FOR ZHEJIANG PROVINCIAL POWER SYSTEM[J];PROCEEDINGS OF THE CSU-EPSA;1999-01
9 Wen Fushuan Han Zhenxiang Tian Lei Shi Juewei (Dept of Electrical Engineering,Zhejiang University Hangzhou 310027) Zhang Huaiyu (Central Dispatching Institute,Zhejiang Provincial Power Company 310007);An analytic model and genetic algorithm based methos for fault diagnosis in power systems Part 1:The model and method[J];PROCEEDINGS OF THE CSU-EPSA;1998-03
10 Wen Fushuan Han Zhenxiang Tian Lei Shi Juewei (Dept of Electrical Engineering,Zhejiang University Hangzhou, 310027) Zhang Huaiyu * ( *Central Dispatching Institute,Zhejiang Provincial Power Company, 310007);An analytic model and genetic algorithm based method for fault diagnosis in power systems Part 2:The software implementation[J];PROCEEDINGS OF THE CSU-EPSA;1998-03
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved