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.     

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.     

Abrasive wear of dental composite resins

Abrasive wear is a major problem in the application of dental composite resins. In this study the friction and wear behaviours of two types of dental composites: one containing relatively coarse filler particles and some microfillers (Estilux) and another containing only microfiller particles (Durafill), have been investigated by using a scratch testing machine. Experimental results show that the coefficients of friction in both composites are essentially constant for applied loads up to 20 N. The wear resistance of Durafill is better than Estilux. Under the same testing conditions, the size, shape and distribution of the filler particles are more important variables than applied load and sliding speed in controlling the wear mechanism. It is shown that for Estilux, plastic ploughing by the diamond indenter is the predominant mechanism. For Durafill, however, the formation and propagation of tensile cracks on the worn surface is the main wear mechanism. The effects of two different indenters, diamond and enamel, on the basic wear mechanisms are also discussed.     

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.     

In situ SEM studies on the effects of particulate reinforcement on fatigue crack growth mechanism of aluminium-based metal-matrix composite

The effects of particulate reinforcement on the fatigue behaviour and fatigue mechanisms of two 6061 aluminium-based metal-matrix composites (MMCs) in three different heattreatment conditions were studied in situ with a scanning electron microscope and compared to the unreinforced alloy in the as-received condition. It was observed that the fatigue properties of the MMCs were influenced by the ceramic particles in two ways: firstly the particles increased the fatigue stress intensity threshold mainly by crack-deflection and crack-closure mechanisms, and secondly, the particles raised the fatigue crack growth rates in the Paris region by providing an easy crack path. The effect of ageing was small on the fatigue stress intensity threshold of MMCs, but for the peak-aged MMCs the fatigue crack growth rates in the Paris region were faster. The mechanism of fatigue crack growth was largely associated with the matrix/particle interface and the linkage with subcracks initiated ahead of the main crack at high applied stress intensity factors.     

High-temperature electrical conductivity of aluminium nitride

The electrical conductivity of hot-pressed polycrystalline aluminium nitride doped with oxygen and beryllium was measured as a function of temperature from 800 to 1200° C and over a range of nitrogen partial pressure from 10² to 10⁵ Pa. The effect of beryllium dopant, the independence of conductivity from nitrogen partial pressure, and the observed activation energy suggested extrinsic electronic species or aluminium vacancies as charge carriers. Polarization measurements made with one electrode blocking to ionic species indicated that the aluminium nitride with oxygen impurity was an extrinsic electronic conductor.     

Comments on `Hash-based and index-based join algorithms for cubeand ring connected multicomputers' by E.R. Omiecinski and E.T. Lin

The cost distributions of both the parallel hybrid-hash join and the parallel join-index join algorithms proposed in the above-named work (ibid., vol.1, p.329-43, Sept. 1989) are presented in more detail. The result shows that almost the entire relation may need to be retrieved from disk, though the join selectivity is low. A table of semi-join selectives and cube sizes is given to show the condition that the join-index method performs better than the hybrid-hash method, i.e., the really low selectivity for the join-index method. An error in one of the cost formulas is corrected, and a more efficient method on the final join in the join-index method is proposed     

Micromechanical characterisation of fibre/matrix interfaces

Theoretical analyses for the single fibre pull-out and push-out models under monotonic loading are given which are based on a shear-lag analysis in a fracture mechanics approach considering non-constant friction at the debonded interface as a result of fibre Poisson contraction (or expansion). The solutions allow the determination of typical fibre/matrix interfacial properties such as the interfacial fracture toughness, G_ic, the coefficient of friction, μ, and the residual clamping stress, q₀. Under cyclic loading the interfacial properties are expected to degrade as a result of repetitive abrasion, and a power law function is assumed between μ and the number of elapsed cycles, N. However, G_ic is assumed to be unaffected and a fracture mechanics based debond criterion is derived for the relationship between the external applied stress, the debond length and the reduced friction coefficient for both fibre pull-out and fibre push-out. In addition, the relative displacements between the free fibre end and the matrix top are obtained for cyclic fatigue when the fibre is loaded and unloaded. A relationship obtained for the protrusion (or intrusion) length in fibre pull-out (or push-out) experiments allows the severity of the interface frictional degradation to be evaluated and characterised. Similarities and differences in the frictional degradation behaviour between fibre pull-out and push-out are also identified.