Correlations Between Metallurgical Characterization Studies, Exploratory Mechanical Tests, and Continuum Mechanics Approaches to Constitutive Equations

Austenitic stainless steels, such as types 316 and 304, are widely used as pressure vessel materials in the temperature range of 425 to 650 C. Stainless steel specimens were tested to rupture at two different stress levels sigma and sigma 2 sigma 1 sigma 2) to establish the normal stain-time behavior. A subsequent test was performed in which the specimen was crept at the higher stress (sigma 1) to the beginning of the secondary stage of creep, presumed to be the strain/time conditions at which a steady state microstructure is developed, and then the stress was reduced to the lower level (sigma 2). The associated microstructure, and significance of this microstructure on the creep strain-hardening model for variable uniaxial loads were assesed and found to be consistent with the use of creep-recovery models at high stresses and temperatures and strain-hardening models at low stresses and tempertures

Applications of elastic-viscoplastic constitutive models in dynamic analyses of crack run-arrest events

Applications of nonlinear techniques to the first series of six HSST wide-plate crack-arrest tests that were performed are described. The experiments include crack initiations at low temperatures and relatively long (20 cm) cleavage propagation phases which are terminated by arrest in high temperature regions. Crack arrest are then followed by ductile tearing events. Consequently, the crack front regions are exposed to wide ranges of strain rates and temperatures

The Challenges of Multimorbidity from the Patient Perspective

BACKGROUND Although multiple co-occurring chronic illnesses within the same individual are increasingly common, few studies have examined the challenges of multimorbidity from the patient perspective. OBJECTIVE The aim of this study is to examine the self-management learning needs and willingness to see non-physician providers of patients with multimorbidity compared to patients with single chronic illnesses. DESIGN. This research is designed as a cross-sectional survey. PARTICIPANTS Based upon ICD-9 codes, patients from a single VHA healthcare system were stratified into multimorbidity clusters or groups with a single chronic illness from the corresponding cluster. Nonproportional sampling was used to randomly select 720 patients. MEASUREMENTS Demographic characteristics, functional status, number of contacts with healthcare providers, components of primary care, self-management learning needs, and willingness to see nonphysician providers. RESULTS Four hundred twenty-two patients returned surveys. A higher percentage of multimorbidity patients compared to single morbidity patients were "definitely" willing to learn all 22 self-management skills, of these only 2 were not significant. Compared to patients with single morbidity, a significantly higher percentage of patients with multimorbidity also reported that they were "definitely" willing to see 6 of 11 non-physician healthcare providers. CONCLUSIONS Self-management learning needs of multimorbidity patients are extensive, and their preferences are consistent with team-based primary care. Alternative methods of providing support and chronic illness care may be needed to meet the needs of these complex patients.US Department of Veterans Affairs (01-110, 02-197); Agency for Healthcare Research and Quality (K08 HS013008-02

Application of sex-specific single-nucleotide polymorphism filters in genome-wide association data

We explored five sex-specific quality control filters in North American Rheumatoid Arthritis Consortium's Illumina 550 k datasets. Three X chromosome and three autosomal single-nucleotide polymorphisms flagged by sex quality control filters were missed by filters of call rate at 95% and Hardy-Weinberg equilibrium at 10-6. We applied a subset of these sex-specific quality control filters to eight chromosomes in the Framingham Heart Study samples genotyped by Affymetrix 500 k SNP arrays, and identified another two single-nucleotide polymorphisms that failed to be picked up by the above global filters

Avatars of Eurocentrism in the critique of the liberal peace

Recent scholarly critiques of the so-called liberal peace raise important political and ethical challenges to practices of postwar intervention in the global South. However, their conceptual and analytic approaches have tended to reproduce rather than challenge the intellectual Eurocentrism underpinning the liberal peace. Eurocentric features of the critiques include the methodological bypassing of target subjects in research, the analytic bypassing of subjects through frameworks of governmentality, the assumed ontological split between the ‘liberal’ and the ‘local’, and a nostalgia for the liberal subject and the liberal social contract as alternative bases for politics. These collectively produce a ‘paradox of liberalism’ that sees the liberal peace as oppressive but also the only true source of emancipation. However, the article suggests that a repoliticization of colonial difference offers an alternative ‘decolonizing’ approach to critical analysis through repositioning the analytic gaze. Three alternative research strategies for critical analysis are briefly developed

Effect of vessel wettability on the foamability of "ideal" surfactants and "real-world" beer heads

The ability to tailor the foaming properties of a solution by controlling its chemical composition is highly desirable and has been the subject of extensive research driven by a range of applications. However, the control of foams by varying the wettability of the foaming vessel has been less widely reported. This work investigates the effect of the wettability of the side walls of vessels used for the in situ generation of foam by shaking aqueous solutions of three different types of model surfactant systems (non-ionic, anionic and cationic surfactants) along with four different beers (Guinness Original, Banks’s Bitter, Bass No 1 and Harvest Pale). We found that hydrophilic vials increased the foamability only for the three model systems but increased foam stability for all foams except the model cationic system. We then compared stability of beer foams produced by shaking and pouring and demonstrated weak qualitative agreement between both foam methods. We also showed how wettability of the glass controls bubble nucleation for beers and champagne and used this effect to control exactly where bubbles form using simple wettability patterns

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem. Although backward reachability is property-directed, it can unnecessarily explore (large) portions of the state space of a system which are not required to verify the safety property under consideration. To avoid this, invariants can be used to dramatically prune the search space. Indeed, the problem is to guess such appropriate invariants. In this paper, we present a fully declarative and symbolic approach to the mechanization of backward reachability of infinite state systems manipulating arrays by Satisfiability Modulo Theories solving. Theories are used to specify the topology and the data manipulated by the system. We identify sufficient conditions on the theories to ensure the termination of backward reachability and we show the completeness of a method for invariant synthesis (obtained as the dual of backward reachability), again, under suitable hypotheses on the theories. We also present a pragmatic approach to interleave invariant synthesis and backward reachability so that a fix-point for the set of backward reachable states is more easily obtained. Finally, we discuss heuristics that allow us to derive an implementation of the techniques in the model checker MCMT, showing remarkable speed-ups on a significant set of safety problems extracted from a variety of sources.Comment: Accepted for publication in Logical Methods in Computer Scienc