7,936 research outputs found
Coal extrusion in the plastic state
Continuous feeding of coal in a compressing screw extruder is described as a method of introducing coal into pressurized systems. The method utilizes the property of many bituminous coals of softening at temperatures from 350 to 425 C. Coal is then fed, much in the manner of common thermoplastics, using screw extruders. Data on the viscosity and extruder parameters for extrusion of Illinois No. 6 coal are presented
The concealed Caledonide basement of eastern England and the southern North Sea : a review
Field mapping, analysis of borehole core and studies of geophysical potential field and seismic data can be used to demonstrate the existence of a number of distinct crustal blocks within Eastern Avalonia beneath eastern England and the southern North Sea. At the core of these blocks is the Midlands Microcraton which is flanked by Ordovician volcanic arc complexes exposed in Wales and the Lake District. A possible volcanic arc complex of comparable age in eastern England is concealed by late Palaeozoic and Mesozoic cover. These volcanic arc complexes resulted from subduction of oceanic lithosphere beneath Avalonia prior to collision with Baltica and Laurentia in late Ordovician and Silurian time, respectively. The nature of the crust north and east of the concealed Caledonides of Eastern England and south of the lapetus Suture/Tornquist Sea Suture, which forms the basement to the southern North Sea, is unclear. Late Ordovician metamorphic ages from cores penetrating deformed metasedimentary rocks on the Mid-North Sea High suggest these rocks were involved in Avalonia-Baltica collision before final closure of the lapetus Ocean between Laurentia and Avalonia
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
Cylindrical algebraic decomposition (CAD) is an important tool, both for
quantifier elimination over the reals and a range of other applications.
Traditionally, a CAD is built through a process of projection and lifting to
move the problem within Euclidean spaces of changing dimension. Recently, an
alternative approach which first decomposes complex space using triangular
decomposition before refining to real space has been introduced and implemented
within the RegularChains Library of Maple. We here describe a freely available
package ProjectionCAD which utilises the routines within the RegularChains
Library to build CADs by projection and lifting. We detail how the projection
and lifting algorithms were modified to allow this, discuss the motivation and
survey the functionality of the package
Models of the diffuse radar backscatter from Mars
The topographies of several debris flow units near the Mount St. Helens Volcano were measured at lateral scales of millimeters to meters in September 1990. The objective was to measure the surface roughness of the debris flows at scales smaller than, on the order of, and larger that the radar wavelength of common remote sensing radars. A laser profiling system and surveying instruments were used to obtain elevation data for square areas that varied in size from 10 to 32 cm. The elevation data were converted to estimates of the power spectrum of surface roughness. The conversions were based upon standard periodogram techniques, and upon a modified spectral estimation technique that was developed
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
A new algorithm to compute cylindrical algebraic decompositions (CADs) is
presented, building on two recent advances. Firstly, the output is truth table
invariant (a TTICAD) meaning given formulae have constant truth value on each
cell of the decomposition. Secondly, the computation uses regular chains theory
to first build a cylindrical decomposition of complex space (CCD) incrementally
by polynomial. Significant modification of the regular chains technology was
used to achieve the more sophisticated invariance criteria. Experimental
results on an implementation in the RegularChains Library for Maple verify that
combining these advances gives an algorithm superior to its individual
components and competitive with the state of the art
Mammals of Southwestern Arkansas Part II. Rodents
This study investigated the composition and habitat affinities of the mammalian fauna of southwestern Arkansas. The study area was comprised of the 21 counties located south and/or west of and including Pulaski County. The previously existing data set pertaining to the mammals of Arkansas was notably incomplete and this study area in particular, was poorly known mammalogically. Specimens were collected by standard trapping and salvage methods throughout the study area. The mammals considered during this study were limited to those species meeting a set of criteria designed to eliminate species that had been introduced or artificially maintained. This study has accumulated records of 25 species of rodents; over 1500 specimens have been recorded; and a total of 95 new county records have been documented
- …