A lightweight autonomous MAV for indoor search and rescue

Micro Aerial Vehicles (MAVs) have great potentials to be applied for indoor search and rescue missions. In this paper, we propose a modular lightweight design of an autonomous MAV with integrated hardware and software. The MAV is equipped with the 2D laser scanner, camera, mission computer and flight controller, running all the computation onboard in real time. The onboard perception system includes a laser‐based SLAM module and a custom‐designed visual detection module. A dual Kalman filter design provides robust state estimation by multiple sensor fusion. Specifically, the fusion module provides robust altitude measurement in the circumstance of surface changing. In addition, indoor‐outdoor transition is explicitly handled by the fusion module. In order to efficiently navigate through obstacles and adapt to multiple tasks, a task tree‐based mission planning method is seamlessly integrated with path planning and control modules. The MAV is capable of searching and rescuing victims from unknown indoor environments effectively. It was validated by our award‐winning performance at the 2017 International Micro Air Vehicle Competition (IMAV 2017), held in Toulouse, France. The performance video is available on https://youtu.be/8H19ppS_VXM .     

In situ Raman spectroscopic study towards the growth and excellent HER catalysis of Ni/Ni(OH)2 heterostructure

The electrochemical water splitting to produce H₂ in high efficiency with earth-abundant-metal catalysts remains a challenge. Here, we describe a simple “cyclic voltammetry + ageing” protocol at room temperature to activate Ni electrode (AC-Ni/NF) for hydrogen evolution reaction (HER), by which Ni/Ni(OH)₂ heterostructure is formed at the surface. In situ Raman spectroscopy reveals the gradual growth of Ni/Ni(OH)₂ heterostructure during the first 30 min of the aging treatment and combined with polarization measurements, it suggests a positive relation between the Ni/Ni(OH)₂ amount and HER performance of the electrode. The obtained AC-Ni/NF catalyst, with plentiful Ni–Ni(OH)₂ interfaces, exhibits remarkable performance towards HER, with the low overpotential of only 30 mV at a H₂-evolving current density of 10 mA/cm² and 153 mV at 100 mA/cm², as well as a small Tafel slope of 46.8 mV/dec in 1 M KOH electrolyte at ambient temperature. The excellent HER performance of the AC-Ni/NF could be maintained for at least 24 h without obvious decay. Ex situ experiments and in situ electrochemical-Raman spectroscopy along with density functional theory (DFT) calculations reveal that Ni/Ni(OH)₂ heterostructure, although partially reduced, can still persist during HER catalysis and it is the Ni–Ni(OH)₂ interface reducing the energy barrier of H1 adsorption thus promoting the HER performance.     

TiO2/MXene-Assisted LDI-MS for Urine Metabolic Profiling in Urinary Disease

Cancer remains an intractable medical problem. Rapid diagnosis and identification of cancer are critical to differentiate it from nonmalignant diseases. High-throughput biofluid metabolic analysis has potential for cancer diagnosis. Nevertheless, the present metabolite analysis method does not meet the demand for high-throughput screening of diseases. Herein, a high-throughput, cost-effective, and noninvasive urine metabolic profiling method based on TiO₂/MXene-assisted laser desorption/ionization mass spectrometry (LDI-MS) is presented for the efficient screening of bladder cancer (BC) and nonmalignant urinary disease. Combined with machine learning, TiO₂/MXene-assisted LDI-MS enables high diagnostic accuracy (96.8%) for the classification of patient groups (including 47 BC and 46 ureteral calculus (UC) patients) from healthy controls (113 cases). In addition, BC patients can also be identified from noncancerous UC individuals with an accuracy of 88.3% in the independent test cohort. Furthermore, metabolite variations between BC and UC individuals are investigated based on relative quantification, and related pathways are also discussed. These results suggest that this method, based on urine metabolic patterns, provides a potential tool for rapidly distinguishing urinary diseases and it may pave the way for precision medicine.     

Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

Intrinsic CFRP-metal-hybrids with rubber interface for the improvement of the damping behaviour

This paper presents an integrated passive damping approach in hybrid metal-CFRP parts for structural applications. In this concept a viscoelastic material is embedded in the joint zone of the hybrid component. To examine the connection strength single-lap-joint specimens were produced and tested and the influence of the used material combinations, different surface structures, and different process parameters i.e. the moment of cross-linking were evaluated. Afterwards, the metal-CFRP hybrids were tested in quasi-static tests to assess their connection strength and failure behaviour. Dynamic cyclic tensile tests with step-wise increased loading conditions were performed to determine the specimens damping behaviour and to estimate their fatigue performance. Finally, these results are compared to a state of the art metal-CFRP hybrid with rivets connecting both materials.     

On stochastic comparisons of finite mixtures for some semiparametric families of distributions

In this paper, we consider the classical finite mixture model, which is an effective tool for modeling lifetime distributions for random samples from heterogeneous populations. We discuss new results on stochastic comparison for two finite mixtures when each of them is drawn from one of the following semiparametric families, i.e., proportional hazards, accelerated lifetime and proportional reversed hazards.