Task granularity analysis in logic programs

While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the work involved in task creation and scheduling. In practice, therefore, the "granularity" of a goal, i.e. an estimate of the work available under it, should be taken into account when deciding whether or not to execute a goal concurrently as a sepárate task. This paper describes a method for estimating the granularity of a goal at compile time. The runtime overhead associated with our approach is usually quite small, and the performance improvements resulting from the incorporation of grainsize control can be quite good. This is shown by means of experimental results

Comparison of the simulation and experimental fatigue crack behaviors in the aluminum alloy HS6061-T6

AbstractThis work deals with rotating bending fatigue tests on aluminum alloy HS6061-T6. Results have been obtained for two sizes of narrow section diameter for specimens with one hole. Results show that fatigue endurance is reduced in the case of the hole. In order to explain this behavior, numerical analysis by FEM were carried out to determine the stress concentrations for the two types of specimens. It is found that the important factor affects fatigue life is the narrow section diameter of the specimens, and the maximum damage occurs in the outer part of the specimen at the first stages of loading, however, it moves toward the center of the bar under uniaxial loading. The number of cycles to failure predicted numerically is higher than the experimental one. This difference is attributed mainly to an upper stage of fatigue crack growth, particularly, the interaction between fatigue crack growth and growth that can not be accounted for in the numerical model

Estimating the computational cost of logic programs

Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among different algorithms, guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization in deductive databases. Cost analysis of logic programs is complicated by nondeterminism: on the one hand, procedures can return múltiple Solutions, making it necessary to estímate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent

Impacts of environmental factors and human disturbance on composition of roadside vegetation in Xishuangbanna National Nature Reserve of Southwest China

AbstractVegetation-disturbance-environment relationships in Xishuangbanna Nature Reserve (XNR) was examined using multivariate analysis to understand the impacts of environmental factors and human disturbance on vegetation along the highway corridor. The results show that native forests were the best habitat for protected/endangered species and native species. The exotic plants Eupatorium odoratum and Eupatorium adenophora were found primarily in secondary forests and their presence was positively associated with altitude and soil potassium concentrations. The distribution of two protected plants, Phoebe nanmu and Pometia tomentosa, was negatively associated with road disturbance. Understanding the complex effects of environmental factors and human disturbance is key for developing conservation and restoration strategies for roadside plant ecosystems

BAs and boride III-V alloys

Boron arsenide, the typically-ignored member of the III-V arsenide series BAs-AlAs-GaAs-InAs is found to resemble silicon electronically: its Gamma conduction band minimum is p-like (Gamma_15), not s-like (Gamma_1c), it has an X_1c-like indirect band gap, and its bond charge is distributed almost equally on the two atoms in the unit cell, exhibiting nearly perfect covalency. The reasons for these are tracked down to the anomalously low atomic p orbital energy in the boron and to the unusually strong s-s repulsion in BAs relative to most other III-V compounds. We find unexpected valence band offsets of BAs with respect to GaAs and AlAs. The valence band maximum (VBM) of BAs is significantly higher than that of AlAs, despite the much smaller bond length of BAs, and the VBM of GaAs is only slightly higher than in BAs. These effects result from the unusually strong mixing of the cation and anion states at the VBM. For the BAs-GaAs alloys, we find (i) a relatively small (~3.5 eV) and composition-independent band gap bowing. This means that while addition of small amounts of nitrogen to GaAs lowers the gap, addition of small amounts of boron to GaAs raises the gap (ii) boron ``semi-localized'' states in the conduction band (similar to those in GaN-GaAs alloys), and (iii) bulk mixing enthalpies which are smaller than in GaN-GaAs alloys. The unique features of boride III-V alloys offer new opportunities in band gap engineering.Comment: 18 pages, 14 figures, 6 tables, 61 references. Accepted for publication in Phys. Rev. B. Scheduled to appear Oct. 15 200

Thermal Stabilization of the HCP Phase in Titanium

We have used a tight-binding model that is fit to first-principles electronic-structure calculations for titanium to calculate quasi-harmonic phonons and the Gibbs free energy of the hexagonal close-packed (hcp) and omega crystal structures. We show that the true zero-temperature ground-state is the omega structure, although this has never been observed experimentally at normal pressure, and that it is the entropy from the thermal population of phonon states which stabilizes the hcp structure at room temperature. We present the first completely theoretical prediction of the temperature- and pressure-dependence of the hcp-omega phase transformation and show that it is in good agreement with experiment. The quasi-harmonic approximation fails to adequately treat the bcc phase because the zero-temperature phonons of this structure are not all stable

Quasiparticle spectra in the vicinity of a d-wave vortex

We discuss the evolution of the local quasiparticle spectral density and the related tunneling conductance measurable by the scanning tunneling microscope, as a function of distance r and angle \theta from the vortex core in a d_{x^2-y^2} superconductor. We consider the effects of electronic disorder and of a strongly anisotropic tunneling matrix element, and show that in real materials they will likely obscure the ~1/r asymptotic tail in the zero-bias tunneling conductance expected from the straightforward semiclassical analysis. We also give a prediction for the tunneling conductance anisotropy around the vortex core and establish a connection to the structure of the tunneling matrix element.Comment: 9 pages REVTeX + 5 PostScript figures. For related work and info visit http://www.pha.jhu.edu/~fran

The open-charm radiative and pionic decays of molecular charmonium Y(4274)

In this work, we investigate the decay widths and the line shapes of the open-charm radiative and pionic decays of Y(4274) with the $D_s\bar{D}_{s0}(2317)$ molecular charmonium assignment. Our calculation indicates that the decay widths of $Y(4274)\to D^{+}_{s}D^{*-}_{s}\gamma$ and $Y(4274)\to D^+_{s}D^-_{s}\pi^0$ can reach up to 0.05 keV and 0.75 keV, respectively. In addition, the result of the line shape of the photon spectrum of $Y(4274)\to D_s^+ {D}_s^{*-} \gamma$ shows that there exists a very sharp peak near the large end point of photon energy. The line shape of the pion spectrum of $Y(4274)\to D_s^+ {D}_s^{*-} \pi^0$ is similar to that of the pion spectrum of $Y(4274)\to D_s^+ {D}_s^{*-} \gamma$, where we also find a very sharp peak near the large end point of pion energy. According to our calculation, we suggest further experiments to carry out the search for the open-charm radiative and pionic decays of Y(4274).Comment: 7 pages, 6 figures, 1 table. Published versio

A Simulation Study on the Effect of Cavity Shapes on the Penetration of Linear Shaped Charges with Curved Liners

The finite element models of curved-liner shaped charges penetrating aluminum-alloy thin plates were constructed with the ANSYS/LS-DYNA software to analyze the effect of cavity shapes on the charge penetration with curved liners. The cavity height, radius, and spatial dimensions were numerically simulated. Simulation results indicate that these properties are important factors in determining the penetration of curved-liner charges. The penetration depth exhibits an initial increase followed by a decrease with the fixed cavity radius. When the cavity height is fixed, the penetration depth decreases with the cavity radius. When the cavity is semicircular, the penetration depth first increases and then decreases with the cavity radius and height.Построены конечноэлементные модели кумулятивных зарядов со сложнопрофильной облицовкой, проникающих через тонкие пластины из алюминиевого сплава. Использовано программное обеспечение ANSYS/LS-DYNA для анализа влияния формы выемки на их проницаемость. Выполнены численные расчеты высоты, радиуса и пространственных размеров выемки. Показано, что эти характеристики являются важными факторами при определении проницаемости зарядов. Глубина проникновения увеличивается, а затем уменьшается с увеличением высоты выемки при постоянном радиусе. При фиксированной высоте глубина проникновения уменьшается с увеличением радиуса. При полуокружной выемке глубина проникновения увеличивается, затем уменьшается с увеличением ее радиуса и высоты