By modeling design specifications and register transfer level implementations for fixed-point datapaths as polynomial functions,the equivalence checking was reduced to verify whether a polynomial function is a vanishing polynomial,which can be solved by the minimal strong Grbner basis of the ideal of vanishing polynomials efficiently.

With the improvement of the equipment for well test,the number of the data points from the test is increased geometrically.

Collection and processing method of relevant data points was described in great detail.

A method for constructing a parametric cubic curve to interpolate a set of distinct data points was presented.

Based on the experience in reverse engineering practices, the factors that influenced the accuracy of optical scanning measurement in the acquirement of points cloud data are concluded and analyzed, and the corresponding counterme asures are presented aiming at the sources of errors.

Three dimensional points cloud data are analyzed by using object-oriented programmer,and the computer-based realization,which is organized by points cloud data of urban building captured by laser scanning,is studied based on image process on the exploration platform of Visual C++6.

The results of planar parameters estimation are not accurate by traditional plane fitting methods to point clouds,because the gross error and outliers are not considered.

This paper studies how to generate the slice data from point clouds.

This paper studies how to generate the slice data from point clouds, which is the critical problem in the integration of Reverse Engineering and Rapid Prototyping Manufacturing.