-
Formal Analysis of Optical Systems
Authors:
Sanaz Khan-Afshar,
Umair Siddique,
Mohamed Yousri Mahmoud,
Vincent Aravantinos,
Ons Seddiki,
Osman Hasan,
Sofiene Tahar
Abstract:
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-critical applications. In order to overcome t…
▽ More
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-critical applications. In order to overcome these limitations, we propose to employ higher-order-logic theorem proving as a complement to computational and numerical approaches to improve optical model analysis in a comprehensive framework. The proposed framework allows formal analysis of optical systems at four abstraction levels, i.e., ray, wave, electromagnetic, and quantum.
△ Less
Submitted 11 March, 2014;
originally announced March 2014.
-
Wavefront correction with a ferrofluid deformable mirror: experimental results and recent developments
Authors:
Denis Brousseau,
Ermanno F. Borra,
Simon Thibaul,
Anna M. Ritcey,
Jocelyn Parent,
Omar Seddiki,
Jean-Philippe Dery,
Luc Faucher,
Julien Vassallo,
Azadeh Naderian
Abstract:
We present the research status of a deformable mirror made of a magnetic liquid whose surface is actuated by a triangular array of small current carrying coils. We demonstrate that the mirror can correct a 11 microns low order aberrated wavefront to a residual RMS wavefront error 0.05 microns. Recent developments show that these deformable mirrors can reach a frequency response of several hundre…
▽ More
We present the research status of a deformable mirror made of a magnetic liquid whose surface is actuated by a triangular array of small current carrying coils. We demonstrate that the mirror can correct a 11 microns low order aberrated wavefront to a residual RMS wavefront error 0.05 microns. Recent developments show that these deformable mirrors can reach a frequency response of several hundred hertz. A new method for linearizing the response of these mirrors is also presented.
△ Less
Submitted 15 July, 2008;
originally announced July 2008.
-
A cryogenic liquid-mirror telescope on the moon to study the early universe
Authors:
Roger Angel,
Simon P. Worden,
Ermanno F. Borra,
Daniel J. Eisenstein,
Bernard Foing,
Paul Hickson,
Jean-Luc Josset,
Ki Bui Ma,
Omar Seddiki,
Suresh Sivanandam,
Simon Thibault,
Paul van Susante
Abstract:
We have studied the feasibility and scientific potential of zenith observing liquid mirror telescopes having 20 to 100 m diameters located on the moon. They would carry out deep infrared surveys to study the distant universe and follow up discoveries made with the 6 m James Webb Space Telescope (JWST), with more detailed images and spectroscopic studies. They could detect objects 100 times faint…
▽ More
We have studied the feasibility and scientific potential of zenith observing liquid mirror telescopes having 20 to 100 m diameters located on the moon. They would carry out deep infrared surveys to study the distant universe and follow up discoveries made with the 6 m James Webb Space Telescope (JWST), with more detailed images and spectroscopic studies. They could detect objects 100 times fainter than JWST, observing the first, high-red shift stars in the early universe and their assembly into galaxies. We explored the scientific opportunities, key technologies and optimum location of such telescopes. We have demonstrated critical technologies. For example, the primary mirror would necessitate a high-reflectivity liquid that does not evaporate in the lunar vacuum and remains liquid at less than 100K: We have made a crucial demonstration by successfully coating an ionic liquid that has negligible vapor pressure. We also successfully experimented with a liquid mirror spinning on a superconducting bearing, as will be needed for the cryogenic, vacuum environment of the telescope. We have investigated issues related to lunar locations, concluding that locations within a few km of a pole are ideal for deep sky cover and long integration times. We have located ridges and crater rims within 0.5 degrees of the North Pole that are illuminated for at least some sun angles during lunar winter, providing power and temperature control. We also have identified potential problems, like lunar dust. Issues raised by our preliminary study demand additional in-depth analyses. These issues must be fully examined as part of a scientific debate we hope to start with the present article.
△ Less
Submitted 13 June, 2008;
originally announced June 2008.