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.     

Significant Enhancement of the Dielectric Constant through the Doping of CeO2 into HfO2 by Atomic Layer Deposition

Films of CeO₂ were deposited by atomic layer deposition (ALD) using a Ce(mmp)₄ [mmp = 1‐methoxy‐2‐methyl‐2‐propanolate] precursor and H₂O reactant. The growth characteristics and film properties of ALD CeO₂ were investigated. The ALD CeO₂ process produced highly pure, stoichiometric films with polycrystalline cubic phases. Using the ALD CeO₂ process, the effects of Ce doping into an HfO₂ gate dielectric were systematically investigated. Regardless of Ce/(Ce + Hf) composition, all ALD Ce_xHf_1?xO₂ films exhibited constant growth rates of approximately 1.3 Å/cycle, which is essentially identical to the ALD HfO₂ growth rates. After high‐temperature vacuum annealing at 900°C, it was verified, based on X‐ray diffraction and high‐resolution cross‐sectional transmission electron microscopy results, that all samples with various Ce/(Ce + Hf) compositions were transformed from nanocrystalline to stabilized cubic or tetragonal HfO₂ phases. In addition, the dielectric constant of the Ce_xHf_1?xO₂ films significantly increased, depending on the Ce doping content. The maximum dielectric constant value was found to be nearly 39 for the Ce/(Ce + Hf) concentration of ~11%.