Reliability-based failure cause assessment of collapsed bridge during construction

Until now, in many forensic reports, the failure cause assessments are usually carried out by a deterministic approach so far. However, it may be possible for the forensic investigation to lead to unreasonable results far from the real collapse scenario, because the deterministic approach does not systematically take into account any information on the uncertainties involved in the failures of structures.Reliability-based failure cause assessment (reliability-based forensic engineering) methodology is developed which can incorporate the uncertainties involved in structural failures and structures, and to apply them to the collapsed bridge in order to identify the most critical failure scenario and find the cause that triggered the bridge collapse. Moreover, to save the time and cost of evaluation, an algorithm of automated event tree analysis (ETA) is proposed and possible to automatically calculate the failure probabilities of the failure events and the occurrence probabilities of failure scenarios. Also, for reliability analysis, uncertainties are estimated more reasonably by using the Bayesian approach based on the experimental laboratory testing data in the forensic report. For the applicability, the proposed approach is applied to the Hang-ju Grand Bridge, which collapsed during construction, and compared with deterministic approach.     

Guest Editors' Introduction: Social Media and Search

The past few years have seen a rapid rise in social media Web sites. As user content becomes the dominant content form on the Web, various questions arise about the most effective approach to processing it.     

Remote sensing of species mixtures in conifer plantations using LiDAR height and intensity data

In even-aged, single species conifer plantations LiDAR height data can be modelled to provide accurate estimates of tree height and volume. However, it is apparent that growth models developed for single species stands are not directly transferable to a more general situation of mixed species plantations. This paper evaluates the ability of small footprint, dual-return, pulsed airborne LiDAR data to estimate the proportion of the productive species when mixed with a nurse crop in closed canopy plantations. A study area located in Galloway Forest District in Scotland is used as an example of Lodgepole pine and Sitka spruce mixed plantation; this area contains good examples of a wide range of pure and mixed species plantation types. Three species groups are studied: areas of pure Sitka spruce, areas of pure Lodgepole pine and areas where the two species have been planted together. Two approaches are assessed for detection of plantation mixtures: the first uses LiDAR intensity data to separate spruce and pine species and the second uses LiDAR-derived canopy density measures, coefficient of variation, skewness, percent of ground returns (which provides a measure of canopy openness) and the mean canopy height, which enables areas with height variations to be identified. From analysis of LiDAR data extracted from 54 study plots using logistic regression, the coefficient of variation and LiDAR intensity data provide the most useful predictors of the proportion of spruce in a pine/spruce mixture with coefficients of determination (R²) of 0.914 and 0.930 respectively. The method could be developed as a mapping tool, which in combination with existing inventory data should help to improve timber volume forecasting for mixed species even-aged plantations.     

Energy indicators for tracking sustainability in developing countries

Due to the fact that human activities and most sustainability issues are closely related to energy use, the energy system is a sound framework for providing lead indicators for sustainable development. Common energy-economic models enable the estimation of future states of the energy system. An energy system-based lead indicator set can be used to develop consistent and coherent future indicator estimates and to track sustainability, a clear advantage over existing sets.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Contribution a l'etude du polymorphisme de Ga2S3: Structure cristalline de Mn0,23Ga1,85S3

The Mn_0.23Ga_1.85S₃ phase belongs to the solid solution $\text{ф}{}_0$, stable at low temperature in the Ga₂S₃MnS system. It is hexagonal superstructure of the wurtzite, with the Ga₂S₃α′ type ($\text{a}\text{= 6.397}\text{A}\text{?}$; $\text{c}\text{= 18.027}\text{A}\text{?}$Z = 6; space groupe P6₁ or P6₅). Its crystal structure has been refined by the least squares method to a final R = 0.06 with 323 independant reflections. This structure is closely related to Ga₂S₃ α described by Hahn and Frank, and differs only by the partial occupation of the vacant metal site of Ga₂S₃ by Mn atoms in statistical disorder.     

An ideal topology type convergent theorem on scale effect algebras

The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic the- ory.     

Fast location of high-order modes for boxed microstrip with finite strip thickness

Many analyses of boxed microstrip discontinuities require the location of large numbers of high-order modes. Using Sturm-Liouville theory, this letter derives a relationship between microstrip modes and slab-loaded guide modes, leading to an efficient mode location algorithm for microstrip, including microstrip with finite strip thickness.<>     

Formal techniques for performance analysis: blending SAN and PEPA

In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, and the potential for reduction in the Markov process. Such careful comparison of modelling techniques allows us to appreciate the strengths and weaknesses of different approaches, and facilitates cross-fertilization between them. In the present case we take a characteristic of one formalism, functional rates in Stochastic Automata Networks, and introduce it to the other formalism, Performance Evaluation Process Algebra. We investigate the benefits of this cross-fertilization, particularly from the perspectives of Markov process generation and reduction.