Branching: the Essence of Constraint Solving

This paper focuses on the branching process for solving any constraint satisfaction problem (CSP). A parametrised schema is proposed that (with suitable instantiations of the parameters) can solve CSP's on both finite and infinite domains. The paper presents a formal specification of the schema and a statement of a number of interesting properties that, subject to certain conditions, are satisfied by any instances of the schema. It is also shown that the operational procedures of many constraint systems including cooperative systems) satisfy these conditions. Moreover, the schema is also used to solve the same CSP in different ways by means of different instantiations of its parameters.Comment: 18 pages, 2 figures, Proceedings ERCIM Workshop on Constraints (Prague, June 2001

Knots with distinct primitive/primitive and primitive/Seifert representatives

Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yields a Seifert fibered space. Here we construct a two-parameter family of knots that have distinct primitive/Seifert embeddings in $F$ with the same surface slope, as well as a family of torus knots that have a primitive/primitive representative and a primitive/Seifert representative with the same surface slope.Comment: 12 pages, 8 figures; 2 figures update

Investigation of refractory composites for liquid rocket engines Final report, 1 Oct. 1969 - 31 Oct. 1970

Oxidation resistance and high temperature tests of rhenium, tungsten, hafnium, and tantalum matrix composites with iridium in oxygen, fluorine, and boron atmospheres for liquid propellant engine

Integration of a mean-torque diesel engine model into a hardware-in-the-loop shipboard network simulation using lambda tuning

This study describes the creation of a hardware-in-the-loop (HIL) environment for use in evaluating network architecture, control concepts and equipment for use within marine electrical systems. The environment allows a scaled hardware network to be connected to a simulation of a multi-megawatt marine diesel prime mover, coupled via a synchronous generator. This allows All-Electric marine scenarios to be investigated without large-scale hardware trials. The method of closing the loop between simulation and hardware is described, with particular reference to the control of the laboratory synchronous machine, which represents the simulated generator(s). The fidelity of the HIL simulation is progressively improved in this study. First, a faster and more powerful field drive is implemented to improve voltage tracking. Second, the phase tracking is improved by using two nested proportional–integral–derivative–acceleration controllers for torque control, tuned using lambda tuning. The HIL environment is tested using a scenario involving a large constant-power load step. This provides a very severe test of the HIL environment, and also reveals the potentially adverse effects of constant-power loads within marine power systems

Converging shocks in elastic-plastic solids

We present an approximate description of the behavior of an elastic-plastic material processed by a cylindrically or spherically symmetric converging shock, following Whitham's shock dynamics theory. Originally applied with success to various gas dynamics problems, this theory is presently derived for solid media, in both elastic and plastic regimes. The exact solutions of the shock dynamics equations obtained reproduce well the results obtained by high-resolution numerical simulations. The examined constitutive laws share a compressible neo-Hookean structure for the internal energy e = e_(s)(I_1)+e_(h)(ρ,ς), where e_(s) accounts for shear through the first invariant of the Cauchy–Green tensor, and e_(h) represents the hydrostatic contribution as a function of the density ρ and entropy ς. In the strong-shock limit, reached as the shock approaches the axis or origin r=0, we show that compression effects are dominant over shear deformations. For an isothermal constitutive law, i.e., e_(h) = e_(h)(ρ), with a power-law dependence e_(h) ∝ ρ_(α), shock dynamics predicts that for a converging shock located at r=R(t) at time t, the Mach number increases as M ∝ [log(1/R)]^α, independently of the space index s, where s=2 in cylindrical geometry and 3 in spherical geometry. An alternative isothermal constitutive law with p(ρ) of the arctanh type, which enforces a finite density in the strong-shock limit, leads to M ∝ R^(−(s−1)) for strong shocks. A nonisothermal constitutive law, whose hydrostatic part eh is that of an ideal gas, is also tested, recovering the strong-shock limit M∝R^(−(s−1)/n(γ)) originally derived by Whitham for perfect gases, where γ is inherently related to the maximum compression ratio that the material can reach, (γ+1)/(γ−1). From these strong-shock limits, we also estimate analytically the density, radial velocity, pressure, and sound speed immediately behind the shock. While the hydrostatic part of the energy essentially commands the strong-shock behavior, the shear modulus and yield stress modify the compression ratio and velocity of the shock far from the axis or origin. A characterization of the elastic-plastic transition in converging shocks, which involves an elastic precursor and a plastic compression region, is finally exposed

An economic model of the manufacturers' aircraft production and airline earnings potential, volume 3

A behavioral explanation of the process of technological change in the U. S. aircraft manufacturing and airline industries is presented. The model indicates the principal factors which influence the aircraft (airframe) manufacturers in researching, developing, constructing and promoting new aircraft technology; and the financial requirements which determine the delivery of new aircraft to the domestic trunk airlines. Following specification and calibration of the model, the types and numbers of new aircraft were estimated historically for each airline's fleet. Examples of possible applications of the model to forecasting an individual airline's future fleet also are provided. The functional form of the model is a composite which was derived from several preceding econometric models developed on the foundations of the economics of innovation, acquisition, and technological change and represents an important contribution to the improved understanding of the economic and financial requirements for aircraft selection and production. The model's primary application will be to forecast the future types and numbers of new aircraft required for each domestic airline's fleet

Rainfall but not selective logging affect changes in abundance of tropical forest butterfly in Sabah, Borneo

We investigated the effects of rainfall on the distribution and abundance of the satyrine butterfly Ragadia makuta in selectively logged and unlogged forest on Borneo. In 1997-98, there was a severe El Nino-Southern Oscillation (ENSO) drought, and annual surveys over a 4-y period showed that abundance of R. makuta was greatly reduced during the drought, but that populations quickly recovered after it. Monthly surveys over a 12-mo period of typical rainfall showed that high rainfall in the month preceding surveys significantly reduced butterfly abundance. Butterfly abundance and distribution did not differ between selectively logged and unlogged areas in either monthly or annual surveys and there was no difference between selectively logged and unlogged areas in the pattern of post-drought recovery. These results indicate that the abundance of R. makuta was significantly reduced both after high rainfall and during severe drought, but that these impacts were short-lived and were not affected by habitat disturbance. ENSO droughts on Borneo naturally often lead to widespread forest fires and thus impacts of ENSO events for butterflies are more likely to be due to indirect effects of habitat loss, rather than direct effects of drought on butterfly population dynamics

A study of HII regions in spiral galaxies using multiobject spectroscopy

Multiobject spectroscopy results of HII regions in nearby late-type spiral galaxies are given. Results include excitation measurements, log ((O III)/H beta), for 81 regions in M 101, 30 regions in NGC 2403, and 13 regions in M 51. Researchers conclude that late-type spirals can be classified into two distinct populations, examine possible causes of this division, and derive metallicity gradients for these galaxies. M 51 appears to have an anomalously shallow abundance gradient