Solving Set Constraint Satisfaction Problems using ROBDDs

In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems

Inlet spillage drag tests and numerical flow-field analysis at subsonic and transonic speeds of a 1/8-scale, two-dimensional, external-compression, variable-geometry, supersonic inlet configuration

Accurate spillage drag and pressure data are presented for a realistic supersonic inlet configuration. Results are compared with predictions from a finite-differencing, inviscid analysis computer procedure. The analytical technique shows good promise for the evaluation of inlet drag, but necessary refinements were identified. A detailed description of the analytical procedure is contained in the Appendix

Preliminary Canopy Removal Experiments in Algal Dominated Communities Low on the Shore and in the Shallow Subtidal on the Isle of Man

The algal dominated communities immediately above and below the low-water spring level on a moderately exposed Manx shore were investigated by canopy removal experiments. Fucus serratus, Laminaria digitata and L. hyperborea were removed. Competition was shown to be important in determining the zonation of L. digitata and the distribution along the wave exposure gradient of other species such as Alaria esculenta, Desmarestia aculeata and D. viridis, and L. saccharina. Many species of algal epiphytes were early colonizers of canopy removal areas suggesting that competition from canopy algae usually restricts them to an epiphytic habit. The results indicate that interactions between macrophytes are much more important than grazing in structuring these communities

The North Wyke Farm Platform: Fine Resolution (15-minute) Meteorological Data

The North Wyke Farm Platform (NWFP) was established in 2010 to study and improve grassland livestock production at the farm-scale. The NWFP uses a combination of environmental sensors, routine field and lab-based measurements, and detailed management records to monitor livestock and crop production, emissions to water, emissions to air, soil health, and biodiversity. The rich NWFP datasets help researchers to evaluate the effectiveness of different grassland (and arable) farming systems, which in turn, contributes to the development of sustainable, resilient and net zero land management strategies. This document serves as a user guide to the meteorological data (MET) captured at a 15-minute temporal resolution from the North Wyke Farm Platform (NWFP). The guide gives details of the instrumentation, sensor calibration and data collection and is associated with other dedicated user guides that detail the design, establishment and development of the NWFP, and the quality control process of datasets

Longitudinal and seasonal changes in functional organization of macroinvertebrate communities in four Oregon streams.

Relative numerical dominance and densities of invertebrate functional feeding groups are compared with longitudinal and seasonal changes in food resources in a Cascade Range stream system in Oregon. We also compare our data with hypothetical predictions of the River Continuum model. We found that both relative abundances and densities of functional groups fit qualitative characterization of stream reaches and the River Continuum model: Shredders dominated upper shaded reaches; scrapers were most important in intermediate—sized sections; collectors increased in importance progressively downstream; predators were nearly constant in relative abundance at all sections; other functional groups were either rare or only locally abundant. Seasonal shifts also occurred but were not as dramatic as longitudinal differences. Correlation analyses between quantitative measures of food sources and functional group abundance were usually significant. Lack of significance for some correlations is likely due to inaccurate characterization of food availability, but small size and improper classification of species\u27 feeding behavior also may be important. In addition, invertebrate densities and food standing crop are static parameters and only approximately reflect the dynamics of consumer production and food availability. Read More: http://www.esajournals.org/doi/abs/10.2307/193671

LANDING DEVELOPMENT: A FIRST LOOK AT YOUNG CHILDREN

The purpose of this study was to examine sagittal and frontal views of children (n=14) aged 4-9 landing from a maximal effort vertical jump to begin a description of landing development. Video records (collected at 30 frames/sec) of the jump and landing were viewed frame by frame with Windows Movie Maker and analyzed with a simple scoring system validated to detect improper movements during landing. Findings indicated that this stop-landing task challenged balance as most landings included a step, straddled foot position, and a wide stance. Mechanisms for force absorption (knee and hip flexion) tended to occur more often in landings of older children, but incidences of knee valgus also increased with age. Further investigation may establish developmental expectations for landing and help coaches and physical educators correct potentially harmful patterns as children age and pursue more competitive sport

On the relationship between sigma models and spin chains

We consider the two-dimensional $\rm O(3)$ non-linear sigma model with topological term using a lattice regularization introduced by Shankar and Read [Nucl.Phys. B336 (1990), 457], that is suitable for studying the strong coupling regime. When this lattice model is quantized, the coefficient $\theta$ of the topological term is quantized as $\theta=2\pi s$, with $s$ integer or half-integer. We study in detail the relationship between the low energy behaviour of this theory and the one-dimensional spin-$s$ Heisenberg model. We generalize the analysis to sigma models with other symmetries.Comment: To appear in Int. J. MOd. Phys.

Gauge fields, ripples and wrinkles in graphene layers

We analyze elastic deformations of graphene sheets which lead to effective gauge fields acting on the charge carriers. Corrugations in the substrate induce stresses, which, in turn, can give rise to mechanical instabilities and the formation of wrinkles. Similar effects may take place in suspended graphene samples under tension.Comment: contribution to the special issue of Solid State Communications on graphen

The Double Quasar Q2138-431: Lensing by a Dark Galaxy?

We report the discovery of a new gravitational lens candidate Q2138-431AB, comprising two quasar images at a redshift of 1.641 separated by 4.5 arcsecs. The spectra of the two images are very similar, and the redshifts agree to better than 115 km.sec$^{-1}$. The two images have magnitudes $B_J = 19.8$ and $B_J = 21.0$, and in spite of a deep search and image subtraction procedure, no lensing galaxy has been found with $R < 23.8$. Modelling of the system configuration implies that the mass-to-light ratio of any lensing galaxy is likely to be around $1000 M_{\odot}/L_{\odot}$, with an absolute lower limit of $200 M_{\odot}/L_{\odot}$ for an Einstein-de Sitter universe. We conclude that the most likely explanation of the observations is gravitational lensing by a dark galaxy, although it is possible we are seeing a binary quasar.Comment: 17 pages (Latex), 8 postscript figures included, accepted by MNRA