Paper Info
Title
Towards ray optics formalization of optical imaging systems
Abstract
The verification of optical systems is an important issue due to their safety and financial critical nature (e.g., laser surgeries and space telescopes). Theorem proving offers an attractive solution to overcome the accuracy and soundness problems of traditional approaches like paper-and-pencil based proofs and computer simulation. However, existing formalizations of optics theories do not provide the facility to analyze optical imaging systems which describe the behavior of light ray within the system. In this paper, we present the ray optics formalization of cardinal points which are the most fundamental requirement to model imaging properties of optical systems. We also present the verification of cardinal points for a general system consisting of any number of optical components. For illustration purposes, we present the formal analysis of a thick lens.
Year
DOI
Venue
2014
10.1109/IRI.2014.7051914
Information Reuse and Integration
Keywords
Field
DocType
lenses,optical images,cardinal points,optical components,optical imaging systems,ray optics formalization,thick lens
Data mining,Ray,Computer science,Artificial intelligence,Soundness,Nonimaging optics,Computer engineering,Optical physics,Adaptive optics,Computer vision,Optical engineering,Automated theorem proving,Mathematical proof
Conference
Citations 
PageRank 
References 
0
0.34
7
Authors
2
Name
Order
Citations
PageRank
Umair Siddique16312.26
Sofiène Tahar2915110.41