Relation between encoder and syndrome former variables and symbol reliability estimation using a syndrome trellis

We derive a linear correspondence between the variables of an encoder and those of a corresponding syndrome former. Using the derived correspondence, we show that the log-likelihood ratio of an information bit conditioned on a received sequence can be equally calculated using the syndrome trellis. It is shown that the proposed method also applies to recursive systematic convolutional codes which are typical constituent codes for turbo codes. Moreover, we show that soft-in syndrome decoding considering a priori probabilities of information bits is possible in the same way as for Viterbi decoding based on the code trellis. Hence, the proposed method can be applied to iterative decoding such as turbo decoding. We also show that the proposed method is effective for high-rate codes by making use of trellis modification.     

Lethality of the covalent linkage between mislocalized major outer membrane lipoprotein and the peptidoglycan of Escherichia coli

The major outer membrane lipoprotein (Lpp) of Escherichia coli possesses serine at position 2, which is thought to function as the outer membrane sorting signal, and lysine at the C terminus, through which Lpp covalently associates with peptidoglycan. Arginine (R) is present before the C-terminal lysine in the wild-type Lpp (LppSK). By replacing serine (S) at position 2 with aspartate (D), the putative inner membrane sorting signal, and by deleting lysine (K) at the C terminus, Lpp mutants with a different residue at either position 2 (LppDK) or the C terminus (LppSR) or both (LppDR) were constructed. Expression of LppSR and LppDR little affected the growth of E. coli. In contrast, the number of viable cells immediately decreased when LppDK was expressed. Prolonged expression of LppDK inhibited separation of the inner and outer membranes by sucrose density gradient centrifugation, whereas short-term expression did not. Pulse-labeled LppDK and LppDR were localized in the inner membrane, indicating that the amino acid residue at position 2 functions as a sorting signal for the membrane localization of Lpp. LppDK accumulated in the inner membrane covalently associated with the peptidoglycan and thus prevented the separation of the two membranes. Globomycin, an inhibitor of lipoprotein-specific signal peptidase II, was lethal for E. coli only when Lpp possessed the C-terminal lysine. Taken together, these results indicate that the inner membrane accumulation of Lpp per se is not lethal for E. coli. Instead, a covalent linkage between the inner membrane Lpp having the C-terminal lysine and the peptidoglycan is lethal for E. coli, presumably due to the disruption of the cell surface integrity.     

A numerical study of radiation heat transfer in sodium pool combustion and response surface modeling of luminous flame emissivity

A response surface model of the luminous flame emissivity of sodium pool fire has been proposed for use in safety analysis computer codes of a liquid metal fast reactor. The liquid sodium burns in air resulting in not only heat generation but also release of sodium oxide aerosols of sub-micron diameters. Aerosols levitating in air are radiative and they influence the allocation of combustion heat from the flame to atmospheric gas or sodium pool. The emissivity of the flame needs to be quantified, as it is one of user-specified parameters of the computer codes for the sodium fire analysis. The response surface model of the flame emissivity is developed based on numerical experiments on the physics of mass and heat transfer and behavior of the aerosol. Thermal-hydraulic equations have been solved coupled with aerosol dynamics and chemical reaction. Three influential variables on the emissivity are identified as pool temperature, gas temperature and oxygen molar fraction in the air. It has been found that the emissivity is calculated reasonably as a function of the three variables. The proposed response surface model can be easily employed in the sodium fire analysis codes because it is a simple quadratic expression. For the safety evaluation of the sodium fire, combined use is recommended of the proposed model and the lumped-mass zone model code.     

Preparation of pyrochlores. A1−xHxTaO3·nH2O (A=Na,K)

Pyrochlores of A_1?xH_xTaO₃·nH₂O (A=Na,K) were prepared under the hydrothermal conditions. The values of x for these compounds were increased from 0.3 to 0.5 for A=Na and from 0.2 to 0.5 for A=K by treatment with the distilled water. The compounds with x<0.5 were decomposed to a mixture of NaTaO₃ and Na₂Ta₄O₁₁ for A=Na, or to a mixture of KTaO₃ and a tetragonal tungsten bronze phase, and those with x=0.5 to a single phase of A₂Ta₄O₁₁ at elevated temperatures. Below the decomposition temperatures, defect pyrochlores with oxygen vacancies, $\text{A}{}_{\mathrm{<mtext>1?</mtext><mtext>x</mtext>}}\text{TaO}{}_{\mathrm{<mtext>3?</mtext><mtext>x</mtext><mtext>2</mtext>}}$, were produced. They were hygroscopic, and in the case of A=K and x=0.5 the original phase was recovered by leaving in air for several hours.     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

Development of enhanced depth-resolution technique for shallow dopant profiles

A rapid shrinkage in the minimum feature size of integrated circuits requires analysis of dopants in their shallow source–drain and their extensions with an enhanced depth resolution. Rutherford backscattering spectroscopy (RBS) combining a medium-energy He ion beam with a detector of improved energy resolution should meet the requirement of a depth resolution better than 5 nm at a depth of 10–20 nm in the next 10 years. A toroidal electrostatic analyzer of 4×10⁻³ energy resolution has been used to detect the scattered ions of a medium-energy He ion beam. Five keV As⁺ implanted Si or SiO₂ samples were measured. Depth profiling results using the above technique are compared with those of glancing-angle RBS by MeV energy He ions. Limitations in the energy resolution due to various energy-spread contributions have been clarified.     

Robust stabilization of a magnetic suspension system using H∞ Control Theory

This paper presents the robust control design of a magnetic suspension system for a flexible beam which is a simplified model of an elastic rotor in a magnetic bearing system. To stabilize this magnetic suspension system which is unstable in nature, the H^infin; control theory is applied for a design of the control system. To apply the H^infin; control theory, a statespace model of an augmented plant with frequency-weighting functions is constructed. This augmented plant has two inputs which are the exogenous inputs and the control inputs, and two outputs which are the sensor outputs and the regulated outputs. Here we consider the mixed sensitivity problem. The H^infin; controller is implemented by a digital controller which is able to execute the computations very quickly. For the evaluation of the control performance, several experiments are made. The robustness of the closed-loop system is confirmed by the experimental results. The result of this study is useful for the control design of a magnetic bearing system.