Technology of welding and properties of welded joints of new bainitic and martensitic steels with creep-resistant steels

This paper shows the results of welding tests used so far on high-temperature creep resistant steels and new bainitic and martensitic steels. The positive results of this research allowed the elaboration of a welding procedure specification that was ultimately approved by TÜV. This then allowed the SEFAKO Company to attempt welding of the latest generation boiler steels for use under heavy conditions.     

Adolescent male rats exposed to social defeat exhibit altered anxiety behavior and limbic monoamines as adults.

Social stress in adolescence is correlated with emergence of psychopathologies during early adulthood. In this study, the authors investigated the impact of social defeat stress during mid-adolescence on adult male brain and behavior. Adolescent male Sprague–Dawley rats were exposed to repeated social defeat for 5 days while controls were placed in a novel empty cage. When exposed to defeat-associated cues as adults, previously defeated rats showed increased risk assessment and behavioral inhibition, demonstrating long-term memory for the defeat context. However, previously defeated rats exhibited increased locomotion in both elevated plus-maze and open field tests, suggesting heightened novelty-induced behavior. Adolescent defeat also affected adult monoamine levels in stress-responsive limbic regions, causing decreased medial prefrontal cortex dopamine, increased norepinephrine and serotonin in the ventral dentate gyrus, and decreased norepinephrine in the dorsal raphe. Our results suggest that adolescent social defeat produces both deficits in anxiety responses and altered monoaminergic function in adulthood. This model offers potential for identifying specific mechanisms induced by severe adolescent social stress that may contribute to increased adult male vulnerability to psychopathology. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Development and validation of the Caregiver Empowerment Scale: A resource for working with family caregivers of persons with traumatic brain injury.

Objective: To use multitrait analysis to determine the measurement structure of the Caregiver Empowerment Scale (CES). Participants: An American sample of 87 adult primary family caregivers of persons with traumatic brain injury (TBI). Results: A four-factor structure was identified including factor 1 (Advocacy Self-Efficacy), factor 2 (Community Self-Efficacy), factor 3 (Caregiver Self-Efficacy), and factor 4 (Personal Self-Efficacy). Conclusions: The CES provides clinicians and researchers a means to assess self-perceived coping abilities of family caregivers of persons with TBI. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

Concurrent software verification with states, events, and deadlocks

We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and allows us to express many properties of software in a concise and intuitive manner. We show how standard automata-theoretic LTL model checking algorithms can be ported to our framework at no extra cost, enabling us to directly benefit from the large body of research on efficient LTL verification. We also present an algorithm to detect deadlocks in concurrent message-passing programs. Deadlock- freedom is not only an important and desirable property in its own right, but is also a prerequisite for the soundness of our model checking algorithm. Even though deadlock is inherently non-compositional and is not preserved by classical abstractions, our iterative algorithm employs both (non-standard) abstractions and compositional reasoning to alleviate the state-space explosion problem. The resulting framework differs in key respects from other instances of the counterexample-guided abstraction refinement paradigm found in the literature. We have implemented this work in the magic verification tool for concurrent C programs and performed tests on a broad set of benchmarks. Our experiments show that this new approach not only eases the writing of specifications, but also yields important gains both in space and in time during verification. In certain cases, we even encountered specifications that could not be verified using traditional pure event-based or state-based approaches, but became tractable within our state/event framework. We also recorded substantial reductions in time and memory consumption when performing deadlock-freedom checks with our new abstractions. Finally, we report two bugs (including a deadlock) in the source code of Micro-C/OS versions 2.0 and 2.7, which we discovered during our experiments. This research was sponsored by the National Science Foundation (NSF) under grants no. CCR-9803774 and CCR-0121547, the Office of Naval Research (ONR) and the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, the Army Research Office (ARO) under contract no. DAAD19-01-1-0485, and was conducted as part of the Predictable Assembly from Certifiable Components (PACC) project at the Software Engineering Institute (SEI). This article combines and builds upon the papers (CCO⁺04) and (CCOS04). Received December 2004 Revised July 2005 Accepted July 2005 by Eerke A. Boiten, John Derrick, Graeme Smith and Ian Hayes     

Metal–support interactions on rhodium model catalysts

Metal–support interactions on supported rhodium catalysts were studied by using specially prepared Rh/TiO₂/Mo model systems. For their characterization and the analysis of modifications due to various heat treatments several surface analytical methods were applied: low-energy ion scattering, X-ray photoemission spectroscopy and thermal desorption spectroscopy. Heating in ultrahigh vacuum to 670 K leads to Rh agglomeration followed (above 720 K) by encapsulation including the formation of reduced titanium oxide species. These morphological and chemisorption changes are reversible upon reoxidation and low-temperature reduction and thus exhibit the characteristic features of strong metal–support interactions. For the effective mechanism a reaction is suggested that involves oxygen chemisorption on the Rh clusters and partial reduction of the surrounding support oxide.     

Effects of activity-rest schedules on physiological strain and spinal load in hospital-based porters

Workers in physically demanding occupations require rest breaks to recover from physiological stress and biomechanical loading. Physiological stress can increase the risk of developing musculoskeletal disorders and repeated loading of the spine may increase the potential for incurring back pain. The aim of the study was to assess the impact of an altered activity-rest schedule on physiological and spinal loading in hospital-based porters. An existing 4-h activity-rest schedule was obtained from observations on eight male porters. This schedule formed the normal trial, which included two 5- and one 15-min breaks. An alternative 4-h schedule was proposed (experimental condition) that had two breaks each of 12.5 min. It was hypothesized that the experimental trial is more effective in promoting recovery from physiological strain and spinal shrinkage than the normal trial, due to the 5-min breaks being insufficient to allow physiological variables to return to resting levels or the intervertebral discs to reabsorb fluid. Ten males performed both test conditions and oxygen uptake VO2, heart rate, minute ventilation VE, perceived exertion and spinal shrinkage were recorded. There were no significant differences in any of the measured variables between the two trials (p > 0.05). Median heart rates were 78 (range 71-93) and 82 (71-90) beats.min(-1) for the normal trial and the experimental trial respectively, indicating that the activity was of low intensity. The light intensity was corroborated by the oxygen uptakes (0.75, range 0.65-0.94 1.min(-1)). Spinal shrinkage occurred to the same extent in the two trials (2.12 +/- 3.16 mm and 2.88 +/- 2.92 mm in the normal trial and the experimental trial respectively). Varying the length and positioning of the rest breaks did not significantly affect the physiological responses or magnitude of spinal shrinkage between the two trials. More physically demanding work than the porters' schedule should induce greater physiological fatigue and spinal shrinkage. The ratio between activity and rest breaks would then become more important.     

128 line photonic switching system using LiNbO3 switchmatrices and semiconductor traveling wave amplifiers

The possibility of a 128-line photonic space division switching system incorporating LiNbO₃ switch matrices and semiconductor traveling wave amplifiers (TWAs) is discussed. System design is considered in terms of the most suitable location for the TWA devices that gives the most practical power margin. Design requirements for a 128-line photonic switching system suitable for a small-sized private branch exchange requirement are presented along with experimental results. It has been shown that a five-stage switch cascade, suitable for such a high-capacity switching system with a power margin of greater than 5 dB in the highest switch loss situation is possible, using low-facet-reflection TWAs. Such TWA devices have been developed in the 1.3-μm wavelength region with maximum fiber-to-fiber gain values of 15 dB. With maximum gain-polarization dependencies of 3 dB, switch losses can be compensated even under TM mode operation