Award Data

N/A

This work offers an innovative approach to predicting system behavior (in terms of reliability and performance) based primarily on the structural characteristics of a formal functional specification. The mechanism for process composition is codified in the CSP-to-Stochastic Petri net (CSPN) toll. CSPN supports systematic specification, automatic translation and subsequent augmentation (e.g., fai ...

Events including the Oklahoma CIty bombing and the Sarin attack in the Tokyo subway have emphasized the vulnerability of personnel, both military and civilian, to unexpected attack with conventional explosives and chemical substances. To combat this threat requires portable, low cost sensor systems capable of detecting a variety of dangerous materials at extremely low concentrations. Such a tech ...

N/A

N/A

We propose a plan sentinel prototype consisting of three components. The first component is the development of a plan mining tool which identifies and computes false or missing assumptions and deviations to plans and time phased tasks. The second component, the annotated database, computes plans which the plan mining tool access and parses into a logical annotated rule set. Finally, MAVIS, a to ...

This Phase I project has two primary objectives. The first objective is to develop an engineering model of Resonant Tunneling Devices (RTD) to be implemented in AIM-Spice, a commercial software package running under Windows 95/NT. The development of a reliable device model is a prerequisite for the design and production of any semiconductor device technology. The RTD model will be a semi-empiri ...

Arca Systems proposes to initiate the design and development of an intrusion detection system for the GCCS LES (and similar environments). Many current intrusion detection tools are Unix-based, focused on a single host or on a generally homogeneous distributed environment. The notional GCCS LES environment makes extensive use of distributed architecture, using support from the COTS technologies ...

The program objective is to develop novel designs, techniques, and structures to synthesize apertures capable of efficient operation over broad frequency ranges and functions. Conventional apertures are narrowly focused, application specific, and basically single point design. To decrease the cost of antennas, a more universal building block design is required. It would provide a significantly ...

Improved magnetic and electromagnetic sensors covering a wide range of frequencies, 0 to 10kHz, and with extremely high sensitivity are proposed for broad area detection and characterization of underground targets. The sensors can be used for a variety of applications and for different e.m. sources. They can be configured as gradiometers, as vector or scaler sensors and can be used as internette ...