Paraconsistent logic study of image focus in cylindrical refraction experiments

Abstract

Automation techniques have increased their applications in different areas of knowledge areas. Digital Image Processing is one of the most important application areas. Image processing algorithms have been developed to automate autofocus in digital cameras, to evaluate focus quality, and many other industrial automation tasks. In scientific use, image fidelity is determinative as blurred pictures may induce erroneous conclusions on imaged-object size, position, shape, and volume evaluation. For this reason, plenty of algorithms have been created to avoid these mistakes and to ensure a precise focus. However, these new algorithms’ uprising has produced some contradictory results. To solve these inconsistencies, the use of Paraconsistent Logic (PL) can be an important method to provide parameters to measure lack of information, indicating a paracomplete condition. Images with cylindrical refraction effects are important examples of how PL can be applied to solve focus inconsistencies. This work analyses experimental acquired images from objects inside glass cylindrical tube typically used in a natural circulation facility. This experiment is used as basis to exemplify the importance of using PL to evaluate different focus measurements in order to obtain good flow parameters estimation. Some intelligent algorithms are used to predict and to correct these possible inconsistencies on optical distortion evaluation, which is directly related to focus definition and estimation. As a result, object dimensions estimation can have its accuracy enhanced.