Nothing Special   »   [go: up one dir, main page]

Taylor et al., 2003 - Google Patents

Verification and validation of neural networks: a sampling of research in progress

Taylor et al., 2003

View PDF
Document ID
16033208890023064734
Author
Taylor B
Darrah M
Moats C
Publication year
Publication venue
Intelligent Computing: Theory and Applications

External Links

Snippet

Neural networks (NNs) represent a class of systems that do not fit into the current paradigms of software development and certification. Instead of being programmed, a learning algorithm" teaches" a NN using a set of data. Often, because of the non-deterministic result …
Continue reading at citeseerx.ist.psu.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
    • G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems

Similar Documents

Publication Publication Date Title
Taylor et al. Verification and validation of neural networks: a sampling of research in progress
Shakeri et al. Sequential testing algorithms for multiple fault diagnosis
Srinivasa Rao et al. Reliability analysis of repairable systems using system dynamics modeling and simulation
Harmon et al. Validation of human behavior representation
Pullum et al. Guidance for the verification and validation of neural networks
Oveisi et al. Analysis of software safety and reliability methods in cyber physical systems
Zhu Integrating software behavior into dynamic probabilistic risk assessment
Saling et al. Integrating probabilistic design and rare‐event simulation into the requirements engineering process for high‐reliability systems
Spurgin et al. Advanced simulator data mining for operators’ performance assessment
Cabellos et al. Machine learning in nuclear science and engineering applications
Costa-Castello et al. On teaching model-based fault diagnosis in engineering curricula [lecture notes]
Panwar et al. Challenges in Software Testing
Sartori Simulation-based testing to improve safety of autonomous robots
Lorenzo INTEGRATING LARGE LANGUAGE MODELS FOR REAL-WORLD PROBLEM MODELLING: A COMPARATIVE STUDY
Tumer et al. Validating model-based design simulation: The impact of abstraction and fidelity levels
Schmidt Fundamentals of digital simulation modeling
Hussain A Survey on Application of Artificial Intelligence Techniques for Prognostics
Aho et al. IVVES (Industrial-Grade Verification and Validation of Evolving Systems).
Zapata-Rivera et al. A reliability assessment model for online laboratories systems
Hood III Autonomous Systems with Reuse: A Survey on the State-of-the-Practice
Gorokhov et al. The integration technology for collective expert knowledge in the tasks of developing scenarios for vocational guidance and employees’ rehabilitation
Afanasyev et al. Development and use of a virtual laboratory of measuring devices
Engelstad et al. Machine-Learning and Physics-Based Tool for Anomaly Identification in Propulsion Systems
Petrucci et al. AI/ML for safety-critical software: the case of the space domain
Madhusoodanan Linear and Nonlinear Causal Analysis with Sparse Modeling