Translating a Linear Logic Programming Language into Java

There have been several proposals for logic programming language based on linear logic: Lolli [8], Lygon [7], LO [3], LinLog [2], Forum [11], HACL [10]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The efficient handling of resource formulas is, therefore, an important issue in the implementation of these languages. Lolli, Lygon, and Forum are implemented as interpreter systems; Lolli is on SML and λProlog, Lygon is on Prolog, Forum is on SML, λProlog and Prolog. However, none of them have been implemented in Java.In this paper, we describe the Prolog Café ¹ system which translates a linear logic programming language called LLP to Java via the LLPAM [12] [5], an extension of the standard WAM [16] [1] for LLP. LLP is a superset of Prolog and a subset of Lolli. The main difference from the first implementation [4] is resource compilation. That is to say, resource formulas are compiled into closures which consist of a reference of compiled code and a set of bindings for free variables. Calling these resources is integrated with the ordinary predicate invocation.Prolog Café is portable to any platform supporting Java and easily expandable with increasing Java's class libraries. In performance, on average, Prolog Café generate 2.2 times faster code for a set of classical Prolog benchmarks compared with jProlog.     

Fish oil fatty acid esters of phytosterols alter plasma lipids but not red blood cell fragility in hamsters

In an attempt to combine the hypocholesterolemic properties of plant sterols with the hypotriglyceridemic action of fish oil FA, plant sterols have recently been esterified to fish oil n−3 PUFA. The objective of this study was to determine the effects of plant sterols esterified to n−3 PUFA on plasma lipid levels and erythrocyte fragility. For 5 wk, male Golden Syrian hamsters were fed diets varying in cholesterol and plant sterol content: (i) Noncholesterol (semipurified diet with no added cholesterol or plant sterols) (ii), Cholesterol (0.25% cholesterol) (iii), Sterols (0.25% cholesterol plus 1% nonesterified plant sterols), or (iv) Fish oil esters of plant sterols (0.25% cholesterol plus 1.76% EPA and DHA sterol esters, providing 1% plant sterols). The addition of fish oil esters of plant sterols to the cholesterol diet decreased (P=0.001) plasma total cholesterol levels by 20%, but nonesterified plant sterols did not have such a beneficial impact. In addition, non-HDL cholesterol concentrations were 29% lower in hamsters fed fish oil esters of plant sterols than in hamsters fed nonesterified plant sterols (P<0.0001). Despite higher (P<0.0001) plant sterol levels in whole erythrocytes of hamsters fed nonesterified plant sterols and fish oil esters of plant sterols compared with hamsters fed no plant sterols, no difference was observed in erythrocyte fragility. The present results show that EPA and DHA esters of plant sterols have a hypocholesterolemic effect in hamsters, and that these new esters of plant sterols exert no detrimental effect on erythrocyte fragility.     

Accelerated testing for long-term durability of GFRP laminates for marine use

Our proposed accelerated testing methodology for the long term durability of polymer composites is based on the time–temperature superposition principle to be held for the viscoelasticity of polymer matrix. The long term flexural fatigue life of plain woven glass fiber/vinyl-ester (GFRP) laminates for conventional marine use was predicted based on the proposed methodology. As results, the flexural fatigue strengths of GFRP laminates decreases strongly with increasing time and temperature as well as the number of cycles to failure. The long term fatigue strength at any time, temperature and number of cycles to failure can be predicted using the master curves of fatigue strength obtained based on our proposed accelerated testing methodology.     

Simple timing generation along workspace paths for nonredundant robotic limbs

This article focuses on the relation between workspace path geometry and the timing along the path, obtained via simple timing generators yielding constant end-link speed motion, natural motion, and two types of globally optimized joint velocity motions. The generators are designed within the Singularity-Consistent framework developed originally to tackle motion control in the vicinity of kinematic singularities. A comparative study highlights how performance expressed in terms of various kinematic and dynamic criteria of local (peak joint velocity and torque) and global (joint velocity/torque uniformity and total mechanical power) nature is influenced by the curvature of the path image in configuration space and by the vicinity of singular configurations. Results from simulations with a simple planar 2R limb and a spatial 3R positioning limb following linear and circular paths are presented.     

Reinvestigation of the Phase Equilibria in the La2O3-P2O5 System

The phase equilibria between the solid phases in the La₂O₃-P₂O₅ system were reinvestigated with solid state reaction method. The existence of La₃PO₇, La₇P₃O₁₈, LaPO₄, and LaP₃O₉ was confirmed. La₇P₃O₁₈ can form only at ~1200 °C or higher possibly due to kinetic reasons, but it is stable at lower temperatures. On the other hand, three intermediate compounds proposed to exist, La₅PO₁₀, La₄(P₂O₇)₃, and La₂P₄O₁₃ were not obtained in this study. Based on the literature, La₄(P₂O₇)₃ and La₂P₄O₁₃ are considered to be metastable phases, although thermodynamic evidence is still required.     

Object substitution masking induced by illusory masks: Evidence for higher object-level locus of interference.

A briefly presented target can be rendered invisible by a lingering sparse mask that does not even touch it. This form of visual backward masking, called object substitution masking, is thought to occur at the object level of processing. However, it remains unclear whether object-level interference alone produces substitution masking because previous studies manipulated only the presence or absence of a physical masking stimulus after the removal of the target, leaving the possibility of some image-level interference contributing to the total masking. To assess object-level interference in the present study, we used an illusory-contour figure as an object mask, adjacent to the possible target locations, which was created by rotating 4 previewed inducers shaped like Pac-Man to face inward to form a subjective square region. The illusory object persisting beyond the target offset reduced the visibility of the target only when presented in its immediate vicinity. This masking effect could not be attributed to the local directional changes, symmetry, or perceptual closure of the inducers near the target. These results provide strong evidence for a high-level locus of interference in object substitution masking. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The optimum zinc content in set calcium phosphate cement for promoting bone formation in vivo

The final aim of our study is to develop a novel calcium phosphate cement based on zinc-containing α-tricalcium phosphate (αZnTCP) and evaluate its potential as bonegraft material in vivo. In the present study, in vivo efficacy of zinc in hardened bodies of αZnTCP was explored. The hardened bodies prepared from αZnTCP with zinc content of 0.00, 0.04, 0.08, 0.11 and 0.19 wt % were prepared by mixing pure αTCP or αZnTCP powder with 12 wt% sodium succinate solution at a solid-to-liquid ratio of 2.0. Due to the release of zinc ions into the physiological salt solution during curing, the zinc content in the hardened bodies was calculated to be 0.00, 0.03, 0.06, 0.10 and 0.18 wt%, respectively. The hardened bodies were implanted in the femora and tibia of white rabbits for 4 weeks. Histological and histomorphometric evaluation showed that the hardened body containing 0.03 wt% zinc, significantly promoted more new bone formation without evoking adverse tissue reactions than that without zinc. The hardened bodies containing 0.06 and 0.10 wt% zinc also resulted in the increase in numbers of active osteoblasts surrounding the new bone but caused inflammation at the implant sites. Results of this study indicate that the hardened body prepared with αZnTCP is superior to that prepared with αTCP in promoting new bone formation due to the release of zinc ions. This study also indicates that the optimum amount of zinc in the hardened body is about 0.03 wt % to avoid inflammatory reaction.     

Symbiotic systems consisting of large-FBR and small water-cooled thorium reactors (WTR)

Small long life water-cooled thorium reactors (WTR; 30–300 MWth) have been investigated. For realizing thorium cycle of the reactors, a uranium–thorium mixture core is introduced to fast breeder reactors (FBR; 3000 MWth) to be a ²³³U producer. In the present study, two distinct metallic fuel pins, with natural uranium and thorium, are loaded into a large sodium-cooled FBR. The FBR itself is self-sustained by the plutonium produced in the uranium pins. Under the equilibrium burnup state, the FBR spent fuels are periodically discharged with a certain discharge rate and then separated. Some actinides are returned to the FBR core while ²³³U, which is discharged from the thorium pins, is utilized for the WTR fresh fuel. Fissile support capability is the main investigated parameter of the study. The system achieves higher support capability at higher burnup and lower power of the WTR, and shows that larger number of uranium pins is better for the FBR criticality while larger number of thorium pins and lower burnup give better support factor capability. For a symbiotic system consisting 3000 MWth FBR and 100 MWth WTRs, where discharged fuel burnup is 96 and 60 GWd/t for the FBR and WTRs, one FBR can support 5 WTRs.     

Restoration of hypolimnetic dissolved oxygen through light irradiation-induced periphyton production

Large quantities of detritus can accumulate on the bottom sediments of eutrophic lakes, leading to depletion of dissolved oxygen (DO) in the hypolimnion. Decreased redox potential associated with low hypolimnetic DO concentrations can accelerate the remobilization of ammonia and phosphorus from the sediments back into the water column. As maintenance of aerobic conditions in the hypolimnion is an important consideration for successful lake management, this research focused on the use of periphyton production of DO to control hypolimnetic DO levels. To augment periphyton photosynthesis, light was irradiated to the bottom sediments via glass fibres, in order to examine the effects of light irradiation on DO restoration on bottom sediments in test chambers. Dissolved oxygen restoration by periphytic photosynthesis was confirmed in these experiments, with both temperature and light intensity having positive effects on the areal net oxygen production rate. The Q ₁₀ temperature coefficient for net oxygen production was estimated to be 2.24. In typical temperate-zone lakes, the hypolimnetic water temperature is <15 °C, resulting in an expected areal net oxygen production rate ranging from 100 to 200 mg O₂ m⁻² day⁻¹ at a light irradiation of 50 μE m⁻² s⁻¹. Based on these experimental results, the condenser area required to achieve DO restoration under hypolimnetic light irradiation alone was estimated to be 3.2–4.1% of the hypolimnetic area. Thus, hypolimnetic light irradiation combined with hypolimnetic aeration can reduce energy consumption required for hypolimnetic aeration in DO restoration efforts.     

Strategies for reducing supplemental medium cost in bioethanol production from waste house wood hydrolysate by ethanologenic Escherichia coli: inoculum size increase and coculture with Saccharomyces cerevisiae

In this paper, we report a simultaneous realization of both efficient ethanol production and saving medium nutrient (corn steep liquor [CSL]) during bioethanol fermentation of overliming-treated hydrolysate of waste house wood (WHW) using ethanologenic Escherichia coli KO11. In cultivation using WHW hydrolysate supplemented with 4% (v/v) CSL and 0.2 g-dry cell weight (DCW)/l E. coli KO11 cells, the overall ethanol yield reached 84% of the theoretical value at 61 h. When we conducted the cultivation with 1% CSL to reduce the supplemental medium cost, the overall ethanol yield remained in the range of 66-72% even at 90 h. We proposed two alternative methods for increasing the overall yield even with 1% CSL. The first method involved increasing the inoculum size of E. coli KO11 up to 0.8 g-DCW/l, where 83% of the overall yield was attained at 60 h of cultivation. The second method involved the coculture of 0.2 g-DCW/l E. coli KO11 together with 0.02 g-DCW/l of Saccharomyces cerevisiae TJ1, and the overall yield reached 81% at 47 h of cultivation.