The development of structural adhesive systems suitable for use with liquid oxygen /LOX/ Summary report, 20 Jun. 1969 - 19 Apr. 1970

Development of structural adhesive systems suitable for use with liquid oxyge

Forming simulation of a thermoplastic commingled woven textile on a double dome

This paper presents thermoforming experiments and FE simulations of a commingled glass-PP woven composite on a double dome geometry, with the aim of assessing the correspondence of predicted and experimental shear angles. Large local deformations - especially in-plane shear, i.e. relative rotation between the two yarn families – occur when draping a textile on a three dimensional part and eventually unwanted phenomena like wrinkling or tearing may occur. The macroscopic drape behaviour of a weave is generally subdivided into: 1) The high tensile resistance along the yarn directions, expressed as non-linear stress-strain curves, and 2) The shear resistance, expressed as non-linear shear force versus shear angle curves. The constitutive model is constituted of a dedicated non-orthogonal hypo-elastic shear resistance model, previously described in [1, 2], combined with truss elements that represent the high tensile resistance along the yarn directions. This model is implemented in a user subroutine of the ABAQUS explicit FE solver. The material parameters have been identified via textile biaxial tensile tests at room temperature and bias extension tests at 200°. Thermoforming experiments are performed on a rectangular blank with the warp direction along the second symmetry plane of the tool, with a preheating temperature of 200°C, a constant mold temperature of about 70°C, and a blankholder ring. It was concluded that the shear angles were fairly well predicted for this particular case study, which could be expected in view of the fact that no wrinkles had formed during the thermoforming experiment

A new quantum fluid at high magnetic fields in the marginal charge-density-wave system α\alpha-(BEDT-TTF)2M_2MHg(SCN)4_4 (where M=M=~K and Rb)

Single crystals of the organic charge-transfer salts $\alpha$-(BEDT-TTF)$_2M$Hg(SCN)$_4$ have been studied using Hall-potential measurements ($M=$K) and magnetization experiments ($M$ = K, Rb). The data show that two types of screening currents occur within the high-field, low-temperature CDW$_x$ phases of these salts in response to time-dependent magnetic fields. The first, which gives rise to the induced Hall potential, is a free current (${\bf j}_{\rm free}$), present at the surface of the sample. The time constant for the decay of these currents is much longer than that expected from the sample resistivity. The second component of the current appears to be magnetic (${\bf j}_{\rm mag}$), in that it is a microscopic, quasi-orbital effect; it is evenly distributed within the bulk of the sample upon saturation. To explain these data, we propose a simple model invoking a new type of quantum fluid comprising a CDW coexisting with a two-dimensional Fermi-surface pocket which describes the two types of current. The model and data are able to account for the body of previous experimental data which had generated apparently contradictory interpretations in terms of the quantum Hall effect or superconductivity.Comment: 13 pages, 11 figure

Determining how atmospheric carbon dioxide concentrations have changed during the history of the Earth

The reconstruction of ancient atmospheric carbon dioxide concentrations is essential to understanding the history of the Earth and life. It is also an important guide to identifying the sensitivity of the Earth system to this greenhouse gas and, therefore, constraining its future impact on climate. However, determining the concentration of CO2 in ancient atmospheres is a challenging endeavour requiring the application of state-of-the-art analytical chemistry to geological materials, underpinned by an understanding of photosynthesis and biochemistry. It is truly an interdisciplinary challenge

A Graphical Language for Proof Strategies

Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it easy to write proofs that obscure the flow of goals between tactics and are fragile to minor changes in input, proof structure or changes to tactics themselves. Here, we address this by introducing a graphical language called PSGraph for writing proof strategies. Strategies are constructed visually by "wiring together" collections of tactics and evaluated by propagating goal nodes through the diagram via graph rewriting. Tactic nodes can have many output wires, and use a filtering procedure based on goal-types (predicates describing the features of a goal) to decide where best to send newly-generated sub-goals. In addition to making the flow of goal information explicit, the graphical language can fulfil the role of many tacticals using visual idioms like branching, merging, and feedback loops. We argue that this language enables development of more robust proof strategies and provide several examples, along with a prototype implementation in Isabelle