Method for formal design synthesis of various electro-optical devices including selected aspects of quantum optics / quantum mechanics

摘要

This article describes a method for formal engineering design synthesis of various electro-optical devices. A formal description of the design synthesis is described here and in our previous work, that converges toward completely automated design synthesis. In the first example of design synthesis, which describes the design synthesis of three-dimensional (3D) display, the optimization was performed with the goal of minimization of crosstalk and aberrations in the displayed image and maximization of the number of different views of the 3D image. The design of systems that need to be described by Quantum Optics / Quantum Mechanics is also studied, in an attempt to investigate the possibilities of description of light, that converge toward unified classical Physics and Quantum Mechanics description, as well as to create the corresponding unified design synthesis. Procedure for design of systems that need to be described by Quantum Mechanics / Quantum Optics methodology is elaborated as part of design synthesis methodology described here, and an example of its use is provided. Possibilities to perform formal design synthesis, such as to derive formal derivation of the transformation of the initial design to optimized version based on Quantum Optics / Quantum Mechanics, have also been elaborated.