On‐Line Detection Of State‐Of‐Charge In Lead Acid Battery Using Radial Basis Function Neural Network

To realize a stable supply of electric power in an automobile, an accurate and reliable detection method of SOC (state‐of‐charge) in a lead acid battery is required. However the dynamics of the battery is very complicated. The characteristics of the battery greatly change due to its degradation. Moreover a automobile has many driving patterns, which are unknown beforehand. Thus it is not easy to detect the SOC analytically. In this paper, to overcome this problem, a new on‐line SOC detection method with a radial basis function neural network is proposed. In order to increase the detection accuracy of degraded batteries, physical values related to the degradation degree are used as input signal in the neural network. The detection accuracies for different sized batteries and various degradation states are investigated.     

Travel Time Reliability in Vehicle Routing and Scheduling with Time Windows

This paper presents calibration of the Vehicle Routing and scheduling Problems with Time Windows-Probabilistic (VRPTW-P) model which takes into account the uncertainty of travel times. Probe vehicle data of travel times were obtained from usual operation of pickup-delivery trucks in South Osaka area. The optimal solution of the VRPTW-P model resulted in reducing total cost, running times and CO₂, NOx and Particle Materials (PM) emissions compared with the usual operation. This is attributed to better routing of VRPTW-P to choose more reliable roads. Therefore, VRPTW-P can contribute to establish efficient and environmentally friendly delivery systems in urban area.     

Vivid image projection system using e‐Paper active screen

Projected image on a screen is not always vivid enough when it is projected in a bright room. We generally have to choose either vivid image in a dark room or dull image in a bright room. We have suggested a new projection system which can realize high contrast image projection in a bright room. It is consisted of electronic paper screen, projector, and light‐emitting diode room light. The electronic paper (e‐Paper) screen alternates its whole surface white/black with 120 Hz. Room lights are controlled with the same frequency of 120 Hz with the opposite phase as that of the e‐Paper screen. We have confirmed that our new system has achieved higher contrast than the conventional projection system and also enough readability of paper documents in the room simultaneously. We have thus confirmed that our new system can bring an ideal condition, for audience, which can realize a vivid image projection in a bright room.     

Generalized measuring-worm algorithm: high-accuracy mapping and movement via cooperating swarm robots

Recently, many extensive studies have been conducted on robot control via self-positioning estimation techniques. In the simultaneous localization and mapping (SLAM) method, which is one approach to self-positioning estimation, robots generally use both autonomous position information from internal sensors and observed information on external landmarks. SLAM can yield higher accuracy positioning estimations depending on the number of landmarks; however, this technique involves a degree of uncertainty and has a high computational cost, because it utilizes image processing to detect and recognize landmarks. To overcome this problem, we propose a state-of-the-art method called a generalized measuring-worm (GMW) algorithm for map creation and position estimation, which uses multiple cooperating robots that serve as moving landmarks for each other. This approach allows problems of uncertainty and computational cost to be overcome, because a robot must find only a simple two-dimensional marker rather than feature-point landmarks. In the GMW method, the robots are given a two-dimensional marker of known shape and size and use a front-positioned camera to determine the marker distance and direction. The robots use this information to estimate each other’s positions and to calibrate their movement. To evaluate the proposed method experimentally, we fabricated two real robots and observed their behavior in an indoor environment. The experimental results revealed that the distance measurement and control error could be reduced to less than 3 %.     

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

Type-Based Useless-Variable Elimination

Useless-variable elimination is a transformation that eliminates variables whose values does not affect the result of a computation. We present a type-based method for useless-variable elimination and prove its correctness. The algorithm is a surprisingly simple extension of the usual type-reconstruction algorithm. Our method has several attractive features. First, it is simple, so that the proof of the correctness is clear and the method can be easily extended to deal with a polymorphic language. Second, it is efficient: for a simply-typed -calculus, it runs in time almost linear in the size of an input expression. Moreover, our transformation is optimal in a certain sense among those that preserve well-typedness, both for the simply-typed language and for an ML-style polymorphically-typed language.     

Optical CO2 sensor with the combination of colorimetric change of α-naphtholphthalein and internal reference fluorescent porphyrin dye

A new optical CO₂ sensor based on the overlay of the CO₂ induced absorbance change of pH indicator dye α-naphtholphthalein with the fluorescence of tetraphenylporphyrin (TPP) was developed. The observed luminescence intensity from TPP at 655 nm increased with increasing the CO₂ concentration. The ratio I₁₀₀/I₀ values of the sensing films consisting of α-naphtholphthalein in ethyl cellulose layer and TPP in polystyrene layer, where I₀ and I₁₀₀ represent the detected luminescence intensities from a layer exposed to 100% nitrogen and 100% CO₂, respectively, that the sensitivity of the sensor, are more than 53.9. The response and recovery times of the sensing films consisting of α-naphtholphthalein in ethyl cellulose layer and TPP in polystyrene layer were less than 5 s for switching from nitrogen to CO₂, and for switching from CO₂ to nitrogen. The signal changes were fully reversible and no hysterisis was observed during the measurements. The highly sensitive optical CO₂ sensor based on fluorescence intensity changes of TPP due to the absorption change of α-naphtholphthalein with CO₂ was achieved.     

Z-type jump in electrical conductivity of samarium manganite

The electrical conductivities of non-stoichiometric samarium manganites were measured as a function of temperature and the existence of a Z-type jump in the conductivity curve was found near 1300 K, and a heat anomaly was also observed by differential thermal analysis, which should reflect the same phase transition as in LaMnO₃.