A proof-theoretic analysis of the classical propositional matrix method

The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory. © 2012 The Author, 2012. Published by Oxford University Press

Heat flux sensor design reduces extraneous source effects

Heat flux sensor isolates the sensor and its transmitting thermocouple from undesirable heat sources by incorporating a radiator section that forms a radiation shield between mounting cup and sensor. Bonding of the thermocouple cable to the underside of the radiator provides a conductive path to dissipate extraneous heat that might otherwise reach the sensor

Potential uses for bracken (Pteridium aquilinum (L.) Kuhn) in organic agrculture

Bracken is a weed species due to its toxic nature and adverse effects on agriculture and ecology. This poster reviews research into historical uses for fronds and litter harvested as part of organically approved control methods. The use of bracken as an over winter mulch reduced losses of nitrogen and potassium from bare soil and maintained soil temperatures. Bracken litter was found to be a viable biofuel, with a calorific value comparable to wood and low ash and alkali metal contents. The contents of frond ash were investigated, with high concentrations of potassium found giving them a value as organic fertiliser. The addition of frond ash to soil significantly increased clover growth and number of nodules. The addition of frond ash to soil significantly increased the yield of saleable main crop potatoes. These finding have shown that bracken has a value especially within organic agriculture

Constitutive Equations for Use in Design Analyses of Long-life Elevated Temperature Components

Design analysis needs and procedures relative to elevated temperature components in liquid metal fast breeder reactor (LMFBR) system were examined. The effects of the thermal transients on the pressure boundary components are enhanced by the excellent heat transfer properties of the liquid sodium coolant. Design criteria for high temperature nuclear reactor components recognize the potential occurrence of inelastic structural response. Specifically, criteria and limits were developed which reflect a recognition of this potential and employ design by analysis concepts that requires that inelastic (elastic-plastic and creep) analyses be performed. Constitutive equations to represent multiaxial time-dependent responses of LMFBR alloys are established. The development of equations applicable under cyclic loading conditions are outlined

Heat flux sensor assembly

Heat flux sensor assembly with proviso for heat shield to reduce radiative transfer between sensor element

The trafficking and targeting of P2X receptors

The functional expression of P2X receptors at the plasma membrane is dependent on their trafficking along secretory and endocytic pathways. There are seven P2X receptor subunits, and these differ in their subcellular distributions because they have very different trafficking properties. Some are retained within the endoplasmic reticulum (ER), while others are predominantly at the cell surface or within endosomes and lysosomes. Changes in recruitment of receptors to and from the plasma membrane provides a way of rapidly up- or down-regulating the cellular response to adenosine triphosphate (ATP). An additional layer of regulation is the targeting of these receptors within the membranes of each compartment, which affects their stability, function and the nature of the effector proteins with which they form signaling complexes. The trafficking and targeting of P2X receptors is regulated by their interactions with other proteins and with lipids and we can expect this to vary in a cell-type specific manner and in response to changes in the environment giving rise to differences in receptor activity and function

Study of providing omnidirectional vibration isolation to entire space shuttle payload packages

Techniques to provide omnidirectional vibration isolation for a space shuttle payload package were investigated via a reduced-scale model. Development, design, fabrication, assembly and test evaluation of a 0.125-scale isolation model are described. Final drawings for fabricated mechanical components are identified, and prints of all drawings are included

Multi-Material Ultrasonic Consolidation

Ultrasonic consolidation (UC) is a recently developed direct metal solid freeform fabrication process. While the process has been well-demonstrated for part fabrication in Al alloy 3003 H18, including with intricate cooling channels, some of the potential strengths of the process have not been fully exploited. One of them is its flexibility with build materials and the other is its suitability for fabrication of multi-material and functionally graded material parts with enhanced functional or mechanical properties. Capitalizing on these capabilities is critical for broadening the application range and commercial utilization of the process. In the current work, UC was used to investigate ultrasonic bonding of a broad range of engineering materials, which included stainless steels, Ni-base alloys, brass, Al alloys, and Al alloy composites. UC multimaterial part fabrication was examined using Al alloy 3003 as the bulk part material and the above mentioned materials as performance enhancement materials. Studies were focused on microstructural aspects to evaluate interface characteristics between dissimilar material layers. The results showed that most of these materials can be successfully bonded to Al alloy 3003 and vice versa using the ultrasonic consolidation process. Bond formation and interface characteristics between various material combinations are discussed based on oxide layer characteristics, material properties, and others.Mechanical Engineerin