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.     

Effect of microporosity on tensile properties of as-cast AZ91D magnesium alloy

In the present study, the effect of microporosity on the tensile properties of as-cast AZ91D magnesium alloy was investigated through experimental observation and numerical prediction. The test specimens were fabricated by die-casting and gravity-casting. For gravity-casting, the inoculation and use of various metallic moulds were applied to obtain a wide range of microporosity. The deficiency of the interdendritic feeding of the liquid phase acted as a dominant mechanism on the formation of the micropores in the Mg?Al-alloys, rather than the evolution of hydrogen gas. Although tensile strength and elongation has a nonlinear and very intensive dependence upon microporosity, the yield strength appeared to have a linear relationship with microporosity. However, it was possible to quantitatively estimate the linear contribution of microporosity on the individual tensile property for a range of microporosity, which was below about 1%. The numerical prediction suggests that the effect of microporosity on fractured strength and elongation decreased as the strain hardening exponent increased. Furthermore, the shape and distribution of micropores may play a more dominant role than local plastic deformation on the tensile behavior of AZ91D alloy.     

A probabilistic method for the design of power grounding systems

An improved multivariable, probabilistic method for the safety analysis of power grounding systems is presented. The application of this method is demonstrated in four examples. The first three examples illustrate the practical evaluation of one new and two existing substation grounding grids when the substation is connected to an overhead distribution system. The fourth example ascertains the relative impact of a difference between the S curve of IEC Publication 479 and Dalziel's equation for the allowable body current used in ANSI/IEEE Std 80-1986 on the validity of an exposure model based on the requirements of Std 80. In this example, the statistical data on ground faults have been taken from actual system records. Further possible refinements of the exposure model are 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.     

A study on UV-curable coatings for HD-DVD: Primer and top coats

This study relates to the development of coatings for optical discs in high-density digital versatile disc systems (HD-DVD or blue lay disk) that use a high numerical aperture of 0.85 at 405 nm wavelength and have a protective top layer over a primer layer for protection against damage and dust. Ultraviolet-curable raw materials of two acrylic monofunctional monomers ( isobornylacrylate, IBA and tetrahydrofurfurylacrylate, THFA) and two kinds of urethaneacrylate oligomers (OUMD and OUME) have been easily mixed with photoinitiators. Curing rate of these materials was characterized by FT-IR. In case of top coats, VTES (vinyltriethoxysilane) and acrylic acid were added to enhance the abrasion resistance. These two kinds of UV-curable resinous materials having no solvent were synthesized and investigated as means for making a blue ray disk having good optical and mechanical properties. In addition, dynamic characteristics including reflectivity, fluctuation of RF signal and noise level were also investigated.     

Trenched‐Sinker LDMOSFET (TS‐LDMOS) Structure for 2 GHz Power Amplifiers

This paper proposes a new LDMOSFET structure with a trenched sinker for high‐power RF amplifiers. Using a low‐temperature, deep‐trench technology, we succeeded in drastically shrinking the sinker area to one‐third the size of the conventional diffusion‐type structure. The RF performance of the proposed device with a channel width of 5 mm showed a small signal gain of 16.5 dB and a maximum peak power of 32 dBm with a power‐added efficiency of 25% at 2 GHz. Furthermore, the trench sinker, which was applied to the guard ring to suppress coupling between inductors, showed an excellent blocking performance below ?40 dB at a frequency of up to 20 GHz. These results confirm that the proposed trenched sinker should be an effective technology both as a compact sinker for RF power devices and as a guard ring against coupling.     

The thermal ignition of lignocellulosics in infinite slab and cubic geometries

Wood shaving samples were heated in both cubic baskets and in a previously described system realising the conditions of the ‘infinite slab’ in thermal ignition. Results from the two sets of experiment were found to be totally consistent with each other.     

A localized surface plasmon resonance based immunosensor for the detection of casein in milk

In this research, a localized surface plasmon resonance (LSPR) immunosensor based on gold-capped nanoparticle substrate for detecting casein, one of the most potent allergens in milk, was developed. The fabrication of the gold-capped nanoparticle substrate involved a surface-modified silica nanoparticle layer (core) on the slide glass substrate between bottom and top gold layers (shell). The absorbance peak of the gold-capped nanoparticle substrate was observed at ∼520 nm. In addition, the atomic force microscopy (AFM) images demonstrated that the nanoparticles formed a monolayer on the slide glass. After immobilizing anti-casein antibody on the surface, our device, casein immunosensor, could be applied easily for the detection of casein in the raw milk sample without a difficult pretreatment. Under the optimum conditions, the detection limit of the casein immunosensor was determined as 10 ng/mL. Our device brings several advantages to the existing LSPR-based biosensors with its easy fabrication, simple handling, low-cost, and high sensitivity.     

Epitaxial growth of GaN on (0001) Al<Subscript>2</Subscript>O<Subscript>3</Subscript> via solution-cast seed layer formation process using Ga(mDTC)<Subscript>3</Subscript>

This paper reports an alternative method for the growth of GaN epitaxial layer on (0001) Al₂O₃ substrate by hot-wall vapor phase epitaxy technique. Tris (N,N-dimethyldithiocarbamato)-gallium (III), Ga(mDTC)₃ was introduced as a precursor material for the seed layer formation in the growth of GaN. Optimal growth conditions with seed layers formed by the Ga(mDTC)₃ concentration of 0.047 mol/L were identified: Growth temperature was found to be 850 °C, and optimal distance between the reactant outlet and substrate was determined to be 12.5 cm. Characterization results showed that this growth method produce high-crystallinity GaN epitaxial layers at a relatively lower growth temperature compared to the existing growth techniques and simplify the growth process.