-
Integrated microwave acousto-optic frequency shifter on thin-film lithium niobate
Authors:
Linbo Shao,
Neil Sinclair,
James Leatham,
Yaowen Hu,
Mengjie Yu,
Terry Turpin,
Devon Crowe,
Marko Loncar
Abstract:
Electrically driven acousto-optic devices that provide beam deflection and optical frequency shifting have broad applications from pulse synthesis to heterodyne detection. Commercially available acousto-optic modulators are based on bulk materials and consume Watts of radio frequency power. Here, we demonstrate an integrated 3-GHz acousto-optic frequency shifter on thin-film lithium niobate, featu…
▽ More
Electrically driven acousto-optic devices that provide beam deflection and optical frequency shifting have broad applications from pulse synthesis to heterodyne detection. Commercially available acousto-optic modulators are based on bulk materials and consume Watts of radio frequency power. Here, we demonstrate an integrated 3-GHz acousto-optic frequency shifter on thin-film lithium niobate, featuring a carrier suppression over 30 dB. Further, we demonstrate a gigahertz-spaced optical frequency comb featuring more than 200 lines over a 0.6-THz optical bandwidth by recirculating the light in an active frequency shifting loop. Our integrated acousto-optic platform leads to the development of on-chip optical routing, isolation, and microwave signal processing.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
UAV Surveillance Under Visibility and Dwell-Time Constraints: A Sampling-Based Approach
Authors:
Jeffrey R. Peters,
Amit Surana,
Grant S. Taylor,
Terry S. Turpin,
Francesco Bullo
Abstract:
A framework is introduced for planning unmanned aerial vehicle flight paths for visual surveillance of ground targets, each having particular viewing requirements. Specifically, each target is associated with a set of imaging parameters, including a desired (i) tilt angle, (ii) azimuth, with the option of a 360-degree view, and (iii) dwell-time. Tours are sought to image the targets, while minimiz…
▽ More
A framework is introduced for planning unmanned aerial vehicle flight paths for visual surveillance of ground targets, each having particular viewing requirements. Specifically, each target is associated with a set of imaging parameters, including a desired (i) tilt angle, (ii) azimuth, with the option of a 360-degree view, and (iii) dwell-time. Tours are sought to image the targets, while minimizing both the total mission time and the time required to reach the initial target. An epsilon-constraint scalarization is used to pose the multi-objective problem as a constrained optimization, which, through careful discretization, can be approximated as a discrete graph-search. It is shown that, in many cases, this approximation is equivalent to a generalized traveling salesperson problem. A heuristic procedure for solving the discrete approximation and recovering solutions to the full routing problem is presented, and is shown to have resolution completeness properties. Algorithms are illustrated through numerical studies.
△ Less
Submitted 8 August, 2019;
originally announced August 2019.
-
Sawja: Static Analysis Workshop for Java
Authors:
Laurent Hubert,
Nicolas Barré,
Frédéric Besson,
Delphine Demange,
Thomas Jensen,
Vincent Monfort,
David Pichardie,
Tiphaine Turpin
Abstract:
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when develo** a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main feat…
▽ More
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when develo** a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs.
△ Less
Submitted 20 July, 2010;
originally announced July 2010.