Development of flexible displays using back‐channel‐etched In–Sn–Zn–O thin‐film transistors and air‐stable inverted organic light‐emitting diodes

We developed flexible displays using back‐channel‐etched In–Sn–Zn–O (ITZO) thin‐film transistors (TFTs) and air‐stable inverted organic light‐emitting diodes (iOLEDs). The TFTs fabricated on a polyimide film exhibited high mobility (32.9 cm²/Vs) and stability by utilization of a solution‐processed organic passivation layer. ITZO was also used as an electron injection layer (EIL) in the iOLEDs instead of conventional air‐sensitive materials. The iOLED with ITZO as an EIL exhibited higher efficiency and a lower driving voltage than that of conventional iOLEDs. Our approach of the simultaneous formation of ITZO film as both of a channel layer in TFTs and of an EIL in iOLEDs offers simple fabrication process.     

Finding division points for a time series corpus based on structural change point detection

This paper describes a method of finding the proper points for dividing a corpus with time series information to extract local and frequent keywords. Previous works have proposed the corpus separating method for extracting keywords from a corpus. However, this method divides a corpus at equal intervals so that it cannot consider the topic changes. The present paper utilizes the idea of the topic model and the topic extracted through latent Dirichlet allocation to consider the topic change. This paper identifies the points at which large topic changes occur to divide the corpus using structural change detection method. An experiment involving newspaper articles with 5-year topics confirm that the points at which the topics of each document change are detected to find the division points based on the idea of structural change point detection and our method is better than previous methods based on recall measure.     

A full‐color eyewear display using planar waveguides with reflection volume holograms

Abstract— A full‐color eyewear display with over 85% see‐through transmittance with a 16° horizontal field of view was developed. Very low color crosstalk, less than 0.008 Δu′v′ uniformity, and 120% NTSC color gamut were achieved. Waveguides with two in‐ and out‐coupling reflection volume hologram elements enabled a simple configuration that has an optical engine beside the user's temples. The reflection volume hologram elements used on the waveguides realized a small thickness of 1.4 mm for each waveguide, and an out‐coupling reflection volume hologram used as an optical combiner contributed a high see‐through transmittance of 85% due to its wavelength selectivity. However, there are technical challenges in achieving a reasonable screen size and quality color images with optics that utilize holographic waveguides because holograms have large chromatic dispersions compared to conventional optical elements such as lenses and mirrors. Approaches to overcome these issues are described.     

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.     

Laser range scanner based on self-calibration techniques using coplanarities and metric constraints

In this paper, we propose a novel method to achieve both dense 3D reconstruction of the scene and estimation of the camera intrinsic parameters by using coplanarities and other constraints (e.g., orthogonalities or parallelisms) derived from relations between planes in the scene and reflected curves of line lasers captured by a single camera. In our study, we categorize coplanarities in the scene into two types: implicit coplanarities, which can be observed as reflected curves of line lasers, and explicit coplanarities, which are, for example, observed as walls of a building. By using both types of coplanarities, we can construct simultaneous equations and can solve them up to four degrees of freedom. To upgrade the solution to the Euclidean space and estimate the camera intrinsic parameters, we can use metric constraints such as orthogonalities of the planes. Such metric constraints are given by, for example, observing the corners of rectangular boxes in the scene, or using special laser projecting device composed of two line lasers whose laser planes are configured to be perpendicular.     

Network Design with Edge-Connectivity and Degree Constraints

We consider the following network design problem; Given a vertex set V with a metric cost c on V, an integer k≥1, and a degree specification b, find a minimum cost k-edge-connected multigraph on V under the constraint that the degree of each vertex v∈V is equal to b(v). This problem generalizes metric TSP. In this paper, we show that the problem admits a ρ-approximation algorithm if b(v)≥2, v∈V, where ρ=2.5 if k is even, and ρ=2.5+1.5/k if k is odd. We also prove that the digraph version of this problem admits a 2.5-approximation algorithm and discuss some generalization of metric TSP.     

Generating function of color information detection using genetic programming

This article proposes a function for color information detection using genetic programming (GP). In image-processing, object detection is one of the important processes. In cases where the object has a complex color domain, detection becomes more difficult. We generated a detection function for a complex color domain by using GP. The detection function deals with one pixel of an input image, and it obtains an output image by processing for all pixels. We aimed at a reduction in the time taken by a human to consider an image-processing system design. We applied the generation of GP to detect a target color region in actual images. The results show that the detection function has sufficient ability for these detections.     

Basic study about cooperative movement between a human and an agent with entrainment

The use of an agent in the environment, as in medical treatment, welfare, the construction field, and the home, is examined. It is necessary for the agent to be able to work cooperatively with a human, and that may be a problem. Therefore, this study pays attention to the phenomenon that is called entrainment. This is the phenomenon where the rhythm of a certain person and the partner in the communication is synchronized. The purpose of this study is to perform a basic examination into applying an entrainment in order to realize cooperation in operations between a human and an agent. Since many human rhythms are expressed by a nonlinear oscillator, we simulated limited cycle oscillators, which are one of two nonlinear oscillators that cause interactions between agents, as the basic examination for this achievement. Consequently, entrainment of limited cycle oscillators with rhythms which differ has been checked in certain conditions. As a result, the possibility that cooperative movement could be gained was suggested.     

Using formal methods to increase confidence in a home network system implementation: a case study

A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Before being deployed, one has to guarantee the correctness, the safety, and the security of the system. Here, we present the approach chosen to validate the Java implementation of a home network system. We rely on the Java Modelling Language to formally specify and validate an abstraction of the system. This is a substantially revised version of our paper that appeared in the proceedings of the Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Poitiers-Futuroscope, France, December 2007.