Generating Circuit Tests by Exploiting Designed Behavior

This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit behavior that connects internal component operations with directly executable circuit operations. Operation relations can be computed efficiently by searching traces of simulated circuit behavior. Second, experts write test programs rather than test vectors because programs are more readable and compact. Test programs can be constructed automatically by merging program fragments using expert-supplied goal-refinement rules and domain-independent planning techniques.

Winkler springs (p-y curves) for liquefied soil from element tests.

In practice, piles are most often modelled as "Beams on Non-Linear Winkler Foundation" (also known as “p-y spring” approach) where the soil is idealised as p-y springs. These p-y springs are obtained through semi-empirical approach using element test results of the soil. For liquefied soil, a reduction factor (often termed as p-multiplier approach) is applied on a standard p-y curve for the non-liquefied condition to obtain the p-y curve liquefied soil condition. This paper presents a methodology to obtain p-y curves for liquefied soil based on element testing of liquefied soil considering physically plausible mechanisms. Validation of the proposed p-y curves is carried out through the back analysis of physical model tests.

The Crash Controversy: Censorship Campaigns and Film Reception

Barker, M.; Arthurs, J. and Harindranath, R. (Eds.). (2001). Controversy: Censorship Campaigns and Film Reception. London: Wallflower Press. RAE2008

Learning to drive: from hazard detection to hazard handling

Hazard perception has been found to correlate with crash involvement, and has thus been suggested as the most likely source of any skill gap between novice and experienced drivers. The most commonly used method for measuring hazard perception is to evaluate the perception-reaction time to filmed traffic events. It can be argued that this method lacks ecological validity and may be of limited value in predicting the actions drivers’ will take to hazards encountered. The first two studies of this thesis compare novice and experienced drivers’ performance on a hazard detection test, requiring discrete button press responses, with their behaviour in a more dynamic driving environment, requiring hazard handling ability. Results indicate that the hazard handling test is more successful at identifying experience-related differences in response time to hazards. Hazard detection test scores were strongly related to performance on a driver theory test, implying that traditional hazard perception tests may be focusing more on declarative knowledge of driving than on the procedural knowledge required to successfully avoid hazards while driving. One in five Irish drivers crash within a year of passing their driving test. This suggests that the current driver training system does not fully prepare drivers for the dangers they will encounter. Thus, the third and fourth studies in this thesis focus on the development of two simulator-based training regimes. In the third study participants receive intensive training on the molar elements of driving i.e. speed and distance evaluation. The fourth study focuses on training higher order situation awareness skills, including perception, comprehension and projection. Results indicate significant improvement in aspects of speed, distance and situation awareness across training days. However, neither training programme leads to significant improvements in hazard handling performance, highlighting the difficulties of applying learning to situations not previously encountered.

Scientism and instrumentalism After the Bomb: Dr Strangelove, End Zone, Crash and The Wire

This thesis argues that through the prism of America’s Cold War, scientism has emerged as the metanarrative of the postnuclear age. The advent of the bomb brought about a new primacy for mechanical and hyperrational thinking in the corridors of power not just in terms of managing the bomb itself but diffusing this ideology throughout the culture in social sciences, economics and other such institutional systems. The human need to mitigate or ameliorate against the chaos of the universe lies at the heart of not just religious faith but in the desire for perfect control. Thus there has been a transference of power from religious faith to the apparent material power of science and technology and the terra firma these supposedly objective means supply. The Cold War, however was a highly ideologically charged opposition between the two superpowers, and the scientific methodology that sprang forth to manage the Cold War and the bomb, in the United States, was not an objective scientific system divorced from the paranoia and dogma but a system that assumed a radically fundamentalist idea of capitalism. This is apparent in the widespread diffusion of game theory throughout Western postindustrial institutions. The inquiry of the thesis thus examines the texts that engage and criticise American Cold War methodology, beginning with the nuclear moment, so to speak, and Dr Strangelove’s incisive satire of moral abdication to machine processes. Moving on chronologically, the thesis examines the diffusion of particular kinds of masculinity and sexuality in postnuclear culture in Crash and End Zone and finishing up its analysis with the ethnographic portrayal of a modern American city in The Wire. More than anything else, the thesis wishes to reveal to what extent this technocratic consciousness puts pressure on language and on binding narratives.

Comparative evaluation of serologic tests for celiac disease: a European initiative toward standardization.

BACKGROUND: Serologic methods have been used widely to test for celiac disease and have gained importance in diagnostic definition and in new epidemiologic findings. However, there is no standardization, and there are no reference protocols and materials. METHODS: The European working group on Serological Screening for Celiac Disease has defined robust noncommercial test protocols for immunoglobulin (Ig)G and IgA gliadin antibodies and for IgA autoantibodies against endomysium and tissue transglutaminase. Standard curves were linear in the decisive range, and intra-assay variation coefficients were less than 5% to 10%. Calibration was performed with a group reference serum. Joint cutoff limits were used. Seven laboratories took part in the final collaborative study on 252 randomized sera classified by histology (103 pediatric and adult patients with active celiac disease, 89 disease control subjects, and 60 blood donors). RESULTS: IgA autoantibodies against endomysium and tissue transglutaminase rendered superior sensitivity (90% and 93%, respectively) and specificity (99% and 95%, respectively) over IgA and IgG gliadin antibodies. Tissue transglutaminase antibody testing showed superior receiver operating characteristic performance compared with gliadin antibodies. The K values for interlaboratory reproducibility showed superiority for IgA endomysium (0.93) in comparison with tissue transglutaminase antibodies (0.83) and gliadin antibodies (0.82 for IgG, 0.62 for IgA). CONCLUSIONS: Basic criteria of standardization and quality assessment must be fulfilled by any given test protocol proposed for serologic investigation of celiac disease. The working group has produced robust test protocols and reference materials available for standardization to further improve reliability of serologic testing for celiac disease.

Typical delay determines waiting time on periodic-food schedules: Static and dynamic tests.

Pigeons and other animals soon learn to wait (pause) after food delivery on periodic-food schedules before resuming the food-rewarded response. Under most conditions the steady-state duration of the average waiting time, t, is a linear function of the typical interfood interval. We describe three experiments designed to explore the limits of this process. In all experiments, t was associated with one key color and the subsequent food delay, T, with another. In the first experiment, we compared the relation between t (waiting time) and T (food delay) under two conditions: when T was held constant, and when T was an inverse function of t. The pigeons could maximize the rate of food delivery under the first condition by setting t to a consistently short value; optimal behavior under the second condition required a linear relation with unit slope between t and T. Despite this difference in optimal policy, the pigeons in both cases showed the same linear relation, with slope less than one, between t and T. This result was confirmed in a second parametric experiment that added a third condition, in which T + t was held constant. Linear waiting appears to be an obligatory rule for pigeons. In a third experiment we arranged for a multiplicative relation between t and T (positive feedback), and produced either very short or very long waiting times as predicted by a quasi-dynamic model in which waiting time is strongly determined by the just-preceding food delay.

Who tests, who doesn't, and why? Uptake of mobile HIV counseling and testing in the Kilimanjaro Region of Tanzania.

BACKGROUND: Optimally, expanded HIV testing programs should reduce barriers to testing while attracting new and high-risk testers. We assessed barriers to testing and HIV risk among clients participating in mobile voluntary counseling and testing (MVCT) campaigns in four rural villages in the Kilimanjaro Region of Tanzania. METHODS: Between December 2007 and April 2008, 878 MVCT participants and 506 randomly selected community residents who did not access MVCT were surveyed. Gender-specific logistic regression models were used to describe differences in socioeconomic characteristics, HIV exposure risk, testing histories, HIV related stigma, and attitudes toward testing between MVCT participants and community residents who did not access MVCT. Gender-specific logistic regression models were used to describe differences in socioeconomic characteristics, HIV exposure risk, testing histories, HIV related stigma, and attitudes toward testing, between the two groups. RESULTS: MVCT clients reported greater HIV exposure risk (OR 1.20 [1.04 to 1.38] for males; OR 1.11 [1.03 to 1.19] for females). Female MVCT clients were more likely to report low household expenditures (OR 1.47 [1.04 to 2.05]), male clients reported higher rates of unstable income sources (OR 1.99 [1.22 to 3.24]). First-time testers were more likely than non-testers to cite distance to testing sites as a reason for not having previously tested (OR 2.17 [1.05 to 4.48] for males; OR 5.95 [2.85 to 12.45] for females). HIV-related stigma, fears of testing or test disclosure, and not being able to leave work were strongly associated with non-participation in MVCT (ORs from 0.11 to 0.84). CONCLUSIONS: MVCT attracted clients with increased exposure risk and fewer economic resources; HIV related stigma and testing-related fears remained barriers to testing. MVCT did not disproportionately attract either first-time or frequent repeat testers. Educational campaigns to reduce stigma and fears of testing could improve the effectiveness of MVCT in attracting new and high-risk populations.

Do You Want to Hear the Bad News? The Value of Diagnostic Tests for Alzheimer's Disease.

OBJECTIVE: The diagnosis of Alzheimer's disease (AD) remains difficult. Lack of diagnostic certainty or possible distress related to a positive result from diagnostic testing could limit the application of new testing technologies. The objective of this paper is to quantify respondents' preferences for obtaining AD diagnostic tests and to estimate the perceived value of AD test information. METHODS: Discrete-choice experiment and contingent-valuation questions were administered to respondents in Germany and the United Kingdom. Choice data were analyzed by using random-parameters logit. A probit model characterized respondents who were not willing to take a test. RESULTS: Most respondents indicated a positive value for AD diagnostic test information. Respondents who indicated an interest in testing preferred brain imaging without the use of radioactive markers. German respondents had relatively lower money-equivalent values for test features compared with respondents in the United Kingdom. CONCLUSIONS: Respondents preferred less invasive diagnostic procedures and tests with higher accuracy and expressed a willingness to pay up to €700 to receive a less invasive test with the highest accuracy.

Diagnosis of tuberculosis: update of interferon gamma release tests in clinical practice

info:eu-repo/semantics/nonPublished

Basophil activation tests for the diagnosis of food allergy in children.

BACKGROUND: Positive skin prick tests (SPT) for food allergens and specific IgE (sIgE) in serum indicate sensitization but do not enable distinction between sensitized but tolerant and clinically allergic patients. OBJECTIVE: Herein, we evaluate the clinical relevance of basophil activation tests (BATs) for peanut or egg allergy diagnosis. METHODS: Thirty-two peanut-allergic, 14 peanut-sensitized (sIgE(+) and/or SPT(+) to peanuts) but tolerant children and 29 controls with no history of an adverse reaction to peanuts were included. Similarly, 31 egg-allergic, 14 egg-sensitized children (sIgE(+) and/or SPT(+) to egg white) and 22 controls were studied. Flow cytometric analysis of CD63 expression or CD203c upregulation on basophils and the production of leukotrienes (LT) were performed in response to an in vitro crude peanut extract or ovalbumin (OVA) challenge. RESULTS: After in vitro peanut challenge, the basophils from peanut-allergic children showed significantly higher levels of activation than those from controls (P<0.001). After OVA challenge, a similar distinction (P<0.001) was observed between egg-allergics and controls. Interestingly, the majority of egg- or peanut-sensitized children failed to activate basophils, respectively, in response to OVA and peanut challenge. The sensitivity of the CD63, CD203c and LT assay was 86.7%, 89.5% and 76.0% with a specificity of 94.1%, 97.1% and 94.6% for peanut allergy diagnosis. The corresponding performances of BATs applied to egg allergy diagnosis were 88.9%, 62.5% and 77.8% for the sensitivity and 100%, 96.4% and 96.4% for the specificity. CONCLUSION: Neither conventional tests nor BATs are sensitive and specific enough to predict food allergy accurately. However, BATs may helpfully complete conventional tests, especially SPT, allowing improved discrimination between allergic and non-allergic individuals.

Finite element modelling of crack detection tests

Four non-destructive tests for determining the length of fatigue cracks within the solder joints of a 2512 surface mount resistor are investigated. The sensitivity of the tests is obtained using finite element analysis with some experimental validation. Three of the tests are mechanically based and one is thermally based. The mechanical tests all operate by applying different loads to the PCB and monitoring the strain response at the top of the resistor. The thermal test operates by applying a heat source underneath the PCB, and monitoring the temperature response at the top of the resistor. From the modelling work done, two of these tests have shown to be sensitive to cracks. Some experimental results are presented but further work is required to fully validate the simulation results.

Assessing the performance of crack detection tests for solder joints

This paper presents both modelling and experimental test data to characterise the performance of four non-destructive tests. The focus is on determining the presence and rough magnitude of thermal fatigue cracks within the solder joints for a surface mount resistor on a strip of FR4 PCB. The tests all operate by applying mechanical loads to the PCB and monitoring the strain response at the top of the resistor. The modelling results show that of the four tests investigated, three are sensitive to the presence of a crack in the joint and its magnitude. Hence these tests show promise in being able to detect cracking caused by accelerated testing. The experimental data supports these results although more validation is required.

A computational study of the characteristics of aircraft post-crash fires

Full-scale furnished cabin fires have been studied experimentally for the purpose of characterising the post-crash cabin fire environment by the US Federal Aviation Administration for many years. In this paper the Computational Fluid Dynamics fire field model SMARTFIRE is used to simulate one of these fires conducted in the C-133 test facility in order to provide further validation of the computational approach and the SMARTFIRE software. The experiment involves exposing the interior cabin materials to an external fuel fire, opening only one exit at the far end of the cabin (the same side as the rupture) for ventilation, and noting the subsequent spread of the external fire to the cabin interior and the onset of flashover at approximately 210 seconds. Through this analysis, the software is shown to be in good agreement with the experimental data, producing reasonable agreement with the fire dynamics prior to flashover and producing a reasonable prediction of the flashover time i.e. 225 seconds. The paper then proceeds to utilize the model to examine the impact on flashover time of the extent of cabin furnishings and cabin ventilation provided by available exits