Dequantisation of the Dirac Monopole

Using a sheaf-theoretic extension of conventional principal bundle theory, the Dirac monopole is formulated as a spherically symmetric model free of singularities outside the origin such that the charge may assume arbitrary real values. For integral charges, the construction effectively coincides with the usual model. Spin structures and Dirac operators are also generalised by the same technique.Comment: 22 pages. Version to appear in Proc. R. Soc. London

Safety hazards associated with the charging of lithium/sulfur dioxide cells

A continuing research program to assess the responses of spirally wound, lithium/sulfur dioxide cells to charging as functions of charging current, temperature, and cell condition prior to charging is described. Partially discharged cells that are charged at currents greater than one ampere explode with the time to explosion inversely proportional to the charging current. Cells charged at currents of less than one ampere may fail in one of several modes. The data allows an empirical prediction of when certain cells will fail given a constant charging current

Supercritical multicomponent solvent coal extraction

The yield of organic extract from the supercritical extraction of coal with larger diameter organic solvents such as toluene is increased by use of a minor amount of from 0.1 to 10% by weight of a second solvent such as methanol having a molecular diameter significantly smaller than the average pore diameter of the coal

The Oyster River Culvert Analysis Project

Studies have already detected intensification of precipitation events consistent with climate change projections. Communities may have a window of opportunity to prepare, but information sufficiently quantified and localized to support adaptation programs is sparse: published literature is typically characterized by general resilience building or regional vulnerability studies. The Fourth Assessment Report of the IPCC observed that adaptation can no longer be postponed pending the effective elimination of uncertainty. Methods must be developed that manage residual uncertainty, providing community leaders with decision-support information sufficient for implementing infrastructure adaptation programs. This study developed a local-scale and actionable protocol for maintaining historical risk levels for communities facing significant impacts from climate change and population growth. For a coastal watershed, the study assessed the capacity of the present stormwater infrastructure capacity for conveying expected peak flow resulting from climate change and population growth. The project transferred coupled-climate model projections to the culvert system, in a form understandable to planners, resource managers and decision-makers; applied standard civil engineering methods to reverse-engineer culverts to determine existing and required capacities; modeled the potential for LID methods to manage peak flow in lieu of, or combination with, drainage system upsizing; and estimated replacement costs using local and national construction cost data. The mid-21st century, most likely 25-year, 24-hour precipitation is estimated to be 35% greater than the TP-40 precipitation for the SRES A1b trajectory, and 64% greater than the TP-40 value for the SRES A1fi trajectory. 5% of culverts are already undersized for the TP-40 event to which they should have been designed. Under the most likely A1b trajectory, an additional 12% of culverts likely will be undersized, while under the most likely A1fi scenario, an additional 19% likely will be undersized. These conditions place people and property at greater risk than that historically acceptable from the TP-4025-year design storm. This risk level may be maintained by a long-term upgrade program, utilizing existing strategies to manage uncertainty and costs. At the upper-95% confidence limit for the A1fi 25-year event, 65% of culverts are adequately sized, and building the remaining 35%, and planned, culverts to thrice the cross-sectional area specified from TP-40 should provide adequate capacity through this event. Realizable LID methods can mitigate significant impacts from climate change and population growth, however effectiveness is limited for the more pessimistic climate change projections. Results indicate that uncertainty in coupled-climate model projections is not an impediment to adaptation. This study makes a significant contribution toward the generation of reliable and specific estimates of impacts from climate change, in support of programs to adapt civil infrastructures. This study promotes a solution to today\u27s arguably most significant challenge in civil infrastructure adaptation: translating the extensive corpus of adaptation theory and regional-scale impacts analyses into localscale action

One step multiderivative methods for first order ordinary differential equations

A family of one-step multiderivative methods based on Padé approximants to the exponential function is developed. The methods are extrapolated and analysed for use in PECE mode. Error constants and stability intervals are calculated and the combinations compared with well known linear multi-step combinations and combinations using high accuracy Newton-Cotes quadrature formulas as correctors. w926020

Chemical analysis of charged Li/SO(sub)2 cells

The initial focus of the program was to confirm that charging can indeed result in explosions and constitute a significant safety problem. Results of this initial effort clearly demonstrated that cells do indeed explode on charge and that charging does indeed constitute a real and severe safety problem. The results of the effort to identify the chemical reactions involved in and responsible for the observed behavior are described

Local semigroups in lie groups and locally reachable sets

In this paper the relationship between locally reachable sets for a fixed set of controls in the Lie algebra of a Lie group and the local semigroups generated by the corresponding one-parameter semigroup is considered. It is convenient to carry out the investigation in the Lie algebra itself, and the appropriate machinery for doing this is first developed. It is shown that local semigroups contain locally reachable sets. A general criterion (rerouting) is developed for the converse inclusion, and it is shown that if the set of controls is contained in a proper cone or is a Lie wedge (i.e., the tangent of a local semigroup), then it is the case that locally reachable sets contain local semigroups. © 1990 Rocky Mountain Mathematics Consortium

On the Order-Theoretical Foundation of a Theory of Quasicompactly Generated Spaces Without Separation Axiom

A Hausdorff space X is said to be compactly generated (a /e-space) if and only if the open subsets V of X are precisely those subsets for which K n V is open in K for all compact subsets of K of X. We interpret this property as a duality property of the lattice 0{ X) of open sets of X, This view point allows the introduction of the concept of being quasicompactly generated for an arbitrary sober space X. The methods involve the duality theory of up-complete semilattices, and certain inverse limit constructions. In the process, we verify that the new concept agrees with the classical one on Hausdorff spaces. © 1984, Australian Mathematical Society. All rights reserved

A report on SHARP (Spacecraft Health Automated Reasoning Prototype) and the Voyager Neptune encounter

The development and application of the Spacecraft Health Automated Reasoning Prototype (SHARP) for the operations of the telecommunications systems and link analysis functions in Voyager mission operations are presented. An overview is provided of the design and functional description of the SHARP system as it was applied to Voyager. Some of the current problems and motivations for automation in real-time mission operations are discussed, as are the specific solutions that SHARP provides. The application of SHARP to Voyager telecommunications had the goal of being a proof-of-capability demonstration of artificial intelligence as applied to the problem of real-time monitoring functions in planetary mission operations. AS part of achieving this central goal, the SHARP application effort was also required to address the issue of the design of an appropriate software system architecture for a ground-based, highly automated spacecraft monitoring system for mission operations, including methods for: (1) embedding a knowledge-based expert system for fault detection, isolation, and recovery within this architecture; (2) acquiring, managing, and fusing the multiple sources of information used by operations personnel; and (3) providing information-rich displays to human operators who need to exercise the capabilities of the automated system. In this regard, SHARP has provided an excellent example of how advanced artificial intelligence techniques can be smoothly integrated with a variety of conventionally programmed software modules, as well as guidance and solutions for many questions about automation in mission operations