Answering queries in disjunctive logic programming requires the use of ancestry-resolution. The resulting complication makes it difficult to implement a Prolog-type query answering procedure for disjunctive logic programs. However, SLO-resolution provides a mechanism which is similar to SLD-resolution and hence offers a solution to this problem. The Warren Abstract Machine has been a very effective model for implementing Prolog. In this paper, we extend the WAM model of Prolog and adapt it for DISLOG — a language for disjunctive logic programming. We describe the extensions and additional instructions needed to make WAM viable for modeling and executing DISLOG. The extension is made in such a way that the original architecture is not disturbed and a Prolog program will execute as efficiently as it does in the original WAM.This work was done while the author was at the University of Kentucky. 相似文献
Summary Acrylonitrile was polymerized by an insertion process on being added to solutions containing the adduct of the reaction of tetrakis(dimethylamino) titanium (T4) and azobisisobutyronitrile (AIBN). The obtained azo-linked polyacrylonitrile has appropriate initiating functionality for a subsequent vinyl polymerization. 相似文献
Effects of UV stabilised polyethylene (UV+PE), IR absorbers polyethylene (IR+PE), double layers of polyethylene (D-Poly) and single layer of polyethylene (PE), as greenhouse covers, on aubergine growth, productivity and energy requirement were investigated in a late autumn season (2001). The late and final yields of plants grown in D-Poly houses were higher than those grown in UV+PE, IR+PE and PE. Light transmission was the highest in PE, intermediate in UV+PE and IR+PE, and the lowest in D-Poly houses. Relative humidity was the highest in D-Poly, intermediate in IR+PE and UV+PE, and the lowest in PE houses. The plants in D-Poly houses grew and developed faster (more leaves and flowers) than those in IR+PE, UV+PE and PE houses. Plant growth and development in UV+PE and IR+PE houses was similar. Economic analyses showed that aubergine production was economically viable in D-Poly, UV+PE and IR+PE houses. For aubergine production in climatic conditions similar to Black Sea Region, the D-Poly greenhouse is strongly recommended, because there was a higher productivity and a lower heating requirement in comparison to UV+PE, IR+PE and PE houses. 相似文献
Chemical transmission lines, petroleum and natural gas lines, pressure vessels, and pipes used in thermal facilities are expected to maintain their mechanical properties for many years without being damaged and not to be corroded in working conditions. The composite materials are the right candidate for these harsh conditions due to their superior properties. Reinforcement of nanoadditives to composite materials improves both the mechanical properties and the resistance to environmental conditions, thereby increasing the lifetime. In this study, multi-walled carbon nanotube (MWCNT) reinforced [±?55°] carbon fiber/epoxy composite pipes produced with filament wound method were used. It was hydrothermally aged in 80 °C distilled water for 1, 2, 3 weeks in order to examine the effect of environmental conditions. In order to investigate its resistance against loads that may occur in working conditions, ring tensile tests (ASTM D 2290–16 procedure A), and low-velocity impact tests at 5, 10, 15 J, energy levels were carried out. The effect of hydrothermal aging on neat and MWCNT added epoxy composite had been examined by considering the aging period. Consequently, the impact resistance of neat and MWCNT added samples decreased with the aging process. Besides, tangential tensile strength loss was 17% in MWCNT reinforced sample and 13% in the neat sample.
This paper introduces a boring bar system which includes an automatically tuned internal vibration absorber, called a tuned mass damper (TMD). The TMD head can be attached to boring bars with a wide range of lengths. An electromagnetic impulse force actuator is developed to measure the frequency response function (FRF) of the boring bar with an integrated power screw. A portable servo motor is attached to the power screw for adaptive tuning of the vibration damper's stiffness. The measurement and tuning cycle is automated until the negative real part of the FRF is optimized to maximize the chatter-free depth of cut. The system is experimentally validated on boring bars with a wide range of length to diameter ratios. 相似文献
Recent advances in advanced oxidation technologies for applications in environmental remediation involve the use of acoustic cavitation. Cavitation is the formation, growth, and implosive collapse of gas- or vapor-filled microbubbles formed from acoustical wave-induced compression/ rarefaction in a body of liquid. Cavitation is effective in treating most liquid-phase pollutants but it is highly energy intensive and not economical or practically feasible when used alone. One of the most interesting topics in the recent advances in environmental sonochemistry is the intensification of the ultrasonic degradation process by coupling ultrasound with other types of energy, chemical oxidants, or photocataysts. In Part II of this series, a critical review of the applications of ultrasound in environmental remediation focusing on the simultaneous or hybrid use of ultrasonic irradiation and photocatalysis in aqueous solutions, namely, sonophotocatalytic oxidation processes, is presented. 相似文献
Sonoprocessing is the utilization of sonic and ultrasonic waves in chemical synthesis and processes. It is a new and rapidly growing research field with broad applications in environmental engineering, green chemical synthesis, and processing. The application of this environmentally benign technique in environmental remediation is currently under active research and development. Sonochemical oxidation is effective in treating toxic effluents and reducing toxicity. However, the ultrasonic treatment is highly energy intensive since sonication is relatively inefficient with respect to total input energy and is therefore not economically attractive or feasible alone. Hence, sonochemistry has not yet received much attention as an alternative for industrial and large-scale chemical and environmental processes. One of the most interesting topics in the recent advances in sonochemistry is the possibility of double or more excitations with ultrasound and other types of energy. The coupling of ultrasound with other free energy sources (i.e., UV) or chemical oxidation utilizing H2O2, O3, or ferrous ion presents interesting and attractive approaches. Therefore, many recent efforts have been devoted to improving the efficiency of sonochemical reactions by exploiting the advantages of combinative or hybrid processes involving the simultaneous or sequential use of ultrasonic irradiation and other advanced oxidation processes, electrochemical processes, and biological treatment. This paper provides a critical review of the applications of ultrasound in environmental remediation, focusing on recent developments and unifying analysis of combinative or hybrid systems, namely, sonophotochemical oxidation processes. 相似文献