High-level characteristics of or-and independent and-parallelism in prolog

Although studies of a number of parallel implementations of logic programming languages are now available, their results are difficult to interpret due to the multiplicity of factors involved, the effect of each of which is difficult to sepárate. In this paper we present the results of a high-level simulation study of or- and independent and-parallelism with a wide selection of Prolog programs that aims to determine the intrinsic amount of parallelism, independently of implementation factors, thus facilitating this separation. We expect this study will be instrumental in better understanding and comparing results from actual implementations, as shown by some examples provided in the paper. In addition, the paper examines some of the issues and tradeoffs associated with the combination of and- and or-parallelism and proposes reasonable solutions based on the simulation data obtained.

Effect of the temperature, strain rate and microstructure on flow and fracture characteristics of Ti-45Al-2Nb-2Mn+0.8vol.% TiB2 XD alloy

A series of quasi-static and dynamic tensile tests at varying temperatures were carried out to determine the mechanical behaviour of Ti-45Al-2Nb-2Mn+0.8vol.% TiB2 XD as-HIPed alloy. The temperature for the tests ranged from room temperature to 850  ∘C. The effect of the temperature on the ultimate tensile strength, as expected, was almost negligible within the selected temperature range. Nevertheless, the plastic flow suffered some softening because of the temperature. This alloy presents a relatively low ductility; thus, a low tensile strain to failure. The dynamic tests were performed in a Split Hopkinson Tension Bar, showing an increase of the ultimate tensile strength due to the strain rate hardening effect. Johnson-Cook constitutive relation was used to model the plastic flow. A post-testing microstructural of the specimens revealed an inhomogeneous structure, consisting of lamellar α2 + γ structure and γ phase equiaxed grains in the centre, and a fully lamellar structure on the rest. The assessment of the duplex-fully lamellar area ratio showed a clear relationship between the microstructure and the fracture behaviour.