制造可卷曲的显示器

有机电子领域的最新进展，使得制造超薄的高柔性有源矩阵“塑料上系统”电泳显示器成为可能。     

Circuits and AMOLED display with self‐aligned a‐IGZO TFTs on polyimide foil

A process to make self‐aligned top‐gate amorphous indium‐gallium‐zinc‐oxide (a‐IGZO) thin‐film transistors (TFTs) on polyimide foil is presented. The source/drain (S/D) region's parasitic resistance reduced during the SiN interlayer deposition step. The sheet resistivity of S/D region after exposure to SiN interlayer deposition decreased to 1.5 kΩ/□. TFTs show field‐effect mobility of 12.0 cm²/(V.s), sub‐threshold slope of 0.5 V/decade, and current ratio (I_ON/OFF) of >10⁷. The threshold voltage shifts of the TFTs were 0.5 V in positive (+1.0 MV/cm) bias direction and 1.5 V in negative (?1.0 MV/cm) bias direction after extended stressing time of 10⁴ s. We achieve a stage‐delay of ~19.6 ns at V_DD = 20 V measured in a 41‐stage ring oscillator. A top‐emitting quarter‐quarter‐video‐graphics‐array active‐matrix organic light‐emitting diode display with 85 ppi (pixels per inch) resolution has been realized using only five lithographic mask steps. For operation at 6 V supply voltage (V_DD), the brightness of the display exceeds 150 cd/m².     

A new in vivo Raman probe for enhanced applicability to the body

This paper describes a new in vivo Raman probe that allows investigation of areas of the body that are otherwise difficult to access. It is coupled to a previously described commercially available in vivo Raman spectrometer that samples the skin through an optical flat. In the work presented here, the laser light emerges from a smaller pen-shaped probe. It thus works on the same principles as the original spectrometer, while its relative performance in terms of signal-to-noise ratio of the spectra and obtained spatial resolution is only slightly diminished. It allows the window to be placed against the subject in more curved and recessed areas of subject's body and also for them to be more comfortable while the measurements take place. Results from three areas of the body that have previously been very difficult to study are described, the mouth, axilla, and scalp. Results from the scalp and axilla strata cornea (SC) show significant differences from the "normal" SC of the volar forearm. For instance, the scalp is observed to have lower amounts of natural moisturizing factors (NMF) compared to the volar forearm within the same subjects. Also for both the axilla and scalp the lipids show a change in order as compared to the lipids in the volar forearm and also differences from each other. The potential significance of these observations is discussed. Further, we show how we can probe the mouth, in this case observing the presence of the astringent tea polyphenol epigallocatechin gallate within the oral mucosa.     

Organic Transistors in Optical Displays and Microelectronic Applications

Organic thin‐film transistors (OTFTs) offer unprecedented opportunities for implementation in a broad range of technological applications spanning from large‐volume microelectronics and optical displays to chemical and biological sensors. In this Progress Report, we review the application of organic transistors in the fields of flexible optical displays and microelectronics. The advantages associated with the use of OTFT technology are discussed with primary emphasis on the latest developments in the area of active‐matrix electrophoretic and organic light‐emitting diode displays based on OTFT backplanes and on the application of organic transistors in microelectronics including digital and analog circuits.     

Verified bytecode verification and type-certifying compilation

This article presents a type certifying compiler for a subset of Java and proves the type correctness of the bytecode it generates in the proof assistant Isabelle. The proof is performed by defining a type compiler that emits a type certificate and by showing a correspondence between bytecode and the certificate which entails well-typing. The basis for this work is an extensive formalization of the Java bytecode type system, which is first presented in an abstract, lattice-theoretic setting and then instantiated to Java types.     

Operating system verification—An overview

This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. We survey the state of the art, the advantages and limitations of machine-checked code proofs, and describe two specific ongoing larger-scale verification projects in more detail. NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council.     

BCI meeting 2005--workshop on technology: hardware and software.

This paper describes the outcome of discussions held during the Third International BCI Meeting at a workshop to review and evaluate the current state of BCI-related hardware and software. Technical requirements and current technologies, standardization procedures and future trends are covered. The main conclusion was recognition of the need to focus technical requirements on the users' needs and the need for consistent standards in BCI research.     

BCI2000: a general-purpose brain-computer interface (BCI) system

Many laboratories have begun to develop brain-computer interface (BCI) systems that provide communication and control capabilities to people with severe motor disabilities. Further progress and realization of practical applications depends on systematic evaluations and comparisons of different brain signals, recording methods, processing algorithms, output formats, and operating protocols. However, the typical BCI system is designed specifically for one particular BCI method and is, therefore, not suited to the systematic studies that are essential for continued progress. In response to this problem, we have developed a documented general-purpose BCI research and development platform called BCI2000. BCI2000 can incorporate alone or in combination any brain signals, signal processing methods, output devices, and operating protocols. This report is intended to describe to investigators, biomedical engineers, and computer scientists the concepts that the BC12000 system is based upon and gives examples of successful BCI implementations using this system. To date, we have used BCI2000 to create BCI systems for a variety of brain signals, processing methods, and applications. The data show that these systems function well in online operation and that BCI2000 satisfies the stringent real-time requirements of BCI systems. By substantially reducing labor and cost, BCI2000 facilitates the implementation of different BCI systems and other psychophysiological experiments. It is available with full documentation and free of charge for research or educational purposes and is currently being used in a variety of studies by many research groups.     

Surface Directed Phase Separation of Semiconductor Ferroelectric Polymer Blends and their Use in Non‐Volatile Memories

The polymer phase separation of P(VDF‐TrFE):F8BT blends is studied in detail. Its morphology is key to the operation and performance of memory diodes. In this study, it is demonstrated that it is possible to direct the semiconducting domains of a phase‐separating mixture of P(VDF‐TrFE) and F8BT in a thin film into a highly ordered 2D lattice by means of surface directed phase separation. Numerical simulation of the surface‐controlled de‐mixing process provides insight in the ability of the substrate pattern to direct the phase separation, and hence the regularity of the domain pattern in the final dry blend layer. By optimizing the ratio of the blend components, the number of electrically active semiconductor domains is maximized. Pattern replication on a cm‐scale is achieved, and improved functional device performance is demonstrated in the form of a 10‐fold increase of the ON‐current and a sixfold increase in current modulation. This approach therefore provides a simple and scalable means to higher density integration, the ultimate target being a single semiconducting domain per memory cell.