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

Automated verification of shape and size properties via separation logic.

Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties. To support automatic verification, we design a new entailment checking procedure that can handle well-founded inductive predicates using unfold/fold reasoning. We have proven the soundness and termination of our verification system, and have built a prototype system

An Efficient Algorithm for Optimizing Adaptive Quantum Metrology Processes

Quantum-enhanced metrology infers an unknown quantity with accuracy beyond the standard quantum limit (SQL). Feedback-based metrological techniques are promising for beating the SQL but devising the feedback procedures is difficult and inefficient. Here we introduce an efficient self-learning swarm-intelligence algorithm for devising feedback-based quantum metrological procedures. Our algorithm can be trained with simulated or real-world trials and accommodates experimental imperfections, losses, and decoherence

Nutritive Value of the Crop Residues from bt-Corn Hybrids and Their Effects on Performance of Grazing Beef Cows

One non bt-corn hybrid (Pioneer 3489) and three btcorn hyrids (Pioneer 34RO7, Novartis NX6236, and Novartis N64-Z4) were planted in replicated 7.1-acre fields. After grain harvest, fields were stocked with 3 mature cows in midgestation to be strip-grazed as four paddocks over 126 days. Six similar cows were allotted to replicated drylots. All cows were fed hay as necessary to maintain a condition score of 5 on a 9-point scale. Cows were condition-scored biweekly and weighed monthly. Forage yield and weathering losses were determined by sampling one 4-m2 location per grazed or ungrazed paddock in each field with a minimum total of 2 locations of grazed or ungrazed forage per field. To measure forage selection during grazing, samples of grazed forage were collected from the rumen of one fistulated steer that grazed for 2 hours after ruminal evacuation. Non-bt-corn hybrids had greater (P\u3c.05) infestation of corn borers in the upper stalk, lower stalk and ear shank than bt-corn hybrids. However, there were no differences in grain yields or dropped grain between hybrids. Crop residue dry matter, organic matter and in vitro digestible dry matter yields at the initiation of grazing did not differ between corn hybrids. Dry matter, organic matter and in vitro digestible dry matter losses tended (P\u3c.10) to be greater from the NX6236 and N64-Z4 hybrids than from the 3489 and 34RO7 hybrids and were greater (P\u3c.05) from grazed than non-grazed areas of the fields. At the initiation of grazing, dry matter concentrations of the crop residues from the NX6236 and N64-Z4 hybrids tended to be lower than those from the 3489 and 34RO7 hybrids. Crop residues from the NX6236 and N64-74 hybrids had lower concentrations of acid detergent fiber (P\u3c.05) and acid detergent lignin (P=.07) and higher concentrations of in vitro digestible organic matter than the 3489 and 34RO7 hybrids. Over the grazing season, corn hybrid did not affect mean rates of change in forage composition. The concentration of in vitro digestible organic matter in forage selected by steers after two weeks of grazing did not differ. However, steers grazing corn crop residues consumed forage with higher (P\u3c.05) concentrations of neutral detergent fiber, acid detergent fiber, and acid detergent insoluble nitrogen than steers fed hay. The acid detergent fiber concentration of forage selected by steers grazing the 3489 and N64-Z4 hybrids was lower (P \u3c .05) than concentrations from the 34RO7 and NX6236 hybrids. In order to maintain similar body condition score changes, cows grazing crop residues from the 3489, 34RO7, NX6236, and N64-Z4 hybrids required 650, 628, 625, and 541 kg hay DM/cow compared with a hay requirement of 1447 kg hay DM/cow for cows maintained in a drylot

Distribution of periodic points of polynomial diffeomorphisms of C^2

This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of \C^2: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $\mu$ of the set $K$ of points with bounded orbits. In [BLS] $\mu$ is also characterized dynamically as the unique measure of maximal entropy. Thus $\mu$ is also an equilibrium measure from the point of view of the thermodynamical formalism. In the present paper we give another dynamical interpretation of $\mu$ as the limit distribution of the periodic points of $f$

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

Single Lateral Mode Mid-Infrared Laser Diode using Sub-Wavelength Modulation of the Facet Reflectivity

The characteristics of mid-infrared laser diodes have been investigated before and after the patterning of sub-wavelength metallic apertures on the emitting facet. Before modification of the facet the emitted spectrum consisted of a large number of peaks associated with different spatial modes, whereas afterwards the spectrum was dominated by a single peak. Simulations showed that the patterning of the facet caused the effective reflectivity to be different for each lateral mode, suggesting that the peak in the measured spectra is associated with the single lateral mode which is most strongly reflected from the modified facet.Comment: 12 pages, 3 figure

Transnational social capital: the socio‐spatialities of civil society

Civil society remains a contested concept, but one that is widely embedded in global development processes. Transnationalism within civil society scholarship is often described dichotomously, either through hierarchical dependency relations or as a more amorphous networked global civil society. These two contrasting spatial imaginaries produce very particular ideas about how transnational relations contribute to civil society. Drawing on empirical material from research with civil society organizations in Barbados and Grenada, in this article I contend that civil society groups use forms of transnational social capital in their work. This does not, however, resonate with the horizontal relations associated with grassroots globalization or vertical chains of dependence. These social relations are imbued with power and agency and are entangled in situated historical, geographical and personal contexts. I conclude that the diverse transnational social relations that are part of civil society activity offer hope and possibilities for continued civil society action in these unexpected spatial arrangements