Capability and limitation of max- and sum-type construction of Lyapunov functions for networks of iISS systems

This paper addresses the problem of verifying stability of networks whose subsystems admit dissipation inequalities of integral input-to-state stability (iISS). We focus on two ways of constructing a Lyapunov function satisfying a dissipation inequality of a given network. Their difference from one another is elucidated from the viewpoint of formulation, relation, fundamental limitation and capability. One is referred to as the max-type construction resulting in a Lipschitz continuous Lyapunov function. The other is the sum-type construction resulting in a continuously differentiable Lyapunov function. This paper presents geometrical conditions under which the Lyapunov construction is possible for a network comprising $n\ge 2$ subsystems. Although the sum-type construction for general $n>2$ has not yet been reduced to a readily computable condition, we obtain a simple condition of iISS small gain in the case of $n=2$. It is demonstrated that the max-type construction fails to offer a Lyapunov function if the network contains subsystems which are not input-to-state stable (ISS).     

Intra-body data transmission for the personal area network

Intra-body communication is a wireless means of exchanging information within a personal area network (PAN) between wearable electronic sensors and devices. The feasibility of intra-body communication is confirmed through several experiments on signal propagation within the human body, and a human phantom is designed and used to obtain reproducible results over repeated experiments. Based on the results of these experiments, a prototype transmission system is constructed using aluminum electrodes powered by 3 V DC and operating in the 10.7 MHz frequency modulation (FM) band. This prototype is demonstrated to be capable of transmitting analog signals through the human subjects in the presence of external noise. Digital data transmission at 9600 bps is also achieved using newly fabricated 10.7 MHz frequency shift keying (FSK) transmitter and receiver devices. The carrier frequency of 10.7 MHz is the intermediate frequency of FM radio receivers, meaning that the proposed system can make use of a wide selection of inexpensive, commercial radio frequency devices.     

Contact force detection on a minute aperture mounted optical contact slider using an acoustic emission sensor

Advances in the digital network society require both higher density and higher transfer rates in all sorts of storage systems. Especially in optical recording, the trend toward higher density and larger capacity requires novel surface-recording technologies that can drastically diminish head-to-medium spacing, resulting in an improvement in spatial resolution and, finally, a higher recording density. To this end, we have already proposed a novel contact optical head slider that is able to almost cancel the suspension load by generating hydrodynamic pressure, thus realizing a lower net contact force. Evaluating the dynamic contact force is requisite in realizing its stable sliding operation and higher signal readout performance. In this study, a continuous acoustic emission (AE) signal was utilized to detect the dynamic contact force. AE signal modulation was compared with the applied out-of-plane acceleration on a medium generated by a spindle combined piezo-electric actuator. It was clarified that the detected AE modulation amplitude was approximately proportional to the applied acceleration, and that utilizing AE modulation will be a useful method for evaluating dynamic contact force.     

Efficient blind dereverberation and echo cancellation based on independent component analysis for actual acoustic signals

This letter presents a new algorithm for blind dereverberation and echo cancellation based on independent component analysis (ICA) for actual acoustic signals. We focus on frequency domain ICA (FD-ICA) because its computational cost and speed of learning convergence are sufficiently reasonable for practical applications such as hands-free speech recognition. In applying conventional FD-ICA as a preprocessing of automatic speech recognition in noisy environments, one of the most critical problems is how to cope with reverberations. To extract a clean signal from the reverberant observation, we model the separation process in the short-time Fourier transform domain and apply the multiple input/output inverse-filtering theorem (MINT) to the FD-ICA separation model. A naive implementation of this method is computationally expensive, because its time complexity is the second order of reverberation time. Therefore, the main issue in dereverberation is to reduce the high computational cost of ICA. In this letter, we reduce the computational complexity to the linear order of the reverberation time by using two techniques: (1) a separation model based on the independence of delayed observed signals with MINT and (2) spatial sphering for preprocessing. Experiments show that the computational cost grows in proportion to the linear order of the reverberation time and that our method improves the word correctness of automatic speech recognition by 10 to 20 points in a RT??= 670 ms reverberant environment.     

Preserving worker privacy in crowdsourcing

This paper proposes a crowdsourcing quality control method with worker-privacy preservation. Crowdsourcing allows us to outsource tasks to a number of workers. The results of tasks obtained in crowdsourcing are often low-quality due to the difference in the degree of skill. Therefore, we need quality control methods to estimate reliable results from low-quality results. In this paper, we point out privacy problems of workers in crowdsourcing. Personal information of workers can be inferred from the results provided by each worker. To formulate and to address the privacy problems, we define a worker-private quality control problem, a variation of the quality control problem that preserves privacy of workers. We propose a worker-private latent class protocol where a requester can estimate the true results with worker privacy preserved. The key ideas are decentralization of computation and introduction of secure computation. We theoretically guarantee the security of the proposed protocol and experimentally examine the computational efficiency and accuracy.     

Using formal methods to increase confidence in a home network system implementation: a case study

A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Before being deployed, one has to guarantee the correctness, the safety, and the security of the system. Here, we present the approach chosen to validate the Java implementation of a home network system. We rely on the Java Modelling Language to formally specify and validate an abstraction of the system. This is a substantially revised version of our paper that appeared in the proceedings of the Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Poitiers-Futuroscope, France, December 2007.     

Network Design with Edge-Connectivity and Degree Constraints

We consider the following network design problem; Given a vertex set V with a metric cost c on V, an integer k≥1, and a degree specification b, find a minimum cost k-edge-connected multigraph on V under the constraint that the degree of each vertex v∈V is equal to b(v). This problem generalizes metric TSP. In this paper, we show that the problem admits a ρ-approximation algorithm if b(v)≥2, v∈V, where ρ=2.5 if k is even, and ρ=2.5+1.5/k if k is odd. We also prove that the digraph version of this problem admits a 2.5-approximation algorithm and discuss some generalization of metric TSP.     

Ergonomic design and evaluation of the handle for an endoscopic dissector

The purpose of this study was to design an endoscopic dissector handle and objectively assess its usability. The handles were designed with increased contact area between the fingers and thumb and the eye rings, and the eye rings were modified to have a more perpendicular insertion angle to the finger midline. Four different handle models were compared, including a conventional product. Subjects performed dissection, exclusion, grasping, precision manipulation and precision handling tasks. Electromyography and subjective evaluations were measured. Compared to conventional handles, the designated handle reduced the muscle load in the extensor and flexor muscles of the forearm and increased subjective stability. The activity of the first dorsal interosseous muscle was sometimes influenced by the shape of the other parts. The ergonomically designed endoscopic dissector handle used in this study achieved high usability. Medical instrument designs based on ergonomic concepts should be assessed with objective indices.

Practitioner Summary: The endoscopic dissector handles were designed with increased contact area and more suitable insertion angle between the fingers and thumb and the eye rings. Compared to conventional handles, the designated handle reduced the muscle load in the extensor and flexor muscles of the forearm and increased subjective stability.