Fault diagnosis of operational synchronous digital systems

Diagnosing faults on operational synchronous digital system

Investigations into the feasibility of an on-line test methodology

This thesis aims to understand how information coding and the protocol that it supports can affect the characteristics of electronic circuits. More specifically, it investigates an on-line test methodology called IFIS (If it Fails It Stops) and its impact on the design, implementation and subsequent characteristics of circuits intended for application specific lC (ASIC) technology. The first study investigates the influences of information coding and protocol on the characteristics of IFIS systems. The second study investigates methods of circuit design applicable to IFIS cells and identifies the· technique possessing the characteristics most suitable for on-line testing. The third study investigates the characteristics of a 'real-life' commercial UART re-engineered using the techniques resulting from the previous two studies. The final study investigates the effects of the halting properties endowed by the protocol on failure diagnosis within IFIS systems. The outcome of this work is an identification and characterisation of the factors that influence behaviour, implementation costs and the ability to test and diagnose IFIS designs

Expert system decision support for low-cost launch vehicle operations

Progress in assessing the feasibility, benefits, and risks associated with AI expert systems applied to low cost expendable launch vehicle systems is described. Part one identified potential application areas in vehicle operations and on-board functions, assessed measures of cost benefit, and identified key technologies to aid in the implementation of decision support systems in this environment. Part two of the program began the development of prototypes to demonstrate real-time vehicle checkout with controller and diagnostic/analysis intelligent systems and to gather true measures of cost savings vs. conventional software, verification and validation requirements, and maintainability improvement. The main objective of the expert advanced development projects was to provide a robust intelligent system for control/analysis that must be performed within a specified real-time window in order to meet the demands of the given application. The efforts to develop the two prototypes are described. Prime emphasis was on a controller expert system to show real-time performance in a cryogenic propellant loading application and safety validation implementation of this system experimentally, using commercial-off-the-shelf software tools and object oriented programming techniques. This smart ground support equipment prototype is based in C with imbedded expert system rules written in the CLIPS protocol. The relational database, ORACLE, provides non-real-time data support. The second demonstration develops the vehicle/ground intelligent automation concept, from phase one, to show cooperation between multiple expert systems. This automated test conductor (ATC) prototype utilizes a knowledge-bus approach for intelligent information processing by use of virtual sensors and blackboards to solve complex problems. It incorporates distributed processing of real-time data and object-oriented techniques for command, configuration control, and auto-code generation

Ataxia with oculomotor apraxia type 2: clinical, biological and genotype/phenotype correlation study of a cohort of 90 patients

Ataxia with oculomotor apraxia type 2 (AOA2) is an autosomal recessive disease due to mutations in the senataxin gene, causing progressive cerebellar ataxia with peripheral neuropathy, cerebellar atrophy, occasional oculomotor apraxia and elevated alpha-feto-protein (AFP) serum level. We compiled a series of 67 previously reported and 58 novel ataxic patients who underwent senataxin gene sequencing because of suspected AOA2. An AOA2 diagnosis was established for 90 patients, originating from 15 countries worldwide, and 25 new senataxin gene mutations were found. In patients with AOA2, median AFP serum level was 31.0 mu g/l at diagnosis, which was higher than the median AFP level of AOA2 negative patients: 13.8 mu g/l, P = 0.0004; itself higher than the normal level (3.4 mu g/l, range from 0.5 to 17.2 mu g/l) because elevated AFP was one of the possible selection criteria. Polyneuropathy was found in 97.5% of AOA2 patients, cerebellar atrophy in 96%, occasional oculomotor apraxia in 51%, pyramidal signs in 20.5%, head tremor in 14%, dystonia in 13.5%, strabismus in 12.3% and chorea in 9.5%. No patient was lacking both peripheral neuropathy and cerebellar atrophy. The age at onset and presence of occasional oculomotor apraxia were negatively correlated to the progression rate of the disease (P = 0.03 and P = 0.009, respectively), whereas strabismus was positively correlated to the progression rate (P = 0.03). An increased AFP level as well as cerebellar atrophy seem to be stable in the course of the disease and to occur mostly at or before the onset of the disease. One of the two patients with a normal AFP level at diagnosis had high AFP levels 4 years later, while the other had borderline levels. The probability of missing AOA2 diagnosis, in case of sequencing senataxin gene only in non-Friedreich ataxia non-ataxia-telangiectasia ataxic patients with AFP level >= 7 mu g/l, is 0.23% and the probability for a non-Friedreich ataxia non-ataxia-telangiectasia ataxic patient to be affected with AOA2 with AFP levels >= 7 mu g/l is 46%. Therefore, selection of patients with an AFP level above 7 mu g/l for senataxin gene sequencing is a good strategy for AOA2 diagnosis. Pyramidal signs and dystonia were more frequent and disease was less severe with missense mutations in the helicase domain of senataxin gene than with missense mutations out of helicase domain and deletion and nonsense mutations (P = 0.001, P = 0.008 and P = 0.01, respectively). The lack of pyramidal signs in most patients may be explained by masking due to severe motor neuropathy

New Clox Systems for rapid and efficient gene disruption in Candida albicans

Acknowledgements: We are grateful to Janet Quinn, Lila Kastora, Joanna Potrykus, Michelle Leach, and others for sharing their experiences with the Clox cassettes. We thank Julia Kohler for her kind gift of the NAT1-flipper plasmid pJK863, Claudia Jacob for her advice with In-fusion cloning, and our colleagues in the Aberdeen Fungal Group for numerous stimulating discussions. Data Availability: The authors confirm that all data underlying the findings are fully available without restriction. The sequences of all Clox cassettes are available in GenBank: URA3-Clox (loxP-URA3-MET3p-cre-loxP): GenBank accession number KC999858. NAT1-Clox (loxP-NAT1-MET3p-cre-loxP): GenBank accession number KC999859. LAL (loxP-ARG4-loxP): GenBank accession number DQ015897. LHL (loxP-HIS1-loxP): GenBank accession number DQ015898. LUL (loxP-URA3-loxP): GenBank accession number DQ015899. Funding: This work was supported by the Wellcome Trust (www.wellcome.ac.uk): S.S., F.C.O., N.A.R.G., A.J.P.B. (080088); N.A.R.G., A.J.P.B. (097377). The authors also received support from the European Research Council [http://erc.europa.eu/]: DSC. ERB, AJPB (STRIFE Advanced Grant; C-2009-AdG-249793). The European Commission also provided funding [http://ec.europa.eu/research/fp7]: I.B., A.J.P.B. (FINSysB MC-ITN; PITN-GA-2008-214004). Also the UK Biotechnology and Biological Research Council provided support [www.bbsrc.ac.uk]: N.A.R.G., A.J.P.B. (Research Grant; BB/F00513X/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD

A failure recovery planning prototype for Space Station Freedom

NASA is investigating the use of advanced automation to enhance crew productivity for Space Station Freedom in numerous areas, including failure management. A prototype is described that uses various advanced automation techniques to generate courses of action whose intents are to recover from a diagnosed failure, and to do so within the constraints levied by the failure and by Freedom's configuration and operating conditions