Virtual segment: Store–carry–forward relay-based support for wide-area non-real-time data exchange

We have proposed the concept of the virtual segment (VS), in which a global communication service is provided by combining a store–carry–forward scheme using vehicles with broadband wireless/wired network infrastructures along roads connected to the Internet. The VS can be a practical framework for non-real-time, asynchronous message transfer (especially for large messages) in a cost-effective manner. In this study, a critical implementation design issue, the message forward scheduling, in the VS approach is discussed and investigated through computer simulation by our developed VS simulator that has reflected the results of the field experiment for realistic performance evaluation.     

Business process integration as a solution to the implementation of supply chain management systems

In the domain of supply chain management (SCM), various software packages have been developed for planning business strategies. To solve the problem of system productivity in applying planning packages, we propose a solution concept, business process integration (BPI), which fuses workflow and enterprise application integration (EAI) technology. Two characteristic policies are included in BPI. The first is to design the minimum set of business processes for real-time information sharing with planning packages without changing other processes. The second is to integrate several systems with EAI technology and to manage their execution with a workflow tool. Based on these policies, we propose various design templates and integration adapters. Our evaluation shows that using BPI, a target system can be developed with less manpower, in less time, and with higher quality than previous methods.     

Highly reliable a‐IGZO TFTs on a plastic substrate for flexible AMOLED displays

We have successfully reduced threshold voltage shifts of amorphous In–Ga–Zn–O thin‐film transistors (a‐IGZO TFTs) on transparent polyimide films against bias‐temperature stress below 100 mV, which is equivalent to those on glass substrates. This high reliability was achieved by dense IGZO thin films and annealing temperature below 300 °C. We have reduced bulk defects of IGZO thin films and interface defects between gate insulator and IGZO thin film by optimizing deposition conditions of IGZO thin films and annealing conditions. Furthermore, a 3.0‐in. flexible active‐matrix organic light‐emitting diode was demonstrated with the highly reliable a‐IGZO TFT backplane on polyimide film. The polyimide film coating process is compatible with mass‐production lines. We believe that flexible organic light‐emitting diode displays can be mass produced using a‐IGZO TFT backplane on polyimide films.     

Pseudo-binary system Bi2O3-TeO2 in air

The phase equilibria in the pseudo-binary system Bi₂O₃-TeO₂ at 600° 950° C in air were examined by solid-state reaction techniques and X-ray powder diffraction method. Four pseudo-binary compounds appeared, i.e., -Bi₂O₃ type solid solution having a compositional range of (1-x)Bi₂O₃·xTeO₂ wherex=0 0.4 a new compound Bi₆Te₂O₁₅ which has an orthorhombic cell of a=2.27(4) nm, b=1.06(1) nm and c = 0.539(8) nm, 2Bi₂O₃ · 3TeO₂, and an unidentified phase Bi₂O₃·2TeO₂. The formation of the phase Bi₆Te₂O₁₅, in which all the Te ions are hexavalent, was confirmed by the thermogravimetry and by the Mössbauer spectra. The liquidus curves for whole system were determined by DTA method.     

Correction of color information of a 3D model using a range intensity image

Most active optical range sensors record, simultaneously with the range image, the amount of light reflected at each measured surface location: this information forms what is called a range intensity image, also known as a reflectance image. This paper proposes a method that uses this type of image for the correction of the color information of a textured 3D model. This color information is usually obtained from color images acquired using a digital camera. The lighting condition for the color images are usually not controlled, thus this color information may not be accurate. On the other hand, the illumination condition for the range intensity image is known since it is obtained from a controlled lighting and observation configuration, as required for the purpose of active optical range measurement. The paper describes a method for combining the two sources of information, towards the goal of compensating for a reference range intensity image is first obtained by considering factors such as sensor properties, or distance and relative surface orientation of the measured surface. The color image of the corresponding surface portion is then corrected using this reference range intensity image. A B-spline interpolation technique is applied to reduce the noise of range intensity images. Finally, a method for the estimation of the illumination color is applied to compensate for the light source color. Experiments show the effectiveness of the correction method using range intensity images.     

Anode‐voltage‐control circuit for compensation of luminance deterioration

Abstract— An external driving circuit that has realized long lifetime, power‐consumption control, and peak luminance for organic light‐emitting diode (OLED) displays have been developed. This circuit realizes an effective method for constant‐anode‐voltage (CV) driving refered to as clamped inverter (CI) driving. The feature of CV driving is to achieve low‐power consumption compared with constant‐anode‐current (CC) driving and to control the power consumption and peak luminance according to the image because display luminance can be easily changed by controlling the anode voltage. On the other hand, CV driving has the problem that luminance deterioration appears to be serious compared with that of CC driving because the current of the OLED element decreases according to usage time. To cope with this, a lifetime compensation circuit that has increased the anode voltage so that it compensates for the luminance deterioration has been developed. This circuit can compensate not only the decrease in current but also the decrease in luminance at a constant current that CC driving cannot. However, increasing the anode voltage causes an increase in stress on the OLED element. The influence of stress on OLED lifetime was verified. As a result, it was confirmed that this circuit can extend the lifetime by 32% even if the anode voltage is increased, causing stress on the OLED structure.     

Decomposition of timed automata for solving scheduling problems

A decomposition algorithm for scheduling problems based on timed automata (TA) model is proposed. The problem is represented as an optimal state transition problem for TA. The model comprises of the parallel composition of submodels such as jobs and resources. The procedure of the proposed methodology can be divided into two steps. The first step is to decompose the TA model into several submodels by using decomposable condition. The second step is to combine individual solution of subproblems for the decomposed submodels by the penalty function method. A feasible solution for the entire model is derived through the iterated computation of solving the subproblem for each submodel. The proposed methodology is applied to solve flowshop and jobshop scheduling problems. Computational experiments demonstrate the effectiveness of the proposed algorithm compared with a conventional TA scheduling algorithm without decomposition.     

Calculating accumulations

Theaccumulation strategy consists of generalizing a function over an algebraic data structure by inclusion of an extra parameter, anaccumulating parameter, for reusing and propagating intermediate results. However, there remain two major difficulties in this accumulation strategy. One is to determinewhere andwhen to generalize the original function. The other, surprisingly not yet receiving its worthy consideration, is how to manipulate accumulations. To overcome these difficulties, we propose to formulate accumulations ashigher order catamorphisms, and provide several general transformation rules for calculating accumulations (i.e., finding and manipulating accumulations) bycalculation-based (rather than a search-based) program transformation methods. Some examples are given for illustration. Zhenjiang Hu, Dr.Eng.: He is an Assistant Professor in Information Engineering at the University of Tokyo. He received his BS and MS in Computer Science from Shanghai Jiao Tong University in 1988 and 1990 respectively, and his Dr. Eng. degree in Information Engineering from the University of Tokyo in 1996. His current research concerns programming languages, functional programming, program transformation, and parallel processing. Hideya Iwasaki, Dr.Eng.: He is an Associate Professor in Information Engineering at the University of Tokyo. He received the M.E. degree in 1985, the Dr. Eng. degree in 1988 from the University of Tokyo. His research interests are list processing languages, functional languages, parallel processing, and constructive algorithmics. Masato Takeichi, Dr.Eng.: He is Professor in Mathematical Engineering and Information Engineering at the University of Tokyo since 1993. After graduation from the University of Tokyo, he joined the faculty at the University of Electro-Communications in Tokyo before he went back to work at the University of Tokyo in 1987. His research concerns the design and implementation of functional programming languages, and calculational program transformation systems.     

A programmable editor for developing structured documents based on bidirectional transformations

This paper presents an application of bidirectional transformation to the design and implementation of a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on a view of the document, and the editor automatically derives an efficient and reliable document source and a transformation that produces the document view. The editor is unique in its programmability, in the sense that transformations can be obtained through editing operations. It uses the view-updating technique developed in the database community and a new bidirectional transformation language that can describe not only the relationship between the document source and its view, but also the data dependency in the view.