Detection of Multiple Blockages in Parallelized Microreactors

In a plant consisting of parallelized microreactors (MRs), the product quality is lowered because of a lack of flow uniformity among them when blockage occurs. It is not practical to install sensors in every MR from the viewpoint of cost when detecting the blocked MRs. In the previous study, the multiple blockage detection (MBD) method using a small number of sensors was proposed, but its performance became low when the number of sensors decreased. Here, the conventional algorithm for MBD is improved by considering the process behavior on blockage occurrence, and the effectiveness of the improved algorithm is demonstrated through a numerical case study. The effects of flow distributor types and sensor types on the MBD performance are numerically investigated.     

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.     

Superplastic behaviour of Ti-48at.%Al two-phase titanium aluminide compacts made from mechanically alloyed powder

An HIP compact of MA-processed powder having a nominal composition of Ti-48at.% Al was produced. The compact consisted of a large amount of TiAl(λ) and a small amount of Ti₃Al (₂), in a completely ultra-fine equiaxed grain structure. This two-phase compact showed typical superplastic deformation behaviour. A maximum elongation of 550% was obtained. A strain exponent, n = 2, and grain size exponent, p = 2, were determined from the results of a strain-rate-change test and a creep test at constant initial stress using samples having various grain sizes, respectively. The activation energy for creep, Q_c at constant stress was calculated to be 350 kJ/mole. It is concluded that the superplastic deformation mechanism of the material under study is grain boundary sliding controlled by lattice diffusion in the TiAl phase.     

Phase equilibria of quasi-binary systems consisting of multicomponent polymers 1 and 2. IV: Poly(ethylene oxide)/poly(propylene oxide) systems

To confirm the reliability of the theory of phase equibria of multicomponent polymer 1/multicomponent polymer 2 systems (i.e. quasi-binary systems) and the method of computer experiment based on this theory (Brit. Polym. J., 23 (1990)285; 23 (1990)299; Polym. Int., 29 (1992)219), could point curves (CPC), two-phase volume ratios ( R ) and critical solution points (CSP) have been determined experimentally for the quasi-binary mixtures of poly(ethylene oxide) (M¯_w = 647, M¯_w/M¯_n = 1.15; M¯_w and M¯_n, the weight-average and numberaverage molecular weights, respectively) and poly(propylene oxide) (M¯_w = 2028, M¯_w/M¯_n = 1.08; and M_w = 2987, M_w/M_n = 1.13). The hydroxyl end groups of both polymers were methoxylated in advance by the Cooper & Booth method (Polymer, 18 (1977)164). The thermodynamic interaction parameter between both polymers, χ₁₂, and the concentration dependence parameters for the above quasi-binary systems were determined by the method proposed in a previous paper (Brit. Polym. J., 23 (1990)299). CPC, R and CSP values calculated on the basis of the theory are in good agreement with the values determined experimentally.     

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.

     

GBLT-VG for High User Densities by User Group Behavior and Hot Point in MMO Virtual Environment

Massively Multiplayer Online (MMO) games have large-scale virtual environments. Here, we propose a load distribution technique called the Group Based Load-distribution Technique with Virtual Group (GBLT-VG) that utilizes Peer-to-Peer (P2P) communication to maintain scalability under high user density conditions in MMO virtual environments. A common problem of P2P virtual environments is that user group behavior frequently generates high user density conditions. Existing techniques to manage the virtual environment cannot maintain performance in such high user density situations. The proposed technique, GBLT-VG, reduces area management loads of manager peers by introducing a new manager who manages a user neighbor group. GBLT-VG forms the user neighbor group efficiently by using party function under high user density conditions caused by users?? cooperative behaviors. In addition, GBLT-VG reduce the management load by using a virtual group when a number of parties is small, thereby decreasing the existing managers?? loads dynamically. This paper also presents simulation results demonstrating how GBLT-VG can reduce the average number of users managed by the server.     

Laser-Sintered Barium Titanate

Laser sintering of alkoxy-derived ultrafine BaTiO₃ powders was investigated. The temperature increases of the sample with laser irradiation were measured with a thermocouple. It was found that laser irradiation could generate enough heat to sinter ceramics. A slurry was prepared by mixing an alkoxy-derived BaTiO₃ powder, binder additives, solvent, and plasticizer. The slurry was tape cast and dried to give a green sheet. The green sheet was laser sintered and was then characterized by SEM, XRD, and density measurements. The effect of burnout before laser irradiation and the characteristic microstructure of laser-sintered BaTiO₃ are described.     

Conductive Papers Containing Metallized Polyester Fibers for Electromagnetic Interference Shielding

Conductive papers were developed for preventing or reducing electromagnetic interference (EMI), and their shielding efficiency was evaluated. This type of conductive paper consists of wood pulp, synthetic pulp and metallized polyester fibers (0.5–2.0 mm long and 14 m in diameter) whose surfaces are coated with nickel alone (Ni-PET) or copper and nickel double layers (Ni-Cu-PET) by electroless plating. In this report, the effect of the characteristics of these metallized fibers, such as their conductivity, geometry and the concentration of fibers in paper, which lead to high efficiency for shielding effectiveness is discussed. For instance, one of the conductive papers (80 g/m2) which was prepared by mixing 40% Ni-Cu-PET and 60% synthetic polyethylene pulp showed over 40 dB shielding effectiveness between 10 MHz and 1 GHz.     

Graft copolymerization of styrene onto cellulose acetate p-nitrobenzoate by chain transfer reaction

Styrene was grafted onto cellulose acetate p-nitrobenzoate (CANB) by chain transfer reaction of growing polymer radicals to the pendant nitro groups of CANB. A copolymer with a branch for every 17.2 nitro groups was obtained. This result indicates that the pendant aromatic nitro group is more effective in obtaining a graft copolymer by radical mechanism than pendant double bond on the trunk polymer previously reported, where graft copolymers with a branch for several hundred of double bonds are produced.