automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

construction of feature-matching perception in virtual assembly

An important characteristic of virtual assembly is interaction. Traditional di-rect manipulation in virtual assembly relies on dynamic collision detection, which is very time-consuming and even impossible in desktop virtual assembly environment. Feature-matching isa critical process in harmonious virtual assembly, and is the premise of assembly constraint sens-ing. This paper puts forward an active object-based feature-matching perception mechanism and afeature-matching interactive computing process, both of which make the direct manipulation in vir-tual assembly break away from collision detection. They also help to enhance virtual environmentunderstandability of user intention and promote interaction performance. Experimental resultsshow that this perception mechanism can ensure that users achieve real-time direct manipulationin desktop virtual environment.

Construction of 2-D directional filter bank by cascading checkerboard-shaped filter pair and CMFB

In this paper, we propose a new approach to construct a 2-dimensional (2-D) directional filter bank (DFB) by cascading a 2-D nonseparable checkerboard-shaped filter pair and 2-D separable cosine modulated filter bank (CMFB). Similar to diagonal subbands in 2-D separable wavelets, most of the subbands in 2-D separable CMFBs, tensor products of two 1-D CMFBs, are poor in directional selectivity due to the fact that the frequency supports of most of the subband filters are concentrated along two different directions. To improve the directional selectivity, we propose a new DFB to realize the subband decomposition. First, a checkerboard-shaped filter pair is used to decompose an input image into two images containing different directional information of the original image. Next, a 2-D separable CMFB is applied to each of the two images for directional decomposition. The new DFB is easy in design and has merits: low redundancy ratio and fine directional-frequency tiling. As its application, the BLS-GSM algorithm for image denoising is extended to use the new DFBs. Experimental results show that the proposed DFB achieves better denoising performance than the methods using other DFBs for images of abundant textures. (C) 2008 Elsevier B.V. All rights reserved.

CONSTRUCTION AND APPLICATIONS OF A DUAL MASS-SELECTED LOW-ENERGY ION-BEAM SYSTEM

A direct ion beam deposition system designed for heteroepitaxy at a low substrate temperature and for the growth of metastable compounds has been constructed and tested. The system consists of two mass-resolved low-energy ion beams which merge at the target with an incident energy range 50-25 000 eV. Each ion beam uses a Freeman ion source for ion production and a magnetic sector for mass filtering. While a magnetic quadrupole lens is used in one beam for ion optics, an electrostatic quadrupole lens focuses the other beam. Both focusing approaches provide a current density more than 100-mu-A/cm2, although the magnetic quadrupole gives a better performance for ion energies below 200 eV. The typical current of each beam reaches more than 0.3 mA at 100 eV, with a ribbon beam of about 0.3-0.5 x 2 cm2. The target is housed in an ultrahigh vacuum chamber with a base pressure of 1 x 10(-7) Pa and a typical pressure of 5 x 10(-6) Pa when a noncondensable beam like argon is brought into the chamber. During deposition, the target can be heated to 800-degrees-C and scanned mechanically with an electronic scanning control unit. The dual beam system has been used to grow GaN using a Ga+ and a N+ beam, and to study the oxygen and hydrogen ion beam bombardment effects during carbon ion beam deposition. The results showed that the simultaneous arrival of two beams at the target is particularly useful in compound formation and in elucidation of growth mechanisms.