An efficient state space generation for the analysis of real-timesystems

State explosion is a well-known problem that impedes analysis and testing based on state-space exploration. This problem is particularly serious in real time systems because unbounded time values cause the state space to be infinite even for simple systems. The author presents an algorithm that produces a compact representation of the reachable state space of a real time system. The algorithm yields a small state space, but still retains enough information for analysis. To avoid the state explosion which can be caused by simply adding time values to states, our algorithm uses history equivalence and transition bisimulation to collapse states into equivalent classes. Through history equivalence, states are merged into an equivalence class with the same untimed executions up to the states. Using transition bisimulation, the states that have the same future behaviors are further collapsed. The resultant state space is finite and can be used to analyze real time properties. To show the effectiveness of our algorithm, we have implemented the algorithm and have analyzed several example applications     

Current manufacturing technologies for TFT‐LCDs

Abstract— TFT‐LCD panels for notebook‐PC applications requires a thin and light form factor, low power consumption, and good display quality, whereas the desktop monitor has different requirements such as large panel size, wide viewing angle, high resolution, brightness, etc. However, for the fifth‐generation of mass production, current panel technologies have to improve in order to cope with these requirements. In this article, various approaches to the manufacturing technologies of next‐generation TFT‐LCDs are discussed.     

Studies on a LaF3‐coated MgO protecting layer in AC‐plasma‐display panels

A new protecting layer, a LaF₃‐coated MgO layer, in color AC‐plasma‐display panels (PDPs) was studied in order to overcome the weakness of the conventional single MgO protecting layer. The material characteristics of the new layer were examined by using variations in the deposition process. The display characteristics were also examined by implementing their processes to actual PDPs. It was demonstrated that this method is effective in lowering the firing and sustaining voltages of PDPs and enhancing the brightness of the panel as well.     

Sliding mode-like fuzzy logic control with self-tuning the deadzone parameters

In this paper, a fuzzy logic controller (FLC) is designed based on the similarity between the FLC and the sliding mode control (SMC). The proposed scheme provides the sliding mode-like FLC with fast self-tuning the dead-zone parameters (boundary layer thickness) under parameter variations of the controlled system. To show the validity and the effectiveness of the proposed control method, simulations are performed for the position control of a rotary inverted pendulum     

A case-based reasoning approach to cognitive map-driven tacitknowledge management

Knowledge is at the heart of knowledge management. In literature, a lot of studies have been suggested covering the role of knowledge in improving the performance of management. However, there are few studies about investigating knowledge itself in the arena of knowledge management. Knowledge circulating in an organization may be explicit or tacit. Until now, literature in knowledge management shows that it has mainly focused on explicit knowledge. On the other hand, tacit knowledge plays an important role in the success of knowledge management. It is relatively hard to formalize and reuse tacit knowledge. Therefore, research proposing the explication and reuse of tacit knowledge would contribute significantly to knowledge management research. In this sense, we propose using cognitive map (CM) as a main vehicle of formalizing tacit knowledge, and case-based reasoning as a tool for storing CM-driven tacit knowledge in the form of frame-typed cases, and retrieving appropriate tacit knowledge from the case base according to a new problem. Our proposed methodology was applied to a credit analysis problem in which decision-makers need tacit knowledge to assess whether a firm under consideration is healthy or not. Experiment results showed that our methodology for tacit knowledge management can provide decision makers with robust knowledge-based support.     

A sales agent for part manufacturers: VMSA

The sales activity of most parts manufacturing companies is based on orders of buyers. The process of promotion, receipt and selection of orders of the parts manufacturers is closely coupled with the load status of the production lines. On deciding whether to accept an order or not, as well as negotiating with buyers, sales persons need information such as load and schedule of production lines, and manufacturability of the order. Manufacturability analysis, process planning, and scheduling are therefore key features in developing an agent of sales activity for the parts manufacturing business. In this paper, an intelligent agent, a virtual manufacturing-based sales agent (VMSA) with multi-agent architecture is proposed to support the sales activity for the parts manufacturers in the Internet environment. A VMSA has an integrated architecture of agent and virtual manufacturing. The prototype of VMSA has been developed for a machine parts manufacturing company that has lathe machines, drilling machines, cutting machines, and milling machines.     

Simulation and fabrication of piezoresistive membrane type MEMS strain sensors

Two piezoresistive (n-polysilicon) strain sensors on a thin Si₃N₄/SiO₂ membrane with improved sensitivity were successfully fabricated by using MEMS technology. The primary difference between the two designs was the number of strips of the polysilicon patterns. For each design, a doped n-polysilicon sensing element was patterned over a thin 3 μm Si₃N₄/SiO₂ membrane. A 1000×1000 μm² window in the silicon wafer was etched to free the thin membrane from the silicon wafer. The intent of this design was to fabricate a flexible MEMS strain sensor similar in function to a commercial metal foil strain gage. A finite element model of this geometry indicates that strains in the membrane will be higher than strains in the surrounding silicon. The values of nominal resistance of the single strip sensor and the multi-strip sensor were 4.6 and 8.6 kΩ, respectively. To evaluate thermal stability and sensing characteristics, the temperature coefficient of resistance [TCR=(ΔR/R₀)/ΔT] and the gage factor [GF=(ΔR/R₀)/] for each design were evaluated. The sensors were heated on a hot plate to measure the TCR. The sensors were embedded in a vinyl ester epoxy plate to determine the sensor sensitivity. The TCR was 7.5×10⁻⁴ and 9.5×10⁻⁴/°C for the single strip and the multi-strip pattern sensors. The gage factor was as high as 15 (bending) and 13 (tension) for the single strip sensor, and 4 (bending) and 21 (tension) for the multi-strip sensor. The sensitivity of these MEMS sensors is much higher than the sensitivity of commercial metal foil strain gages and strain gage alloys.     

Direct-Referencing Two-Dimensional-Array Digital Microfluidics Using Multilayer Printed Circuit Board

Digital (i.e., droplet-based) microfluidics, by the electrowetting-on-dielectric (EWOD) mechanism, has shown great potential for a wide range of applications, such as lab-on-a-chip. While most reported EWOD chips use a series of electrode pads essentially in 1D line pattern designed for specific tasks, the desired universal chips allowing user-reconfigurable paths would require the electrode pads in 2D pattern. However, to electrically access the electrode pads independently, conductive lines need to be fabricated underneath the pads in multiple layers, raising a cost issue particularly for disposable chip applications. In this paper, we report the building of digital microfluidic plates based on a printed circuit board (PCB), in which multilayer electrical access lines were created inexpensively using the mature PCB technology. However, due to its surface topography and roughness and resulting high resistance against droplet movement, the as-fabricated PCB surfaces require high (~500 V) voltages unless coated with or immersed in oil. Our goal is the EWOD operations of droplets not only on oil-covered surfaces but also on dry ones. To meet the varying levels of performances, three types of gradually complex post-PCB microfabrication process are developed and evaluated. By introducing land-grid-array sockets in the packaging, a scalable digital microfluidic system with a reconfigurable and low-cost chip is also demonstrated.     

A 2‐in. a‐Si:H TFT‐LCD with embedded backlight control TFT sensors with various channel widths

Abstract— A 2.0‐in. a‐Si:H TFT‐LCD with embedded TFT sensors for the control of the backlight intensity according to the ambient light intensity has been developed. Two types of a‐Si:H TFT sensors with various channel widths were embedded into a TFT backplane with bottom‐ and top‐gate structures for measuring the ambient light and backlight illumination, respectively. The output signal, measured by a readout IC, increased with backlight intensity until 20,000 lux.