A comparison of single-cycle versus multiple-cycle proof testing strategies

An evaluation of single-cycle and multiple-cycle proof testing (MCPT) strategies for SSME components is described. Data for initial sizes and shapes of actual SSME hardware defects are analyzed statistically. Closed-form estimates of the J-integral for surface flaws are derived with a modified reference stress method. The results of load- and displacement-controlled stable crack growth tests on thin IN-718 plates with deep surface flaws are summarized. A J-resistance curve for the surface-cracked configuration is developed and compared with data from thick compact tension specimens. The potential for further crack growth during large unload/reload cycles is discussed, highlighting conflicting data in the literature. A simple model for ductile crack growth during MCPT based on the J-resistance curve is used to study the potential effects of key variables. The projected changes in the crack size distribution during MCPT depend on the interactions between several key parameters, including the number of proof cycles, the nature of the resistance curve, the initial crack size distribution, the component boundary conditions (load vs. displacement control), and the magnitude of the applied load or displacement. The relative advantages of single-cycle and multiple-cycle proof testing appear to be specific, therefore, to individual component geometry, material, and loading

Use of 2d-video Disdrometer to Derive Mean Density-size and Ze-SR Relations: Four Snow Cases from the Light Precipitation Validation Experiment

The application of the 2D-video disdrometer to measure fall speed and snow size distribution and to derive liquid equivalent snow rate, mean density-size and reflectivity-snow rate power law is described. Inversion of the methodology proposed by Bhm provides the pathway to use measured fall speed, area ratio and '3D' size measurement to estimate the mass of each particle. Four snow cases from the Light Precipitation Validation Experiment are analyzed with supporting data from other instruments such as Precipitation Occurrence Sensor System (POSS), Snow Video Imager (SVI), a network of seven snow gauges and three scanning C9 band radars. The radar-based snow accumulations using the 2DVD-derived Ze-SR relation are in good agreement with a network of seven snow gauges and outperform the accumulations derived from a climatological Ze-SR relation used by the Finnish Meteorological Institute (FMI). The normalized bias between radar-derived and gauge accumulation is reduced from 96% when using the fixed FMI relation to 28% when using the Ze-SR relations based on 2DVD data. The normalized standard error is also reduced significantly from 66% to 31%. For two of the days with widely different coefficients of the Ze-SR power law, the reflectivity structure showed significant differences in spatial variability. Liquid water path estimates from radiometric data also showed significant differences between the two cases. Examination of SVI particle images at the measurement site corroborated these differences in terms of unrimed versus rimed snow particles. The findings reported herein support the application of Bhm's methodology for deriving the mean density-size and Ze-SR power laws using data from 2D-video disdrometer

Extracting ecological and biophysical information from AVHRR optical data: An integrated algorithm based on inverse modeling

Satellite remote sensing provides the only means of directly observing the entire surface of the Earth at regular spatial and temporal intervals

Extracting ecological and biophysical information from AVHRR optical data: An integrated algorithm based on inverse modeling

Satellite remote sensing provides the only means of directly observing the entire surface of the Earth at regular spatial and temporal intervals

The remote monad design pattern

Remote Procedure Calls are expensive. This paper demonstrates how to reduce the cost of calling remote procedures from Haskell by using the remote monad design pattern, which amortizes the cost of remote calls. This gives the Haskell community access to remote capabilities that are not directly supported, at a surprisingly inexpensive cost. We explore the remote monad design pattern through six models of remote execution patterns, using a simulated Internet of Things toaster as a running example. We consider the expressiveness and optimizations enabled by each remote execution model, and assess the feasibility of our approach. We then present a full-scale case study: a Haskell library that provides a Foreign Function Interface to the JavaScript Canvas API. Finally, we discuss existing instances of the remote monad design pattern found in Haskell libraries

Does inter-vertebral range of motion increase after spinal manipulation? A prospective cohort study.

Background: Spinal manipulation for nonspecific neck pain is thought to work in part by improving inter-vertebral range of motion (IV-RoM), but it is difficult to measure this or determine whether it is related to clinical outcomes. Objectives: This study undertook to determine whether cervical spine flexion and extension IV-RoM increases after a course of spinal manipulation, to explore relationships between any IV-RoM increases and clinical outcomes and to compare palpation with objective measurement in the detection of hypo-mobile segments. Method: Thirty patients with nonspecific neck pain and 30 healthy controls matched for age and gender received quantitative fluoroscopy (QF) screenings to measure flexion and extension IV-RoM (C1-C6) at baseline and 4-week follow-up between September 2012-13. Patients received up to 12 neck manipulations and completed NRS, NDI and Euroqol 5D-5L at baseline, plus PGIC and satisfaction questionnaires at follow-up. IV-RoM accuracy, repeatability and hypo-mobility cut-offs were determined. Minimal detectable changes (MDC) over 4 weeks were calculated from controls. Patients and control IV-RoMs were compared at baseline as well as changes in patients over 4 weeks. Correlations between outcomes and the number of manipulations received and the agreement (Kappa) between palpated and QF-detected of hypo-mobile segments were calculated. Results: QF had high accuracy (worst RMS error 0.5o) and repeatability (highest SEM 1.1o, lowest ICC 0.90) for IV-RoM measurement. Hypo-mobility cut offs ranged from 0.8o to 3.5o. No outcome was significantly correlated with increased IV-RoM above MDC and there was no significant difference between the number of hypo-mobile segments in patients and controls at baseline or significant increases in IV-RoMs in patients. However, there was a modest and significant correlation between the number of manipulations received and the number of levels and directions whose IV-RoM increased beyond MDC (Rho=0.39, p=0.043). There was also no agreement between palpation and QF in identifying hypo-mobile segments (Kappa 0.04-0.06). Conclusions: This study found no differences in cervical sagittal IV-RoM between patients with non-specific neck pain and matched controls. There was a modest dose-response relationship between the number of manipulations given and number of levels increasing IV-RoM - providing evidence that neck manipulation has a mechanical effect at segmental levels. However, patient-reported outcomes were not related to this

Clinical course, costs and predictive factors for response to treatment in carpal tunnel syndrome: The PALMS study protocol

Background Carpal tunnel syndrome (CTS) is the most common neuropathy of the upper limb and a significant contributor to hand functional impairment and disability. Effective treatment options include conservative and surgical interventions, however it is not possible at present to predict the outcome of treatment. The primary aim of this study is to identify which baseline clinical factors predict a good outcome from conservative treatment (by injection) or surgery in patients diagnosed with carpal tunnel syndrome. Secondary aims are to describe the clinical course and progression of CTS, and to describe and predict the UK cost of CTS to the individual, National Health Service (NHS) and society over a two year period. Methods/Design In this prospective observational cohort study patients presenting with clinical signs and symptoms typical of CTS and in whom the diagnosis is confirmed by nerve conduction studies are invited to participate. Data on putative predictive factors are collected at baseline and follow-up through patient questionnaires and include standardised measures of symptom severity, hand function, psychological and physical health, comorbidity and quality of life. Resource use and cost over the 2 year period such as prescribed medications, NHS and private healthcare contacts are also collected through patient self-report at 6, 12, 18 and 24 months. The primary outcome used to classify treatment success or failures will be a 5-point global assessment of change. Secondary outcomes include changes in clinical symptoms, functioning, psychological health, quality of life and resource use. A multivariable model of factors which predict outcome and cost will be developed. Discussion This prospective cohort study will provide important data on the clinical course and UK costs of CTS over a two-year period and begin to identify predictive factors for treatment success from conservative and surgical interventions

Liberal Typing for Functional Logic Programs

We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we propose a new notion of well-typed program that adds support for type-indexed functions, existential types, opaque higher-order patterns and generic functions-as shown by an extensive collection of examples that illustrate the possibilities of our proposal. In the negative side, the types of functions must be declared, and therefore types are checked but not inferred. Another consequence is that parametricity is lost, although the impact of this flaw is limited as "free theorems" were already compromised in functional logic programming because of non-determinism

Optimal functional outcome measures for assessing treatment for Dupuytren's disease: A systematic review and recommendations for future practice

This article is available through the Brunel Open Access Publishing Fund. Copyright © 2013 Ball et al.; licensee BioMed Central Ltd.Background: Dupuytren's disease of the hand is a common condition affecting the palmar fascia, resulting in progressive flexion deformities of the digits and hence limitation of hand function. The optimal treatment remains unclear as outcomes studies have used a variety of measures for assessment. Methods: A literature search was performed for all publications describing surgical treatment, percutaneous needle aponeurotomy or collagenase injection for primary or recurrent Dupuytren’s disease where outcomes had been monitored using functional measures. Results: Ninety-one studies met the inclusion criteria. Twenty-two studies reported outcomes using patient reported outcome measures (PROMs) ranging from validated questionnaires to self-reported measures for return to work and self-rated disability. The Disability of Arm, Shoulder and Hand (DASH) score was the most utilised patient-reported function measure (n=11). Patient satisfaction was reported by eighteen studies but no single method was used consistently. Range of movement was the most frequent physical measure and was reported in all 91 studies. However, the methods of measurement and reporting varied, with seventeen different techniques being used. Other physical measures included grip and pinch strength and sensibility, again with variations in measurement protocols. The mean follow-up time ranged from 2 weeks to 17 years. Conclusions: There is little consistency in the reporting of outcomes for interventions in patients with Dupuytren’s disease, making it impossible to compare the efficacy of different treatment modalities. Although there are limitations to the existing generic patient reported outcomes measures, a combination of these together with a disease-specific questionnaire, and physical measures of active and passive individual joint Range of movement (ROM), grip and sensibility using standardised protocols should be used for future outcomes studies. As Dupuytren’s disease tends to recur following treatment as well as extend to involve other areas of the hand, follow-up times should be standardised and designed to capture both short and long term outcomes