Multi-objective genetic algorithm for solving N-version program design problem

N-version programming (NVP) is a programming approach for constructing fault tolerant software systems. Generally, an optimization model utilized in NVP selects the optimal set of versions for each module to maximize the system reliability and to constrain the total cost to remain within a given budget. In such a model, while the number of versions included in the obtained solution is generally reduced, the budget restriction may be so rigid that it may fail to find the optimal solution. In order to ameliorate this problem, this paper proposes a novel bi-objective optimization model that maximizes the system reliability and minimizes the system total cost for designing N-version software systems. When solving multi-objective optimization problem, it is crucial to find Pareto solutions. It is, however, not easy to obtain them. In this paper, we propose a novel bi-objective optimization model that obtains many Pareto solutions efficiently.We formulate the optimal design problem of NVP as a bi-objective 0–1 nonlinear integer programming problem. In order to overcome this problem, we propose a Multi-objective genetic algorithm (MOGA), which is a powerful, though time-consuming, method to solve multi-objective optimization problems. When implementing genetic algorithm (GA), the use of an appropriate genetic representation scheme is one of the most important issues to obtain good performance. We employ random-key representation in our MOGA to find many Pareto solutions spaced as evenly as possible along the Pareto frontier. To pursue improve further performance, we introduce elitism, the Pareto-insertion and the Pareto-deletion operations based on distance between Pareto solutions in the selection process.The proposed MOGA obtains many Pareto solutions along the Pareto frontier evenly. The user of the MOGA can select the best compromise solution among the candidates by controlling the balance between the system reliability and the total cost.     

Psychological Stress Exacerbates Inflammation of the Ileum via the Corticotropin-Releasing Hormone-Mast Cell Axis in a Mouse Model of Eosinophilic Enteritis

The effects of psychological stress on eosinophilic gastrointestinal disorders have not been elucidated. This study investigated the effects of psychological stress in a mouse model of eosinophilic enteritis (EoN). BALB/c mice were treated with ovalbumin (OVA) to create an EoN model and subjected to either water avoidance stress (WAS) or sham stress (SS). Microscopic inflammation, eosinophil and mast cell counts, mRNA expression, and protein levels of type 2 helper T cell (Th2) cytokines in the ileum were compared between groups. We evaluated ex vivo intestinal permeability using an Ussing chamber. A corticotropin-releasing hormone type 1 receptor (CRH-R1) antagonist was administered before WAS, and its effects were analyzed. WAS significantly increased diarrhea occurrence and, eosinophil and mast cell counts, and decreased the villus/crypt ratio compared to those in the SS group. The mRNA expression of CRH, interleukin IL-4, IL-5, IL-13, eotaxin-1, and mast cell tryptase β2 significantly increased, and the protein levels of IL-5, IL-13, and OVA-specific immunoglobulin E (IgE) also significantly increased in the WAS group. Moreover, WAS significantly increased the intestinal permeability. The CRH-R1 antagonist significantly inhibited all changes induced by WAS. Psychological stress exacerbated ileal inflammation via the CRH-mast cell axis in an EoN mouse model.     

Nanopillar array chip integrated with on-line stacking for fast DNA separation with high sensitivity and high resolution

Recent developments of nanofabrication techniques have created a trend switching from randomly ordered polymeric matrices, such as gel, to highly ordered sieving nanostructures in the separation of biomolecules. These nanostructures have enormous potential for fast separation of biomolecules, while nanostructure-based separation techniques suffer from critical scaling problems; they are efficient in handling less than nanoliter amounts of sample fluids, but most biomolecule samples are available in a liquid volume that is over several microliter, leading to a reduction in sensitivity and resolution. In this study, we developed a nanopillar array chip integrated with an easy and rapid on-line stacking method and achieved fast DNA separation with high sensitivity and high resolution. The developed on-line stacking method is based on the balance of two forces driven by electric fields: electroosmotic flow (EOF) and electrophoresis. The EOF mobility from the microchannel to the nanopillar-channel is drastically decreased, while, on the other hand, electrophoresis has constant mobilities in the whole length of the channels. The on-line stacking was realized at the well-balanced position of the two forces, and the on-line stacking using the nanopillar array chip can also be achieved within 10 s by just applying electric voltages without any other special reagents and materials. After applying on-line stacking using the nanopillar array chip, the relative fluorescence intensity increased 1,000-fold, and the resolution was twice as good as that without on-line stacking.     

Simulated crepitus and its reality-based specification using wearable patient dummy

Physical therapists are trained in manual examination techniques to test the impaired motor functions of patients. In this study, we have introduced a wearable robotic dummy joint to simulate disordered joint resistances or behaviors to support physical therapists in learning such techniques. We developed a discontinuous joint friction model based on a stick-slip phenomenon to simulate knee joint resistances caused by crepitus, a typical symptom accompanied by osteoarthritis. Practicing therapists participated in a reality-based evaluation test and specified acceptable parameter sets to adjust the simulated crepitus for the exoskeletal patient robot. The simulated crepitus and wearable dummy joint are expected to support the training of physical therapists.     

Probabilistic enhancement of approximate indexing in metric spaces

Some approximate indexing schemes have been recently proposed in metric spaces which sort the objects in the database according to pseudo-scores. It is known that (1) some of them provide a very good trade-off between response time and accuracy, and (2) probability-based pseudo-scores can provide an optimal trade-off in range queries if the probabilities are correctly estimated. Based on these facts, we propose a probabilistic enhancement scheme which can be applied to any pseudo-score based scheme. Our scheme computes probability-based pseudo-scores using pseudo-scores obtained from a pseudo-score based scheme. In order to estimate the probability-based pseudo-scores, we use the object-specific parameters in logistic regression and learn the parameters using MAP (Maximum a Posteriori) estimation and the empirical Bayes method. We also propose a technique which speeds up learning the parameters using pseudo-scores. We applied our scheme to the two state-of-the-art schemes: the standard pivot-based scheme and the permutation-based scheme, and evaluated them using various kinds of datasets from the Metric Space Library. The results showed that our scheme outperformed the conventional schemes, with regard to both the number of distance computations and the CPU time, in all the datasets.     

Measurement of Flow Stress in Supercooled Austenite for High Hardenability Steel

In this article, the isothermal flow stress in supercooled austenite was measured for a high hardenability steel. Supercooled austenite forms at the nonequilibrium phase and changes into other phases within a short time. It was confirmed that conventional tensile tests, which require maintaining a constant temperature before stretching, cannot accurately measure the flow stress in supercooled austenite. Therefore, a new tensile test named “the continuous cooling tensile test” was developed. In this test, stretching is conducted during continuous cooling. In the continuous cooling tensile test, the flow stress between 673 K and 973 K (400 °C and 700 °C) was measured. Microscopic observations of the continuous cooling test results verified that the microstructures were supercooled austenite.     

Numerical Analysis of the Boundary Scattering Effect on Transport Properties in Bi-Sb Nanowires

In this study, we have numerically analyzed the transport properties of Bi-Sb nanowires, taking into account wire boundary scattering. Wire boundary scattering slightly decreased the Seebeck coefficient of Bi-Sb nanowires. This effect is due to the observation that boundary scattering and the mobility ratio of L-point electrons to T-point holes in the nanowires are smaller than those in bulk Bi-Sb because the wire boundary scattering suppresses the mobilities of L-point electrons and heavy holes. The largest Seebeck coefficient for all wire diameters was obtained when the Sb concentration was 5 at.%. The effective mass approached zero near 5 at.% Sb, and the small effective mass led to a large subband shift in each band. Thus, a small effective mass enhances the quantum effect at a fixed wire diameter, even if wire boundary scattering is taken into account.     

370 W output power GaN-FET amplifier for W-CDMA cellular base stations

A single-ended amplifier using small packaged GaN-FETs exhibits a record 2.14 GHz W-CDMA output power. The amplifier, composed of paralleled 48 mm gate periphery FET die, delivers a peak saturated output power of 371 W with a linear gain of 11.2 dB at a drain voltage of 45 V under 2.14 GHz 3GPP W-CDMA signal input. The output power density (output power/package size) of 1.1 W/mm/sup 2/ is twice as high as that of the existing over 300 W GaAs-FET amplifiers. A low 5 MHz offset ACLR of -36 dBc with a drain efficiency of 24% is also obtained at 8 dB power back off from the saturated output power.     

Numerical simulation of oscillatory flow in melt during InSb single crystal growth by RF heating Czochralski method

Oscillatory flow present in the melt during InSb single crystal growth using an RF-heating Czochralski method has been numerically investigated by means of the finite difference method using the HSMAC algorithm. The thermal boundary conditions required for the numerical simulation model were obtained experimentally by measuring the temperature profile along the crucible of a Czochralski system by means of thermocouples mounted in the crucible. Results of numerical simulations showed that the use of a third-order upwind discretization scheme was necessary to catch the oscillatory behaviour of the fluid flow in the melt. It was shown that this oscillatory behaviour strongly depends on the crystal rotation rate. Indeed, the oscillation period increases when the crystal rotation rate is above a critical rotation rate. In order to avoid such oscillations, crystal rotation rates lower than this critical value of crystal rotation rate must be selected for the growth of high quality crystals free of striations. © 1998 John Wiley & Sons, Ltd.