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.     

Dynamic planning model for determining cutting parameters using neural networks in feature-based process planning

Although feature-based computer-aided process planning plays a vital role in automating and integrating design and manufacturing for efficient production, its off-line properties prohibit the shop floor controllers from rapidly coping with unexpected production errors. The objective of the paper is to suggest a neural network-based dynamic planning model, by which the shop floor controllers determine cutting parameters in real-time based on shop floor status. At off-line is the dynamic planning model constructed as a neural network form, and then embedded into each removal feature. The dynamic planning model will be executed by the shop floor controllers to determine the cutting parameters. A prototype system is constructed to validate whether the dynamic planning model is capable of determining dynamically and efficiently the cutting parameters for a particular set of shop operating factors. Owing to the dynamic planning model, the shop floor controller will increase flexibility and robustness by rapidly and adaptively determining the cutting parameters in unexpected errors occurring.     

Prevalence and antimicrobial resistance of Campylobacter jejuni and Campylobacter coli isolated from raw chicken meat and human stools in Korea

Prevalence of Campylobacter in raw chicken meat and human stools and subsequent antibiotic resistance profiles of the pathogenic isolates obtained from 2000 through 2002 were investigated. Campylobacter jejuni and Campylobacter coli were isolated from 570 of the 923 raw chicken meat samples collected from traditional markets, large retail stores, or department stores in Korea, resulting in the isolation rate of 61.8%. A total of 579 Campylobacter isolates were obtained from raw chicken (36.3% for C. jejuni and 26.4% for C. coli) with the average population of 335.6 CFU/g. From 513 human stool samples, 15 isolates of Campylobacter were detected. Seasonal variation in the quantification of C. coli was not noticeable throughout the year, while the isolation rate of C. jejuni was the highest in September through October (840 CFU/g) followed by that of July through August and May through June in decreasing order, showing a significant seasonal effect (P < 0.05). Contamination of Campylobacter was more severe in raw chicken meat sold in traditional markets than in those sold in large retail stores and department stores. Prevalence of Campylobacter in raw chicken sold in traditional markets was significantly influenced by seasonal changes (P < 0.05), whereas the samples obtained from other places was less affected by the seasonal changes. Susceptibilities of the 594 chicken isolates to ciprofloxaxin, chloramphenicol, erythromycin, kanamycin, nalidixic acid, and tetracycline were determined by an E-test. Campylobacter isolates were the most resistant to nalidixic acid (91.4%) followed by ciprofloxaxin (87.9%), tetracycline (87.2%), kanamycin (30.6%), erythromycin (19.4%), and chloramphenicol (1.3%). Human isolates showed a similar resistance to the six antibiotics tested. The proportion of Campylobacter isolates with multidrug resistance to four or more antimicrobials obtained from 2000 through 2002 ranged from 28 to 43.5%, indicating that it could be a serious health-threatening factor. This study suggests that it is prudent to establish an effective National Monitoring Program in Korea for the prevention and control of Campylobacter spp.