-
Disk Defect Data
How Data Was Acquired: The data presented is from a physical simulator that simulated engine disks. Sample Rates and Parameter Description: All parameters are sampled once per... -
Prognostics in the Control Loop
The term Automated Contingency Management (ACM) has been used to describe intelligent systems capable of mission re-planning and control reconfiguration in the presence of a... -
Flight Data For Tail 654
The following zip files contain individual flight recorded data in Matlab file format. There are 186 parameters each with a data structure that contains the following: -sensor... -
CIDU 2010 program
Detailed schedule for CIDU 2010. -
ASE SIM Workshop WEBCAST Link & Presentation Slides
Link to Aeroservoelasticity Simulation Workshop WEBCAST -
Comparative Analyses of Operational Flights
This report describes a cooperative experiment conducted by ONERA and NASA, with the support of Airbus S.A.S. and easyJet Airline Company, Ltd. The study evaluated the benefits... -
Flight Data For Tail 657
The following zip files contain individual flight recorded data in Matlab file format. There are 186 parameters each with a data structure that contains the following: -sensor... -
2010_09_01 Lab
Nominal scenarios (laboratory) -
RSW
Documentation of tests conducted at NASA TDT of Rectangular Supercritical wing test in the 1980's and documented in RTO Report 26. More results are also published in other... -
INTEXB_MODEL
INTEX-B MODEL data. -
HIRENASD Experimental Data, Static Cp Plots and Data files
Tecplot (ascii) and matlab files are posted here for the Static pressure coefficient data sets. To download all of the data in either tecplot format or matlab format, you can go... -
DXC'09 Industrial Track Sample Data
Sample data, including nominal and faulty scenarios, for Tier 1 and Tier 2 of the First International Diagnostic Competition. Three file formats are provided, tab-delimited .txt... -
Comparative Analysis of Data-Driven Anomaly Detection Methods
This paper provides a review of three different advanced machine learning algorithms for anomaly detection in continuous data streams from a ground-test firing of a subscale... -
YICES 2 SMT Solver
Link to SRI's site. Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use. -
CDDIS_VLBI_data
Very Long Baseline Interferometry (VLBI) is a geometric technique: it measures the time difference between the arrival at two Earth-based antennas of a radio wavefront emitted... -
Deterministic Compilation of Temporal Safety Properties in Explicit State...
The translation of temporal logic specifications constitutes an essen- tial step in model checking and a major influence on the efficiency of formal verification via model... -
MULTI-TEMPORAL REMOTE SENSING IMAGE CLASSIFICATION - A MULTI-VIEW APPROACH
MULTI-TEMPORAL REMOTE SENSING IMAGE CLASSIFICATION - A MULTI-VIEW APPROACH VARUN CHANDOLA AND RANGA RAJU VATSAVAI Abstract. Multispectral remote sensing images have been widely... -
Modeling SiO2 Ion Impurities Aging in Insulated Gate Power Devices Under...
This paper presents a formal computational methodology to explain how the oxide in semiconductors degrades over time and the dependence of oxide degradation on voltage and... -
STS-59_SLC
STS-59 SIR-C Slant Range Product -
Asynchronous Mid-Value Select in Hybrid SAL
The following SAL model is an abstraction of a module that implements a fault-tolerant mid-value select on asynchronously produced inputs. This is part of a larger system that...