The election problem in asynchronous distributed systems with bounded faulty processes

Determining the “weakest” failure detectors is a central topic in solving many agreement problems such as Consensus, Non-Blocking Atomic Commit and Election in asynchronous distributed systems. So far, this has been studied extensively for several such fundamental problems. It is stated that Perfect Failure Detector P is the weakest failure detector to solve the Election problem with any number of faulty processes. In this paper, we introduce Modal failure detector M and show that to solve Election, M is the weakest failure detector to solve election when the number of faulty processes is less than ⌈n/2⌉. We also show that it is strictly weaker than P.

Response to ‘Comments on: A cohesion measure for object‐oriented classes’

Indicating that CBMC does not satisfy the monotonic property in terms of the number of interactions, Xu and Zhou proposed an augmented definition of CBMC by adopting cut set instead of glue methods. The augmented CBMC clearly satisfies the monotonic property. However, CBMC is designed to overcome the problem with respect to the number of interactions and, therefore, focuses on the interaction pattern, especially, member connectivity. Consequently, it does not make sense to mention the monotonic property of CBMC with respect to interaction number. Moreover, the notion of glue methods allows several interpretations on the design quality of a class. However, that meaningful interpretation is not possible for the augmented definition due to the removal of the notion of glue methods. Copyright © 2001 John Wiley & Sons, Ltd.     

Integrated framework of risk evaluation and risk allocation with bounded data

This paper presents an integrated framework for risk evaluation and risk allocation with bounded data in a critical risk management. A risk evaluation framework using the Imprecise Data Envelopment Analysis (IDEA) method is proposed to be applied to operations of Korean Army helicopters. The risks pertaining to pilots, missions and helicopters are evaluated based on bounded data, and pilots are appropriately allocated to missions and helicopters using goal programming with bounded risk scores. Using bounded data, two risk allocation models are developed to be used with the expected value and lower/upper limit values, resulting in improved reliability of the solutions. Numerical experiments show reasonable solutions and valuable information for risk management.     

The optimal determination of the space requirement and the number of transfer cranes for import containers

It is discussed how to determine the optimal amount of storage space and the optimal number of transfer cranes for import containers. A cost model is developed for the decision making. It includes the space cost, the fixed cost of transfer cranes which corresponds to the investment cost, the variable cost of transfer cranes and outside trucks which is related to the time spent for the transfer of containers. A simple solution procedure for the optimal solution is provided. The solution procedure is illustrated using a numerical example.     

A novel integrated silicon capacitive microphone-floating electrode“electret” microphone (FEEM)

A novel principle “electret” microphone, i.e., floating electrode electret microphone, is proposed and implemented in this study. Single-chip fabrication and corrugation technique are used in the design and fabrication of the microphone. The floating electrode is encapsulated by highly insulated materials to ensure that there is no electric-leakage passage between the floating electrode and the electrodes of the microphone. Net-free electronic charges (not “bonded” charges as in traditional electret) in the floating electrode can excite the electric field, which is similar to that of the traditional electret. The floating electrode can be easily charged by use of the “hot” electron technique, available using the avalanche breakdown of the p⁺-n junction. Therefore, the electret microphone is rechargeable, which can greatly increase the lifetime of the device. The preamplifier has been on-chip integrated in a junction-field-effect transistor (JFET) source-follower type with resistors by use of ion implantation. Electret charges are banded in a deep potential trap, thus, this microphone can operate at a high temperature (as high as 300°C) and has high stability and reliability. Experiments show that the prototype has a 3-mV/Pa sensitivity and a larger than 21-kHz frequency bandwidth in a 1 mm ×1-mm diaphragm area. Microphone performance can be further improved by optimized process and design. The fabrication is completely integrated-circuit (IC) compatible, hence, the microphone shows promise in integrated acoustic systems     

Influence of calcination temperature on structural and optical properties of TiO2-SiO2 thin films prepared by sol-gel dip coating

We prepared TiO₂-SiO₂ thin films with various TiO₂/SiO₂ ratios by sol-gel dip coating method and explored the dependence of their structural and optical properties on calcination temperature. The absorption peaks relevant to Si—O, Si—O—Ti and Ti—O bonds appeared in the FTIR spectra. With increasing TiO₂ content, the intensity of Si—O bond peaks decreases and that of Ti—O bond peaks increases. The XRD results show that the temperature of transformation from amorphous to anatase phase is lowered as TiO₂ content increases. The crystallite size of anatase phase in composite thin films increases with increasing TiO₂ content and calcination temperature. At 1000°C, the mixed phase of anatase and rutile appears in the pure TiO₂ thin films. The rutile films are denser than the anatase films. The increase in refractive index of composite thin films with calcination temperature is related to the decreased thickness and increased density as a result of evaporation of water and organic matters below 400°C. On the other hand, it is related to the change in the crystal phase and crystallite size of the films over 400°C.     

Influences of the dynamic strain aging on the J–R fracture characteristics of the ferritic steels for reactor coolant piping system

The leak-before-break (LBB) design of the piping system for nuclear power plants has been based on the premise that the leakage due to the through-wall crack can be detected by using leak detection systems before a catastrophic break. The piping materials are required to have excellent J–R fracture characteristics. However, where ferritic steels for reactor coolant piping systems operate at the temperatures where dynamic strain aging (DSA) could occur, the fracture resistance could be reduced with the influence of DSA under dynamic loading. Therefore, in order to apply the LBB design concept to the piping system under seismic loading, both static and dynamic J–R characteristics must be evaluated.Materials used in this study are SA516 Gr.70 for the elbow pipe and SA508 Cl.1a for the main pipe and their welding joints. The crack extension during the dynamic and the static J–R tests was measured by the direct current potential drop (DCPD) and the compliance method, respectively. This paper describes the influences of the dynamic strain aging on the J–R fracture characteristics with the loading rate of the pipe materials and their welding joints.     

Biomimetic micropatterning of silica by surface-initiated polymerization and microcontact printing

Micropatterns of silica on a gold substrate were generated by a biomimetic approach, namely, the biosilicification of silicic acids. The procedure consists of three simple steps: pattern generation of a polymerization initiator, (BrC(CH(3))(2)COO(CH(2))(11)S)(2), by microcontact printing; surface-initiated, atom-transfer radical polymerization of 2-(dimethylamino)ethyl methacrylate (DMAEMA) from the patterned area; and polycondensation of silicic acids. The tertiary amine-containing polymer, pDMAEMA, aided in the spatially controlled polycondensation of silicic acids on surfaces in the presence of phosphate ions, and micropatterns of silica on a gold substrate were successfully generated in combination with the technique of microcontact printing. The procedure could be extended to the controlled fabrication of silica patterns with any size, shape, or thickness.     

Selective Coloration of Melanin Nanospheres through Resonant Mie Scattering

Black melanin inks are prepared to selectively exhibit colors under strong light, inspired by human hair. High absorbance of melanin suppresses multiple scattering, causing resonant Mie scattering predominant. Various colors can be developed as the resonant wavelength dictated by nanosphere diameter. Therefore, the melanin inks can be used to encrypt and selectively disclose multicolor patterns for anticounterfeiting applications.