Energy Technology Data Exchange (ETDEWEB)

Within the framework of homogeneous models of the Universe, inflation provides the simplest explanation for the present cosmic isotropy, and a Bianchi type-IX (mixmaster) model is the least prejudiced guess we can make about the state of the Universe before the inflationary phase. However, a mixmaster model would not inflate unless either shear or the radiation energy density are large enough. Particle creation enhances the radiation energy density and therefore enlarges the set of inflating initial conditions for the Universe.

CERN Document Server

We construct a chaotic inflation model in which the Higgs fields play the role of the inflaton in the singlet extension of the supersymmetric standard model. The key idea is to impose a shift symmetry on the D-flat direction Hu Hd in the Kahler potential. The model is a realization of the recently proposed running kinetic inflation, in which the coefficient of the kinetic term grows as the inflaton field. The inflaton potential depends on the structure of the Higgs sector. For instance, the inflaton potential is proportional to phi^{2/3} during inflation in the NMSSM.

Energy Technology Data Exchange (ETDEWEB)

Lining of fused cast basalt tiles is recommended for various pieces of equipment constituting a coal preparation plant.

International Nuclear Information System (INIS)

The cosmic no hair theorem is studied in anisotropic brane worlds. Assuming anisotropic Bianchi models with an inflaton field it is shown that, during slow-roll inflation, anisotropy in all Bianchi models except a Bianchi type-IX universe washes out. Brane worlds admit both exponential and power law inflation. We consider here only exponential expansion of the universe. It is found that isotropization occurs much faster in a brane world than in the general theory of relativity.

Energy Technology Data Exchange (ETDEWEB)

Following a postulated meltdown accident, the integrity of containment building structural material under attack by hot molten core debris and the safeguard of environment against radiological releases constitutes the final line of defense in PAHR safety assessment. Such assessment requires a good knowledge of UO/sub 2//interaction and penetration with different types of concrete. The present study focuses on the phenomena associated with core debris interaction/penetration with substrate basalt concrete.

International Nuclear Information System (INIS)

We demonstrate the existence of shear-free cosmological models with rotation and expansion which support inflationary scenarios. The corresponding metrics belong to the family of spatially homogeneous models with the geometry of the closed universe (Bianchi type IX). We show that the global vorticity does not prevent inflation and can even accelerate it.

Energy Technology Data Exchange (ETDEWEB)

The possibility of having inflation in a renormalizable cosmological model is investigated. The cosmic no-hair conjecture is proved to hold for all Bianchi types except Bianchi type IX. By the use of a conformal transformation on the metric we show that these models are equivalent to the ones described by the Einstein-Hilbert action for gravity minimally coupled to a set of scalar fields with inflationary potentials. Henceforth, we prove that inflationary solutions behave as attractors in solution space, making it a natural event in the evolution of such models.

Energy Technology Data Exchange (ETDEWEB)

The properties of cast basalt and alumina are examined. The ways in which these materials have been used in applications in coal preparation plants, for example in bunker and pipe linings where abrasion and corrosion resistant materials are required, are discussed.

Energy Technology Data Exchange (ETDEWEB)

A brief description is given of some commercially-available wear-resistant products suitable for use in mine environments. The materials are cast basalt, cast or sintered alumina, and a heat-treated martensitic iron, and they can be used as linings for pipes, bunkers and chutes.

International Nuclear Information System (INIS)

The evolution of Bianchi type-I and type-IX universes for a theory of gravity with an #epsilon#R"2 term added to the usual Lagrangian is considered. As in the spatially flat Robertson-Walker case considered previously by others, inflation is found to occur. For any amount of initial anisotropy, the anisotropy decays quickly relative to the length of the inflationary epoch, and the amount of expansion is enhanced by the anisotropy. The exceptions are Bianchi type-IX universes near or at isotropy. In these cases a wide range of initial parameters causes the universe to recollapse, thus reducing the phase space in which inflation can occur. The diagonal metric is shown to be the most general form in the R"2 theory for both Bianchi type-I universes with a perfect fluid and vacuum Bianchi type-IX models.

CERN Document Server

We present here the effective theory of inflation `a la Ginsburg-Landau in which the inflaton potential is a polynomial. The slow-roll expansion becomes a systematic 1/N expansion where N ~ 60. The spectral index and the ratio of tensor/scalar fluctuations are n_s - 1 = O(1/N), r = O(1/N) while the running turns to be d n_s/d \\ln k = O(1/N^2) and can be neglected. The energy scale of inflation M ~ 0.7 10^{16} GeV is completely determined by the amplitude of the scalar adiabatic fluctuations. A complete analytic study plus the Monte Carlo Markov Chains (MCMC) analysis of the available CMB+LSS data showed: (a) the spontaneous breaking of the phi -> - phi symmetry of the inflaton potential. (b) a lower bound for r: r > 0.023 (95% CL) and r > 0.046 (68% CL). (c) The preferred inflation potential is a double well, even function of the field with a moderate quartic coupling yielding as most probable values: n_s = 0.964, ...

Energy Technology Data Exchange (ETDEWEB)

We prove a cosmic no-hair theorem for Bianchi models in power-law inflation. Provided that the potential of an inflaton {phi} is exp({minus}{lambda}{kappa}{phi}) with 0{le}{lambda}{lt} {radical}2/3 , we find that the isotropic power-law solution is the unique attractor for any initially expanding Bianchi-type models except type IX. For Bianchi type IX, this conclusion is also true if the initial ratio of the vacuum energy to the maximum three-curvature is larger than one half.

Energy Technology Data Exchange (ETDEWEB)

This study presents the results of an 18-year long investigation of pipe deterioration in cyclone slag slurry transport. The goal was to study pipe behaviour in this extremely abrasive service and select an optimum piping material. Comparisons are given for high quality alloy cast steel pipes and pipes alined with cast basalt rings marketed under the name Abresist.

CERN Document Server

We present a model of inflation in a supergravity framework in the Einstein frame where the Higgs field of the next to minimal supersymmetric standard model (NMSSM) plays the role of the inflaton. Previous attempts which assumed non-minimal coupling to gravity failed due to a tachyonic instability of the singlet field during inflation. A canonical K\\"{a}hler potential with \\textit{minimal coupling} to gravity can resolve the tachyonic instability but runs into the $\\eta$-problem. We suggest a model which is free of the $\\eta$-problem due to an additional coupling in the K\\"{a}hler potential which is allowed by the Standard Model gauge group. This induces directions in the potential which we call K-flat. For a certain value of the new coupling in the (N)MSSM, the K\\"{a}hler potential is special, because it can be associated with a certain shift symmetry for the Higgs doublets, a generalization of the shift symmetry for singlets in earlier ...

British Library Electronic Table of Contents (United Kingdom)

We investigate optimal horizons for targeting inflation in response to different shocks and their properties. Our analysis is based on a well specified macroeconometric model of Norway. We find that optimal horizons are highly shock-specific and do not increase with concern for output and/or interest rate fluctuations beyond some shock-specific levels. Optimal horizons increase with the degree of persistence in shocks while they are not affected by the size of a shock unless the central bank is averse to interest rate volatility. In the face of multiple shocks, however, sizes as well as signs of shocks become important for optimal horizons even when the central bank is not averse to interest rate volatility. This is because shocks of different signs and sizes may amplify or outweigh each o...

British Library Electronic Table of Contents (United Kingdom)

Based on the quarterly data from four open economies (the US, the UK, Canada, and Italy) and estimated correlations and impulse responses within the traditional vector autoregressive (VAR) analysis, we find that inflation, both in the short and long term, negatively affects consumption and investment, and has a positive influence on the current account. We propose an infinite-horizon optimizing model of an open economy with a fixed rate of time preference that explains these empirics. In this type of economy, households consume both durable and non-durable goods, firms operate under costly investment, and all the transactions involving consumption and investment are subject to cash-in-advance (CIA) constraints. Employing the new ?sign restriction? identification procedure due to Uhlig (J M...

British Library Electronic Table of Contents (United Kingdom)

Abstract Introduction.- Infection is the worst complication seen with inflatable penile prosthesis (IPP). Both the American Medical Systems (AMS) and Coloplast IPP have infection retardant coatings. AMS is coated at the factory with rifampicin and minocycline (InhibiZone). The Coloplast IPP has a hydrophilic coating covalently bonded to its components that will absorb any aqueous solution before implantation and provides increased surface lubricity to decrease bacterial adherence. Aim.- We tested several antibiotic dips comparing zones of inhibition (ZOI) against five commonly infecting bacteria with coated Coloplast implants. Results were compared with those ZOI created with strips of an AMS IPP precoated with InhibiZone. Methods.- Pieces of sterile Coloplast Titan IPP were dipped in (i) ...

International Nuclear Information System (INIS)

The propriety of the cosmic no-hair conjecture to the Bianchi-type-IX spacetime is discussed from a quantum cosmological point of view. It is shown that most, but not all, classical universes which are created quantum cosmologically are inflationary. The probability of inflation among such universes is also discussed.

International Nuclear Information System (INIS)

A mixture of crushed rock and bentonite is being considered as backfill and sealant for high-level nuclear waste repositories. Many variables affect the hydraulic conductivity of such a mixture, including the size and shape of the rock particles, method of mixing, water content and density of the clay, and the weight ratio of rock to clay. Mixtures of crushed basalt and bentonite have been tested to determine the relative effects of these variables. Two types of permeameters are used, 20 cm diameter stainless steel permeameters and 10 cm diameter clear PVC permeameters. Plugs are installed as a single lift or in many lifts; the water content of the clay ranged from air-dry (in most cases) to as high as 200%. Preliminary results show that a mixture of 75% crushed basalt and 25% bentonite has a hydraulic conductivity between 1 x 10/sup -9/ cm/s and 2.5 x 10/sup -8/ cm/s. In some cases, preferential flow paths have developed (possibly as a result ...

Energy Technology Data Exchange (ETDEWEB)

A series of short articles discusses: use of a chemically bonded ceramic composite liner, WellerDensit, to protect the steel surface of pulverizer classifier cones; use of a fused cast basalt liners developed by Abresist Corp. in pipes for transporting coal and ash; a survey completed by the National Energy Technology Laboratory to identify causes of outages and other concerns expressed by PC and FBC boiler operators; and Temp-Age, Early Visc-Age and Modern Visc-Age systems for controlling the viscosity of heavy fuel oil to maintain proper combustion. 7 figs.

Energy Technology Data Exchange (ETDEWEB)

From a macroscopic point of view, corrosion of Zn alloy coated steel sheet occurs by the coating preceding corrosion mechanism; microscopically, however, the coated layer corrosion velocity in the tip of corrosion is different. In order to find the main factors of under-film corrosion of Zn and Zn-Fe alloy coatings in the salt water spray atmospheric exposure test, the correlation between point inflation-exfoliation width and chlorine penetration behavior, point adhesion, and the difference in chlorine penetration behavior due to alloy coating components were investigated. Consequently, the following results were obtained: 1. The better correlation was observed between chlorine penetration distance and point inflation-point exfoliation width. 2. The durability of coating against chlorine penetration improved by increase in point adhesion and Zn content in the coating layer. 3. Zn-Fe (10-20%) alloy coating showed better durability against ...

International Nuclear Information System (INIS)

The near-term availability of domestic and selected foreign uranium resources for use by United States electric utilities is considered in light of projected geopolitical and socioeconomic considerations. No attempt is made to analyze the impact on domestic uranium supply of inflation or cost-price considerations, the introduction of the breeder reactor, limitations in enrichment capacity, or the presently expanding uranium inventory. All data are current as of mid-1980. The period with which this research is concerned is 1980-1995. It is concluded that the United States must promote responsible, environmentally acceptable uranium resource exploration and development, if this nation is to remain self sufficient in this necessary energy commodity.

Energy Technology Data Exchange (ETDEWEB)

A method of abrasion testing according to ASTM C 704-76 a is presented for steel fibre concrete mortar, fusion-cast basalt and a surface coating material and results of practical interest are mentioned. Due to the high technical demands on these materials and their specific fields of application, the very first test already supplied interesting findings. From the user's point of view, the method is an interesting alternative to the common test methods, e.g. according to DIN 52 108 (wheel test according to Boehme). In English-speaking countries, testing according to ASTM is often mandatory in the refractory industry in order to assure constant quality of refractory materials after setting. The method is characterized by good comparability and high accuracy of measurement. Only the test piece is exchanged while the test conditions remain constant, so that accurate information on the material studied is obtained.

British Library Electronic Table of Contents (United Kingdom)

Intrusive degassing and recycling of degassed and dense magma at depth have been proposed for a long time at Stromboli. The brief explosive event that occurred at the summit craters on 9 January 2005 threw out bombs and lapilli that could be good candidates to illustrate recycling of shallow degassed magma at depth. We present an extensive data set on both the textures and the mineral, bulk rock and glassy matrix chemistry of the ?9 Jan? products. The latter have the common shoshonitic?basaltic bulk composition of lavas and scoriae issued from typical strombolian activity. In contrast they differ by the heterogeneous chemistry of their matrix glasses and their crystal textures that testify to crystal dissolution event(s) just prior magma crystallization upon ascent and eruption. Comparison...

International Nuclear Information System (INIS)

The Ringold Formation consists of lacustrine and fluvial deposits overlying the Columbia River Basalt. The Ringold Formation, because of its thickness, extent, and age, is an excellent unit in which to detect and possibly data the deformation that has occurred since deposition of the basalt. One objective of this study was to investigate the paleomagnetism of the upper Ringold unit exposed at one location in the White Bluffs in enough detail to resolve, with reasonable confidence, the magnetostratigraphy of the rock units sampled. The other objective was to evaluate, in a preliminary manner, the paleomagnetic favorability and magnetostratigraphy of the subsurface Ringold Formation in the Pasco Basin and at selected exposures outside the Pasco Basin. The scope of this study was the collection of 300 paleomagnetic samples, their measurement, and analysis. Samples were collected from the White Bluffs, from core recovered from six drill holes on ...

Energy Technology Data Exchange (ETDEWEB)

High angle conveyor (HAC) systems in open pit mining offer many advantages over the traditional, truck only, haulage systems, including: (1) superior energy efficiency, (2) less dependency on petroleum products, (3) less sensitivity to inflation, (4) less labor, (5) less excavation for the amount of ore recovered, and (6) less ramp construction and maintenance costs. Previous studies have revealed the technical and economic feasibility of high angle conveyors. The present paper introduces the Continental Conveyor sandwich belt HAC as the vital link to optimization of in-pit conveying systems. A test and demonstration unit, has been built and demonstrated. Discussion continues with the HAC systems to suit the various open pit mining operations and the corresponding characteristics of the system components, particularly the high angle conveyor. The range of HAC systems is discussed. (11 refs.)

Energy Technology Data Exchange (ETDEWEB)

Within the framework of the Bianchi type-IX homogeneous space, we set up a system of coupled equations for the cosmic scale factors, scalar field, and radiative energy density. At the tree level, the equations are written in a self-consistent, Hartree-Fock form. For phi/sup 4/ theory, the system of nine first-order differential equations is solved numerically for a varying ratio of the energy of anisotropy to the vacuum energy. As the vacuum energy increases, there appears to be less reheating, since the energy of anisotropy is more efficiently converted into isotropic expansion. If the energy of anisotropy is large enough, the inflationary phase is prevented. In this case, a series of cosmological phase transitions will take place each time the square of the effective mass changes its sign.

Energy Technology Data Exchange (ETDEWEB)

The behaviour of the wave function of the universe under the barrier for the anisotropic cosmological Bianchi type-IX model taking account of the scalar field is explored. In view of the known difficulties with the interpretation of multidimensional ones is offered. For this purpose in the frameworks of the semiclassical approach the system of characteristics equations relative to one variable is written out. This system describes a bundle of the characteristics along which the multidimensional problem is reduced to a one-dimensional one that allows to utilize the standard interpretation of the wave function as well as the usual Schroedinger equation. The obtained results for the Bianchi type-IX model are reduced to the following statement: the universe tunnels through the barrier from an isotropic state with small anisotropy that is necessary for providing a ling-lived inflation to derive the universe.

British Library Electronic Table of Contents (United Kingdom)

BACKGROUND: Calibration by inverse modelling was performed with the MACRO transport and fate model using long-term (>10 years) drainflow and isoproturon (IPU) data from western France. Two lack-of-fit (LOF) indices were used to control the inverse modelling: sum of squares (SS) and an alternative statistic called the vertical-horizontal distance integrator (VHDI), which is designed to account for offsets in observed and predicted arrival times of peak IPU concentration. With these data, SS was artificially inflated because it is limited to comparison of predicted and observed IPU concentrations that are concurrent in time. The LOFs were used along with the index of agreement (d) and the correlation coefficient (r) to ascertain the fit of the calibrated models. RESULTS: Predicted arrival ti...

Science.gov (United States)

The strategy for building SASOL plants reflects a commitment to long-range planning. The first plant, which represented a large investment for a moderate production capacity, was built to establish a technology for reducing South Africa's dependence on imported motor fuels. After the success of the plant, SASOL made plans for a larger plant, which had to be justified solely on economic grounds. At that time, petroleum crude was cheap and plentiful, and the second plant was cancelled. But when OPEC formed and the price of petroleum crude was increased, the South African government reconsidered the plans for another SASOL plant. Furthermore, because the cost of fuels produced at Sasol I proved to be significantly insensitive to inflation and future OPEC price increases were expected, SASOL projected that a new, larger plant should make a profit within a few years after its initial operation. But OPEC prices and inflation have risen even ...

Science.gov (United States)

Our Universe is ruled by quantum mechanics and its extension quantum field theory. However, the explanations for a number of cosmological phenomena such as inflation, dark energy, symmetry breakings, and phase transitions need the presence of classical scalar fields. Although the process of condensation of scalar fields in the lab is fairly well understood, the extension of results to a cosmological context is not trivial. Here we investigate the formation of a condensate--a classical scalar field--after reheating of the Universe. We assume a light quantum scalar field produced by the decay of a heavy particle, which for simplicity is assumed to be another scalar. We show that during the radiation domination epoch under certain conditions, the decay of the heavy particle alone is sufficient for the production of a condensate. This process is very similar to preheating--the exponential particle production at the end of inflation. During the ...

Science.gov (United States)

Samples dredged from the sediment mounds have a unique chemistry and mineralogy which reveals details of the hydrothermal processes that produce these deposits. The mounds form primarily by deposition of Fe, Mn and Si from hydrothermal fluids which circulate through the basalt crust and the overlying sediments. The Mn, Fe and Si are strongly fractionated in the process; the Fe and Si precipitate within the mounds under slightly reducing conditions as nontronite, while the Mn is deposited as Mn oxyhydroxides at the seawater-sediment interface. The nontronite is exceptionally well crystallized, and contains less than 200 ppm Al. The Mn minerals, todorokite and birnessite, also have exceptional crystallinity and the distribution of trace elements Cu, Ni, Zn, Co, Ca and Ba in these phases agrees with predictions made on the basis of models of their crystal structure. The environment of deposition which produces this suite of minerals - slow percolation of hydrothermal ...

Energy Technology Data Exchange (ETDEWEB)

This report presents the status of development of a three-dimensional conceptual model for the unconfined aquifer system at Hanford. A conceptual model is needed to support development of a realistic three-dimensional numerical model for predicting ground-water flow and the transport of contaminants. The report focuses on developing a hydrogeologic framework, assessing available hydraulic property data, describing flow-system boundaries, and evaluating areal recharge and leakage. Geologic descriptions of samples obtained during well drilling were used to prepare cross sections that correlate relatively continuous layers. The layers were defined based on textural differences that are expected to reflect differences in hydraulic properties. Assigning hydraulic properties to the layers is a critical part of the conceptual model. Available hydraulic property data for the study area were compiled and were correlated with the geologic layers where possible. Flow-system boundaries are present ...

Energy Technology Data Exchange (ETDEWEB)

This study examines the sensitivity of the travel time distribution predicted by a reference case model to (1) scale of representation of the model parameters, (2) size of the model domain, (3) correlation range of log-transmissivity, and (4) cross correlations between transmissivity and effective thickness. The basis for the reference model is the preliminary stochastic travel time model previously documented by the Basalt Waste Isolation Project. Results of this study show the following. The variability of the predicted travel times can be adequately represented when the ratio between the size of the zones used to represent the model parameters and the log-transmissivity correlation range is less than about one-fifth. The size of the model domain and the types of boundary conditions can have a strong impact on the distribution of travel times. Longer log-transmissivity correlation ranges cause larger variability in the predicted travel times. Positive cross ...

Energy Technology Data Exchange (ETDEWEB)

Pre-waste-emplacement groundwater travel time is one indicator of the isolation capability of the geologic system surrounding a repository. Two distinct modeling approaches exist for prediction of groundwater flow paths and travel times from the repository location to the designated accessible environment boundary. These two approaches are: (1) the deterministic approach which calculates a single value prediction of groundwater travel time based on average values for input parameters and (2) the stochastic approach which yields a distribution of possible groundwater travel times as a function of the nature and magnitude of uncertainties in the model inputs. The purposes of this report are to (1) document the theoretical (i.e., mathematical) basis used to calculate groundwater pathlines and travel times in a basalt system, (2) outline limitations and ranges of applicability of the deterministic modeling approach, and (3) explain the motivation for the use of the ...

Energy Technology Data Exchange (ETDEWEB)

This paper evaluates abrasive jet wear tests, carried out on the ZUK-3M abrasion apparatus according to the GOSF 23.201-78 industrial standard. As abrasive material, brown coal coke dust, brown coal dust, power plant fly ash and quartz sand (for the purpose of comparison) were employed. Seventeen types of materials were blasted with abrasive jets, including a selection of steels, glass, rubber, SYS-pur plastics, cast basalt, Kawenit and vitroceramics. The test apparatus produced abrasive jet velocities between 12 and 130 ms/SUP/-/SUP/1 at rotor revolutions of 1,000 to 10,000 min/SUP/-/SUP/1. Blasted material samples were arranged at angles between 15 and 90 degrees. Various tables and graphs present abrasivity results. These results were employed for technical modifications of dedusting equipment in briquetting and coking plants, which led to a threefold increase in service life of abrasion endangered equipment parts. (8 refs.) (In German)

CERN Document Server

I review what we know about the donor stars in cataclysmic variables (CVs), focusing particularly on the close link between these binary components and the overall secular evolution of CVs. I begin with a brief overview of the "standard model" of CV evolution and explain why the key observables this model is designed to explain - the period gap and the period minimum -- are intimately connected to the properties of the secondary stars in these systems. CV donors are expected to be slightly inflated relative to isolated, equal-mass main-sequence (MS) stars, and this "donor bloating" has now been confirmed observationally. The empirical donor mass-radius relationship also shows a discontinuity at M_2 = 0.2 M_sun which neatly separates long- and short-period CVs. This is strong confirmation of the basic disrupted magnetic braking scenario for CV evolution. The empirical M_2-R_2 relation can be combined with stellar models to construct a complete, semi-empirical donor ...

Energy Technology Data Exchange (ETDEWEB)

A lightweight, low permeability liner for graphite epoxy composite compressed gas storage vessels. The liner is composed of polymers that may or may not be coated with a thin layer of a low permeability material, such as silver, gold, or aluminum, deposited on a thin polymeric layer or substrate which is formed into a closed bladder using torispherical or near torispherical end caps, with or without bosses therein, about which a high strength to weight material, such as graphite epoxy composite shell, is formed to withstand the storage pressure forces. The polymeric substrate may be laminated on one or both sides with additional layers of polymeric film. The liner may be formed to a desired configuration using a dissolvable mandrel or by inflation techniques and the edges of the film seamed by heat sealing. The liner may be utilized in most any type of gas storage system, and is particularly applicable for hydrogen, gas mixtures, and oxygen used for vehicles, fuel ...

International Nuclear Information System (INIS)

The dynamics of a general Bianchi type-IX model with three scale factors is examined. The matter content of the model is assumed to be comoving dust plus a positive cosmological constant. The model presents a critical point of saddle-center-center type in the finite region of phase space. This critical point engenders in the phase space dynamics the topology of stable and unstable four dimensional tubes RxS"3, where R is a saddle direction and S"3 is the manifold of unstable periodic orbits in the center-center sector. A general characteristic of the dynamical flow is an oscillatory mode about orbits of an invariant plane of the dynamics which contains the critical point and a Friedmann-Robertson-Walker (FRW) singularity. We show that a pair of tubes (one stable, one unstable) emerging from the neighborhood of the critical point towards the FRW singularity have homoclinic transversal crossings. The homoclinic intersection manifold has topology RxS"2 and is constituted of homoclinic ...

CERN Document Server

Deduction modulo is a paradigm which consists in applying the inference rules of a deductive system (such as for instance natural deduction) modulo a rewrite system over terms and propositions. It has been shown that higher-order logic can be simulated into the first-order natural deduction modulo. However, a theorem stated by Goedel and proved by Parikh expresses that proofs in second-order arithmetic may be unboundedly shorter than proofs in first-order arithmetic, even when considering only formulae provable in first-order arithmetic. We investigate how deduction modulo can be used to translate proofs of higher-order arithmetic into first-order proofs without inflating their length. First we show how higher orders can be encoded through a quite simple (finite, terminating, confluent, left-linear) rewrite system. Then, a proof in higher-order arithmetic can be linearly translated into a proof in first-order arithmetic modulo this system. Second, in the ...

Energy Technology Data Exchange (ETDEWEB)

Numerical simulations are used to predict the migration of radionuclides from the disposal units at Material Disposal Area G through the vadose zone and into the main aquifer in support of a radiological performance assessment and composite analysis for the site. The calculations are performed with the finite element code, FEHM. The transport of nuclides through the vadose zone is computed using a three-dimensional model that describes the complex mesa top geology of the site. The model incorporates the positions and inventories of thirty-four disposal pits and four shaft fields located at Area G as well as those of proposed future pits and shafts. Only three nuclides, C-14, Tc-99, and I-129, proved to be of concern for the groundwater pathway over a 10,000-year period. The spatial and temporal flux of these three nuclides from the vadose zone is applied as a source term for the three-dimensional saturated zone model of the main aquifer that underlies the site. The movement of these ...

Energy Technology Data Exchange (ETDEWEB)

The purpose of this study was to correlate MR imaging findings with pathology in experimental hyperoxia-induced acute lung injury, which has similar pathology to diffuse alveolar damage (DAD). Seventeen Yorkshire pigs were studied. These animals were exposed to more than 80% oxygen for 24, 48, 72, and 96 hours in a sealed cage. The lungs were removed and inflated with air infused through the trachea, and then examined by both MRI and high-resolution CT (HRCT). T1-weighted spin-echo (T1WSE), T2-weighted fast (T2WFSE), and half-Fourier acquisition single-shot turbo spin-echo (HASTE) sequences were performed. Severity in MR findings and signal-to-noise ratios (SNR) on MR images were well correlated with pathological scores. CT values were also correlated well with pathologic scores. Abnormal SNR values were obtained from a pathological score of 5, whereas abnormal CT values were obtained from a pathological score of 15. Furthermore, significant differences in SNR were ...

Energy Technology Data Exchange (ETDEWEB)

High angle conveyor systems in open pit mining offer many advantages over the traditional, truck only, haulage systems, including: (1) superior energy efficiency (2) less dependency on petroleum products (3) less sensitivity to inflation (4) less labour (5) less excavation for the amount of ore recovered, and (6) less ramp construction and maintenance costs. This paper presents the sandwich belt high angle conveyor as the vital link to optimisation of inpit conveying systems. High angle conveyor development to date is discussed, beginning with studies in 1979, to the first large scale prototype in 1983, through the numerous commercial installations. Discussion continues with the high angle conveyor systems to suit the various open pit mining operations and the corresponding characteristics of the system components, particularly the high angle conveyor. The range of high angle conveyor systems from the low capacity (up to 1 814 t/h), low lift (10.7 to 36.6 m), ...

Energy Technology Data Exchange (ETDEWEB)

Three systems for the heat supply in the built environment have been compared for the costs, the energy consumption and emissions of CO{sub 2}, NO{sub x} and SO{sub 2}. The heating systems compared are based on central heating boilers, district heating systems in combination with combined steam and gas turbine cycles, and heating by means of several gas engines. From the results it appears that the boilers demand the lowest investments. The district heating systems are more expensive. Both heating systems, however, show considerable savings of energy (55 to 70%). The exploitation costs depend strongly on the fuel price scenarios used and the assumptions with regard to interest and inflation. The emissions of CO{sub 2} are also considerably lower for both combined heat and power generating systems. The use of gas engines results in higher acidifying emissions compared to the system with the central heating boilers, and lower acidifying emissions compared to the ...

International Nuclear Information System (INIS)

Greenland is the world's largest island, with an area of 2.2 million square kilometres, 80 % of which is covered by the ice sheet. The climate is Arctic, but as Greenland stretches 2600 km from north to south, there is a huge variability in climate, with temperature decreasing from south to north. Due to the influence of oceanic currents, the west coast is slightly warmer than the east coast. Precipitation also decreases strongly from the south to the north, and also with distance from the coast. Kangerlussuaq is located in the dry, continental area of central west Greenland. The bedrock of Greenland is dominated by Precambrian gneisses, with sedimentary rocks occurring in some areas of East and North Greenland, and smaller areas of basalts. All of Greenland has been glaciated several times and has thus been eroded and shaped by the ice, as it still is at the ice margin. Soils are generally thin, and especially in the gneiss regions rather poor in plant nutrients. ...