42,696 research outputs found
User-defined data types and operators in occam
This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that demonstrate their use. It also discusses some techniques used in their implementation in KRoC [2] for a variety of target machines
A radiometric airborne geophysical survey of the Isle of Wight
A high resolution airborne geophysical survey across the Isle of Wight and Lymington area conducted in 2008 provided the first modern radiometric survey across the geological formations that characterise much of southern England. The basic radiometric data are presented and it is evident that bedrock geology exerts a controlling influence on the broad response characteristics of the naturally occurring radioelements. A GIS-based geological classification of the data provides a quantitative assessment and reveals that a relatively high percentage of the variability of the data is explained by the Cretaceous bedrock geology but this is much reduced in the Palaeogene. The three traditional Chalk units (Lower, Middle and Upper Chalk depicted on the currently available Geological Map) provide the lowest and most distinct behaviour within the Cretaceous sequence. Mineral content within the Chalk appears to increase with increasing age. A new method of representing the baseline radiometric information from the survey in terms of the mean values of the geological classification is presented. The variation of radioelement geochemistry within individual formations is examined in two case studies from the Cretaceous Lower Greensand Group and the Palaeogene Hamstead Member (Bouldnor Formation). The Cretaceous sequences provide the higher levels of discrimination of localised variations in radioelement distributions. A more detailed case study examines the potential influences from the degree of water saturation in the soil and superficial deposits
A geological and hydrogeological assessment of the electrical conductivity information from the HiRES airborne geophysical survey of the Isle of Wight
A recent high resolution airborne geophysical survey across the Isle of Wight (IoW) and Lymington area has provided the first electromagnetic data across the relatively young geological formations characterising much of southern England. The multi-frequency data provide information on bulk electrical conductivity to depths of the order of 100 m. A GIS-based assessment of the electrical conductivity information in relation to bedrock geological classification has been conducted for the first time. The analysis uses over 104,000 measurements across onshore IoW and has established average and statistical properties as a function of bedrock geology. The average values are used to provide baseline maps of apparent electrical conductivity and the variation with depth (measured as a function of frequency). The average conductivity as a function of depth within the main aquifer units is summarised. The data indicate that the majority of the Palaeogene is characterised by values consistently in excess of 100 mS/m and with a surprisingly high degree of spatial heterogeneity. The youngest (Oligocene) Hamstead Member displays some strong edge effects and the largest localized values in conductivity. The central Upper Chalk is associated with the lowest observed conductivity values and mineral content and/or porosity appears to increase with increasing age. The large central outcrop of the Lower Greensand Group, Ferruginous Sand Formation provides persistently low (<30 mS/m) conductivity values which imply a relatively uniform distribution of clean sand content. Non-geological (e.g. environmental) responses are contained within the data set and examples of these in relation to a closed municipal landfill and an area of potential coastal saline intrusion are discussed. In the south, the Gault clay/mudstone of the Early Cretaceous appears as a distinctive conductive unit. Cross sectional modelling of the data has been undertaken across the aquifer units of the Southern Downs. The results indicate that the Gault Formation, acting as an aquitard, can be traced as a distinct unit under the more resistive Early Cretaceous Upper Greensand and Late Cretaceous Chalk formations. The conductivity modelling should therefore allow an estimation of the subsurface configuration of the aquifer and aquitard units
Lindstedt Series Solutions of the Fermi-Pasta-Ulam Lattice
We apply the Lindstedt method to the one dimensional Fermi-Pasta-Ulam
lattice to find fully general solutions to the complete set of equations of
motion. The pertubative scheme employed uses as the expansion
parameter, where is the coefficient of the quartic coupling between
nearest neighbors. We compare our non-secular perturbative solutions to
numerical solutions and find striking agreement.Comment: 17 pages, 10 figures. To appear in the Journal of Mathematical
Physic
Direct evidence for local oscillatory current sources and intracortical phase gradients in turtle visual cortex
Visual stimuli induce oscillations in the membrane potential of neurons in cortices of several species. In turtle, these oscillations take the form of linear and circular traveling waves. Such waves may be a consequence of a pacemaker that emits periodic pulses of excitation that propagate across a network of excitable neuro-nal tissue or may result from continuous and possibly reconfigu-rable phase shifts along a network with multiple weakly coupled neuronal oscillators. As a means to resolve the origin of wave propagation in turtle visual cortex, we performed simultaneous measurements of the local field potential at a series of depths throughout this cortex. Measurements along a single radial pen-etration revealed the presence of broadband current sources, with a center frequency near 20 Hz ( g band), that were activated by visual stimulation. The spectral coherence between sources at two well-separated loci along a rostral caudal axis revealed the pres-ence of systematic timing differences between localized cortical oscillators. These multiple oscillating current sources and their timing differences in a tangential plane are interpreted as the neuronal activity that underlies the wave motion revealed in previous imaging studies. The present data provide direct evidence for the inference from imaging of bidirectional wave motion that the stimulus-induced electrical waves in turtle visual cortex corre-spond to phase shifts in a network of coupled neuronal oscillators
Accurate modeling of parallel scientific computations
Scientific codes are usually parallelized by partitioning a grid among processors. To achieve top performance it is necessary to partition the grid so as to balance workload and minimize communication/synchronization costs. This problem is particularly acute when the grid is irregular, changes over the course of the computation, and is not known until load time. Critical mapping and remapping decisions rest on the ability to accurately predict performance, given a description of a grid and its partition. This paper discusses one approach to this problem, and illustrates its use on a one-dimensional fluids code. The models constructed are shown to be accurate, and are used to find optimal remapping schedules
Procedure for implementation of temperature-dependent mechanical property capability in the Engineering Analysis Language (EAL) system
A procedure is presented to allow the use of temperature dependent mechanical properties in the Engineering Analysis Language (EAL) System for solid structural elements. This is accomplished by including a modular runstream in the main EAL runstream. The procedure is applicable for models with multiple materials and with anisotropic properties, and can easily be incorporated into an existing EAL runstream. The procedure (which is applicable for EAL elastic solid elements) is described in detail, followed by a description of the validation of the routine. A listing of the EAL runstream used to validate the procedure is included in the Appendix
The NASA Electric Propulsion Program
The NASA OAST Propulsion, Power, and Energy Division supports an electric propulsion program aimed at providing benefits to a broad class of missions. Concepts which have the potential to enable or significantly benefit space exploration and exploitation are identified and advanced toward application in the near and far term. This paper summarizes recent program progress in mission/system analysis; in electrothermal, electrostatic, and electromagnetic propulsion technologies; and in propulsion/spacecraft integration
Does the structure of banking markets affect economic growth? evidence from U.S. state banking markets
This paper examines the relationship between the structure of banking markets and economic growth using a new dataset on manufacturing industry-level growth rates and banking market concentration for U.S. states during 1899-1929 - a period when the manufacturing sector was expanding rapidly and restrictive branching laws segmented the U.S. banking system geographically. Unlike studies of modern developing and developed countries, we find that banking market concentration had a positive impact on manufacturing sector growth in the early twentieth century, with little variation across industries with different degrees of dependence on external financing or access to capital. However, because regulations affecting bank entry varied considerably across U.S. states and the industrial organization of the U.S. banking system differs markedly from those of other countries, we also examine the impact of other aspects of banking market structure and policy on growth. We continue to find that banking market concentration boosted industrial growth. In addition, we find evidence that a greater prevalence of branch banking and more banks per capita increased the growth of industries that rely relatively heavily on external financing or have greater access to external funding sources, while deposit insurance depressed growth in the manufacturing sector. Regulations on bank entry and other banking market characteristics thus appear to exert an independent influence on manufacturing growth in geographically fragmented banking markets.Bank supervision ; Banking market ; Financial services industry ; Economic development
- …