A study of charged particle motion in magnetic radiation shielding fields Final technical report

Charged particle motion in magnetic radiation shielding field

The Effect of Turbidity on the Solar Resetting of the Luminescence Signal: Implications for Luminescence Geochronology

Quantitative determinations of the effect of sediment concentration on the extent of solar resetting of the luminescence signal within suspended sediments in a laboratory simulation of a turbid water system are made using thermoluminescence [TL], infrared stimulated luminescence [IRSL], and red stimulated luminescence [RedSL]. The results show a general, but non-linear, increase in residual luminescence with increasing suspended sediment concentration for TL, IRSL, and RedSL. Results of this investigation demonstrate flocculation to be a significant process contributing to residual luminescence in waterlain sediments. The results of the investigation question the reliability of TL to provide accurate age determinations for waterlain sediments, and indicate IRSL may be applicable to date sediments deposited in low concentrations (≤10 mg/L), but offers no significant advantages over TL for dating sediments deposited in higher concentrations. Comparison of the TL, IRSL and RedSL data shows the RedSL signal to be the most sensitive of the three to solar resetting through turbid water and highlights the future utility of red stimulated luminescence to date a wide range of waterlain sediments.No embarg

Solving the TTC 2011 Compiler Optimization Task with metatools

The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every computer-internal structure is treated as a "model", and every computation is a kind of model transformation. This concept differs significantly from "classical model transformation" executed by specialized tools and languages. Therefore it seemed promising to the organizers of the TTC 2011, as well as to the authors, to apply metatools to one of the challenges, namely to the "compiler optimization task". This is a report on the resulting experiences.Comment: In Proceedings TTC 2011, arXiv:1111.440

Efficacy of Blood Hemoglobin Concentration as an Indicator of Pork Quality

The objective of the study was to assess the efficacy of pre-harvest blood hemoglobin level as a predictor of pork quality in market weight swine. Market weight swine (n = 110) were harvested over three dates, following a 12 h rest in a commercial packing. Each harvest group consisted of proportional numbers of purebred Berkshire, Landrace and the reciprocal crossbred pigs. Blood hemoglobin (HB, Hemocue Hb 201) content was obtained from a sample collected 24 h prior to harvest via the anterior vena cava. Carcass backfat (BF), loin muscle area (LMA) and loin quality traits, including Minolta L* and a*, visual color (C), marbling (MARB), firmness (F), wetness (W), and pH were measured at 24 h post-harvest. Warner-Bratzler Shear (WBS) force assessment of the loin was completed on a chop aged for 7 d post-harvest. Data were analyzed using multi-trait analysis of variance for dependent carcass and pork quality measures. Fixed effects included breed combination and sex with a random harvest date effect. Residual correlations were estimated after accounting for model effects to determine associations among traits and simple correlations were estimated. After adjusting for breed, gender and harvest date effects BH was only associated (P < 0.05) with WBS (r = 0.23). Significant simple correlations were observed between HB and WBS (r = 0.22, P < 0.05) and pH (r = -0.28, P < 0.01) with the simple correlation between Minolta a* (r = 0.17, P < 0.06) approaching significance. The results indicate blood hemoglobin level, collected prior to harvest was not a good indicator of subsequent pork quality and would not be an effective tool for selection of live pigs as breeding animals to improve pork qualityCollege of Food, Agriculture, and Environmental Sciences Research Gran

Embodiment effects in memory for facial identity and facial expression

Research suggests that states of the body, such as postures, facial expressions, and arm movements, play central roles in social information processing. This study investigated the effects of approach/avoidance movements on memory for facial information. Faces displaying a happy or a sad expression were presented and participants were induced to perform either an approach (arm flexion) or an avoidance (arm extension) movement. States of awareness associated with memory for facial identity and memory for facial expression were then assessed with the Remember/Know/Guess paradigm. The results showed that performing avoidance movements increased Know responses for the identity, and Know/Guess responses for the expression, of valence-compatible stimuli (i.e., sad faces as compared to happy faces), whereas this was not the case for approach movements. Based on these findings, it is suggested that approach/avoidance motor actions influence memory encoding by increasing the ease of processing for valence-compatible information

Development of a Flexible Multibody Model to Simulate Nonlinear Effects in Printing Process

Modern high speed printing machines are able to print up to 700 m/min. At this rate, little excita-tions lead to vibrations, which may lead to loss of contact between the rollers (bouncing). This bouncing results in white stripes, being visible on the printed image. To enable the simulation of the whole printing process, including effects like bouncing, a discrete multibody model is developed. The rollers are modeled by several rigid bodies. These bodies are connected to each other by rotational springs, which allow simulation of the first bending eigenmodes of each roller. The contact area between the rollers is modeled by several nonlinear translational springs and damping elements. These elements change their stiffness and damping values depending on the distance between the rollers. If a defined distance is exceeded, the values become zero, which represents the loss of contact (bouncing). The unknown spring and damping elements of this model are parametrized with help of an experimental modal analysis. This paper presents the development of a flexible multibody model to simulate nonlinear effects in printing process.BMW

Complexity Bounds for Ordinal-Based Termination

`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program running times. Our main tool for this are length function theorems, which provide complexity bounds on the use of well quasi orders. We illustrate how to prove such theorems in the simple yet until now untreated case of ordinals. We show how to apply this new theorem to derive complexity bounds on programs when they are proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability Problems (RP 2014, 22-24 September 2014, Oxford