Search

Optical fibers have emerged as a transformative platform for building better and more robust solid state lasers. However, the wavelengths available to these lasers are limited. Using hollow core optical fibers allows us to add gases as new potential gain media for fiber lasers, and also liberates the gas laser from the limits normally imposed by diffraction. To demonstrate the new technology, we present a fiber laser at 3500 nm wavelength, using an antiresonant guiding hollow core optical fiber containing neutral xenon atoms pumped by an afterglow discharge of a helium-xenon mixture within a fiber of over 1 m in length. Laser action is confirmed through observation of polarization dependence, mode pulling and mode beating. Our results unlock a new breed of flexible fiber lasers operating at a plethora of wavelengths, many previous unavailable., Comment: 10 pages

We report on the development of a multi-wavelength source locked to the ITU-T grid at 100 GHz spacing and based on ultra-flattened dispersion photonic crystal fibers. The ITU-T grid frequencies are generated by taking advantage of multiple four-wave mixing processes. We experimentally obtained 250 products spanning over 200nm by launching 03 strong pump signals. Simulations based on Split-Step Fourier Method have been carried out in order to investigate and improve the performance of this nonlinear optical device., Comment: 5 pages, 5 figures

Research in the year covered by this reporting period has been primarily directed toward the following areas: (1) Formal specification of user interfaces; (2) Fault-tree analysis including software; (3) Evaluation of formal specification notations; (4) Evaluation of formal verification techniques; (5) Expanded analysis of the shell architecture concept; (6) Development of techniques to address the problem of information survivability; and (7) Development of a sophisticated tool for the manipulation of formal specifications written in Z. This report summarizes activities under the grant. The technical results relating to this grant and the remainder of the principal investigator's research program are contained in various reports and papers. The remainder of this report is organized as follows. In the next section, an overview of the project is given. This is followed by a summary of accomplishments during the reporting period and details of students funded. Seminars presented describing work under this grant are listed in the following section, and the final section lists publications resulting from this grant.

Research in the year covered by this reporting period has been primarily directed toward: continued development of mock-ups of computer screens for operator of a digital reactor control system; development of a reactor simulation to permit testing of various elements of the control system; formal specification of user interfaces; fault-tree analysis including software; evaluation of formal verification techniques; and continued development of a software documentation system. Technical results relating to this grant and the remainder of the principal investigator's research program are contained in various reports and papers.

During the grant reporting period our primary activities have been to begin preparation for the establishment of a research program in experimental computer science. The focus of research in this program will be safety-critical systems. Many questions that arise in the effort to improve software dependability can only be addressed empirically. For example, there is no way to predict the performance of the various proposed approaches to building fault-tolerant software. Performance models, though valuable, are parameterized and cannot be used to make quantitative predictions without experimental determination of underlying distributions. In the past, experimentation has been able to shed some light on the practical benefits and limitations of software fault tolerance. It is common, also, for experimentation to reveal new questions or new aspects of problems that were previously unknown. A good example is the Consistent Comparison Problem that was revealed by experimentation and subsequently studied in depth. The result was a clear understanding of a previously unknown problem with software fault tolerance. The purpose of a research program in empirical computer science is to perform controlled experiments in the area of real-time, embedded control systems. The goal of the various experiments will be to determine better approaches to the construction of the software for computing systems that have to be relied upon. As such it will validate research concepts from other sources, provide new research results, and facilitate the transition of research results from concepts to practical procedures that can be applied with low risk to NASA flight projects. The target of experimentation will be the production software development activities undertaken by any organization prepared to contribute to the research program. Experimental goals, procedures, data analysis and result reporting will be performed for the most part by the University of Virginia.