Automated knowledge generation

The general objectives of the NASA/UCF Automated Knowledge Generation Project were the development of an intelligent software system that could access CAD design data bases, interpret them, and generate a diagnostic knowledge base in the form of a system model. The initial area of concentration is in the diagnosis of the process control system using the Knowledge-based Autonomous Test Engineer (KATE) diagnostic system. A secondary objective was the study of general problems of automated knowledge generation. A prototype was developed, based on object-oriented language (Flavors)

Hospital Service Plans: Their Contract Provisions and Administrative Procedures

We propose an FDI system for the wind turbine benchmark designed by the application of a generic automated method. No specific adaptation of the method for the wind turbine benchmark is needed, and the number of required human decisions, assumptions, as well as parameter choices is minimized. The method contains in essence three steps: generation of candidate residual generators, residual generator selection, and diagnostic test construction. The proposed FDI system performs well in spite of no specific adaptation or tuning to the benchmark. All faults in the predefined test sequence can be detected and all faults, except a double fault, can also be isolated shortly thereafter. In addition, there are no false or missed detections

MIDAS, prototype Multivariate Interactive Digital Analysis System, Phase 1. Volume 2: Diagnostic system

The MIDAS System is a third-generation, fast, multispectral recognition system able to keep pace with the large quantity and high rates of data acquisition from present and projected sensors. A principal objective of the MIDAS Program is to provide a system well interfaced with the human operator and thus to obtain large overall reductions in turn-around time and significant gains in throughout. The hardware and software generated in Phase I of the over-all program are described. The system contains a mini-computer to control the various high-speed processing elements in the data path and a classifier which implements an all-digital prototype multivariate-Gaussian maximum likelihood decision algorithm operating 2 x 105 pixels/sec. Sufficient hardware was developed to perform signature extraction from computer-compatible tapes, compute classifier coefficients, control the classifier operation, and diagnose operation. Diagnostic programs used to test MIDAS' operations are presented

The re-emission spectrum of digital hardware subjected to EMI

The emission spectrum of digital hardware under the influence of external electromagnetic interference is shown to contain information about the interaction of the incident energy with the digital circuits in the system. The generation mechanism of the re-emission spectrum is reviewed, describing how nonlinear effects may be a precursor to the failure of the equipment under test. Measurements on a simple circuit are used to demonstrate how the characteristics of the re-emission spectrum may be correlated with changes to the digital waveform within the circuit. The technique is also applied to a piece of complex digital hardware where Similar, though more subtle, effects can be measured. It is shown that the re-emission spectrum can be used to detect the interaction of the interference with the digital devices at a level well below that which is able to cause static failures in the circuits. The utility of the technique as a diagnostic tool for immunity testing of digital hardware, by identifying which subsystems are being affected by external interference, is also demonstrated

A Fuzzy Diagnostic Model and Its Application in Automotive Engineering Diagnosis

This paper describes a fuzzy diagnostic model that contains a fast fuzzy rule generation algorithm and a priority rule based inference engine. The fuzzy diagnostic model has been implemented in a fuzzy diagnostic system for the End-of-Line test at automobile assembly plants and the implemented system has been tested extensively and its performance is presented.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44308/1/10489_2004_Article_183537.pd

An Infrastructural IP for Interactive MPEG-4 SoC Functional Verification

This paper introduces a specific architecture including an infrastructural IP for functional verification and diagnostics, which is suitable for functional core-based testing of an MPEG4 SoC. Our advanced MPEG4 SoC results in a high complexity SoC with limited physical access to many different functional cores. The proposed test method provides direct monitoring and control for each core, which enables core verification at actual speed. It significantly decreases the verification time due to the large number of required test vectors in typical MPEG4 verification. Furthermore, it also makes the system scalable for functional core expansion due to upgrading of standards. The proposed infrastructural IP is also linked to PC-based interactive tools to simplify the verification of individual and integrated cores. It also provides detailed diagnostic data that enables simple system debugging. The debugging tools also feature test-pattern generation and simulation of expected values. Actual system implementation has shown full functionality of our proposed method

Redefining typhoid diagnosis: what would an improved test need to look like?

INTRODUCTION: Typhoid fever is one of the most common bacterial causes of acute febrile illness in the developing world, with an estimated 10.9 million new cases and 116.8 thousand deaths in 2017. Typhoid point-of-care (POC) diagnostic tests are widely used but have poor sensitivity and specificity, resulting in antibiotic overuse that has led to the emergence and spread of multidrug-resistant strains. With recent advances in typhoid surveillance and detection, this is the ideal time to produce a target product profile (TPP) that guides product development and ensure that a next-generation test meets the needs of users in the resource-limited settings where typhoid is endemic. METHODS: A structured literature review was conducted to develop a draft TPP for a next-generation typhoid diagnostic test with minimal and optimal desired characteristics for 36 test parameters. The TPP was refined using feedback collected from a Delphi survey of key stakeholders in clinical medicine, microbiology, diagnostics and public and global health. RESULTS: A next-generation typhoid diagnostic test should improve patient management through the diagnosis and treatment of infection with acute Salmonella enterica serovars Typhi or Paratyphi with a sensitivity ≥90% and specificity ≥95%. The test would ideally be used at the lowest level of the healthcare system in settings without a reliable power or water supply and provide results in <15 min at a cost of <US$1.00. CONCLUSION: This report outlines the first comprehensive TPP for typhoid fever and is intended to guide the development of a next-generation typhoid diagnostic test. An accurate POC test will reduce the morbidity and mortality of typhoid fever through rapid diagnosis and treatment and will have the greatest impact in reducing antimicrobial resistance if it is combined with diagnostics for other causes of acute febrile illness in a treatment algorithm

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

MISSED: an environment for mixed-signal microsystem testing and diagnosis

A tight link between design and test data is proposed for speeding up test-pattern generation and diagnosis during mixed-signal prototype verification. Test requirements are already incorporated at the behavioral level and specified with increased detail at lower hierarchical levels. A strict distinction between generic routines and implementation data makes reuse of software possible. A testability-analysis tool and test and DFT libraries support the designer to guarantee testability. Hierarchical backtrace procedures in combination with an expert system and fault libraries assist the designer during mixed-signal chip debuggin

SkillSum: basic skills screening with personalised, computer-generated feedback

We report on our experiences in developing and evaluating a system that provided formative assessment of basic skills and automatically generated personalised feedback reports for 16-19 year-old users. Development of the system was informed by literacy and numeracy experts and it was trialled 'in the field' with users and basicskills tutors. We experimented with two types of assessment and with feedback that evolved from long, detailed reports with graphics to more readable, shorter ones with no graphics. We discuss the evaluation of our final solution and compare it with related systems