Scheduling in or-parallel Prolog systems: Survey and open problems

Implementation of or-parallel Prolog systems offers a number of interesting scheduling problems. The main issues are the interaction between memory models and scheduling, ordering of multiple solutions, and scheduling of speculative work. The problems occur partly because of the design choices (e.g. the choice of a memory model), and partly because of the desire to maintain observational equivalence between parallel and sequential implementations of Prolog, while achieving high efficiency. In the first part of this paper a common framework for discussing scheduling in or-parallel systems is introduced, and also a collection of issues that must be addressed in such systems is presented. In the second part of the paper we survey a number of solutions to these problems comparing their efficiency whenever possible. We close the survey with a short discussion of open problems.Current association: Carlstedt Elektronik AB     

Molecular orientation and stress in biaxially deformed polymers. II. Steady potential flow

The development of biaxial segmental orientation and stress in a flexible-chain polymer fluid subjected to steady biaxial extensional flow is analyzed. Closed-formula model based on the Padè approximation of the inverse Langevin function in the non-Gaussian distribution of the chain end-to-end vectors is considered. The approach is free from the limitations related to finite chain extensibility and slow convergence of the series expansion formulations at higher chain deformations.Segmental orientation is characterized by the average orientation tensor, related axial orientation factors and global orientation anisotropy. Orientational behavior and corresponding stresses in the biaxial elongational potential flow are discussed in a wide range of elongation rates. Orientation characteristics calculated for the biaxial flow deformation are much higher than those predicted for the affine biaxial stretch deformation in polymer solids.     

Analytical determination of intrinsic permeability of synthetic nonwoven filter fabrics

In this paper an analytical method for determining the permeability of nonwoven filter fabrics is presented. The derived formula shows that the intrinsic permeability, fully characterizing the porous medium, depends on fabric porosity, n, fibre diameter, d, and a shape factor determined experimentally.     

Kinetic study of the deep hydrodesulfurization of dibenzothiophene over molybdenum carbide supported on a carbon black composite: Existence of two types of active sites

Hydrodesulfurization (HDS) is part of the hydrotreating process, which is an ensemble of several reactions (HDN, HDO, HDS, etc.) taking place simultaneously at the industrial scale. Only sulfur is currently submitted to drastic Europeans specifications and conventional commercial catalysts cannot reach the specifications at low cost. This paper presents the behavior of a potential substitute catalyst tested for the deep HDS of a model molecule such as the dibenzothiophene (DBT). The substitute is molybdenum carbide supported on a mesoporous carbon black composite of surface area 240 m² g⁻¹. A global kinetic study of the deep HDS of DBT (300 ppm S) was performed at 623 K and 5.0 MPa and a global kinetic model was proposed as well as global rate constants were calculated to obtain theoretical plots of concentration versus contact time to compare with the experimental data. The kinetic model and global kinetic orders were confirmed as an acceptable correlation was found between calculated and experimental data. Furthermore, the determination of the global kinetic orders indicated that two types of active sites must be present on the surface in order to explain the observed results.     

Inhibition of nitrification in the packed bed reactors by selected organic compounds

The effect of methanol, acetone, formalin and glucose on the nitrification process in the packed bed reactors has been investigated. For the utilized compounds the inhibition constant K_i was determined according to Dixon's method. The determined values were as follows: methanol K_i = 116.0 mg l^?1; acetone K_i = 804.2 mg l^?1; formalin K_i = 61.5 mg l^?1. The value of K_i for glucose has not been determined because glucose in applied concentration up to 11,325 mg l^?1 had no effect on the nitrification course.     

Pressure effects on flow and fracture of Be-Al alloys

The flow and fracture behavior of Be-Al alloys were determined in tension with different levels of superimposed pressure. The Be-Al alloys were prepared by Brush Wellman, Inc. (Cleveland, OH) from prealloyed powders processed to either a hot isostatically pressed (“hipped”) or cold isostatically pressed and extruded condition. Significant effects of pressure on both the flow and ductility have been observed at room temperature, with implications on the formability of these materials. The effects of changes in processing conditions and stress state on the flow and fracture behavior are summarized in addition to both optical and scanning electron microscopy (SEM) examination of the fracture surfaces. Separate other studies on the alloy constituents (e.g., Al and Be) are also reported. The results are also compared to previous works on monolithic materials and composites tested with high pressure.     

Quantum dots in YBa<Subscript>2</Subscript>Cu<Subscript>3</Subscript>O<Subscript>6+<Emphasis Type="Italic">x</Emphasis></Subscript> films with a tetragonal structure

Experimental evidence is presented for the existence of clusters possessing metallic conductivity in epitaxial YBa₂Cu₃O_6+x (x<0.4) films with a tetragonal structure. Despite the overall dielectric state, the optical transmission spectra reveal the regions of absorption due to free charge carriers. The presence of metallic clusters is also confirmed by the X-ray diffraction data. At low temperatures, these metallic clusters are capable of converting into quantum dots responsible for the θ(T) = const regions in the temperature dependence of the electric resistance. The process of cluster formation can be enhanced by high-power laser (KrF) radiation.     

Environmental effects on ductile-phase toughening in Nb5Si3-Nb composites

A variety of materials have been toughened via the addition of a ductile phase. Brittle silicide intermetallics such as Nb₅Si₃ have been significantly toughened by niobium particles incorporated during in-situ processing techniques. In the work described here, toughness tests conducted on Nb₅Si₃ were monitored in a scanning electron microscope to view the process of toughening provided by the niobium particles. In particular, the behavior of the ductile phase was monitored and related to the toughness obtained. In an attempt to vary the behavior of the ductile phase, the composite materials were exposed to a variety of gaseous environments and subsequently tested in air. The resulting toughness, resistance-curve behavior, and in-situ results highlight the importance of the behavior of the ductile phase on subsequent properties.     

AlxGa−xAs/GaAs heterostructure characterization by wet chemical etching

Selective wet chemical etching of the Al_xGa_1−xAs/GaAs system has been applied to heterostructure characterization. Samples of LPE grown AlGaAs/GaAs laser double-heterostructures and separate confinement heterostructures as well as antiresonant reflecting optical waveguides heterostructures were treated with “I2 solution” (I₂:KI:H₂O) and hydrochloric acid. These compounds selectively etch the ternary Al_xGa_1−xAs layers, but with different “threshold composition” x_th values (the x value is that above which the etching rate of a given compound increases sharply). Selectively etched samples have been examined by SEM. The experimental dependence of etching rate on the x value for I2 solution has been derived. From this dependence, the x composition of any ternary layer can be estimated simply. Observations were made of the “microscopic” properties of the heterostructure, such as the smoothness of the interfaces and the uniformity of layers. All imperfections resulting from the growth process, such as interface perturbations or compositional nonuniformity of layers, are clearly seen. An additional advantage of this etching technique is its simplicity. It allows quick examination of grown heterostructure for the selection of wafers for further processing.