-
RSW Fully Tet Coarse Cell-Centered Mesh
This is the RSW fully tetrahedral unstructured mesh dataset for a cell-centered code, including the viscous wind tunnel wall. UG3 : Grid File Name = rsw_coarse_tetcc.b8.ugrid... -
SAL 3.2 Toolkit
Link to SRI's SAL Toolkit. Binary distributions available for Windows (using Cygwin), MacOS, and Linux -
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... -
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. -
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... -
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... -
Discovering Precursors to Aviation Safety Incidents: KDD 2010
Modern aircraft are producing data at an unprecedented rate with hundreds of parameters being recorded on a second by second basis. The data can be used for studying the...