A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Dependence of electrical properties on interfacial layer of Ta2O5 films

The change in the thickness and chemical states of the interfacial layer and the related electrical properties in Ta₂O₅ films with different annealing temperatures were investigated. The high-resolution transmission electron microscopy and X-ray photoelectron spectroscopy analyses revealed that the 700 °C-annealed Ta₂O₅ film remained to be amorphous and had the thinnest interfacial layer which was caused by Ta-silicate decomposition to Ta₂O₅ and SiO₂. In addition, the electrical properties were improved after annealing treatments. Our results suggest that an annealing treatment at 700 °C results in the highest capacitance and the lowest leakage current in Ta₂O₅ films due to the thinnest interfacial layer and non-crystallization.     

Neural network’s selection of color in UI design of social software

Neural Computing and Applications - In recent years, the design of social software UI has become a design research focus in the field of design. Color affects many factors in UI design. However,...     

Environmental effects on the stress corrosion cracking susceptibility of 3.5NiCrMoV steels in high temperature water

Constant elongation rate tests (CERTs) were carried out to investigate the effects of environmental factors of dissolved oxygen and temperature on the stress corrosion cracking (SCC) susceptibility of 3.5NiCrMoV turbine steels. Tests were conducted in pure water of various dissolved oxygen concentrations at temperatures of 50 °C-200 °C in the range of strain rates from 5 × 10⁻⁸/s to 1 ×  10⁻⁶/s. Dissolved oxygen significantly affected the SCC susceptibility of turbine steels in water. The SCC susceptibility of the turbine steels increases as the dissolved oxygen concentration in water increases. The elongation of the turbine steels tested in aerated water at 150 °C at a strain rate of 1 × 10⁻⁷/s decreased to half of that of the steels tested in deaerated water in the same test condition. And the SCC susceptibility of the steels increased with decreasing strain rate, and with increasing temperature. The increase of the SCC susceptibility of the turbine steels in the higher dissolved oxygen environment is considered to be due to the higher content of dissolved oxygen enhancing the reduction reactions of oxygen on the metal surfaces (cathode) and accelerating the dissolution rate at the crack tips (anode) by galvanic attack of an aeration cell.     

Feasibility of Sludge Ozonation for Stabilization and Conditioning

A pilot-scale sludge treatment plant was built to investigate the feasibility of ozonation processes for waste activated sludge treatment. Ozonation of wastewater sludge resulted in mass reduction by mineralization as well as by supernatant and filtrate recycle. Another advantage of sludge ozonation is a significant improvement of settleability and dewaterability. Experimental results showed that mass reduction of 70% and volume reduction of 85% compared with the control sludge was achieved through the sludge ozonation at a dose of 0.5?gO₃/gDS. It is also interesting to note that the filterability deteriorates up to ozone dose of 0.2?gO₃/gDS and then improves considerably at a higher ozone dose. The filterability could be improved by chemical conditioning even at a low ozone dose. The economic feasibility by cost analysis reveals that ozonation processes can be more economical than other alternative processes for sludge treatment and disposal at small-sized wastewater treatment plants.     

Design optimization of a viscous micropump with two rotating cylinders for maximizing efficiency

This study presents design optimization of a viscous micropump with two rotating cylinders. The desired performance of the pump is to maximize the pumping efficiency while satisfying the constraints on flow rate and geometry. As a preliminary step, the effects of geometric configurations on the pumping performance are investigated by carrying out parametric studies using an unstructured grid Navier–Stokes method. Next, an optimization problem is formulated to determine the design variable values which maximize the pumping efficiency subject to the constraints. Then, a computational procedure, combining the analysis method with a sequential metamodel-based optimization method, is established to solve the optimization problem formulated. Finally, this procedure is applied to the optimization of ten design cases with varying flow rates specified. The optimization results demonstrate the effectiveness of the design optimization method presented in this study by showing that the efficiencies of the optimally designed micropumps are enhanced without any constraint violations.     

Factors influencing rumen microbial growth rates and yields: effect of amino acid additions to a purified diet with nitrogen from urea.

Effects of isonitrogenous urea and amino acid additions upon microbial growth in rumen contents from a cow fed a purified diet in which urea was the sole nitrogen source were studied. Incorporation of amino acids into microbial cells, volatile fatty acids, and carbon dioxide was estimated. Rates of microbial growth, volatile fatty acid production, and effects of amino acids upon microbial nitrogen yields were highest right after feeding and decreased with time after feeding. Microbial growth and amounts of amino acids incorporated into microbial cells, volatile fatty acids and carbon dioxide were related closely to quantity of starch remaining in the rumen. High amounts of starch increased microbial protein synthesis from carbon-14 labeled amino acids and reduced amounts of amino acid fermentation. Estimated microbial protein yields per day were 326.0, 444.4, 497.3, and 527.3 g when 0, 15, 30, and 45 mg amino acid nitrogen replaced urea nitrogen during incubation. Respective values for microbial cells per mole estimated adenosine triphosphate were 15.2, 19.2, 21.0, and 24.5. Microbial cell yields per kg carbohydrate digested were 139.0, 189.5, 212.0, and 224.8 g for 0, 15, 30, and 45 mg amino acid nitrogen. Addition of small amounts of amino acids to a diet containing urea as the sole nitrogen source improved considerably rumen microbial protein yields.     

Effects of medium high pressure treatments on protease activity

The ability of Lactobacillus manihotivorans LMG 18010 to produce l(+)-lactic acid from a high concentration of starch by direct fermentation was investigated. To improve the production of lactic acid from a highly concentrated starch, fed-batch cultures were carried out with different feeding strategies to reduce substrate inhibition. The highest lactic acid production was 71.4 g/L, which was obtained by intermittent feeding of concentrated starch media containing nitrogen sources. After 5 days of fermentation, about 87% of the substrate was consumed with a volumetric productivity of 0.6 g/L·h which is 1.8 times higher than that obtained from batch fermentation. This result clearly shows that intermittant feeding of a highly concentrated substrate solution during fermentation is an efficient way of eliminating substrate inhibition.