Foundation of logic programming based on inductive definition

A logical system of inference rules intended to give the foundation of logic programs is presented. The distinguished point of the approach taken here is the application of the theory of inductive definitions, which allows us to uniformly treat various kinds of induction schema and also allows us to regardnegation as failure as a kind of induction schema. This approach corresponds to the so-called least fixpoint semantics. Moreover, in our formalism, logic programs are extended so that a condition of a clause may be any first-order formula. This makes it possible to write a quantified specification as a logic program. It also makes the class of induction schemata much larger to include the usual course-of-values inductions.     

Intra-aortic balloon pump driven by a linear pulse motor

The Intra-Aortic Balloon Pump (IABP) is an effective device in assisting circulation. However, a small-sized IABP is required in related fields. This paper proposes a new small-sized IABP which is driven by a Linear Pulse Motor (LPM) rather than an air-driven motor. In general, the LPM has advantages of high thrust/input power and good controllability. The developed LPM for the IABP drive has high thrust/input power of 19.9 newtons/W. It also has kinetic thrust of 270 newtons at the range of speed from 100 to 140 mm/s. The IABP using the LPM has an extremely simple construction. As the result of mock testing, the IABP using an LPM not only gives the same performance as the ordinary air-driven IABP, but the mass of the IABP will be reduced to half the size of the ordinary one.     

Apatite Coating on Organic Polymers by a Biomimetic Process

Dense and uniform layers of a biologically active carbonate-containing hydroxyapatite can be formed on various kinds of organic polymers by the following biomimetic method. First, a substrate is set in contact with particles of CaO–SiO₂-based glass soaked in a simulated body fluid (SBF) with ion concentrations nearly equal to those of human blood plasma for forming the apatite nuclei on the substrate. Second, the substrate is soaked in another solution highly supersaturated with respect to the apatite, e.g, with ion concentrations 1.5 times those of SBF (1.5SBF) for making the apatite nuclei grow on the substrate in situ. The induction period for the apatite nucleation, which is defined as the time of the first treatment required for forming enough of the apatite nuclei to make the continuous layer after the second treatment, was almost 24 h for most of the examined polymers. The adhesive strength of the formed apatite layer to the polymers was as high as 3 to 4 M Pa for poly(ethylene terephthalate), poly-ether sulfone, and poly (vinyl alcohol) hydrogel. This type of apatite–organic polymer composite is expected to be useful for repairing not only living hard tissues but also soft ones.     

Determination of the heat change in solvent extraction of metals. The extraction of zinc (II) from hydrochloric acid solutions by high molecular weight amines in various organic solvents

The heat change associated with the uptake of zinc (II) has been examined by using a twin type isoperibol calorimeter in the extraction of zinc (II) from hydrochloric acid solutions by trioctylamine hydrochloride (TOAHCl) and trioctylmethyl-ammonium chloride (TOMAC) in various organic solvents such as benzene, chlorobenzene, o-dichlorobenzene, toluene, m-xylene, nitrobenzene, carbon tetrachloride and 1, 2-dichloroethane. It was found that the dependence of apparent molar heat change (the value of the heat change detected with regard to the concentration of zinc (II) reacted) on the aqueous chloride concentration could be attributed to the change in the distribution of zinc (II) chloride species in the aqueous phase. Taking account of this fact, variable Y, which constitutes the sum of the change in enthalpies for the relevant steps in the extraction of zinc (II), except the transformation of ZnCl_j^(2-j)+ to ZnCl₄^2-, in the aqueous phase, is introduced. From the values of Y obtained, it is concluded that in the extraction by TOMAC, Y correlates with the solubility parameter of diluent, suggesting that the organic phases may be regarded as regular solutions, while in the extraction by TOAHCl, no clear-cut relation holds between Y and the physico-chemical constants of the diluent such as dipole moment, dielectric constant and solubility parameters.     

Recovery of Tritium from Wastewater Generated by Decommissioning of Gas Cooled Reactors (GCR)

The recovery of tritium from wastewater generated by the decommissioning of a 166‐MWe GCR, Tokai‐1, nuclear reactor was evaluated. The dimensions of two tritium separation columns, water distillation process and hydrogen‐isotope exchange with hydrophobic Pt‐catalyst, were evaluated numerically under the assumptions that the recovery of tritium from the wastewater would be completed in five years and the wastewater after the recovery of tritium would be suitable for release into the environment. It was found that, in addition to lower steam, the column was smaller than that for the water distillation process. The hydrogen‐isotope exchange process was suitable for the treatment of wastewater, not only for a process design point of view but also for a reduction of energy consumption.     

Nitridation of TiO2 fibres prepared by the sol-gel method

Preparation of TiN fibres by ammonolysis of the sol-gel derived TiO₂ fibres has been performed in the present study. TiO₂ gel fibres were prepared from Ti(O-i-C₃H₇)₄ by hydrolysis and polycondensation. As a result, TiN is found to form above 900°C. A thermodynamic interpretation of the nitridation reaction of TiO₂ was considered. Moreover, from the kinetic treatment, it is found that the nitridation reaction of TiO₂ is controlled by diffusion of either reactant (NH₃) or one of the products (H₂O) through the reaction layer.     

Fish scale collagen. Preparation and partial characterization

Fish scale was decalcified and disaggregated and then collagen was prepared by limited pepsin digestion. The yields of collagens were very high on a dry weight basis; sardine 50.9%, red sea bream 37.5% and Japanese sea bass 41.0%, respectively. These scale collagens were heterotrimers with a chain composition of (α1)₂α2. Although the denaturation temperature of the collagen was lower than land animal collagen, fish scales will have potential as an important collagen source for use in various industries.     

Changes in stable isotopes, lignin-derived phenols, and fossil pigments in sediments of Lake Biwa, Japan: implications for anthropogenic effects over the last 100 years

We measured stable nitrogen (N) and carbon (C) isotope ratios, lignin-derived phenols, and fossil pigments in sediments of known ages to elucidate the historical changes in the ecosystem status of Lake Biwa, Japan, over the last 100 years. Stable N isotope ratios and algal pigments in the sediments increased rapidly from the early 1960s to the 1980s, and then remained relatively constant, indicating that eutrophication occurred in the early 1960s but ceased in the 1980s. Stable C isotope ratios of the sediment increased from the 1960s, but decreased after the 1980s to the present. This decrease in stable C isotope ratios after the 1980s could not be explained by annual changes in either terrestrial input or algal production. However, when the C isotope ratios were corrected for the Suess effect, the shift to more negative isotopic value in atmospheric CO(2) by fossil fuel burning, the isotopic value showed a trend, which is consistent with the other biomarkers and the monitoring data. The trend was also mirrored by the relative abundance of lignin-derived phenols, a unique organic tracer of material that originated from terrestrial plants, which decreased in the early 1960s and recovered to some degree in the 1980s. We detected no notable difference in the composition of lignin phenols, suggesting that the terrestrial plant composition did not change markedly. However, we found that lignin accumulation rate increased around the 1980s. These results suggest that although eutrophication has stabilized since the 1980s, allochthonous organic matter input has changed in Lake Biwa over the past 25 years.     

Organically-bound copper in lake and river waters in Japan

Organically-bound copper, organic matter concentrations and molecular weight of the organic matter in lake and river waters at Hokkaido in Japan were measured. The interaction between copper and the organic matter was also investigated by using Sephadex gel. The ratio of organicallybound copper to total copper was 10–70%. There was no relationship between the copper complex and the organic matter. From thermodynamic calculation, it was concluded that the variation of the ratio from 10 to 70% depended on the variation of stability constant of copper with the organic matter. The organic matter has molecular weight of 300–700 which resembles fulvic acid originating in river water.     

Microscopic surface structure of C/SiC composite mirrors for space cryogenic telescopes

We report on the microscopic surface structure of carbon-fiber-reinforced silicon carbide (C/SiC) composite mirrors that have been improved for the Space Infrared Telescope for Cosmology and Astrophysics (SPICA) and other cooled telescopes. The C/SiC composite consists of carbon fiber, silicon carbide, and residual silicon. Specific microscopic structures are found on the surface of the bare C/SiC mirrors after polishing. These structures are considered to be caused by the different hardness of those materials. The roughness obtained for the bare mirrors is 20 nm rms for flat surfaces and 100 nm rms for curved surfaces. It was confirmed that a SiSiC slurry coating is effective in reducing the roughness to 2 nm rms. The scattering properties of the mirrors were measured at room temperature and also at 95 K. No significant change was found in the scattering properties through cooling, which suggests that the microscopic surface structure is stable with changes in temperature down to cryogenic values. The C/SiC mirror with the SiSiC slurry coating is a promising candidate for the SPICA telescope.