Research and Application of Static Security Check for Monthly Maintenance Schedule

Monthly maintenance schedule has an important guiding significance to day ahead maintenance arrangement. However, the current management of monthly maintenance schedule is short of quantitative analysis methods. Consequently it can’t effectively take the security risk that may exist under monthly maintenance schedule. This paper presents a static security checking method for monthly maintenance schedule. First, established the monthly power grid network model based on the realtime model and device state changes, including the commissioning and decommissioning devices and maintenance devices. Next, the month-contract energy was decomposed to every day and every hour, then combined with monthly load forecast and maintenance schedule, the power system typical operation modes were generated automatically. Finally, quantitative assessment of monthly maintenance schedule was completed by power flow calculation, security analysis and evaluation indexes, including load supply adequacy and equivalent generation capacity loss. This method is instructive for monthly maintenance arrangement and its feasibility is proved by practical application.

Download Full-text

A Method of Static Security Analysis Based on Section Topology Relation

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.614-615.900 ◽

2012 ◽

Vol 614-615 ◽

pp. 900-906

Author(s):

Jun Liu ◽

Ling Ling Pan ◽

Yi Jun Yu ◽

Shu Hai Feng ◽

Feng Li ◽

...

Keyword(s):

Power Flow ◽

Jacobian Matrix ◽

Topological Analysis ◽

Security Analysis ◽

Current Data ◽

Data Section ◽

Dc Power ◽

Topology Changes ◽

Static Security ◽

Partial Factor

In this paper, a calculation method of static security analysis based on section topology relation is proposed. When topological structure of current data section is the same as that of the basecase section, it fully utilizes the factor tables of Jacobian matrix, and inverse matrix information of the basecase data section in rapid filtration of DC power flow. On the contrary, If topology changes compared with the basecase section, it adopts substation partial topological analysis technology as well as the method of partial factor table correction to increase the speed of calculation. Case studies with a practical power system indicate that the proposed method is correct and reasonable.

Download Full-text

Fast Static Security Analysis of Day-Ahead Generation Scheduling 96 Period Cases Adapting to Large Power System

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.732-733.669 ◽

2013 ◽

Vol 732-733 ◽

pp. 669-676

Author(s):

Feng Li ◽

Zhi Hua Wang ◽

Hu Cheng Li

Keyword(s):

Parallel Computing ◽

Power Flow ◽

Security Analysis ◽

Computing Technology ◽

Large Power ◽

Dc Power ◽

Generation Scheduling ◽

Multiple Thread ◽

Multiple Process ◽

Static Security

It’s important to improve the speed of security analysis of 96 period generation scheduling cases. Based on the characteristics of 96 period cases’ security analysis, four technical proposals were presented. They were following as fast scanning and analysis technology based on DC power flow screening, multiple thread parallel computing adapted to a multiple contingency case, multiple process parallel computing technology adapted to multiple period cases. Detailed test examples showed that the proposed methods could contribute much to fast security analysis of 96 period cases’ day-ahead dispatching schedule.

Download Full-text

IoT Cloud Security Review

ACM Computing Surveys ◽

10.1145/3447625 ◽

2021 ◽

Vol 54 (4) ◽

pp. 1-36

Author(s):

Fei Chen ◽

Duming Luo ◽

Tao Xiang ◽

Ping Chen ◽

Junfeng Fan ◽

...

Keyword(s):

Case Studies ◽

Service Providers ◽

Risk Mitigation ◽

Rapid Development ◽

Security Analysis ◽

Cloud Security ◽

Future Research ◽

Security Risk ◽

Research Attention ◽

Cloud Systems

Recent years have seen the rapid development and integration of the Internet of Things (IoT) and cloud computing. The market is providing various consumer-oriented smart IoT devices; the mainstream cloud service providers are building their software stacks to support IoT services. With this emerging trend even growing, the security of such smart IoT cloud systems has drawn much research attention in recent years. To better understand the emerging consumer-oriented smart IoT cloud systems for practical engineers and new researchers, this article presents a review of the most recent research efforts on existing, real, already deployed consumer-oriented IoT cloud applications in the past five years using typical case studies. Specifically, we first present a general model for the IoT cloud ecosystem. Then, using the model, we review and summarize recent, representative research works on emerging smart IoT cloud system security using 10 detailed case studies, with the aim that the case studies together provide insights into the insecurity of current emerging IoT cloud systems. We further present a systematic approach to conduct a security analysis for IoT cloud systems. Based on the proposed security analysis approach, we review and suggest potential security risk mitigation methods to protect IoT cloud systems. We also discuss future research challenges for the IoT cloud security area.

Download Full-text

Static Security Analysis of the Regional Power Grid Based on the Busbar Automatic Transfer Switch

Lecture Notes in Electrical Engineering - Mechatronics and Automatic Control Systems ◽

10.1007/978-3-319-01273-5_46 ◽

2013 ◽

pp. 419-426 ◽

Cited By ~ 1

Author(s):

Liang Zhao ◽

Jian Zhang ◽

He Zhu ◽

Xiaoxiao Cheng ◽

Feifei Zhang

Keyword(s):

Power Grid ◽

Security Analysis ◽

Regional Power ◽

Static Security ◽

Grid Based

Download Full-text

Case Study: Static Security Analysis of the Android Goldfish Kernel

FM 2015: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19249-9_39 ◽

2015 ◽

pp. 589-592 ◽

Cited By ~ 1

Author(s):

Tao Liu ◽

Ralf Huuck

Keyword(s):

Security Analysis ◽

Static Security

Download Full-text

A Situation-Aware Scheme for Efficient Device Authentication in Smart Grid-Enabled Home Area Networks

Electronics ◽

10.3390/electronics9060989 ◽

2020 ◽

Vol 9 (6) ◽

pp. 989 ◽

Cited By ~ 1

Author(s):

Anhao Xiang ◽

Jun Zheng

Keyword(s):

Smart Grid ◽

Smart Grids ◽

Communication Complexity ◽

Situational Awareness ◽

Security Analysis ◽

Risk Level ◽

Security Risk ◽

Risk Levels ◽

Home Area ◽

Home Area Networks

Home area networks (HANs) are the most vulnerable part of smart grids since they are not directly controlled by utilities. Device authentication is one of most important mechanisms to protect the security of smart grid-enabled HANs (SG-HANs). In this paper, we propose a situation-aware scheme for efficient device authentication in SG-HANs. The proposed scheme utilizes the security risk information assessed by the smart home system with a situational awareness feature. A suitable authentication protocol with adequate security protection and computational and communication complexity is then selected based on the assessed security risk level. A protocol design of the proposed scheme considering two security risk levels is presented in the paper. The security of the design is verified by using both formal verification and informal security analysis. Our performance analysis demonstrates that the proposed scheme is efficient in terms of computational and communication costs.

Download Full-text