首页 > 最新文献

2009 Transmission & Distribution Conference & Exposition: Asia and Pacific最新文献

英文 中文
Development of automatic testing tool for software coding rules for railway signalling 铁路信号软件编码规则自动测试工具的开发
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356890
J. Hwang, H. Jo, B. Kim, R. Jeong
In accordance with the development of recent computer technology, the dependency of railway signaling system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of railway signaling system software became more important. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its result of implementation. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.
随着计算机技术的发展,铁路信号系统对计算机软件的依赖程度越来越高,因此对铁路信号系统软件的安全性和可靠性的测试就显得尤为重要。本文提出了一种铁路信号系统软件编码规则自动化测试工具,并给出了实现结果。实施工具中的测试项目参照了铁路系统软件相关的国际标准和MISRA-C标准。该铁路信号系统自动化测试工具可用于铁路信号系统软件的评估阶段,也可用于软件开发阶段。
{"title":"Development of automatic testing tool for software coding rules for railway signalling","authors":"J. Hwang, H. Jo, B. Kim, R. Jeong","doi":"10.1109/TD-ASIA.2009.5356890","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356890","url":null,"abstract":"In accordance with the development of recent computer technology, the dependency of railway signaling system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of railway signaling system software became more important. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its result of implementation. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125106166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Improvement of voltage stability by using VSC-HVdc 用VSC-HVdc提高电压稳定性
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356946
H. Latorre, M. Ghandhari
This paper analyzes and compares the stability of a power system when either a new ac transmission line or a dc link based on VSCs is connected in the grid. The location of the new transmission line is determined by the restrictions in the transfer of power. From the controllability point of view, this is not the most suitable location for a VSC-HVdc to provide damping. However the voltage support capability of the VSC-HVdc can be exploited to keep the system from losing synchronism due to voltage collapse.
本文分析和比较了在电网中新建交流输电线路和新建基于VSCs的直流输电线路时电力系统的稳定性。新输电线路的位置是由电力传输中的限制条件决定的。从可控性的角度来看,这不是vdc提供阻尼的最合适位置。然而,可以利用直流直流供电系统的电压支持能力来防止系统因电压崩溃而失去同步。
{"title":"Improvement of voltage stability by using VSC-HVdc","authors":"H. Latorre, M. Ghandhari","doi":"10.1109/TD-ASIA.2009.5356946","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356946","url":null,"abstract":"This paper analyzes and compares the stability of a power system when either a new ac transmission line or a dc link based on VSCs is connected in the grid. The location of the new transmission line is determined by the restrictions in the transfer of power. From the controllability point of view, this is not the most suitable location for a VSC-HVdc to provide damping. However the voltage support capability of the VSC-HVdc can be exploited to keep the system from losing synchronism due to voltage collapse.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131411516","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
The modeling of over-current reclosing relay using dynamic link library 利用动态链接库对过流重合闸继电器进行建模
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356930
No-Kyu Seong, S. Yeo, Chul-Hwan Kim
This paper presents a new method of modeling using a Dynamic Link Library (DLL) function in the Electro-Magnetic Transients Program — Restructured Version (EMTP-RV), in which we have simplified the procedures of over-current reclosing relay modeling. The EMTP-RV is the enhanced computational engine. and EMTPWorks is a new Graphical User Interface (GUI) of EMTP. The major improvements to EMTP-RV are a new approach with built-in models and encapsulation, user-defined modeling, and a code structure designed to be expandable to specialized toolboxes using the DLL function. The DLL function is designed to allow EMTP-RV users to develop advanced program modules and interface them directly and intimately with the EMTP-RV engine. The modeled over current reclosing relay is verified by simulating the various types of faults in the distribution system. The results show the validity of the over current reclosing relay model.
本文提出了一种利用EMTP-RV中的动态链接库(DLL)函数进行过流重合闸继电器建模的新方法,简化了过流重合闸继电器的建模过程。EMTP-RV是增强型计算引擎。EMTPWorks是EMTP的一个新的图形用户界面(GUI)。EMTP-RV的主要改进是采用内置模型和封装、用户定义建模的新方法,以及设计为可扩展到使用DLL函数的专用工具箱的代码结构。DLL功能旨在允许EMTP-RV用户开发高级程序模块,并将它们直接与EMTP-RV引擎紧密连接。通过对配电系统中各种类型故障的仿真,验证了所建立的过电流重合闸继电器的正确性。结果表明了过电流重合闸继电器模型的有效性。
{"title":"The modeling of over-current reclosing relay using dynamic link library","authors":"No-Kyu Seong, S. Yeo, Chul-Hwan Kim","doi":"10.1109/TD-ASIA.2009.5356930","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356930","url":null,"abstract":"This paper presents a new method of modeling using a Dynamic Link Library (DLL) function in the Electro-Magnetic Transients Program — Restructured Version (EMTP-RV), in which we have simplified the procedures of over-current reclosing relay modeling. The EMTP-RV is the enhanced computational engine. and EMTPWorks is a new Graphical User Interface (GUI) of EMTP. The major improvements to EMTP-RV are a new approach with built-in models and encapsulation, user-defined modeling, and a code structure designed to be expandable to specialized toolboxes using the DLL function. The DLL function is designed to allow EMTP-RV users to develop advanced program modules and interface them directly and intimately with the EMTP-RV engine. The modeled over current reclosing relay is verified by simulating the various types of faults in the distribution system. The results show the validity of the over current reclosing relay model.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127613751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Design of the DC ±500kV full scale transmission test line in Gochang 高昌直流±500kV全尺寸输电试验线路设计
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5357020
K. Shin, Dong-il Lee, Jae-seop Lim, M. Ju, Kwang-ho Yang
A HVDC test line that functions as a prototype variation was constructed in Korea, after considering the main functions and characteristics of diverse ±500kV DC transmission test line towers and the results of the analysis of the line's insulation, environment, fitting, transmission equipment, economic feasibility, and operational efficiency. The variable prototype test line has advantages in line-related researches, including in the fitting design, insulation coordination design, line construction technology and transmission equipment development, and does not require high-cost towers, unlike overseas test lines. The maximum applied voltage of the newly constructed DC test line was ±600 kV, and a measurement system was established around the line to evaluate the interference factors. Tests on various environmental characteristics will be performed to derive the optimal pole arrangement coordinates for the Korean environment, while changing the pole arrangement and height of the line using a large hoist installed at special arms in tower No. 2 and 3.
在综合考虑各种±500kV直流输电试验线路塔的主要功能和特点,并对线路的绝缘、环境、安装、输电设备、经济可行性和运行效率进行分析的基础上,在韩国建设了一条具有原型变化功能的高压直流试验线路。可变样机试验线路在线路相关研究方面具有优势,包括管件设计、绝缘配合设计、线路施工技术和输电设备开发等,并且不像国外试验线路那样需要高造价的塔。新建直流测试线路的最大外加电压为±600 kV,并在线路周围建立了测量系统,对干扰因素进行评估。将利用安装在2号塔和3号塔的特殊臂上的大型提升机,对各种环境特性进行试验,得出最适合韩国环境的杆子布置坐标,并改变杆子布置和线路高度。
{"title":"Design of the DC ±500kV full scale transmission test line in Gochang","authors":"K. Shin, Dong-il Lee, Jae-seop Lim, M. Ju, Kwang-ho Yang","doi":"10.1109/TD-ASIA.2009.5357020","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5357020","url":null,"abstract":"A HVDC test line that functions as a prototype variation was constructed in Korea, after considering the main functions and characteristics of diverse ±500kV DC transmission test line towers and the results of the analysis of the line's insulation, environment, fitting, transmission equipment, economic feasibility, and operational efficiency. The variable prototype test line has advantages in line-related researches, including in the fitting design, insulation coordination design, line construction technology and transmission equipment development, and does not require high-cost towers, unlike overseas test lines. The maximum applied voltage of the newly constructed DC test line was ±600 kV, and a measurement system was established around the line to evaluate the interference factors. Tests on various environmental characteristics will be performed to derive the optimal pole arrangement coordinates for the Korean environment, while changing the pole arrangement and height of the line using a large hoist installed at special arms in tower No. 2 and 3.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128086287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Regression analysis of JEPX market price JEPX市场价格的回归分析
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356987
Nobuyuki Nishiyama, Akihiro Mukai, H. Miyauchi, T. Misawa
The deregulation of electric power utilities has been progressing all over the world including Japan. Therefore, it is useful for coming full liberalization to analyze current market price and its structure. In this paper, we analyze the market prices of JEPX (Japan Electric Power Exchange) by simple regression equations, of which explanatory variables are a value related to demand and the power price of 24 hours ago. The results of JEPX price data compare with the results of New England electricity market price data. Furthermore, as the regression analysis for the winter peak period is not good, we add temperature or crude oil price data as a new explanation variable to improve the coefficients of determination.
包括日本在内的世界各国都在推进对电力公司的管制。因此,分析目前的市场价格及其结构,对全面放开是有益的。本文采用简单回归方程对日本电力交易所(JEPX)的市场价格进行了分析,其中解释变量为与需求和24小时前电价相关的一个值。将JEPX电价数据结果与新英格兰电力市场电价数据结果进行比较。此外,由于冬季高峰期的回归分析不好,我们增加了温度或原油价格数据作为新的解释变量,以提高确定系数。
{"title":"Regression analysis of JEPX market price","authors":"Nobuyuki Nishiyama, Akihiro Mukai, H. Miyauchi, T. Misawa","doi":"10.1109/TD-ASIA.2009.5356987","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356987","url":null,"abstract":"The deregulation of electric power utilities has been progressing all over the world including Japan. Therefore, it is useful for coming full liberalization to analyze current market price and its structure. In this paper, we analyze the market prices of JEPX (Japan Electric Power Exchange) by simple regression equations, of which explanatory variables are a value related to demand and the power price of 24 hours ago. The results of JEPX price data compare with the results of New England electricity market price data. Furthermore, as the regression analysis for the winter peak period is not good, we add temperature or crude oil price data as a new explanation variable to improve the coefficients of determination.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132560360","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on acceleration phenomena with test equipment of simulating puffer type gas circuit breaker 用模拟泵式气体断路器试验装置研究加速现象
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5357026
H. Ikeda, S. Kawachi, K. Harada, S. Ohtsuka, M. Hikita, T. Nagata, K. Iwamoto
The diagnosis was investigated by using the acceleration measurement for mechanical failure and degradation of a SF6 gas circuit breaker (GCB). The mechanical model GCB was fabricated to produce similar acceleration characteristics to a real GCB. The MEMS (Micro Electro-Mechanical System) sensor was adopted for the purpose of confirming its applicability with the well-established piezoelectric accelerometer. The acceleration characteristics of the model GCB was generally similar to the real GCB of 300kV class, except the high frequency component. The MEMS sensor application was feasible with some limitations. It was indicated a mechanical failure could be detected by the acceleration measurement.
采用加速度测量方法对SF6气体断路器(GCB)的机械故障和退化进行了诊断研究。为了获得与实际GCB相似的加速度特性,制作了GCB力学模型。采用MEMS(微机电系统)传感器,以验证其与已有的压电加速度计的适用性。模型GCB的加速度特性除高频部分外,与300kV级实际GCB的加速度特性基本相似。MEMS传感器的应用是可行的,但也存在一定的局限性。结果表明,通过加速度测量可以检测出机械故障。
{"title":"Research on acceleration phenomena with test equipment of simulating puffer type gas circuit breaker","authors":"H. Ikeda, S. Kawachi, K. Harada, S. Ohtsuka, M. Hikita, T. Nagata, K. Iwamoto","doi":"10.1109/TD-ASIA.2009.5357026","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5357026","url":null,"abstract":"The diagnosis was investigated by using the acceleration measurement for mechanical failure and degradation of a SF6 gas circuit breaker (GCB). The mechanical model GCB was fabricated to produce similar acceleration characteristics to a real GCB. The MEMS (Micro Electro-Mechanical System) sensor was adopted for the purpose of confirming its applicability with the well-established piezoelectric accelerometer. The acceleration characteristics of the model GCB was generally similar to the real GCB of 300kV class, except the high frequency component. The MEMS sensor application was feasible with some limitations. It was indicated a mechanical failure could be detected by the acceleration measurement.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132584224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development of voltage stability index using synchro-phasor based data 基于同步相量数据的电压稳定指标的建立
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356895
Sangwook Han, B. Lee, S. Kim, Y. Moon
Through the development of phasor measurement units (PMU), various aspects of power system dynamic behavior could be monitored and diagnosed. Monitoring dynamic voltage stability becomes one of achievements we can obtain from PMUs. It is very important to select the method appropriate to the KEPCO system since there are many voltage stability indices. In the paper, we propose an advanced WAVI (Wide Area Voltage Stability) for monitoring dynamic voltage stability. It reflects the PMU installation plan of KEPCO, thus it is suitable for KEPCO system specially. The salient features of the proposed index are; i) it uses only PMU measurements without coupling with EMS data. ii) it is computationally unburden so that it can be applied to real-time situation. The proposed index is applied to the KEPCO test system and the result shows that it successfully predicts voltage instability through the comparative studies.
通过发展相量测量单元(PMU),可以对电力系统动态行为的各个方面进行监测和诊断。动态电压稳定性监测成为pmu可以取得的成果之一。由于韩国电力系统的电压稳定指标较多,选择合适的方法是非常重要的。在本文中,我们提出了一种先进的广域电压稳定(WAVI)来监测动态电压稳定性。它反映了韩国电力公司的PMU安装计划,因此特别适用于韩国电力公司的系统。拟议指数的显著特点是:i)仅使用PMU测量值,不与EMS数据耦合。Ii)计算负担轻,可应用于实时情况。将该指标应用于韩国电力公司试验系统,通过对比研究,结果表明该指标能够成功地预测电压不稳定。
{"title":"Development of voltage stability index using synchro-phasor based data","authors":"Sangwook Han, B. Lee, S. Kim, Y. Moon","doi":"10.1109/TD-ASIA.2009.5356895","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356895","url":null,"abstract":"Through the development of phasor measurement units (PMU), various aspects of power system dynamic behavior could be monitored and diagnosed. Monitoring dynamic voltage stability becomes one of achievements we can obtain from PMUs. It is very important to select the method appropriate to the KEPCO system since there are many voltage stability indices. In the paper, we propose an advanced WAVI (Wide Area Voltage Stability) for monitoring dynamic voltage stability. It reflects the PMU installation plan of KEPCO, thus it is suitable for KEPCO system specially. The salient features of the proposed index are; i) it uses only PMU measurements without coupling with EMS data. ii) it is computationally unburden so that it can be applied to real-time situation. The proposed index is applied to the KEPCO test system and the result shows that it successfully predicts voltage instability through the comparative studies.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132745120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Performance testing of Grid-connected photovoltaic inverter based on an integrated electronic protection device 基于集成电子保护装置的并网光伏逆变器性能测试
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356868
Eung-Sang Kim, Dae-Won Kim
This paper addresses grid interconnection tests of a 3kW transformer-less photovoltaic (PV) inverter to verify the effectiveness of the PV inverter and promote its wide use. The 3kW transformer-less PV inverter, which was equipped with intelligent protection and control svstem, was manufactured. A hardware test bed was constructed for performance tests of the PV inverter. Control performance and grid protection tests were carried out using the test bed. Test results verify the performance of the power control and grid protection functions of the developed transformer-less PV inverter.
本文对3kW无变压器光伏逆变器进行了并网试验,验证了该逆变器的有效性,促进了其广泛应用。研制出配备智能保护控制系统的3kW无变压器光伏逆变器。搭建了硬件试验台,对光伏逆变器进行了性能测试。利用该试验台进行了控制性能和电网保护试验。试验结果验证了所研制的无变压器光伏逆变器的功率控制和电网保护功能的性能。
{"title":"Performance testing of Grid-connected photovoltaic inverter based on an integrated electronic protection device","authors":"Eung-Sang Kim, Dae-Won Kim","doi":"10.1109/TD-ASIA.2009.5356868","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356868","url":null,"abstract":"This paper addresses grid interconnection tests of a 3kW transformer-less photovoltaic (PV) inverter to verify the effectiveness of the PV inverter and promote its wide use. The 3kW transformer-less PV inverter, which was equipped with intelligent protection and control svstem, was manufactured. A hardware test bed was constructed for performance tests of the PV inverter. Control performance and grid protection tests were carried out using the test bed. Test results verify the performance of the power control and grid protection functions of the developed transformer-less PV inverter.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134429488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Network centrality based N-k contingency scenario generation 基于N-k应急场景生成的网络中心性
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356963
Rodel D. Dosano, Hwachang Song, Byongjun Lee
To investigate and evaluate the mechanics of how failures spread in power grids, this paper introduces a methodology for a credible list of critical N-k contingencies that would threaten the grids. The methodology is based on the concept of delta centrality. The list of critical contingencies will provide the look-ahead situation awareness for operators on any impending large power grid blackouts. We also propose novel indices which are simple to interpret and can be used to determine and identify locations of critical components caused by cascading failures. Build-ups of potentially high risk cascading failures can be monitored by these indices thus, providing wide area visibility of power system dynamics against threatening events. Results from 118 test bus system show a promising application for enhancing power system against rare and catastrophic outages.
为了调查和评估故障如何在电网中传播的机制,本文介绍了一种方法,用于列出可能威胁电网的关键N-k突发事件的可信列表。该方法基于delta中心性的概念。关键突发事件列表将为运营商提供任何即将发生的大型电网停电的前瞻性情况感知。我们还提出了新的指标,这些指标易于解释,可用于确定和识别由级联故障引起的关键部件的位置。因此,这些指数可以监测潜在高风险级联故障的累积,从而提供针对威胁事件的电力系统动态的广域可见性。118试验母线系统的试验结果表明,该系统在增强电力系统抗罕见和灾难性故障方面具有良好的应用前景。
{"title":"Network centrality based N-k contingency scenario generation","authors":"Rodel D. Dosano, Hwachang Song, Byongjun Lee","doi":"10.1109/TD-ASIA.2009.5356963","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356963","url":null,"abstract":"To investigate and evaluate the mechanics of how failures spread in power grids, this paper introduces a methodology for a credible list of critical N-k contingencies that would threaten the grids. The methodology is based on the concept of delta centrality. The list of critical contingencies will provide the look-ahead situation awareness for operators on any impending large power grid blackouts. We also propose novel indices which are simple to interpret and can be used to determine and identify locations of critical components caused by cascading failures. Build-ups of potentially high risk cascading failures can be monitored by these indices thus, providing wide area visibility of power system dynamics against threatening events. Results from 118 test bus system show a promising application for enhancing power system against rare and catastrophic outages.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134099690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Formal requirements specification in safety-critical railway signaling system 安全关键型铁路信号系统的形式要求规范
Pub Date : 2009-12-18 DOI: 10.1109/TD-ASIA.2009.5356920
H. Jo, Jong-Gyu Hwang, Yong-Ki Yoon
Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and ‘Statemate MAGNUM’ which is formal method tools using Statechart. Also we applied the proposed method to safety-critical railway signaling systems for the formal requirement specification and analyzed the specification results.
许多关键控制系统是使用形式化方法开发的。当应用于此类系统的软件被开发出来时,在软件需求规范和验证中使用形式化方法将为此类应用程序提供更多的保证。使用形式化规范方法,可以检测出被忽略的需求规范的早期错误。同时,使用模型检查进行形式验证来检查所有可达状态的测试和完全验证也能够完成。在本文中,我们提出了一种折衷的方法,将Z(Zed)形式语言和使用Statechart的形式方法工具“Statemate MAGNUM”结合起来。并将该方法应用于安全关键型铁路信号系统的形式化需求规范,并对规范结果进行了分析。
{"title":"Formal requirements specification in safety-critical railway signaling system","authors":"H. Jo, Jong-Gyu Hwang, Yong-Ki Yoon","doi":"10.1109/TD-ASIA.2009.5356920","DOIUrl":"https://doi.org/10.1109/TD-ASIA.2009.5356920","url":null,"abstract":"Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and ‘Statemate MAGNUM’ which is formal method tools using Statechart. Also we applied the proposed method to safety-critical railway signaling systems for the formal requirement specification and analyzed the specification results.","PeriodicalId":131589,"journal":{"name":"2009 Transmission & Distribution Conference & Exposition: Asia and Pacific","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134108174","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
期刊
2009 Transmission & Distribution Conference & Exposition: Asia and Pacific
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1