Search NASA⌕ Search

SEARCH · Search NASA

Results for “VIGILANTE”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

14 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Vigilante: Ultrafast Smart Sensor for Target Recognition and Precision Tracking in a Simulated CMD Scenario

VIGILANTE is an ultrafast smart sensor testbed for generic Automatic Target Recognition (ATR) applications with a series of capability demonstration focussed on cruise missile defense (CMD). VIGILANTE's sensor/processor architecture is based on next-generation UV/visible/IR sensors and a tera-operations per second sugar-cube processor, as well as supporting airborne vehicle. Excellent results of efficient ATR methodologies that use an eigenvectors/neural network combination and feature-based precision tracking have been demonstrated in the laboratory environment.

TARGET RECOGNITION↗
NASA NTRS1997

VIGILANTE: An Advanced Sensing/Processing Testbed for ATR Applications

VIGILANTE consists of two major components:1. the Viewing Imager/Gimballed Instrumentation Laboratory (VIGIL)- advanced infrared, visible, and ultraviolet sensors with appropriate optics and camera electronics & 2. the Analog Neural Three-dimensional processing Experiment (ANTE)-a massively parallel, neural network-based, high-speed processor.

automatic↗
NASA NTRS2000

Tera-Ops Processing for ATR

A three-dimensional microelectronic device (3DANN-R) capable of performing general image convolution at the speed of 1012 operations/second (ops) in a volume of less than 1.5 cubic centimeter has been successfully built under the BMDO/JPL VIGILANTE program. 3DANN-R was developed in partnership with Irvine Sensors Corp., Costa Mesa, California. 3DANN-R is a sugar-cube-sized, low power image convolution engine that in its core computation circuitry is capable of performing 64 image convolutions with large (64x64) windows at video frame rates. This paper explores potential applications of 3DANN-R such as target recognition, SAR and hyperspectral data processing, and general machine vision using real data and discuss technical challenges for providing deployable systems for BMDO surveillance and interceptor programs.

Udomkesmalee, Suraphol↗
NASA NTRS2010

Decision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers. Z3 is a state-of-the-art SMT solver. It is developed at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays. The talk describes some of the technology behind modern SMT solvers, including the solver Z3. Z3 is currently mainly targeted at solving problems that arise in software analysis and verification. It has been applied to various contexts, such as systems for dynamic symbolic simulation (Pex, SAGE, Vigilante), for program verification and extended static checking (Spec#/Boggie, VCC, HAVOC), for software model checking (Yogi, SLAM), model-based design (FORMULA), security protocol code (F7), program run-time analysis and invariant generation (VS3). We will describe how it integrates support for a variety of theories that arise naturally in the context of the applications. There are several new promising avenues and the talk will touch on some of these and the challenges related to SMT solvers. Proceedings

Bjorner, Nikolaj↗
NASA NTRS2000

TERA-OPS Processing for ATR

A three-dimensional microelectronic device (3DANN-R) capable of performing general image convolution at the speed of 10***sup12*** operations/second (ops) in a volume of less than 1.5 cubic centimeter has been successfully built under the BMDO/JPL VIGILANTE program.

Automatic↗
DOE OSTI2017

Corrosion and Fatigue Behavior of High-Strength Steel Treated with a Zn-Alloy Thermo-diffusion Coating

High and low cycle fatigue tests were conducted on high-strength steel using four-point bending. The materials tested were ASTM A723 steel in the as-machined condition, grit-blasted condition, MIL-DTL-16232 heavy manganese phosphate-coated condition, and ASTM A1059 Zn-alloy thermo-diffusion coated (Zn-TDC). The ASTM A723 steel base material exhibits a yield strength of ~1000 MPa. The effects of the surface treatments versus uncoated steel were examined. The fatigue life of the Zn-TDC specimens was generally reduced on as-coated specimens versus uncoated or phosphate-coated specimens. Several mechanisms are examined including the role of compressive residual stress relief with the Zn-TDC process as well as fatigue crack initiation from the hardened Zn-Fe alloy surface layer produced in the gas-metal reaction. Additionally, the effects of corrosion pitting on the fatigue life of coated specimens are explored as the Zn-TDC specimens exhibit significantly improved corrosion resistance over phosphate-coated and oiled specimens.

36 MATERIALS SCIENCE↗
DOE OSTI2013

Search for {alpha}-states in {sup 13}C via elastic resonant scattering of {alpha} particles on {sup 9}Be

We will discuss new experimental data concerning the elastic resonant scattering of {alpha}-particles on {sup 9}Be nuclei at bombarding energies from 3.5 MeV up to 9.9 MeV. Several excitation functions have been obtained at different polar angles, mainly in the backward hemisphere in the centre of mass frame. Excitation functions show various anomalies that can be linked to the presence of various excited states in the {sup 13}C compound nucleus. In the literature, some of these states have been proposed to belong to rotational bands built on deformed a-cluster excited state. Unfortunately, up to date the spin-parity assignment of many of these states is doubtful. The set of excitation functions we obtained from the present experiment can contribute to improve spectroscopy of highling excited states of {sup 13}C.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2016

Intermediate-Scale Hydraulic Fracturing in a Deep Mine - kISMET Project Summary 2016

In support of the U.S. DOE SubTER Crosscut initiative, we established a field test facility in a deep mine and designed and carried out in situ hydraulic fracturing experiments in the crystalline rock at the site to characterize the stress field, understand the effects of rock fabric on fracturing, and gain experience in monitoring using geophysical methods. The project also included pre- and post-fracturing simulation and analysis, laboratory measurements and experiments, and we conducted an extended analysis of the local stress state using previously collected data. Some of these activities are still ongoing. The kISMET (permeability (k) and Induced Seismicity Management for Energy Technologies) experiments meet objectives in SubTER’s “stress” pillar and the “new subsurface signals” pillar. The kISMET site was established in the West Access Drift of SURF 4850 ft (1478 m) below ground (on the 4850L) in phyllite of the Precambrian Poorman Formation. We drilled and cored five near-vertical boreholes in a line on 3 m spacing, deviating the two outermost boreholes slightly to create a five-spot pattern around the test borehole centered in the test volume at ~1528 m (5013 ft). Laboratory measurements of core from the center test borehole showed P-wave velocity heterogeneity along each core indicating strong, fine-scale (~1 cm or smaller) changes in the mechanical properties of the rock. The load-displacement record on the core suggests that the elastic stiffness is anisotropic. Tensile strength ranges between 3-7.5 MPa and 5-12 MPa. Permeability measurements are planned, as are two types of laboratory miniature hydraulic fracturing experiments to investigate the importance of rock fabric (anisotropy and heterogeneity) on near-borehole hydraulic fracture generation. Pre-fracturing numerical simulations with INL’s FALCON discrete element code predicted a fracture radius of 1.2 m for a corresponding injection volume of 1.2 L for the planned fractures, and negligible microseismicity. Field measurements of the stress field by hydraulic fracturing showed that the minimum horizontal stress at the kISMET site averages 21.7 MPa (3146 psi) pointing approximately N-S (356 degrees azimuth) and plunging slightly NNW at 12°. The vertical and horizontal maximum stress are similar in magnitude at 42-44 MPa (6090-6380 psi) for the depths of testing which averaged approximately 1530 m (5030 ft). Hydraulic fractures were remarkably uniform suggesting core-scale and larger rock fabric did not play a role in controlling fracture orientation. Monitoring using ERT and CASSM in the four monitoring boreholes, and passive seismic accelerometer-based measurements in the West Access Drift, was carried out during the generation of a larger fracture (so-called stimulation test) at a depth of 40 m below the invert. ERT was not able to detect the fracture created, nor were the accelerometers in the drift, but microseismicity was detected for first (deepest) hydraulic-fracturing stress measurement. The CASSM data have not yet been analyzed. Analytical solutions suggest fracture radius of the large fracture (stimulation test) was more than 6 m, depending on the unknown amount of leak-off. The kISMET results for stress state are consistent with large-scale mid-continent estimates of stress. Currently we are using the orientation of the stress field we determined to interpret a large number of borehole breakouts recorded in nearby boreholes at SURF to generate a more complete picture of the stress field and its variations at SURF. The efforts on the project have prompted a host of additional follow-on studies that we recommend be carried out at the kISMET site.

02 PETROLEUM↗