Real-time measurement of pointing action by using DSP

This paper presents an approach of measuring in real-time the vector of finger that is pointing to an object. DSP is used in the operation processing unit in order to do the real-time processing. The steps include the extraction of flesh-colored regions from an image, the labeling of the flesh-colored regions, and the detection of two characteristic positions on the finger so that the direction that the finger is pointing at will be calculated. The entire process takes about 29 msec, which makes it possible to have the frame rate of 34 fps. With this frame rate, this measurement approach is considered real-time and promising to be merged into other application systems. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

Effects of vitamin B6 deficiency on cytokine levels and lymphocytes in mice

The effects of vitamin B6 (B6) deficiency on cytokine levels and proportions of lymphocyte subsets in BALB/c mice were investigated. The proportion of lymphocytes from the thymus and spleen of mice given no B6, that were CD4+ CD8- T cells, was larger than in mice given B6, and the ratio of CD8+ to CD4+ T cells in the thymus of mice given no B6 was lower. The concentrations of interleukin-5 and -10 in spleen cells stimulated in vitro with concanavalin A were significantly higher in the mice with B6 deficiency, as was their plasma corticosterone concentrations. These results suggested that B6 is necessary to maintain cytokine levels and lymphoid function in the thymus and spleen of mice.     

Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation

In this study, we introduce Gentzen-type sequent calculi BDm and BDi for a modal extension and an intuitionistic modification, respectively, of De and Omori’s extended Belnap–Dunn logic BD+ with classical negation. We prove theorems for syntactically and semantically embedding BDm and BDi into Gentzen-type sequent calculi S4 and LJ for normal modal logic and intuitionistic logic, respectively. The cut-elimination, decidability, and completeness theorems for BDm and BDi are obtained using these embedding theorems. Moreover, we prove the Glivenko theorem for embedding BD+ into BDi and the McKinsey–Tarski theorem for embedding BDi into BDm.

     

Automatic optical inspection of plated through-holes for ultrahigh density printed wiring boards

An automatic optical through-hole inspection system for ultrahigh density printed wiring boards (PWBs) using leakage light detection has been developed. To detect the dim leakage light emitted from the through-hole defect, we enhanced the sensitivity of the light detector 150 times using a microchannel plate tube. However, the tube caused two problems: stray light sensing and image distortion. To solve these problems, we optically isolated the sensing optics and developed a distortion correction method. We have developed a prototype system that can detect a defect as small as 100 m.     

Co-crosslinking blend of incompatible polymers VI: Poly(vinyl chloride) toughened with polyethylene via a co-crosslinking technique

A binary blend which consists of two incompatible polymers such as poly(vinyl chloride) and polyethylene has been performed through a partial co-crosslinking reaction with peroxide to give a co-crosslinked blend with a uniform dispersion of small polyethylene particles and with an improved mechanical property. The results are obtained through the formation of a co-crosslinked product which acts as a potential solid phase dispersant as well as a well-bonded reinforcing interlayer on polyethylene particles uniformly dispersed in poly(vinyl chloride) matrix. The resulting blends (PVC/PE=10/90 wt) give carbon spherules of 0.5 to 1m diameter through pressure-carbonization at 650° C for 1 h.     

Multi-level,multi-objective optimization in process engineering

This paper presents a method for feasible decomposition applicable to large-scale, non-linear, multi-objective problems. The method, comprising a multi-level problem formulation and an interactive algorithm, has distinct advantages for dealing with real-world multi-objective optimization which is carried out by hierarchically arranged units of decision-making. The method is illustrated by its application to the optimal design of a water use and treatment process system.     

Changes in pore properties of phenol formaldehyde-based carbon with carbonization and oxidation conditions

Porous carbon beads were prepared by carbonizing at 700 and 1000 °C under N₂ (NN-series) or CO₂ atmospheres (CO-series) and a subsequent oxidization with boiling nitric acid solution (13%, v/v) for 3 h (ANN- and ACO-series). BET surface area of both CO- and NN-series samples tends to increase with increasing carbonization temperature, but CO-series samples show higher BET surface areas (700 °C: 610 m²/g, 1000 °C: 780 m²/g) compared with those of NN-series samples (700 °C: 380 m²/g, 1000 °C: 580 m²/g). After acid oxidation, BET surface areas of NN-series samples increased from 580 to 650 m²/g, whereas those of CO-series samples decreased from 780 to 600 m²/g. On subsequent acid oxidation, acidic surface functional groups increased in both CO- and NN-series samples, but the CO-series samples tend to have much more acidic surface functional groups. Adsorption of halogenated methanes, such as tetra-, tri- and dichloromethanes, onto the samples of CO-, NN-, ACO- and ANN-series was thought to be driven initially by the basicity, but the acidic functional groups that could attract adsorbates via dipole-dipole interaction might hinder the adsorption of subsequently incoming adsorbates.     

Heavy oil sorption and recovery by using carbon fiber felts

On fibrous carbon materials, including activated carbon fibers, sorption capacity for heavy oils, less viscous A-grade and more viscous C-grade, was determined. Sorption capacity depended strongly on their bulk density; the correlation was the same as that found previously on exfoliated graphite and carbonized fir fibers. On carbon fiber felts, excellent recycling performance was observed, though sorption capacity was not so high as on exfoliated graphite and carbonized fir fibers. By filtration under suction, about 90% of sorbed A-grade heavy oil could be recovered and no decrease in sorption capacity was detected even after eight cycles. By washing with solvents, n-hexane for A- and C-grade oils and A-grade oil for C-grade oil, almost 100% recovery with no marked reduction in sorption capacity was found for each cycle. For the felts of PAN-based carbon fibers, rather severe operations for oil recovery, centrifugation and squeezing with twisting, could be applied without pronounced decreases in sorption capacity and recovery ratio.