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.     

HDAC8-Selective Inhibition by PCI-34051 Enhances the Anticancer Effects of ACY-241 in Ovarian Cancer Cells

HDAC6 is overexpressed in ovarian cancer and is known to be correlated with tumorigenesis. Accordingly, ACY-241, a selective HDAC6 inhibitor, is currently under clinical trial and has been tested in combination with various drugs. HDAC8, another member of the HDAC family, has recently gained attention as a novel target for cancer therapy. Here, we evaluated the synergistic anticancer effects of PCI-34051 and ACY-241 in ovarian cancer. Among various ovarian cancer cells, PCI-34051 effectively suppresses cell proliferation in wild-type p53 ovarian cancer cells compared with mutant p53 ovarian cancer cells. In ovarian cancer cells harboring wild-type p53, PCI-34051 in combination with ACY-241 synergistically represses cell proliferation, enhances apoptosis, and suppresses cell migration. The expression of pro-apoptotic proteins is synergistically upregulated, whereas the expressions of anti-apoptotic proteins and metastasis-associated proteins are significantly downregulated in combination treatment. Furthermore, the level of acetyl-p53 at K381 is synergistically upregulated upon combination treatment. Overall, co-inhibition of HDAC6 and HDAC8 through selective inhibitors synergistically suppresses cancer cell proliferation and metastasis in p53 wild-type ovarian cancer cells. These results suggest a novel approach to treating ovarian cancer patients and the therapeutic potential in developing HDAC6/8 dual inhibitors.     

Rumen microbial growth rates and yields: effect of amino acids and protein.

Effects of amino acids upon microbial growth, optimum ratio of nonprotein to amino acid nitrogen for microbial growth, and incorporation of amino acids into microbial cells were determined with washed cell suspension in vitro as were rumen microbial cells. Rumen microbial dry matter, nitrogen, ribonucleic acid, deoxyribonucleic acid, and substrate disappearance was greatest when a mixture of 18 amino acids was substituted for urea. Substitutions of mixtures of 10 essential amino acids, 8 nonessential amino acids, and sulfur containing amino acids and glutamate also stimulated microbial growth. Acid hydrolyzed casein markedly improved microbial growth. Branched amino acid addition did not affect growth. The optimum ratio of nonprotein to amino acid nitrogen for microbial growth was 75% urea nitrogen and 25% amino acid nitrogen. With this amount of amino acids, an average of 53% of added amino acid was incorporated into microbial cells, 14% was fermented to carbon dioxide and volatile fatty acids, and 33% remained in the supernatant. Both 100% urea and 100% amino acid in growth media were unfavorable for maximal microbial growth. With all carbohydrate substrates, 100% urea nitrogen supported the growth of 9 mg bacterial dry matter per 100 mg of substrate. Substitutions of amino acids for urea increased yields to over 20 mg/100 mg. Microbial growth yields in incubations under carbon dioxide were less than when flasks were flushed with nitrogen. However, yield of bacterial dry matter per unit of substrate was less under nitrogen than under carbon dioxide.