Adaptive simulation for system reliability analysis of large structures

This article proposes an efficient simulation-based methodology to estimate the system reliability of large structures. The proposed method uses a hybrid approach: first, a probabilistic enumeration technique is used to identify a significant system failure sequence. This provides an initial sampling domain for an adaptive importance sampling procedure. As further simulations are performed, information about other significant sequences is incorporated to refine the sampling domain and to estimate the failure probability of the system. The adaptive sampling overcomes the restrictive assumptions of analytical techniques, yet achieves the robustness and accuracy of basic Monte Carlo simulation in an efficient manner. In this article, the proposed method is implemented using the ANSYS finite element software, and is applied to the system reliability estimation of two redundant structural systems, a six-story building frame and a transmission tower. Both ductile and brittle failure modes are considered. The method is structured in a modular form such that it can be easily applied to different types of problems and commercial software, thus facilitating practical application.     

Distributed Symbolic Bounded Property Checking

In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques.     

Beta-hairpins with native-like and non-native hydrogen bonding patterns could form during the refolding of staphylococcal nuclease

Refolding of staphylococcal nuclease has been studied recently by hydrogen-deuterium exchange and NMR spectroscopy. These studies infer that beta-hairpin formed by strand 2 and strand 3 connected by reverse turn forms early during the refolding of nuclease. Typically, hydrogen-deuterium exchange NMR techniques are usually carried out on a time scale of milliseconds whereas beta-hairpins are known to fold on a much shorter time scale. It follows that in the experiments, the hydrogen-deuterium exchange protection patterns could be arising from a significant population of fully formed hairpins. In order to demonstrate it is the fully formed hairpins which gives rise to the hydrogen-deuterium exchange protection patterns, we have considered molecular dynamics simulation of the peptide (21)DTVKLMYKGQPMTFR(35) from staphylococcal nuclease corresponding to the beta-hairpin region, using GROMOS96 force field under NVT conditions. Starting from unfolded conformational states, the peptide folds into hairpin conformations with native-like and non-native hydrogen bonding patterns. Subsequent to folding, equilibrium conditions prevail. The computed protection factors and atom depth values, at equilibrium, of the various amide protons agree qualitatively with experimental observations. A collection of molecules following the trajectories observed in the simulations can account for experimental observations. These simulations provide a molecular picture of the formed hairpins and their conformational features during the refolding experiments on nuclease, monitored by hydrogen-deuterium exchange.     

Effect of impurities (graphite) on the high-temperature creep properties of NiAl

Previous high-temperature compression creep studies of NiAl have shown peculiar behaviour in the temperature range 700 to 900° C, which was perhaps due to precipitation of impurities in the matrix. To isolate the impurity effect, high-purity NiAl samples with 0.15 at% and 0.20 at% carbon (graphite) additions have been creep tested at four temperatures between 700 and 850° C. Addition of graphite has been shown to produce a significant reduction in the creep strength of the alloyS. However, alloys with higher graphite concentrations have shown better creep resistance than those with lower graphite concentrations. Transmission electron microscopy indicates the presence of competing softening and hardening mechanisms in the alloys. Softening is due to the graphite particles acting as a dislocation source. Hardening results from a grain-boundary hardening mechanism due to the graphite particles segregating at grain boundaries and a dislocation-impurity (fine graphite) interaction, developing a Cottrell-like atmosphere.     

A framework for joint community detection across multiple related networks

Community detection in networks is an active area of research with many practical applications. However, most of the early work in this area has focused on partitioning a single network or a bipartite graph into clusters/communities. With the rapid proliferation of online social media, it has become increasingly common for web users to have noticeable presence across multiple web sites. This raises the question whether it is possible to combine information from several networks to improve community detection. In this paper, we present a framework that identifies communities simultaneously across different networks and learns the correspondences between them. The framework is applicable to networks generated from multiple web sites as well as to those derived from heterogeneous nodes of the same web site. It also allows the incorporation of prior information about the potential relationships between the communities in different networks. Extensive experiments have been performed on both synthetic and real-life data sets to evaluate the effectiveness of our framework. Our results show superior performance of simultaneous community detection over three alternative methods, including normalized cut and matrix factorization on a single network or a bipartite graph.     

Analytic Tangent Irradiance Environment Maps for Anisotropic Surfaces

Environment‐mapped rendering of Lambertian isotropic surfaces is common, and a popular technique is to use a quadratic spherical harmonic expansion. This compact irradiance map representation is widely adopted in interactive applications like video games. However, many materials are anisotropic, and shading is determined by the local tangent direction, rather than the surface normal. Even for visualization and illustration, it is increasingly common to define a tangent vector field, and use anisotropic shading. In this paper, we extend spherical harmonic irradiance maps to anisotropic surfaces, replacing Lambertian reflectance with the diffuse term of the popular Kajiya‐Kay model. We show that there is a direct analogy, with the surface normal replaced by the tangent. Our main contribution is an analytic formula for the diffuse Kajiya‐Kay BRDF in terms of spherical harmonics; this derivation is more complicated than for the standard diffuse lobe. We show that the terms decay even more rapidly than for Lambertian reflectance, going as l^–3, where l is the spherical harmonic order, and with only 6 terms (l = 0 and l = 2) capturing 99.8% of the energy. Existing code for irradiance environment maps can be trivially adapted for real‐time rendering with tangent irradiance maps. We also demonstrate an application to offline rendering of the diffuse component of fibers, using our formula as a control variate for Monte Carlo sampling.     

Composite indicator for railway infrastructure management

Railway Engineering Science - The assessment and analysis of railway infrastructure capacity is an essential task in railway infrastructure management carried out to meet the required quality and...     

Evaluation of hot corrosion resistance of HVOF coatings on a Ni-based superalloy in molten salt environment

High-velocity oxy-fuel (HVOF) has the advantage of being a continuous and most convenient process for applying coatings to industrial installations at site. In this study, Cr₃C₂–NiCr, NiCrBSi, Stellite-6 and Ni–20Cr coatings were deposited on a Ni-based superalloy (19.5Cr–3Fe–0.3Ti–0.1C–balance Ni) using an HVOF process. Hot corrosion studies were performed on bare as well as coated superalloy specimens after exposure to a molten salt environment at 900 °C under cyclic conditions. The thermogravimetric technique was used to establish the kinetics of corrosion. XRD, SEM/EDAX and EPMA techniques were used to analyse the corrosion products. The hot corrosion resistance of all the coatings were superior to bare superalloy. Among the coatings studied, the Ni–20Cr coated superalloy imparted maximum hot corrosion resistance, whereas the Stellite-6 coated indicated minimum resistance. The hot corrosion resistance of all coatings may be attributed to the formation of oxides and spinels of nickel, chromium or cobalt.     

Results demonstrating techniques for enhancing electrochemical reactions involving iron oxide in slags and C in liquid iron

Two techniques are described for the enhancement of the kinetics of reduction of iron oxide from slags by carbon in molten iron. Laboratory experiments have shown that the rate of iron oxide reduction by carbon-saturated iron can be increased by 5 to 10 times when the reaction is carried out under a reduced-pressure atmosphere. This effect is thought to be the result of the increased volumetric gas evolution through the slag layer and the associated increase in slag stirring. A model is presented, which relates the mass-transfer coefficient for ferrous ions in the slag to its stirring that is controlled by varying the ambient pressure. Additional laboratory experiments examined the electrochemical nature of iron oxide reduction from slag by carbon in liquid iron. Results indicate that the reduction of iron oxide from slag is increased in the presence of an applied electric field. The external circuit allows for the separation of the half-cell reactions associated with iron oxide reduction and decarburization and increases the reaction area available for the individual reactions. These results have significant implications for several important slag metal reactions, which occur during ironmaking and steelmaking operations.     

Influence of Liquid Phase Additives on Structural and Sintering Behaviour of Samarium Modified Lead Titanate Ceramics

The combination of metal oxides Bi₂O₃:Li₂O in a ratio 89:11 gives a eutectic with a melting point of ～680°C. Such a low melting point oxide combination creates a working liquid phase at a highly favorable temperature for use as a densification aid. A liquid—phase sintering aid incorporating Bi₂O₃ and Li₂O is presented which demonstrates not only a reduction in the required sintering temperature but also shows relatively higher ‘c/a’ ratio (tetragonality) of PbTiO₃ ceramics with no fragility of the samples. Detailed dilatometric investigations have been performed in order to study the dominant shrinkage mechanism in the present system. Besides acting as a liquid phase fluxing agent, Bi₂O₃/Li₂O also behave as Curie shifter, which decreases Curie temperature in lead titanate system. The Curie temperature has also been verified from the thermal expansion behavior of sintered specimens. The value of dielectric constant increases after poling which may be due to the dominance of 180° domain wall over 90°.