Measurement and analysis of critical crack tip processes during fatigue crack growth

The mechanics of fatigue crack growth under constant-amplitudes and variable-amplitude loading were examined. Critical loading histories involving relatively simple overload and overload/underload cycles were studied to provide a basic understanding of the underlying physical processes controlling crack growth. The material used for this study was 7091-T7E69, a powder metallurgy aluminum alloy. Local crack-tip parameters were measured at various times before, during, and after the overloads, these include crack-tip opening loads and displacements, and crack-tip strain fields. The latter were useed, in combination with the materials cyclic and monotonic stress-strain properties, to compute crack-tip residual stresses. The experimental results are also compared with analytical predictions obtained using the FAST-2 computer code. The sensitivity of the analytical model to constant-amplitude fatigue crack growth rate properties and to through-thickness constrain are studied

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

Head butting sheep: Kink Collisions in the Presence of False Vacua

We investigate numerically kink collisions in a 1+1 dimensional scalar field theory with multiple vacua. The domain wall model we are interested in involves two scalar fields and a potential term built from an asymmetric double well and (double) sine-Gordon potential together with an interaction term. Depending on the initial kink setup and impact velocities, the model allows for a wide range of scattering behaviours. Kinks can repel each other, annihilate, form true or false domain walls and reflect off each other

Translating the Physics of Snowfall to Radar-Based Validation of GPM

No abstract availabl

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

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

A Timed IO monad

Programming with explicit timing information is often tedious and error prone. This is especially visible in music programming where, when played, the specified durations of notes and rests must be shortened in order to compensate the actual duration of all surrounding processing. In this paper, we develop the notion of timed extension of a monad that aims at relieving programmers from such a burden. We show how, under simple conditions, such extensions can be built, and how useful features of monad programming such as asynchronous concurrency with promises or data-flow programming with monadic streams can be uniformly lifted to the resulting timed programming framework. Even though presented and developed in the abstract, the notion of timed extension of a monad is nevertheless illustrated by two concrete instances: a default timed IO monad where programmers specify durations in mi-croseconds, and a musically timed IO monad, where programmers specify durations in number of beats, the underlying tempo, that is, the speed of the music in beats per minute, possibly changed whenever needed

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

Structured reactive programming with polymorphic temporal tiles

International audienceIn functional reactive programming (FRP), system inputs and outputs are generally modeled as functions over continuous time (behaviors) whose future values are governed by sudden changes (events). In this approach, discrete events are embedded into piece-wise continuous behaviors. In the field of reactive music system programming, we develop an orthogonal approach that seems to better fit our need. Much like piano keys can be played and combined both in sequence and in parallel, we model system inputs and outputs as spatio-temporal combinations of what we call temporal values: continuous functions over time whose domain lays between two events: a start and a stop event. Various high level data types and program constructs can then be derived from such a model. They are shown to satisfy robust algebraic and category theoretic properties. Altogether, this eventually provides a simple, robust and elegant programming front-end, temporal tile programming, for reading, memorizing, stretching, combining and transforming flows of inputs into flows of outputs. Although at its infancy, the resulting approach has been experimentally validated for reactive and real-time music system programming