We design combination techniques for symbolic constraint solving in the presence of associative and com-mutative (AC) function symbols. This yields an algorithm for solving AC-RPO constraints (where AC-RPO is the AC-compatible total reduction ordering of 16]), which was a missing ingredient for automated deduction strategies with AC-constraint inheritance 15, 19]. As in the AC-uniication case (...

In this paper, a comparative study of modified phase-angle, extinction-angle, and pulse width modulation control techniques for the purpose of power factor improvement of single-phase AC-AC voltage regulators have been illustrated as applied to a singlephase ac voltage converter by an example of the widely used single-phase induction motor as a dynamic load. Observations on power factor, displa...

The main objective of this paper is to replace autotransformers and transformers in industrial applications by switched capacitor three phase AC-AC converters. The control system is not required in case of open loop operation of AC-AC converters. In this paper, by employing closed loop system, the advantages such as accuracy, reduced error, reliability, fast response and less noise can be ensur...

Induction heating is a fast, efficient, precise and repeatable non-contact method for heating metals or other electrically-conductive materials. Induction heating is a process which is used to bond, harden or soften metals or other conductive materials. For many modern manufacturing processes, induction heating offers an attractive combination of speed, consistency and control. The induction he...

The carpenterworm, Isoceras sibirica Alpheraky (Lepidoptera Cossidae), is a destructive pest that affects Asparagus officinalis L. In an effort to develop a new and effective method for controlling the pest, the main components of its female sex pheromone were synthesized in the laboratory. We evaluated the effects of the following synthetic compounds, alone and in combination: (Z)-9-tetradecen...

Integrated Treatment Centre, 9/F., Kowloon Bay Health Centre, 9 Kai Yan Street, Kowloon Bay, Kowloon Bay, Hong Kong A prospective study was carried out from December 1998 to May 1999 in two social hygiene clinics in Hong Kong to evaluate the effect of chronic smoking on clinical response of anogenital wart (AGW) to topical 25% podophyllin therapy. Male smokers and non-smokers with newly diagnos...

In order to develop efficient lures for soybean pod borer Leguminivora glycinivorella (Matsumura) in China, (E,E)-8,10-dodecadienyl acetate (EE-8,10-12:Ac), the main component of the pheromone of L. glycinivorella, and 12 structurally-related compounds were synthesised in good overall yields, regiospecificities, and stereo-selectivities via coupling reactions catalysed by Li₂CuCl₄. The effect o...