Experimental evaluation of certification trails using abstract data type validation

Certification trails are a recently introduced and promising approach to fault-detection and fault-tolerance. Recent experimental work reveals many cases in which a certification-trail approach allows for significantly faster program execution time than a basic time-redundancy approach. Algorithms for answer-validation of abstract data types allow a certification trail approach to be used for a wide variety of problems. An attempt to assess the performance of algorithms utilizing certification trails on abstract data types is reported. Specifically, this method was applied to the following problems: heapsort, Hullman tree, shortest path, and skyline. Previous results used certification trails specific to a particular problem and implementation. The approach allows certification trails to be localized to 'data structure modules,' making the use of this technique transparent to the user of such modules

Certification of computational results

A conceptually novel and powerful technique to achieve fault detection and fault tolerance in hardware and software systems is described. When used for software fault detection, this new technique uses time and software redundancy and can be outlined as follows. In the initial phase, a program is run to solve a problem and store the result. In addition, this program leaves behind a trail of data called a certification trail. In the second phase, another program is run which solves the original problem again. This program, however, has access to the certification trail left by the first program. Because of the availability of the certification trail, the second phase can be performed by a less complex program and can execute more quickly. In the final phase, the two results are compared and if they agree the results are accepted as correct; otherwise an error is indicated. An essential aspect of this approach is that the second program must always generate either an error indication or a correct output even when the certification trail it receives from the first program is incorrect. The certification trail approach to fault tolerance is formalized and realizations of it are illustrated by considering algorithms for the following problems: convex hull, sorting, and shortest path. Cases in which the second phase can be run concurrently with the first and act as a monitor are discussed. The certification trail approach are compared to other approaches to fault tolerance

Certification trails and software design for testability

Design techniques which may be applied to make program testing easier were investigated. Methods for modifying a program to generate additional data which we refer to as a certification trail are presented. This additional data is designed to allow the program output to be checked more quickly and effectively. Certification trails were described primarily from a theoretical perspective. A comprehensive attempt to assess experimentally the performance and overall value of the certification trail method is reported. The method was applied to nine fundamental, well-known algorithms for the following problems: convex hull, sorting, huffman tree, shortest path, closest pair, line segment intersection, longest increasing subsequence, skyline, and voronoi diagram. Run-time performance data for each of these problems is given, and selected problems are described in more detail. Our results indicate that there are many cases in which certification trails allow for significantly faster overall program execution time than a 2-version programming approach, and also give further evidence of the breadth of applicability of this method

FiberGLAST: a scintillating fiber approach to the GLAST mission

FiberGLAST is a scintillating fiber gamma-ray detector designed for the GLAST mission. The system described below provides superior effective area and field of view for modest cost and risk. An overview of the FiberGLAST instrument is presented, as well as a more detailed description of the principle elements of the primary detector volume. The triggering and readout electronics are described, and Monte Carlo Simulations of the instrument performance are presented

Antidepressants and inflammatory bowel disease: a systematic review

BACKGROUND: A number of studies have suggested a link between the patient's psyche and the course of inflammatory bowel disease (IBD). Although pharmacotherapy with antidepressants has not been widely explored, some investigators have proposed that treating psychological co-morbidities with antidepressants may help to control disease activity. To date a systematic analysis of the available studies assessing the efficacy of antidepressants for the control of somatic symptoms in IBD patients has not been performed. METHODS: We searched electronic databases, without any language restriction. All relevant papers issued after 1990 were examined. RESULTS: 12 relevant publications were identified. All of them referred to non-randomised studies. Antidepressants reported in these publications included paroxetine, bupropion, amitriptyline, phenelzine, and mirtazapine. In 10 articles, paroxetine, bupropion, and phenelzine were suggested to be effective for treating both psychological and somatic symptoms in patients suffering from IBD. Amitriptyline was found ineffective for treating somatic symptoms of IBD. Mirtazapine was not recommended for IBD patients. CONCLUSION: Although most of reviewed papers suggest a beneficial effect of treatment with antidepressants in patients with IBD, due to the lack of reliable data, it is impossible to judge the efficacy of antidepressants in IBD. Properly designed trials are justified and needed based upon the available uncontrolled data

Development and testing of a fiber/multianode photomultiplier system for use on FiberGLAST

A scintillating fiber detector is currently being studied for the NASA Gamma-Ray Large Area Space Telescope (GLAST) mission. This detector utilizes modules composed of a thin converter sheet followed by an x, y plane of scintillating fibers to examine the shower of particles created by high energy gamma-rays interacting in the converter material. The detector is composed of a tracker with 90 such modular planes and a calorimeter with 36 planes. The two major component of this detector are the scintillating fibers and their associated photodetectors. Here we present current status of development and test result of both of these. The Hamamatsu R5900-00-M64 multianode photomultiplier tube (MAPMT) is the baseline readout device. A characterization of this device has been performed including noise, cross- talk, gain variation, vibration, and thermal/vacuum test. A prototype fiber/MAPMT system has been tested at the Center for Advanced Microstructures and Devices at Louisiana State University with a photon beam and preliminary results are presented

Beam test results for the FiberGLAST instrument

The FiberGLAST scintillating fiber telescope is a large-area instrument concept for NASA\u27s GLAST program. The detector is designed for high-energy gamma-ray astronomy, and uses plastic scintillating fibers to combine a photon pair tracking telescope and a calorimeter into a single instrument. A small prototype detector has been tested with high energy photons at the Thomas Jefferson National Accelerator Facility. We report on the result of this beam test, including scintillating fiber performance, photon track reconstruction, angular resolution, and detector efficiency