Probabilistic Modeling of Histogram Based Fuzzy Image Enhancement Algorithm

Ghazala Junejo (), Sania Bhatti () and Mohsin Memon ()

Review of Information Engineering and Applications, 2022, vol. 9, issue 1, 1-11

Abstract: Probabilistic model checking is frequently used to examine stochastic behavior. Model-checking is important for examining before extensive simulations, in differing fields, including computer communications, networks, security, and biology. In this work performance of histogram-based fuzzy image enhancement (HFIE Algorithm). The fuzzy contrast enhancement algorithm based on histograms is used to improve low contrast colored photographs. K is the contrast intensification parameter calculated from the histogram. The RGB image is transformed into HSV to preserve the chromatic information in the original image. To improve the image, only the V component is stretched using the M and K parameters. HFIE Algorithm is analyzed by developing its Discrete-time Markov Chain (DTMC) model in the Probabilistic Symbolic Model Checker (PRISM). First, a labeled transition diagram showing the functionality of HFIE Algorithm is constructed, then the HFIE Algorithm model using the PRISM tool is developed. The expected time to convert RGB image to HSV, probability of achieving enhanced RGB image, and expected SNR are measured with the help of properties.

Keywords: PRISM; MTBDD; DTMC; CTMC; MDP; PCTL; HFIEA; RGB; HSV; SNR. (search for similar items in EconPapers)
Date: 2022
References: Add references at CitEc
Citations:

Downloads: (external link)
https://archive.conscientiabeam.com/index.php/79/article/view/2908/4535 (application/pdf)
https://archive.conscientiabeam.com/index.php/79/article/view/2908/5489 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:pkp:roieaa:v:9:y:2022:i:1:p:1-11:id:2908

Access Statistics for this article

More articles in Review of Information Engineering and Applications from Conscientia Beam
Bibliographic data for series maintained by Dim Michael ().