643 datasets found
-
Federal
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
National Aeronautics and Space Administration —
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... -
Federal
Stability of Spatially Distributed, Intersecting Aircraft Flows Under Sequential Conflict Resolution Schemes
National Aeronautics and Space Administration —
This paper discusses the effect of sequential conflict resolution maneuvers of an infinite aircraft flow through a finite control volume. Aircraft flow models are... -
Federal
2010_09_12 Jam 2 Lab
National Aeronautics and Space Administration —
Ballscrew jam fault datasets (diagnostic and prognostic) -
Federal
Metrics for Evaluating Performance of Prognostic Techniques
National Aeronautics and Space Administration —
Prognostics is an emerging concept in condition basedmaintenance(CBM)ofcriticalsystems.Alongwith developing the fundamentals of being able to confidently predict... -
Federal
Discovering Precursors to Aviation Safety Incidents: KDD 2010
National Aeronautics and Space Administration —
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... -
Federal
HIRENASD Experimental Data, Individual Plots
National Aeronautics and Space Administration —
The HIRENASD data produced by analyzing the experimental data is repeated on this website, for those who can not download the information in the zip format found on... -
Federal
Bounds on Controller Taskload Rates at an Intersection for Dense Traffic
National Aeronautics and Space Administration —
not available -
Federal
PROBABILITY CALIBRATION BY THE MINIMUM AND MAXIMUM PROBABILITY SCORES IN ONE-CLASS BAYES LEARNING FOR ANOMALY DETECTION
National Aeronautics and Space Administration —
PROBABILITY CALIBRATION BY THE MINIMUM AND MAXIMUM PROBABILITY SCORES IN ONE-CLASS BAYES LEARNING FOR ANOMALY DETECTION GUICHONG LI, NATHALIE JAPKOWICZ, IAN HOFFMAN,... -
Federal
A Discussion on Uncertainty Representation and Interpretation in Model-based Prognostics Algorithms based on Kalman Filter Estimation Applied to Prognostics of Electronics Components
National Aeronautics and Space Administration —
This article presented a discussion on uncertainty representation and management for model-based prog- nostics methodologies based on the Bayesian tracking framework... -
Federal
A Model-Based Prognostics Approach Applied to Pneumatic Valves
National Aeronautics and Space Administration —
Within the area of systems health management, the task of prognostics centers on predicting when components will fail. Model-based prognostics exploits domain... -
Federal
Improving Computational Efficiency of Prediction in Model-based Prognostics Using the Unscented Transform
National Aeronautics and Space Administration —
Model-based prognostics captures system knowledge in the form of physics-based models of components, and how they fail, in order to obtain accurate predictions of end... -
Federal
Flight Data For Tail 674
National Aeronautics and Space Administration —
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... -
Federal
Simulation-based Design and Validation of Automated Contingency Management for Propulsion Systems
National Aeronautics and Space Administration —
This paper introduces a novel Prognostics-enhanced Automated Contingency Management (or ACM+P) paradigm based on both current health state (diagnosis) and future... -
Federal
Modeling of non-stationary autoregressive alpha-stable processe
National Aeronautics and Space Administration —
In the literature, impulsive signals are mostly modeled by symmetric alpha-stable processes. To represent their temporal dependencies, usually autoregressive models... -
Federal
Flight Data For Tail 664
National Aeronautics and Space Administration —
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... -
Federal
Jet Engine Performance Deterioration
National Aeronautics and Space Administration —
This data set contains numerous trajectories of engine related parameters that terminate at a lower acceptable threshold -
Federal
Machine Learning for Earth Observation Flight Planning Optimization
National Aeronautics and Space Administration —
This paper is a progress report of an effort whose goal is to demonstrate the effectiveness of automated data mining and planning for the daily management of Earth... -
Federal
`web_scripting_resources
National Aeronautics and Space Administration —
Location for style sheets etc used in WordPress. Wordpress is used for the Workshop Presentations display page. Or at least it will be if I can make this work... -
Federal
Flight Data For Tail 656
National Aeronautics and Space Administration —
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...
643 datasets found