Effect of thermal exposure, forming, and welding on high-temperature, dispersion-strengthened aluminum alloy: Al-8Fe-1V-2Si

The feasibility of applying conventional hot forming and welding methods to high temperature aluminum alloy, Al-8Fe-1V-2Si (FVS812), for structural applications and the effect of thermal exposure on mechanical properties were determined. FVS812 (AA8009) sheet exhibited good hot forming and resistance welding characteristics. It was brake formed to 90 deg bends (0.5T bend radius) at temperatures greater than or equal to 390 C (730 F), indicating the feasibility of fabricating basic shapes, such as angles and zees. Hot forming of simple contoured-flanged parts was demonstrated. Resistance spot welds with good static and fatigue strength at room and elevated temperatures were readily produced. Extended vacuum degassing during billet fabrication reduced porosity in fusion and resistance welds. However, electron beam welding was not possible because of extreme degassing during welding, and gas-tungsten-arc welds were not acceptable because of severely degraded mechanical properties. The FVS812 alloy exhibited excellent high temperature strength stability after thermal exposures up to 315 C (600 F) for 1000 h. Extended billet degassing appeared to generally improve tensile ductility, fatigue strength, and notch toughness. But the effects of billet degassing and thermal exposure on properties need to be further clarified. The manufacture of zee-stiffened, riveted, and resistance-spot-welded compression panels was demonstrated

Trace Spaces: an Efficient New Technique for State-Space Reduction

State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put in parallel, without changing the semantics. It is thus not necessary to consider all execution paths in the interleaving semantics of a concurrent program, but rather some equivalence classes. The purpose of this paper is to describe a new algorithm to compute such equivalence classes, and a representative per class, which is based on ideas originating in algebraic topology. We introduce a geometric semantics of concurrent languages, where programs are interpreted as directed topological spaces, and study its properties in order to devise an algorithm for computing dihomotopy classes of execution paths. In particular, our algorithm is able to compute a control-flow graph for concurrent programs, possibly containing loops, which is "as reduced as possible" in the sense that it generates traces modulo equivalence. A preliminary implementation was achieved, showing promising results towards efficient methods to analyze concurrent programs, with very promising results compared to partial-order reduction techniques

Internal convection in thermoelectric generator models

Coupling between heat and electrical currents is at the heart of thermoelectric processes. From a thermal viewpoint this may be seen as an additional thermal flux linked to the appearance of electrical current in a given thermoelectric system. Since this additional flux is associated to the global displacement of charge carriers in the system, it can be qualified as convective in opposition to the conductive part associated with both phonons transport and heat transport by electrons under open circuit condition, as, e.g., in the Wiedemann-Franz relation. In this article we demonstrate that considering the convective part of the thermal flux allows both new insight into the thermoelectric energy conversion and the derivation of the maximum power condition for generators with realistic thermal coupling.Comment: 8 pages, 3 figure

Scale invariant correlations and the distribution of prime numbers

Negative correlations in the distribution of prime numbers are found to display a scale invariance. This occurs in conjunction with a nonstationary behavior. We compare the prime number series to a type of fractional Brownian motion which incorporates both the scale invariance and the nonstationary behavior. Interesting discrepancies remain. The scale invariance also appears to imply the Riemann hypothesis and we study the use of the former as a test of the latter.Comment: 13 pages, 8 figures, version to appear in J. Phys.

To See or Not to See: Do Front of Pack Nutrition Labels Affect Attention to Overall Nutrition Information?

Citation: Bix, L., Sundar, R. P., Bello, N. M., Peltier, C., Weatherspoon, L. J., & Becker, M. W. (2015). To See or Not to See: Do Front of Pack Nutrition Labels Affect Attention to Overall Nutrition Information? Plos One, 10(10), 20. doi:10.1371/journal.pone.0139732Background Front of pack (FOP) nutrition labels are concise labels located on the front of food packages that provide truncated nutrition information. These labels are rapidly gaining prominence worldwide, presumably because they attract attention and their simplified formats enable rapid comparisons of nutritional value. Methods Eye tracking was conducted as US consumers interacted with actual packages with and without FOP labels to (1) assess if the presence of an FOP label increases attention to nutrition information when viewers are not specifically tasked with nutrition-related goals; and (2) study the effect of FOP presence on consumer use of more comprehensive, traditional nutrition information presented in the Nutritional Facts Panel (NFP), a mandatory label for most packaged foods in the US. Results Our results indicate that colored FOP labels enhanced the probability that any nutrition information was attended, and resulted in faster detection and longer viewing of nutrition information. However, for cereal packages, these benefits were at the expense of attention to the more comprehensive NFP. Our results are consistent with a potential short cut effect of FOP labels, such that if an FOP was present, participants spent less time attending the more comprehensive NFP. For crackers, FOP labels increased time spent attending to nutrition information, but we found no evidence that their presence reduced the time spent on the nutrition information in the NFP. Conclusions The finding that FOP labels increased attention to overall nutrition information by people who did not have an explicit nutritional goal suggests that these labels may have an advantage in conveying nutrition information to a wide segment of the population. However, for some food types this benefit may come with a short-cut effect; that is, decreased attention to more comprehensive nutrition information. These results have implications for policy and warrant further research into the mechanisms by which FOP labels impact use of nutrition information by consumers for different foods

Changes in wave climate over the northwest European shelf seas during the last 12,000 years

Because of the depth attenuation of wave orbital velocity, wave-induced bed shear stress is much more sensitive to changes in total water depth than tidal-induced bed shear stress. The ratio between wave- and tidal-induced bed shear stress in many shelf sea regions has varied considerably over the recent geological past because of combined eustatic changes in sea level and isostatic adjustment. In order to capture the high-frequency nature of wind events, a two-dimensional spectral wave model is here applied at high temporal resolution to time slices from 12 ka BP to present using paleobathymetries of the NW European shelf seas. By contrasting paleowave climates and bed shear stress distributions with present-day conditions, the model results demonstrate that, in regions of the shelf seas that remained wet continuously over the last 12,000 years, annual root-mean-square (rms) and peak wave heights increased from 12 ka BP to present. This increase in wave height was accompanied by a large reduction in the annual rms wave- induced bed shear stress, primarily caused by a reduction in the magnitude of wave orbital velocity penetrating to the bed for increasing relative sea level. In regions of the shelf seas which remained wet over the last 12,000 years, the annual mean ratio of wave- to (M-2) tidal-induced bed shear stress decreased from 1 (at 12 ka BP) to its present-day value of 0.5. Therefore compared to present- day conditions, waves had a more important contribution to large-scale sediment transport processes in the Celtic Sea and the northwestern North Sea at 12 ka BP

Sulfur and Nitrogen Mustard Carbonate Analogues

Sulfur and nitrogen half-mustard compounds lose their aggressive properties when the chlorine atom is replaced by a carbonate moiety. The anchimeric effect of the novel mustard carbonate analogues is investigated. The reaction follows first-order kinetics, does not need any base, and occurs with OH, NH and acidic CH nucleophiles. Most of these molecules are unexplored and might provide a novel strategy for the preparation of compounds previously not easily accessible

Electronic thermal transport in strongly correlated multilayered nanostructures

The formalism for a linear-response many-body treatment of the electronic contributions to thermal transport is developed for multilayered nanostructures. By properly determining the local heat-current operator, it is possible to show that the Jonson-Mahan theorem for the bulk can be extended to inhomogeneous problems, so the various thermal-transport coefficient integrands are related by powers of frequency (including all effects of vertex corrections when appropriate). We illustrate how to use this formalism by showing how it applies to measurements of the Peltier effect, the Seebeck effect, and the thermal conductance.Comment: 17 pages, 4 figures, submitted to Phys. Rev.

On the Expressivity and Applicability of Model Representation Formalisms

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page

MICROMEGAS chambers for hadronic calorimetry at a future linear collider

Prototypes of MICROMEGAS chambers, using bulk technology and analog readout, with 1x1cm2 readout segmentation have been built and tested. Measurements in Ar/iC4H10 (95/5) and Ar/CO2 (80/20) are reported. The dependency of the prototypes gas gain versus pressure, gas temperature and amplification gap thickness variations has been measured with an 55Fe source and a method for temperature and pressure correction of data is presented. A stack of four chambers has been tested in 200GeV/c and 7GeV/c muon and pion beams respectively. Measurements of response uniformity, detection efficiency and hit multiplicity are reported. A bulk MICROMEGAS prototype with embedded digital readout electronics has been assembled and tested. The chamber layout and first results are presented