Modular analysis and modelling of risk scenarios with dependencies

The risk analysis of critical infrastructures such as the electric power supply or telecommunications is complicated by the fact that such infrastructures are mutually dependent. We propose a modular approach to the modelling and analysis of risk scenarios with dependencies. Our approach may be used to deduce the risk level of an overall system from previous risk analyses of its constituent systems. A custom made assumption-guarantee style is put forward as a means to describe risk scenarios with external dependencies. We also define a set of deduction rules facilitating various kinds of reasoning, including the analysis of mutual dependencies between risk scenarios expressed in the assumption-guarantee style.     

Integrating customer's preferences in the QFD planning process using a combined benchmarking and imprecise goal programming model

Quality function deployment (QFD) is a customer-oriented design tool for developing new or improved products to achieve higher customer satisfaction by integrating various functions of an organization. The engineering characteristics (ECs) affecting the product performances are designed to match the customer attributes (CAs). However, from the viewpoint of the QFD team, product design processes are performed in imprecise environments, and more than one factor must be taken into account in determining the target levels of ECs, especially the limited resources and increased market competition. This paper presents an imprecise goal programming (GP) approach to determine the optimum target levels of ECs in QFD for maximizing customer satisfaction under resource limitation and considerations of market competition. Based on benchmarking data of CAs, the concept of satisfaction functions is utilized to formulate explicitly the customer's preferences and to integrate the competitive analysis of target market into the modelling and solution process. In addition, the relationships linking CAs and ECs and the ECs to each other are integrated by functional relationships. The proposed approach will be illustrated through a car door design example.     

A module-based LSB substitution method with lossless secret data compression

All the various data hiding methods can be simply divided into two types: (1) the extracted important data are lossy, (2) the extracted important data are lossless. The proposed method belongs to the second type. In this paper, a module-based substitution method with lossless secret data compression function is used for concealing smoother area of secret image by modifying fewer pixels in the generated stego-image. Compared with the previous data hiding methods that extract lossless data, the generated stego-image by the proposed method is always with better quality, unless the hidden image is with very strong randomness.     

MEMS AC voltage reference for miniaturized instrumentation and metrology

This work explores MEMS (Micro-Electro-Mechanical Systems) potentialities to fabricate AC voltage references through mechanical-electrical transduction that could be used for high precision electrical metrology and for applications in miniaturized instrumentation. AC voltage reference ranging from 5 V to 90 V have been designed and fabricated using the same Epitaxial Silicon On Insulator (SOI) surface micromachining process allowing an accurate control of both dimensions and material properties. The measured MEMS AC voltage reference values have been found in a good agreement with CoventorWare calculations. These tests structures have also been used to develop the read-out electronics to drive the MEMS.     

Improving traversability of quadruped walking robots using body movement in 3D rough terrains

This paper presents a study on improving the traversability of a quadruped walking robot in 3D rough terrains. The key idea is to exploit body movement of the robot. The position and orientation of the robot are systematically adjusted and the possibility of finding a valid foothold for the next swing is maximized, which makes the robot have more chances to overcome the rough terrains. In addition, a foothold search algorithm that provides the valid foothold while maintaining a high traversability of the robot, is investigated and a gait selection algorithm is developed to help the robot avoid deadlock situations. To explain the algorithms, new concepts such as reachable area, stable area, potential search direction, and complementary kinematic margin are introduced, and the effectiveness of the algorithms is validated via simulations and experiments.     

PIRF-Nav 2.0: Fast and online incremental appearance-based loop-closure detection in an indoor environment

This paper presents a fast and online incremental solution for an appearance-based loop-closure detection problem in a dynamic indoor environment. Closing the loop in a dynamic environment has been an important topic in robotics for decades. Recently, PIRF-Nav has been reported as being successful in achieving high recall rate at precision 1. However, PIRF-Nav has three main disadvantages: (i) the computational expense of PIRF-Nav is beyond real-time, (ii) it utilizes a large amount of memory in the redundant process of keeping signatures of places, and (iii) it is ill-suited to an indoor environment. These factors hinder the use of PIRF-Nav in a general environment for long-term, high-speed mobile robotic applications. Therefore, this paper proposes two techniques: (i) new modified PIRF extraction that makes the system more suitable for an indoor environment and (ii) new dictionary management that can eliminate redundant searching and conserve memory consumption. The results show that our proposed method can complete tasks up to 12 times faster than PIRF-Nav with only a slight percentage decline in recall. In addition, we collected additional data from a university canteen crowded during lunch time. Even in this crowded indoor environment, our proposed method has better real-time processing performance compared with other methods.     

Nanotextured superhydrophobic micromesh

A superhydrophobic micromesh covered with nanoprotrusions has been introduced and its applicability to a waterproof mobile phone speaker has been evaluated. The nanotextured superhydrophobic micromesh showed excellent water repellency, self-cleaning and waterproofing performances. In a waterproof speaker test using the fabricated nanotextured micromesh, the micromesh did not lose its waterproof function at 2 m water depth and did not form a remnant water film after being removed from the water. The packaged speaker showed almost the same sound quality before and after dipping at a 2 m water depth. These results demonstrate that the superhydrophobic nanotextured micromesh could be directly applicable for various products that need to resist water penetration, yet allow the transmission of gases and sound/light waves.     

Multiple resonances with time delays and enhancement by non-Gaussian noise in Newman-Watts networks of Hodgkin-Huxley neurons

In this paper, we study the effect of time delay on the spiking activity in Newman-Watts small-world networks of Hodgkin-Huxley neurons with non-Gaussian noise, and investigate how the non-Gaussian noise affects the delay-induced behaviors. It was found that, as the delay increases, the neuron spiking intermittently performs the most ordered and synchronized behavior when the delay lengths are integer multiples of the spiking periods, which shows multiple temporal resonances and spatial synchronizations, and reveals that the locking between the delay lengths and the spiking periods might be the mechanism behind the behaviors. It was also found that the delay-optimized spiking behaviors could be enhanced when non-Gaussian noise's deviation from the Gaussian noise is appropriate. These results show that time delay and non-Gaussian noise would cooperate to play more constructive and efficient roles in the information processing of neural networks.     

Stability and synchronization for Markovian jump neural networks with partly unknown transition probabilities

This paper addresses the problems of stability and synchronization for a class of Markovian jump neural networks with partly unknown transition probabilities. We first study the stability analysis problem for a single neural network and present a sufficient condition guaranteeing the mean square asymptotic stability. Then based on the Lyapunov functional method and the Kronecker product technique, the chaos synchronization problem of an array of coupled networks is considered. Both the stability and the synchronization conditions are delay-dependent, which are expressed in terms of linear matrix inequalities. The effectiveness of the developed methods is shown by simulation examples.