Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Biodegradation of monoaromatic hydrocarbons in aquifer columns amended with hydrogen peroxide and nitrate

The ability of indigenous microorganisms to degrade benzene, toluene, ethylbenzene and xylenes (BTEX) in laboratory scale flow-through aquifer columns was tested separately with hydrogen peroxide (110 mg/l) and nitrate (330 mg/l as NO₃⁻) amendments to air-saturated influent nutrient solution. The continuous removal of individual components from all columns relative to the sterile controls provided evidence for biodegradation. In the presence of hydrogen peroxide, the indigeneous microorganisms degraded benzene and toluene (> 95%), meta- plus para-xylene (80%) and ortho-xylene (70%). Nitrate addition resulted in 90% removal of toluene and 25% removal of ortho-xylene. However, benzene, ethylbenzene, meta- and para-xylene concentrations were not significantly reduced after 42 days of operation. Following this experiment, low dissolved oxygen (< 1 mg/l) conditions were initiated with the nitrate-amended column influent in order to mimic contaminated groundwater conditions distal from a nutrient injection well. Toluene continued to be effectively degraded (> 90%), and more than 25% of the benzene, 40% of the ethylbenzene, 50% of the meta- plus para-xylenes and 60% of the ortho-xylene were removed after several months of operation.     

Quantum chemical studies of Li cation binding to polyalkyloxides

A quantum chemical study of the binding of Li⁺ cation to polyalkyloxides has been carried out. The lithium cation interaction with three polyalkyloxides (polyethylene oxide (PEO), polytrimethylene oxide (PTMO), and polypropylene oxide (PPO)) has been investigated using ab initio molecular orbital theory at the HF/6-31G^* level with molecular models for the polymers. Coordination by one to six oxygens was considered. In addition, higher level calculations were carried out using G3(MP2) theory for coordination of Li⁺ by one oxygen. For coordination of lithium by one oxygen, the binding energy ordering is PTMO>PPO>PEO, with PTMO having the largest lithium cation affinity. The same ordering is found for larger coordination numbers with the exception of coordination by six oxygens, where the ordering changes due to the steric interactions.     

Network topology and the theory of rubber elasticity

The earliest investigations on rubber elasticity, commencing in the 19th century, were necessarily limited to phenomenological interpretations. The realisation that polymers consist of very long molecular chains. commencing c. 1930, gave impetus to the molecular theory of rubber elasticity (1932-). according to which the high deformability of an elastomer, and the elastic force generated by deformation, stem from the configurations accessible to long molecular chains. Theories of rubber elasticity put forward from 1934-1946 relied on the assumption that the junctions of the rubber network undergo displacements that are affine in macroscopic strain. The theory of James and Guth (1947) dispensed with this premise, and demonstrated instead that the mean positions of the junctions of a ‘phantom’ network consisting of Gaussian chains devoid of material properties are affine in the strain. The vital significance of the distinction between the actual distribution of chain vectors in a network and their distribution if the junctions would be fixed at their mean positions went unnoticed for nearly 30 years. Experimental investigations, commencing with the incisive work of Gee in 1946. revealed large departures from the relationship of stress to strain predicted by the theories cited. This discrepancy prompted extensive studies, theoretical and experimental, during succeeding years. Inquiry into the fundamentals of polymer networks, formed for example by interlinking very long polymer molecules, exposed the need to take account of network imperfections, typically consisting of chains attached at only one end to a network junction. Various means were advocated to make corrections for these imperfections. The cycle rank ζ of the network has been shown (1976) to be the fundamental measure of its connectivity, regardless of the junction functionality and pattern of imperfections. Often overlooked is the copious interpenetration of the chains comprising typical elastomeric networks. Theories that attempt to represent such networks on a lattice are incompatible with this universal feature. Moreover, the dense interpenetration of chains may limit the ability of junctions in real networks to accommodate the fluctuations envisaged in the theory of phantom networks. It was suggested in 1975 that departures from the form predicted for the elastic equation of state are due to constraints on the fluctuations of junctions whose effect diminishes with deformation and with dilation. Formulation of a self-consistent theory based on this suggestion required recognition of the non-affine connection between the chain vector distribution function and the macroscopic strain in a real network, which may partake of characteristics of a phantom network in some degree. Implementation of the idea was achieved through postulation of domains of constraint affecting the equilibrium distribution of fluctuations of network junctions from their mean positions. This led in due course to a theory that accounts for the relationship of stress to strain virtually throughout the ranges of strain accessible to measurement. The theory establishes connections between structure and elastic properties. This is achieved with utmost frugality in arbitrary parameters.     

The hot blow forming of AZ31 Mg sheet: Formability assessment and application development

The hot blow forming of magnesium sheet offers significant opportunity for forming complex, lightweight parts for automotive applications. This paper characterizes the elevated-temperature formability of AZ31 magnesium sheet materials and the effect of processing conditions on the performance of these materials. In addition, magnesium sheet application development at General Motors Corporation is reviewed.     

RasterCalc: Calculus for Operations on Graphics Colour Rasters

An extended model and calculus, called RasterCalc, is presented for operations on discrete graphics rasters, including their colour functions. The operations are separated into two main categories: operations on domains, and operations on colour functions. The operations are further classified as local and remote, depending on the correspondence between destination and source pixels. The new raster element or pixel can be a function of a single element from one or more rasters, a function of a small area from other rasters, or a function of entire rasters. Local operations have their main applications in computer graphics, while remote operations are more oriented towards image processing. A mathematically oriented notation is used to define and represent the operations included. RasterCalc has been implemented as a procedure package in Pascal, to be used on a powerful, yet expensive display. Recently a C version has been completed for a personal colour computer with a special chip for raster operations. The work reported in this paper is partially supplied by the Dutch Technical Sciences Foundation, under project number LWI 14.0130: “Facilities for raster graphics in programming languages”     

Identification of microstructural zones and thermal cycles in a weldment of modified 9Cr-1Mo steel

This paper presents the results of a study on the microstructural and microchemical variations in a multipass Gas Tungsten Arc weld (GTAW) of modified 9Cr-1Mo steel. The changes brought about in the steel due to the heating and cooling cycles during welding and the subsequent effects due to reheating effects during multipass welding are described. Detailed analytical transmission electron microscopy has been carried to study the type and composition of the primary and secondary phases in this steel. The systematic changes in microstructural parameters such as Prior Austenite Grain Size, martensite lath size, number density, size and microchemistry of carbides, have been understood based on the different transformations that the steel undergoes during the heating and cooling process. Based on the observed microstructure, an attempt has been made to identify distinct microstructural zones and possible thermal cycles experienced by different regions of the weldment.     

组合斩波器为便携式应用增加带宽

对于精确地放大非常小的信号，简单的斩波放大器很适用，不过带宽有限。通过“组合“一个斩波器，带宽就能增加，使斩波器在更多的便携式设备中都有用武之地。