We propose a query processing method for amalgamated knowledge bases. Our query processing method is an extension of the magic sets technique for query processing in amalgamated knowledge bases, augmented with the capabilities of handling amalgamated atoms. Through rewriting rules in a given amalgamated knowledge base, our method offers the advantages associated with top-down as well as bottom-up evaluation. We discuss how to handle amalgamated atoms, consider how to check whether an amalgamated atom is satisfiable in a fact set and how to extend a fact set by inserting an amalgamated atom. We also give the transformation procedures for amalgamated knowledge databases and show the correctness of our method.

This paper describes a capacitive voltage probe (CVP) that can measure a common-mode voltage on a cable without touching its conductor. This CVP has two coaxial electrodes: the inner electrode works as a voltage pickup and the outer one shields the inner electrode. These electrodes separate into two parts for clamping to the cable. Using a high input impedance circuit, this probe measures the common-mode voltage by detecting the voltage difference between the two electrodes. The probe characteristics are evaluated by measuring its linearity and frequency response. The results show that this probe has a dynamic range of 100 dB and flat frequency response from 10 kHz to 30 MHz. Deviations in sensitivity due to the position of the clamped cable in the inner electrode and to differences in the cable radius are evaluated theoretically and experimentally. The results indicate that the influence of the cable position can be calibrated. Finally, measured data obtained using both an impedance stabilizing network (ISN) and a CVP are compared to confirm the validity of the CVP. The results show that data measured by the CVP closely agreed with that obtained by the ISN. Therefore, the CVP is useful for EMC measurements to evaluate common-mode disturbances.

This paper considers the problem of generating various calligraphy from some sample fonts. Our method is based on the deformable contour model g-snake. By representing the outline of each stroke of a character with a g-snake, we cast the generation problem into global and local deformation of g-snake under different control parameters, where the local deformation obeys the energy minimization principle of regularization technique. The base values of the control parameters are learned from given sample fonts. The experimental results on alphabet and Japanese characters Hiragana show such processing as a reasonable method for generating calligraphy.