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.     

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.

     

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.     

Radical polymerization of butyl acrylate and random copolymerization of styrene and butyl acrylate and styrene and methyl methacrylate mediated by monospiro- and dispiropiperidinyl-N-oxyl radicals

Radical polymerization of butyl acrylate (BA) and random copolymerizations of styrene (St) and BA and St and methyl methacrylate (MMA) in the presence of 7-aza-15-hydroxydispiro[5.1.5.3]hexadecane-7-yloxyl (1) and 1-aza-2,2-dimethyl-4-hydroxyspiro[5.6]dodecane-1-yloxyl (2) were carried out. Radical polymerization of BA at 120 °C in the presence of 1 gave poly(BA) with M_n=20200 and M_w/M_n=1.30 at 23% conversion. The termination of polymerization observed around ∼20% conversion was solved to a certain extent by an addition of small amounts of dicumyl peroxide, and poly(BA) with M_n=37400 and M_w/M_n=1.33 was obtained in 46% yield. Random copolymerizations of St and BA and St and MMA in the presence of 1 and 2 at 80 °C gave the corresponding random copolymers with narrow polydispersities of 1.12-1.38 at the molar fraction above 0.30 of St in feed. The kinetic study for the NO-C bond homolysis of the corresponding alkoxyamines prepared from 1 and 2 were carried out, and evaluation of the preexponential factors (A_act) and the activation parameters (E_act) showed that the steric factors of the nitroxides are reflected mainly on E_act.     

Detection of a brain aneurysm and a way to search for a brain aneurysm aimed at the development of a system to simulate an operation

In this article, a system is proposed for a simulated operation which would help a trainee surgeon to perform a medical operation to ensure that a cerebral aneurysm does not burst. The physician will have acquired empirical medical technologies from operations in traditional clinical teaching. However, there is a problem with safety and the burden to the patient. Therefore, recently a new training approach for a simulated medical operation using virtual reality has been explored. With the aim of developing a simulated system for a medical operation for a cerebral aneurysm, we considered the necessary functions such as detecting the brain aneurysm that is the target of the operation, and searching for a suitable blood vessel to make a plan for the operation.     

Paraconsistent Computation Tree Logic

It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than other types of logical systems. In this paper, a paraconsistent computation tree logic, PCTL, is obtained by adding paraconsistent negation to the standard computation tree logic CTL. PCTL can be used to appropriately formalize inconsistency-tolerant temporal reasoning. A theorem for embedding PCTL into CTL is proved. The validity, satisfiability, and model-checking problems of PCTL are shown to be decidable. The embedding and decidability results indicate that we can reuse the existing CTL-based algorithms for validity, satisfiability, and model-checking. An illustrative example of medical reasoning involving the use of PCTL is presented.     

Uniformity of gallium doped zinc oxide thin film prepared by pulsed laser deposition

Recently, transparent conducting oxide thin films have attracted attention for the application to transparent conducting electrodes. In this work, we evaluated the uniformity of electrical, optical and structural properties for gallium doped zinc oxide thin films prepared on the 10 × 10 cm² silica glass substrate by pulsed laser deposition. The resistivity, carrier concentration, mobility, bonding state and atomic composition of the film were uniform along in-plane and depth direction over the 10 × 10 cm² area of the substrate. The film showed the average transmittance of 81-87%, resistivity of 1.4 × 10^− 3 Ω cm, carrier concentration of 9.7 × 10²⁰/cm³ and mobility of 5 cm²/Vs in spite of the amorphous X-ray diffraction pattern. The gradual thickness distribution was found, however, the potential for large-area and low temperature deposition of transparent conducting oxide thin film using pulsed laser deposition method was confirmed.