The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages

We study the computational complexity of finding maximum a posteriori configurations in Bayesian networks whose probabilities are specified by logical formulas. This approach leads to a fine grained study in which local information such as context-sensitive independence and determinism can be considered. It also allows us to characterize more precisely the jump from tractability to NP-hardness and beyond, and to consider the complexity introduced by evidence alone.

X-ray driven evaporation of exoplanet atmospheres: discovery of a uniquely suited test system

The evaporation of exoplanetary atmospheres is thought to be driven by high-energy irradiation. However, the actual mass loss rates are not well constrained. Co-I Kipping has recently discovered that the star KOI-314, an M1V dwarf at 65 pc distance, is orbited by two earth-sized planets, the inner one of them rocky and the outer one gaseous (P_orb = 14d and 23d). Other recent works have shown an abundance of small rocky planets in very close orbits around their host stars, suggesting that the stellar high-energy irradiation evaporates away gaseous envelopes. KOI-314 is the first nearby system in which earth-sized planets of both types are detected, allowing us to constrain the efficiency of planetary evaporation if the stellar X-ray irradiation is measured. We therefore propose a 10 ks Chandra ACIS-S pointing to determine the stellar X-ray luminosity and hardness ratio. The accuracy of the orbital solution decreases quickly due to Transit-Timing Variations, which is why we ask for DDT.

Effect of the interaction layer on the mechanical properties of Ti–6Al–4V alloy castings

The interaction between the face coat material of a mould and the titanium alloy will cause oxygen penetration during the casting and solidification process, resulting in the formation of an α-case interaction layer at the metal surface that influences the mechanical properties of the cast components. In this study, the influence of α-case thickness and loading positions in a Ti–6Al–4V (Ti64) alloy on metal hardness, impact properties and bending strength was investigated. The results showed that the metal surface α-case consisted of many coarse α laths which has a higher hardness than metal matrix. The mechanical properties of the alloy are influenced by the α-case. The alloy bending strength was observed to have changed linearly with the thickness of sample.

Modifications of Surface Properties of Beta Ti by Laser Gas Diffusion Nitriding

Beta-type Ti-alloy is a promising biomedical implant material as it has a low Young’s modulus and is also known to have inferior surface hardness. Various surface treatments can be applied to enhance the surface hardness. Physical vapor deposition and chemical vapor deposition are two examples of this but these techniques have limitations such as poor interfacial adhesion and high distortion. Laser surface treatment is a relatively new surface modification method to enhance the surface hardness but its application is still not accepted by the industry. The major problem of this process involves surface melting which results in higher surface roughness after the laser surface treatment. This paper will report the results achieved by a 100 W continuous wave (CW) fiber laser for laser surface treatment without the surface being melted. Laser processing parameters were carefully selected so that the surface could be treated without surface melting and thus the surface finish of the component could be maintained. The surface and microstructural characteristics of the treated samples were examined using x-ray diffractometry, optical microscopy, three-dimensional surface profile and contact angle measurements, and nanoindentation test.