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.     

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.     

Pseudoexfoliation syndrome and secondary cataract

AIM/BACKGROUND: The pseudoexfoliation (PEX) syndrome is frequently associated with impairment of the blood-aqueous barrier. This study analysed if this might stimulate secondary cataract following cataract extraction. METHODS: This historical cohort study included 197 eyes of 197 patients (99 with and 98 without PEX) that underwent extracapsular cataract extraction with posterior chamber lens implantation (PMMA optic) between 1985 and 1991. Secondary cataract was defined as opacification of the axial posterior capsule and decrease of visual acuity by two or more lines. Mean follow up was 23.8 months. For statistical analysis, the Kaplan-Meier method and multivariate Cox regression analysis were used. RESULTS: Secondary cataract was observed within 24 months in 35% (SD 7%) of all eyes, and was significantly more frequent in eyes with PEX (45 (11)%) than in eyes without PEX (24 (9)%, p < 0.03). Eyes with diabetes mellitus (n = 32) showed a significantly lower frequency of secondary cataract (11 (11)%) than eyes without diabetes mellitus (39 (8)%, p < 0.01). The influences of sex, open angle glaucoma, type of cataract, surgeon, positioning of IOL, and phacoemulsification versus nuclear expression on secondary cataract did not reach statistical significance. CONCLUSION: The higher frequency of secondary cataract could be considered as another potential complication of cataract surgery in eyes with PEX.     

Second-Order optical non-linearities of {4-(dimethylamino) stilben z & e 4'-yl} dimesityl borane

Samples of {4-(dimethylamino) stilben Z & E 4'-yl} dimesityl borane (BNS) were synthesised and investigated for their non-linear optical properties. The results show that the quadratic hyperpolarisability of the Z-isomer is smaller than that of the E-isomer, the beta value found for the latter being as high as 60 × 10^?30 esu.