Probabilistic seismic damage assessment of reinforced concrete buildings considering directionality effects

Most of buildings and structures are usually projected according to two main axes. However, the geographical position of these buildings varies randomly. Such random distributions of the azimuthal positions of structures, in most of the cities, generally, are not accounted for when assessing their seismic risk; certainly, the direction of the seismic loads is another highly random variable. Moreover, an additional important source of uncertainty is related to the structural response, mainly due to the random character of the mechanical properties. There is a consensus that uncertainties must be considered for adequately assessing the seismic risk of structures, but these directionality effects have not been deeply explored so far. In this article, the influence of the high uncertainty involved in these input variables on the expected seismic damage is analysed. Thus, an actual earthquake, which affected the southern part of Spain, is studied. Notably, damages on a group of affected buildings, located close to the epicentre, are analysed and discussed in detail. The results show that the influence of the random azimuthal position of structures is an important source of uncertainty and that it should be taken into account when estimating the expected seismic risk in urban areas.     

The latent learning model to derive semantic relations of words from unstructured text data in social media

Multimedia Tools and Applications - Unstructured text data is very important in many applications because it reflects the thought of the people who create this data. However, it is difficult to...     

Investigation on mining subsidence over Appin–West Cliff Colliery using time-series SAR interferometry

Advanced Time Series InSAR (ATS-InSAR) generally refers to those TS-InSAR methods with an external distributed scatterer selection module, e.g. SqueeSAR?, and GEOS-ATSA (Advanced Time-Series Analysis). It is being known as a very efficient tool for monitoring ground deformation over suburban or non-urban regions with great success. However, research conducted using C-band Envisat-based ATS-InSAR failed to produce reasonable outcome within Appin Colliery primarily due to the underground mining effect, which is located in the southeastern corner of the Southern Coalfield, New South Wales, Australia; thus, the general underground mining pattern cannot be formed. This work presents a modified ATS-InSAR method for mapping the ground deformation over underground mining region. More specifically, in order to achieve the best outcome, a modified measurement scatterer (MS) pixel selection method is introduced by including less reliable MS pixels through an Inverse Distance Weighted-based integration method. In addition, the proposed method is also applied to C-band Sentinel-1 image stacks for testing purpose, and the final result proved to be efficient to offer sufficient information to the mining industry and government for risk management purpose.     

How verified (or tested) is my code? Falsification-driven verification and testing

Formal verification has advanced to the point that developers can verify the correctness of small, critical modules. Unfortunately, despite considerable efforts, determining if a “verification” verifies what the author intends is still difficult. Previous approaches are difficult to understand and often limited in applicability. Developers need verification coverage in terms of the software they are verifying, not model checking diagnostics. We propose a methodology to allow developers to determine (and correct) what it is that they have verified, and tools to support that methodology. Our basic approach is based on a novel variation of mutation analysis and the idea of verification driven by falsification. We use the CBMC model checker to show that this approach is applicable not only to simple data structures and sorting routines, and verification of a routine in Mozilla’s JavaScript engine, but to understanding an ongoing effort to verify the Linux kernel read-copy-update mechanism. Moreover, we show that despite the probabilistic nature of random testing and the tendency to incompleteness of testing as opposed to verification, the same techniques, with suitable modifications, apply to automated test generation as well as to formal verification. In essence, it is the number of surviving mutants that drives the scalability of our methods, not the underlying method for detecting faults in a program. From the point of view of a Popperian analysis where an unkilled mutant is a weakness (in terms of its falsifiability) in a “scientific theory” of program behavior, it is only the number of weaknesses to be examined by a user that is important.     

TSTL: the template scripting testing language

International Journal on Software Tools for Technology Transfer - A test harness, in automated test generation, defines the set of valid tests for a system, as well as their correctness properties....     

From experimental data,the mechanics relationships describing the behaviour of four different low alloyed steel powders during uniaxial cold compaction

This work aims at determining the constitutive model of four commercial water atomised low alloyed steel powders during cold compaction. Single-action experiments were performed, obtaining cylindrical specimens with different H/D ratios. The distribution of axial and radial stresses was investigated, and the relationships describing both the radial stress transmission coefficient and the flow stress as functions of the relative density were determined. The radial stress transmission coefficient also confirmed the hypothesised value of Poisson’s coefficient. The friction coefficient between the powder column and the die wall was determined, also highlighting the influence of the H/D ratio. Measuring the axial and radial strains due to spring-back, the axial and radial elastic moduli were determined, as functions of the relative density. The results obtained for the four materials were compared, also highlighting both differences and similarities.     

Design,Synthesis, Radiosynthesis and Biological Evaluation of Fenretinide Analogues as Anticancer and Metabolic Syndrome-Preventive Agents

Fenretinide (4-HPR) is a synthetic derivative of all-trans-retinoic acid (ATRA) characterised by improved therapeutic properties and toxicological profile relative to ATRA. 4-HPR has been mostly investigated as an anti-cancer agent, but recent studies showed its promising therapeutic potential for preventing metabolic syndrome. Several biological targets are involved in 4-HPR's activity, leading to the potential use of this molecule for treating different pathologies. However, although 4-HPR displays quite well-understood multitarget promiscuity with regards to pharmacology, interpreting its precise physiological role remains challenging. In addition, despite promising results in vitro, the clinical efficacy of 4-HPR as a chemotherapeutic agent has not been satisfactory so far. Herein, we describe the preparation of a library of 4-HPR analogues, followed by the biological evaluation of their anti-cancer and anti-obesity/diabetic properties. The click-type analogue 3 b showed good capacity to reduce the amount of lipid accumulation in 3T3-L1 adipocytes during differentiation. Furthermore, it showed an IC₅₀ of 0.53±0.8 μM in cell viability tests on breast cancer cell line MCF-7, together with a good selectivity (SI=121) over noncancerous HEK293 cells. Thus, 3 b was selected as a potential PET tracer to study retinoids in vivo, and the radiosynthesis of [¹⁸F] 3b was successfully developed. Unfortunately, the stability of [¹⁸F] 3b turned out to be insufficient to pursue imaging studies.     

Effect of diethyl ether blended with neem oil methyl esters in CI engine

Vegetable oils are now considered to be a potential alternative that can be used in place of partial or total substitution of diesel fuels. In this study, we used diethyl ether as an oxygenated additive to investigate the possible use of higher percentages of biodiesel in an unmodified diesel engine. Neem oil was selected for biodiesel production. The tests were performed at a steady-state condition in a single-cylinder constant speed DI diesel engine. The combustion process involved in diesel engine would be improved and the particulate matter would be reduced if these biodiesels are blended. An experimental investigation is carried out to establish the emission characteristics of a direct injection diesel engine using diethyl ether as additive in Neat Neem oil Biodiesel. Emissions of hydro carbon oxides of nitrogen and carbon monoxide significantly reduced by adding diethyl ether into neem oil biodiesel at 10% and 20% on volume basis.