Enhancement is one of the challenging factors in image processing. The objective of enhancement is to improve the structural appearance of an image without any degradation in the input image. The enhancement techniques make the identification of key features easier by removing noise and other artifacts in an image. This paper analyzes the performance of various enhancement techniques based on noise ratio, time delay and quality. It also suggest suitable algorithm for remote sensing images based on the analysis.
This paper presents the modeling and verification of supervisory energy management systems (EMS) for microgrids using timed automata (TA) and formal verification approach. EMS plays an essential role in managing the power flow among different components in the microgrid system for its safe and reliable operation. The modeling of EMS is based on pre-defined invariants with allowable and non-allowable operating modes, which are the conditions that do not change over time. The failure of invariants could have severe effects on the microgrid system functionality, which highlights the importance of verification during the initial stage of EMS design. Conventional approaches such as simulation and/or experimental verification requires manual checking and skilled professional knowledge to check EMS design correctness. Also, there may exist a corner case leading to system failure going unidentified by manual analysis. This paper proposes an automatic formal verification approach which is exhaustive and provides much stronger confidence to EMS design correctness than the conventional verification. The verification in this paper is performed using the UPPAAL model checker, a powerful toolbox for verifying real-time systems modeled as a network of timed automata. Nevertheless, the proposed approach is generic and any other commercial or non-commercial model checking tool could be used as well. The dynamics of the microgrid system components are modeled as TA where the models interact with each other through shared variables and synchronizing channels. The microgrid system considered for this study has a photovoltaic (PV) array, a pair of battery energy storage systems (BESes), a diesel generator and a load. To evaluate the proposed methodology, the timed automata model of microgrid components with supervisory controller is presented and the results show that the proposed approach is effective in verifying the EMS design.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.