An inference method for the complete inverse of relative subsumption

We propose in this paper an inference method called Bottom Generalization for Inductive Logic Programming (ILP, for short). We give an inference procedure based on it, and prove that a hypothesis clauseH is derived by the procedure from an exampleE under a background theoryB iffH subsumesE relative toB in Plotkin’s sense. The theoryB can be any clausal theory, and the exampleE can be any clause which is not implied byB. The derived hypothesisH is a clause, but is not always definite. The result is proved by defining a declarative semantics for arbitrary consistent clausal theories, and showing that SB-resolution, which was originally introduced by Plotkin, gives their complete procedural semantics. We also show that Bottom Generalization is more powerful than both Jung’s method based on theV-operator and Saturant Generalization by Rouveirol, but not than Inverse Entailment by Muggleton. At the ILP ’97 workshop we called our inference method “Inverse Entailment,” but we have renamed it “Bottom Generalization” because we found that it differs from the original definition of Inverse Entailment. The main part of this work was accomplished while the author was visiting the Artificial Intelligence Group, Department of Computer Science, Technical University Darmstadt, Germany. Akihiro Yamamoto, Dr.: He is an Associate Professor of the Division of Electronics and Information Engineering at Hokkaido University. He received the B.S. degree from Kyoto University in 1985, and the M.S. and Dr.Sci. degrees from Kyushu University in 1987 and 1990 respectively. He was a guest researcher of Oxford University Computing Laboratory, the United Kingdom, from January 1996 to March 1996, and of Department of Computer Science at Technical University Darmstadt, Germany, from June 1996 to May 1997. His present interests include the application of Logic Programming and Theorem Proving to Machine Learning.     

Microstructure Control of Sintered Porous Yttria-Stabilized Zirconia as a Durable Thermal Shielding Material

The microstructure of a thermal shielding material affects its thermal conductivity and mechanical property. In this study, the effects of the sintering temperature and the polymethyl methacrylate powder as a pore-former on the microstructure of a sintered porous yttria-stabilized zirconia (YSZ), which is used as a durable thermal shielding material, were investigated. It became clear that the microstructure of the sintered YSZ could be controlled by the particle size and the amount of the pore-former and the sintering temperature. The effect of the yttria amount in the YSZ on the microstructure was also clarified.     

Physiological role of Ca2+-permeable nonselective cation channel in endothelin-1-induced contraction of rabbit aorta

The alpha-amylase of Streptomyces sp. IMD 2679 was subject to catabolite repression. Four different growth rates were achieved when the organism was grown at 40 degrees C and 55 degrees C in the presence and absence of cobalt, with an inverse relationship between alpha-amylase production and growth rate. Highest alpha-amylase yields (520 units/ml) were obtained at the lowest growth rate (0.062 h-1), at 40 degrees C in the absence of cobalt, while at the highest growth rate (0.35 h-1), at 55 degrees C in the presence of cobalt, alpha-amylase production was decreased to 150 units/ml. As growth rate increased, the rate of specific utilisation of the carbon source maltose also increased, from 46 to 123 micrograms maltose (mg biomass)-1 h-1. The pattern and levels of alpha-glucosidase (the enzyme degrading maltose) detected intracellularly in each case, indicate that growth rate effectively controls the rate of feeding of glucose to the cell, and thus catabolite repression.     

Single molecule fluorescence autocorrelation measurement on anisotropic molecular diffusion in nematic liquid crystal

Diffusion kinetics of three dyes in nematic liquid crystals are studied with single-molecule fluorescence autocorrelation spectroscopy. Markedly large anisotropy was observed in the diffusion coefficient and structure of diffusion molecules showed no marked effect on the anisotropy.     

Fluorous Surface‐Active Distannoxane Catalysts

Fluorous distannoxanes (XR^f₂SnOSnR^f₂X)₂⋅n H₂O (R_f=C₆F₁₃C₂H₄) ( 1 : X=C₈F₁₇SO₃, n=10; 4 : X=Cl, n=0) ( 1 ) catalyze the Mukaiyama aldol reaction and the allylation of aldehydes with tetraallyltin at room temperature in fluorous/organic biphasic solvent systems, in which the reactions proceed more rapidly than in a single organic or fluorous solvent. Due to the unique surface activity of 1 , the catalyst, organic substrate(s), and reagent(s) are distributed in both organic and fluorous phases to facilitate smooth reactions. Upon dilution with toluene after the reaction, the catalyst concentrates to the fluorous phase, while the organic substances migrate to the organic phase to effect facile catalyst recovery and recycling. By virtue of such a unique solvophilicity, a new version of fluorous biphase technology has been developed.     

Acetylation of loofa (Luffa cylindrica) sponge as immobilization carrier for bioprocesses involving cellulase

The feasibility of using loofa sponge for immobilization of cellulase-producing microorganisms was investigated by acetylating loofa sponge. Acetylation was achieved by autoclaving process of loofa sponge immersed in acetic anhydride at various temperatures for various times. The degree of acetylation, as inferred by the weight percentage gain (WPG), was enhanced by increasing both temperature and the duration of acetylation. The acetylation of a piece of loofa sponge in an autoclave at 120 degrees C for 20 min resulted in a WPG of about 8%, which was sufficient to protect the loofa sponge against cellulose degradation. The acetylated loofa sponge prepared under this condition was not decomposed by commercial cellulase and its structure was maintained for more than 720 h during repeated-batch treatments with commercial cellulase. A flocculating yeast (Saccharomyces cerevisiae IR-2) and a fungus (Trichoderma reesei QM9414) were successfully immobilized in the acetylated loofa sponge. In each case, the percentage of immobilized cells was as high as that obtained using nonacetylated loofa sponge. Acetylation had no adverse effects on cell growth and immobilization of T. reesei QM9414, as well as on cell growth and ethanol production by S. cerevisiae IR-2. T. reesei QM9414 immobilized on an acetylated loofa sponge was successfully used for repeated-batch cellulase production from commercial cellulose powder. Although the acetylated loofa sponge showed a slight weight loss, it was not disintegrated by activated sludge. The results obtained in this study showed that acetylated loofa sponge is suitable as an immobilization carrier for bioprocesses involving cellulase.     

Refinement of inverter model considering dead‐time for performance improvement in predictive instantaneous current control

Model predictive instantaneous‐current control (MPIC), which was proposed in our earlier works, enables us to achieve better instantaneous current control using mathematical models of an inverter and permanent magnet synchronous motors (PMSMs). However, dead‐time to avoid short breakdown in the inverter is not usually considered in a general inverter model. Such an unmodeled part in the inverter model prevents accurate prediction of current evolution in motor systems based on the model predictive control. Therefore, in this paper, we analyze current response resulting from the dead‐time in the MPIC, and propose a refined inverter model considering the dead‐time so that control performance is improved. The effectiveness of the proposed method is verified through simulation and experiments. © 2013 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.     

Effects of supplied gas humidity change on PEFC transient power generation

Polymer electrolyte fuel cells (PEFCs, PEMFCs) are gaining increasingly more attention as clean and efficient energy‐conversion devices. Vapor and liquid transport has a strong impact on the power generation characteristics and efficiency of PEFCs, and so proper water management is needed for efficiency and durability. However, water transport factors are not well understood, particularly during unsteady operation—often the case in vehicles and distributed stationary power generators. In this study, to understand and generalize the effects of local water transport on PEFC performance, transient mass transport characteristics inside a PEFC were investigated experimentally and numerically. For this purpose, we developed an unsteady two‐dimensional numerical model based on mass‐ and charge‐conservation equations in the channel, gas diffusion layer (GDL), and membrane electrode assembly (MEA). As necessary parameters for model development, we measured the water content of the MEA, the membrane resistivity, the activation overvoltage, overall mass transfer coefficient, and so on. The membrane resistivity greatly increases as the relative humidity decreases. The activation overvoltage is also affected by the relative humidity, and not only by the current density and oxygen activity. Current load and voltage changes are frequently used as PEFC transient inputs, but lead to very complicated and intractable phenomena such as changes in the amount of generated water and electro‐osmosis, state of the electrical double layer, and so on. Hence, stepwise changes in the relative humidity of the supplied gas were adopted in this study. The experimental and numerical transient responses were in good agreement under most operating conditions, and the reliability of our measurement methods for the water transport properties and our numerical model were confirmed. Here we discuss the dominant factor in the transient responses, and conclude that the transport resistance at the PEM–GDL interface is the largest and most dominant factor in a relatively dry state under unsteady operating conditions. © 2011 Wiley Periodicals, Inc. Heat Trans Asian Res; Published online in Wiley Online Library ( wileyonlinelibrary.com/journal/htj ). DOI 10.1002/htj.20371