Apel S.,University of Passau |
Hutchins D.,MZA Associates Corporation
ACM Transactions on Programming Languages and Systems | Year: 2010
The goal of feature-oriented programming (FOP) is to modularize software systems in terms of features. A feature refines the content of a base program. Both base programs and features may contain various kinds of software artifacts, for example, source code in different languages, models, build scripts, and documentation. We and others have noticed that when composing features, different kinds of software artifacts can be refined in a uniform way, regardless of what they represent. We present gDeep, a core calculus for feature composition, which captures the language independence of FOP; it can be used to compose features containing many different kinds of artifact in a type-safe way. The calculus allows us to gain insight into the principles of FOP and to define general algorithms for feature composition and validation. We provide the formal syntax, operational semantics, and type system of gDeep and outline how languages like Java, Haskell, Bali, and XML can be plugged in. © 2010 ACM. Source
Agency: Department of Defense | Branch: Navy | Program: SBIR | Phase: Phase II | Award Amount: 493.18K | Year: 2015
In the Phase I effort, we developed a detailed design of a DM capable of meeting the solicitation requirements. In the Phase II effort, we propose to develop manufacturing techniques for realizing this DM and testing it against the program goals.
Agency: Department of Defense | Branch: Air Force | Program: STTR | Phase: Phase I | Award Amount: 149.99K | Year: 2015
ABSTRACT: MZA partnered with the University of Notre Dame proposes to extend MZAs WaveTrain wave-optics sensor simulation framework to model EO/IR sensors operating on hypersonic aircraft. Following the methods we have developed for aero-optical imaging through subsonic, transonic, and supersonic flows, existing WaveTrain libraries will be expanded to include hypersonic flow, shocks, thermal effects, and window loading aberration models. Optical measurements in Notre Dames hypersonic wind tunnel will be used as a basis for aero-optical phase screen models which will be validated in comparison with test data. These hypersonic aero-optical models will be incorporated into new WaveTrain components allowing for time-domain simulations of EO/IR sensors. We will produce initial sensor simulations using these extended libraries to illustrate the modeling techniques, and to conduct example parameter sensitivity studies. The models will accurately represent radiometry for a given waveband selection, and accurate signal-to-noise (SNR) modeling using scene generation from standard DoD signature codes. We will apply existing adaptive-optics (AO) compensation models in WaveTrain to assess mitigation capabilities for hypersonic effects on EO/IR sensors with conventional and advanced AO methods. We will also address non-optical methods for mitigating sensor degradations due to hypersonic flow.; BENEFIT: The proposed Phase I project leverages significant investment by the Air Force and other DoD agencies in development of the WaveTrain wave-optics simulation framework for imaging and laser applications on military aircraft. Since WaveTrain has been used extensively for sensor modeling, the image formation, degradation, and optical mitigation methods already exist in this framework. Furthermore, WaveTrain has also been used for including subsonic, transonic, and supersonic flow effects in military aircraft sensor simulations. Validation of simulation methods for these regimes will facilitate extension to hypersonic platforms. WaveTrain simulations of EO/IR sensors including the newly-developed hypersonic effects libraries will enable government researches to rapidly assess engineering trade-offs between sensor bands and determine resolution capabilities of advanced sensors given aperture constraints. The extension of the WaveTrain simulation tool to hypersonic sensors will improve the commercial value of MZAs product as industry partners will be able to virtually test new sensor designs in a simulated hypersonic environment. MZA will also be able to demonstrate via simulation the value of its adaptive optics systems and deformable mirrors as upgrades to existing military EO/IR sensor technologies.
Agency: Department of Defense | Branch: Army | Program: SBIR | Phase: Phase I | Award Amount: 99.96K | Year: 2015
We propose to design an optical imaging system consisting of multiple transmit and receive apertures. This distributed aperture array can provide resolution capabilities similar to a large monolithic aperture without the associated volume, weight, and aircraft structural modifications. A key challenge of such a system is to accomplish the imaging function without requiring an elaborate optical relay system to bring all subaperture channels together on a single focal plane array. We propose a coherent heterodyne imaging scheme in which each of the subapertures measures the complex optical field. These field measurements can then be digitally combined to synthesize a high resolution image thereby removing the burden of physically matching subaperture optical paths to within a fraction of a wavelength and allowing for a modular design. In many tactical imaging scenarios, atmospheric turbulence limits the achievable resolution and the digital coherent image synthesis processing can compensate for atmospheric turbulence including anisoplanatic aberrations. This active system could increase platform standoff range and allow for nighttime operation. This effort will begin with an analysis of atmospheric paths and imaging geometries specific to Army airborne platforms. We will conduct wave-optics simulations to evaluate the performance of multiple array geometries under a variety of conditions.
Agency: Department of Defense | Branch: Air Force | Program: SBIR | Phase: Phase II | Award Amount: 749.99K | Year: 2015
ABSTRACT:MZA partnered with the University of Notre Dame proposes advancement of aero-optical isolation hardware, data processing, and optical modeling for upgrade of AEDCs 16T wind tunnel. We will conduct testing at AEDC during Year 1 with mechanical diagnostics and an upgraded optical sensor with small-aperture access to the test section from outside the 16T pressure vessel. We will also design and implement a remotely-operated optical diagnostic sensor bench with environmental enclosure for use inside the AEDC pressure vessel. The sensor bench will include a high-speed wavefront sensor and beam expander enabling full-aperture aero-optics measurements. The remote optical diagnostic sensor bench will be tested initially at Notre Dames White Field wind tunnel in Year 2, verifying system functionality and isolation of aero-optical disturbances from a surrogate laser turret. We will conduct Year 2 testing at AEDC with the remote optical diagnostic sensor bench inside the 16T pressure vessel, enabling a large aperture wavefront measurement of the tunnel boundary layer. The sensor bench and test experience at AEDC will enable development of a conceptual design for AEDCs aero-optics isolation test section. The conceptual design will be captured in a WaveTrain optical model for virtual testing of future laser DE systems at AEDC.BENEFIT:The tunnel measurement system proposed here will allow AEDC and other wind tunnel facilities to isolate contaminating optical disturbances induced by the test section from aero-optical effects which are characteristic of laser directed energy systems and their associated beam director turrets/apertures. This system will improve the quality of aero-optical test data measured in subscale and full-scale wind tunnel tests for assessing performance limitations and operational envelopes of laser systems prior to costly aircraft integration and flight testing. Such a system will also help to identify sources of disturbances in the tunnel and suggest strategies for minimizing or eliminating these contaminants. Once tunnel disturbances are abated, additional testing such as real-time laser beam control tests can also be conducted in tunnels at AEDC. After proven successful for AEDC, the proposed measurement system, data processing, and optical modeling can be extended to other wind tunnels at government, industry, and academic facilities. The system may also be incorporated into a transportable Optical Diagnostic Range Simulator hardware used for testing laser systems in laboratory or hangar. The same product can be used in operational laser tests using a wind tunnel test section, becoming an integral part of the directed energy system developmental cycle.