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).     

ESR and Mössbauer studies of the precipitation process of various ferrites from silicate glasses

ESR and Mössbauer studies of the precipitation process of various ferrites from silicate glasses were made to characterize the precipitation mechanism. The changes in linewidth (H _1/2) and effectiveg-value (g _eff) in the ESR spectra of the precipitation process are well explained in terms of super-exchange interaction between magnetic ions and interparticle dipolar interaction between precipitated ferrites. The precipitation tendency of spinel type ferrites from silicate glasses was found to be in the following order: NiFe₂O₄CoFe₂O₄>Fe₃O₄ZnFe₂O₄, MnFe₂O₄. The above order coincided with the order of octahedral site preference energies of divalent transition metal ions.     

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.     

Dissipation of Turbulent Kinetic Energy near a Bubble Plume

Profiles of the rate of dissipation of turbulent kinetic energy were inferred from temperature microstructure measurements near a bubble plume at the center of a tank with diameter of 13.7 m and maximum depth of 8.3 m. Six sets of between 18 and 51 profiles were collected at airflow rates of 0.1–0.6 L/s, measured at atmospheric pressure, and ensemble-averaged dissipation profiles were calculated. The dissipation in all cases was between 10?8 and 10?6?m2/s3 in most of the profile, but it increased sharply near the water surface. Energy considerations are used to discuss the experimental results in terms of previous numerical models of bubble plume turbulence. Two previous numerical studies show that the turbulence dissipates between 15 and 30% of the available power. In the experiments, the fraction is less than 1% because some of the energy of the plume is used to generate waves on the water surface and the profiles used to compute the volume-averaged dissipation were relatively far from the bubble plume.     

Back‐channel‐etched thin‐film transistor using c‐axis‐aligned crystal In–Ga–Zn oxide

Our crystalline In–Ga–Zn oxide (IGZO) thin film has a c‐axis‐aligned crystal (CAAC) structure and maintains crystallinity even on an amorphous base layer. Although the crystal has c‐axis alignment, its a‐axis and b‐axis have random arrangement; moreover, a clear grain boundary is not observed. We fabricated a back‐channel‐etched thin‐film transistor (TFT) using the CAAC‐IGZO film. Using the CAAC‐IGZO film, more stable TFT characteristics, even with a short channel length, can be obtained, and the instability of the back channel, which is one of the biggest problems of IGZO TFTs, is solved. As a result, we improved the process of manufacturing back‐channel‐etched TFTs.     

Dual-Mode Space-Temporal Simultaneous Processing Equalizer

A tapped delayed line adaptive array antenna (TDL-AAA) and a space-temporal simultaneous processing equalizer (ST-SPE) are proposed as simple space-temporal equalizers based on minimum mean square error (MMSE) criterion. The ST-SPE has a compact hardware with a small number of taps compared to that of the TDL-AAA. The ST-SPE can reduce the computational complexity of the space-temporal joint equalization and it works effectively under the minimum phase condition such as appeared at line-of-sight (LOS) propagation environments at a high antenna height base station. However the ST-SPE cannot work under a non-minimum phase condition caused under N-LOS (non-line-of-sight). On the other hand, the TDL-AAA whose reference signal is synchronized at the center tap (TDL-AAA_C) can work even in the non-minimum phase condition. In this paper, we propose a dual-mode space-temporal simultaneous processing equalizer (Dual-mode ST-SPE) which has a simple configuration and also works in non-minimum phase condition. The Dual-mode ST-SPE can reduce the computational complexity compared to the TDL-AAA_C. Yoshihiro Ichikawa received the B.E. degree in department of communication engineering, in National Defense Academy in 1995, and M.E. and D.E. degree from Ibaraki University in 2001 and 2004, respectively. He joined the Japan Air Self Defense Force in 1995. His research interests are an adaptive algorithm, an antenna design, and an adaptive array antenna. Shigeki Obote received his B.E., M.E. and D.E. degrees in electrical and electronic engineering from Tottori University, Tottori, Japan, in 1996, 1998 and 2000, respectively. Since 2000, he has been with department of media and telecommunications engineering, faculty of engineering, Ibaraki University, Ibaraki, Japan, where he is currently a associate professor. His research interests are in adaptive array antenna and wireless communications systems. Kenichi Kagoshima received the B.E., M.E. and D.E. degrees in electronics engineering from the Tokyo Institute of Technology, Tokyo, Japan, in 1969, 1971, and 1974, respectively. He joined the Nippon Telegraph and Telephone Corporation (NTT) Laboratory in 1974 and researched and developed many kinds of radio communication antennas. Since 1997, he has been a professor at Ibaraki University, Ibaraki, Japan. Dr. Kagoshima was a Secretary and Treasure, Vice Chairman, and Chairman of the IEEE AP-S Tokyo Chapter in 1992, 1993, and 1994, respectively. He was a chair of antennas and propagation professional group of IEICE in 1999 and 2000. In 1973, he received the Yonezawa Prize for Young Engineers and 1998, best paper award from IEICE, respectively.