Negation as failure for disjunctive logic programming

We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning.     

Structural and chemical analysis of C : H,O /Si : H,O multilayers deposited by reactive RF sputtering

Hydro-oxygenated carbon (C : H,O) and silicon (Si : H,O) layers are deposited by RF sputtering of graphite and silicon targets in a mixture of argon, hydrogen and oxygen gases. C : H,O/Si : H,O/C : H,O/Si : H,O... multilayers are obtained by sequential deposition of C : H,O and Si : H,O layers. Infrared (IR) spectroscopy, Grazing Incidence X-ray Diffraction (GIXD) and X-ray Photoelectron Spectroscopy (XPS) techniques have been used to analyse the formed multilayers. The IR spectra made on as deposited structures show the presence of Si---C, Si---O, C---O, Si---H, C---H and C=C bonds. This result indicates an interfacial reactivity between Si : H,O and C : H,O layers. The latter result is confirmed by the XPS measurements. After an annealing at 850°c for two hours under argon atmosphere (10^-3 mbar), the concentration of the Si---C bonds is increased by a factor two while the Si---H and C---H bonds disappear complet The GIXD measurements show that the multilayers are amorphous when annealed below 750°C, and they are crystallized with the formation of the α-SiC phase if the heat treatment is made at 850°C. The mean size of the microcrystallites is 50 Å about.     

Study of a BGO calorimeter using electron and hadron beams from 1 to 50 GeV

A calorimeter of 25 bismuth germanate (BGO) crystals equipped with silicon photodiode readout has been tested at the CERN SPS in the energy range 1–50 GeV. The response for electrons has been shown to be linear in this energy range and the rms resolution obtained ( ) is approximately 1%, for E > 4 GeV. The electron/pion separation was found to be better than 1:500 in the energy range 1–20 GeV. Data on lateral and longitudinal shower development were compared with the results of a Monte Carlo simulation using the SLAC-EGS program and found to be in good agreement.     

A One-Dimensional Nonlocal Damage-Plasticity Model for Ductile Materials

This paper presents a new 1-D non-local damage-plasticity deformation model for ductile materials. It uses the thermodynamic framework described in Houlsby and Puzrin (2000) and holds, nevertheless, some similarities with Lemaitre’s (1971) approach. A 1D finite element (FE) model of a bar fixed at one end and loaded in tension at the other end is introduced. This simple model demonstrates how the approach can be implemented within the finite element framework, and that it is capable of capturing both the pre-peak hardening and post-peak softening (generally responsible for models instability) due to damage-induced stiffness and strength reduction characteristic of ductile materials. It is also shown that the approach has further advantages of achieving some degree of mesh independence, and of being able to capture deformation size effects. Finally, it is illustrated how the model permits the calculation of essential work of rupture (EWR), i.e. the specific energy per unit cross-sectional area that is needed to cause tensile failure of a specimen.     

Influence of the preparation conditions on the size and morphology of nanocrystalline lanthanum orthoferrite

Nanocrystalline LaFeO₃ is prepared by the dehydration of coprecipitated lanthanum and iron(III) hydroxides. It is shown that the behavior of the samples during heating and the size distribution of LaFeO₃ nanocrystals can be considerably different depending on the scheme used for coprecipitation of lanthanum and iron hydroxides; independently of the method employed for coprecipitation of the initial compounds, sintering of the samples at 950°C leads to the formation of lanthanum orthoferrite crystals up to 100 nm in size.     

Tunable laser-based design and analysis for fractional lambda switches

Fractional lambda switching (FlambdaS) is a novel approach for traffic management over all-optical networks with sub-wavelength provisioning capability. The unique characteristic of FlambdaS is the utilization of UTC (coordinated universal time) for switching with minimum or no buffers. Several central research issues are still open in FlambdaS and need to be formally defined and analyzed. In this paper, we introduce three novel switch designs that are based on the use of tunable lasers (which can be replaced in the future with wavelength converters). First, the paper presents analytical results of scheduling feasibility, which measures the total number of possible different schedules for each switch design. Then it is shown that the architecture with the highest scheduling feasibility is strictly non blocking in the space domain. Next, the paper provides a closed form analysis of the blocking probability in the time domain, which is applicable for any strictly non-space blocking switch, using combinatorics. In addition, the paper provides measures of the switching hardware complexity, which, for the strictly non-blocking architecture, has the same switching complexity as Clos interconnection network, i.e., O(N'radic(N')) where N' is the number of optical channels.     

Modelling the FEBEX THM experiment using a state surface approach

Buffer materials being considered as engineered barriers in nuclear fuel waste (NFW) disposal systems possess a pronounced nonlinear behaviour in the unsaturated state. In order to simulate such non-linear responses,the authors adopted an incrementally nonlinear poro-elastic approach where the coefficients of the governing equations are assumed to be functions of suction and the void ratio. These functions are in turn developed from a state-surface equation obtained from suction-controlled oedometric tests. In this paper we show the derivation of the governing equations of the poro-elastic model. A finite element computer code, FRACON, was developed by the authors to numerically solve the above equations. We first use the code to simulate laboratory tests to characterize the swelling properties of a typical bentonite. That same bentonite was used in the FEBEX in-situ heater experiment, conducted at the Grimsel site, Switzerland. The FRACON code was also used to perform blind predictions of the FEBEX heater experiment. It is shown that the model correctly predicts drying of the bentonite near the heaters and re-saturation near the rock interface. The evolution of temperature and the heater thermal output were also reasonably well predicted by the model. The trends in the total stresses developed in the bentonite were correctly predicted; the absolute values however were underestimated probably due to the omission of pore pressure build-up in the rock mass.