scholarly journals Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network

2021 ◽  
Vol 6 (3) ◽  
pp. 116-124
Author(s):  
Jiaming Weng ◽  
Dong Liu ◽  
Yingxu Liu
Keyword(s):  
Formal Specification ◽  
Fault Location ◽  
Distributed Processing ◽  
Distribution Network ◽  
Active Distribution Network ◽  
Service Restoration ◽  
Formal Specification And Verification ◽  
Topology Model ◽  
Specification And Verification ◽  
Local Topology

scholarly journals Enhancing formal specification and verification of e-commerce protocol

2017 ◽  
Vol 6 (1) ◽  
pp. 13
Author(s):  
Hasan Al-Refai ◽  
Khaldoun Batiha
Keyword(s):  
Formal Specification ◽  
Electronic Payment ◽  
Complex Phase ◽  
Transaction Process ◽  
Protocol Performance ◽  
Formal Specification And Verification ◽  
Security Properties ◽  
Set Protocol ◽  
Specification And Verification

Lots of work have been attempted to enhance the SET protocol performance special attention is on E-payment phase. This paper thoroughly analyzes recent works on payment phase; it has been found that this subject requires considerable enhancements, since there are areas, which require further study such as: E-payment phase in SET protocol.E-payment phase is vast and complex phase it has long series of steps. The behavior of environment is assumed by the phase and is restricted to the rules built by their proposed protocol. This paper will follow Ph-Spi calculus for formalizing and analyzing enhanced payment phase of SET protocol by reducing the number of transactions with many additional operators.A new agent controller will be formally modeled, which we can rely upon to make automated decisions during interaction with a dynamic protocol environment. So, this agent controller is used to terminate the transaction process in any case of fraud or attack. This paper is conjunction between our previous works of E-payment phase in SET protocol and other works in Ph-Spi calculus in purpose of analyzing and proving the main security properties: authentication and privacy to evaluate the efficiency of the enhanced security of electronic payment phase for SET protocol (E-SET) using Ph-Spi calculus.

Fast Service Restoration of Multi-Source Active Distribution Network with Microgrids and Electric Vehicles

2014 ◽  
Vol 672-674 ◽  
pp. 1175-1178
Author(s):  
Guang Min Fan ◽  
Ling Xu Guo ◽  
Wei Liang ◽  
Hong Tao Qie
Keyword(s):  
Electric Vehicles ◽  
Distribution System ◽  
Power Flow ◽  
Optimal Power Flow ◽  
Large Scale ◽  
Distribution Network ◽  
Active Distribution Network ◽  
Optimal Power ◽  
Service Restoration ◽  
Restoration Method

The increasingly serious energy crisis and environmental pollution problems promote the large-scale application of microgrids (MGs) and electric vehicles (EVs). As the main carrier of MGs and EVs, distribution network is gradually presenting multi-source and active characteristics. A fast service restoration method of multi-source active distribution network with MGs and EVs is proposed in this paper for service restoration of distribution network, which takes effectiveness, rapidity, economy and reliability into consideration. Then, different optimal power flow (OPF) models for the service restoration strategy are constructed separately to minimize the network loss after service restoration. In addition, a genetic algorithm was introduced to solve the OPF model. The analysis of the service restoration strategy is carried out on an IEEE distribution system with three-feeder and eighteen nodes containing MGs and EVs, and the feasibility and effectiveness are verified

Sign in / Sign up

Export Citation Format

Share Document