Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)

In this survey, we deal with the problem how a universal computer can be constructed in a reversible environment. We discuss this problem based on the frameworks of reversible Turing machines, reversible logic circuits, and reversible cellular automata. We can see that in spite of the constraint of reversibility, there are several very simple reversible systems that have universal computing ability.     

Buoyancy engine developed for underwater gliders

A buoyancy engine with a swashplate-type axial piston pump was developed. Its oil extrusion and drawing properties under high hydraulic pressure were evaluated. This buoyancy engine is now installed in an underwater glider that will achieve long-term monitoring of ocean environments up to 2100 m depth in a designated area with lower operational costs. This bidirectionally functioning pump can control the amount of oil in extrusion and draw operations. When drawing oil under high pressure, the hydraulic pump and the electric motor, respectively, act as a hydraulic motor and an electric generator. The generated electric power is absorbed by a damping resistor. The oil-drawing and extrusion properties were measured using a large hyperbaric chamber that is able to produce an almost identical environment to that of actual operations. Results confirmed stable oil extrusion operations up to 21 MPa. Regarding oil-drawing properties, although it was measured only up to 10 MPa in the hyperbaric chamber, it can be inferred that the system can draw the oil and can control the buoyancy precisely up to 21 MPa by replacing the two-way ball valve with an electromagnetic latching solenoid valve.     

Hyper least squares fitting of circles and ellipses

This work extends the circle fitting method of Rangarajan and Kanatani (2009) to accommodate ellipse fitting. Our method, which we call HyperLS, relies on algebraic distance minimization with a carefully chosen scale normalization. The normalization is derived using a rigorous error analysis of least squares (LS) estimators so that statistical bias is eliminated up to second order noise terms. Numerical evidence suggests that the proposed HyperLS estimator is far superior to the standard LS and is slightly better than the Taubin estimator. Although suboptimal in comparison to maximum likelihood (ML), our HyperLS does not require iterations. Hence, it does not suffer from convergence issues due to poor initialization, which is inherent in ML estimators. In this sense, the proposed HyperLS is a perfect candidate for initializing the ML iterations.     

Translational lemmas for DLOGTIME-uniform circuits,alternating TMs,and PRAMs

We present translational lemmas for the three standard models of parallel computation, and apply them to obtain tight hierarchy results. It is shown that, for arbitrarily small rational constant , (i) there is a language which can be accepted by a -uniform circuit family of depth and size but not by any -uniform circuit family of depth and size , (ii) there is a language which can be accepted by a -time -space ATM with l worktapes but not by any -time -space ATM with the same l worktapes if the number of tape symbols is fixed, and (iii) there is a language which can be accepted by a -time PRAM with processors but not by any -time PRAM with processors. Here, c > 0, d ≥ 1, r ₁ > 1, and r ₂ ≥ 1 are arbitrary rational constants, and l ≥ 2 is an arbitrary integer. Preliminary versions of different parts of this paper appeared in Proc. MCU 2004 (LNCS 3354) and Proc. FCT 2005 (LNCS 3623).     

Strength Analysis of Yttria-Stabilized Tetragonal Zirconia Polycrystals

Tensile strength of Y₂O₃-stabilized ZrO₂ polycrystals (Y-TZP) was measured by a newly developed tensile testing method with a rectangular bar. The tensile strength of Y-TZP was lower than that of the three-point bend strength, and the shape of the tensile strength distribution was quite different from that of the three-point bend strength distribution. It was difficult to predict the distribution curve of the tensile strength using the data of the three-point bend strength by one-modal Weibull distribution. The distribution of the tensile strength was analyzed by two- or three-model Weibull distribution coupled with an analysis of fracture origins. The distribution curve of the three-point bend strength which was estimated by multimodal Weibull distribution agreed favorably with that of the measured three-point bend strength values. A two-modal Weibull distribution function was formulated approximately from the distributions of the tensile and three-point bend strengths, and the estimated two-modal Weibull distribution function for the four-point bend strength agreed well with the measured four-point bend strength.     

Neural network approach for multicriteria solid transportation problem

In this paper, we propose neural network approach for multicriteria solid transportation problems(STP). First we suggest a neural network architecture to solve single-objective STP according to augmented Lagrange multiplier method. Due to the massive computing unit-neurons and parallel mechanism of neural network approach can solve the large scale problem efficiently and optimal solution can be got. Then we transform the original multicriteria problem into a single objective problem by global criteria method and adopt the neural network approach to solve it. By this way we can get the satisfactory solution of the original problem. The procedure and efficiency of this approach are shown with numerical simulations.     

Neural network technique for fuzzy multiobjective linear programming

Neural Network(NN) is well-known as one of powerful computing tools to solve optimization problems. Due to the massive computing unit-neurons and parallel mechanism of neural network approach we can solve the large-scale problem efficiently and optimal solution can be gotten. In this paper, we intoroduce improvement of the two-phase approach for solving fuzzy multiobjectve linear programming problem with both fuzzy objectives and constraints and we propose a new neural network technique for solving fuzzy multiobjective linear programming problems. The procedure and efficiency of this approach are shown with numerical simulations.     

Stabilization of a Power System Including Inverter‐Type Distributed Generators by a Virtual Synchronous Generator

The capacity of distributed generators (DGs) connected to the grid by inverters is growing year after year. The inverters are generally controlled by a phase locked loop (PLL) in order to achieve synchronization with the power system frequency. Power systems may become unstable as the capacity of the inverter‐type DGs continues to increase, because the inverter frequency is controlled just to follow the frequency determined by other synchronous generators. It has been suggested that inverters be controlled to behave like a synchronous generator. This concept is referred to as the virtual synchronous generator (VSG). In this paper, a control scheme for a VSG is presented, and the design method for the required energy storage and the capacity for grid stabilization control by a VSG is investigated by computer simulations.     

Chiral selection in supercoiling and wrapping of DNA

This paper gives an account of our recent studies on the mechanisms for chiral selection in super-coiling and wrapping of DNA. We first present a compact model of double-stranded DNA (Model 1), which consists of two elastic chains that mutually intertwine in a right-handed manner to form a double-stranded helix. Numerical analysis of this model suggests an intrinsic propensity of DNA to writhe in the left direction upon bending. Based on this asymmetric elasticity of DNA, we present a further simplified model of DNA (Model 2), which is a single-chained homopolymer with the propensity to writhe in the left direction upon bending. This simplified model is incorporated into a Langevin dynamics study to explore the origin of the uniform left-handed wrapping of DNA around a nucleosome core particle in nature. We finally show that the propensity of DNA to writhe in the left direction upon bending gives rise to the selective left-handed wrapping, provided that the size of the core particle is appropriate. This result suggests the fundamental significance of the asymmetric elasticity of helical biopolymers in their structural dynamics and functions.     

Application results of a prototype ultrasonic liquid film sensor to a 7 MPa steam–water two-phase flow experiment

A prototype ultrasonic liquid film sensor was applied to a high-temperature steam–water two-phase flow experiment. The liquid film sensor was vertically installed in a loop which was connected to HUSTLE, a multi-purpose steam source test facility. The hydraulic diameter of the measurement section was 9.4 mm. The output waveforms of the sensor were acquired with a digital oscilloscope. The fluid temperature and system pressure were kept at 288 °C and 7.2 MPa, respectively, during the experiment. The pulse-echo method was used to calculate the liquid film thickness. The cross-correlation calculation was utilized to determine the time difference between the pulse reflected at the sensor surface and the pulse reflected at the liquid film surface. The time-averaged liquid film thicknesses were less than 0.055 mm in the annular flow condition. The increase of the time-averaged thickness was small with the change of the gas momentum flux. The film thicknesses measured with the sensor were compared with the past experimental results; the former were smaller than one-fourth of the thickness estimated as the mean film thickness. The comparison results suggested that the continuous liquid sublayer thickness was measured with the liquid film sensor.