In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. S...In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.展开更多
Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat ti...Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat tice implication algebras, and discussed some propert ies of them. Finally, the characterization of filters of any lattice implication algebra which satisfies Increasing Chain Conditions (I. C. C) is given.展开更多
In this paper,we investigate some special properties of lattice implication homomorphism in implication filter spaces. We show that lattice implication homomorphism is a continuous function with respect to implication...In this paper,we investigate some special properties of lattice implication homomorphism in implication filter spaces. We show that lattice implication homomorphism is a continuous function with respect to implication filter topology. Moreover,we give a structural characterstic of left translation topology and right translation topology,which finally leads to the structural characteristics of product topology.展开更多
This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some b...This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some basic properties of it were discussed.展开更多
A method of 2-D Fourier transform used in 3-D surface profilometry is proposed,analyzed and compared with 1-D Fourier transform method in theory and practical measuring result.It was proved that the 2-D Fourier transf...A method of 2-D Fourier transform used in 3-D surface profilometry is proposed,analyzed and compared with 1-D Fourier transform method in theory and practical measuring result.It was proved that the 2-D Fourier transform method has more advantages over 1-D Fourier transform method in biggest crook-rate limits,accuracy and sensitivity of measuring.Study on measuring object surface details with large crook-rate changing accurately used new higher-power index low-pass filter of spatial frequency domain.A new method of automatic produced reference grating image and error-correcting is proposed.One undeform row of deform grating image is used to extend a complete reference grating image,and some error-correcting method is used to process the result to get accurate surface shape and the deflection of reference surface normal line deviated from the axle of camera.By this new method,one deform rectangle grating image is only used to get the 3-D shape accurately.展开更多
The aim of this paper is to determine the subset of an ordered semigroup S that can serve as a class of some regular congruences on S. The results on semigroups without order given in [5] can be obtained as consequences.
文摘In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.
文摘Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat tice implication algebras, and discussed some propert ies of them. Finally, the characterization of filters of any lattice implication algebra which satisfies Increasing Chain Conditions (I. C. C) is given.
文摘In this paper,we investigate some special properties of lattice implication homomorphism in implication filter spaces. We show that lattice implication homomorphism is a continuous function with respect to implication filter topology. Moreover,we give a structural characterstic of left translation topology and right translation topology,which finally leads to the structural characteristics of product topology.
文摘This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some basic properties of it were discussed.
文摘A method of 2-D Fourier transform used in 3-D surface profilometry is proposed,analyzed and compared with 1-D Fourier transform method in theory and practical measuring result.It was proved that the 2-D Fourier transform method has more advantages over 1-D Fourier transform method in biggest crook-rate limits,accuracy and sensitivity of measuring.Study on measuring object surface details with large crook-rate changing accurately used new higher-power index low-pass filter of spatial frequency domain.A new method of automatic produced reference grating image and error-correcting is proposed.One undeform row of deform grating image is used to extend a complete reference grating image,and some error-correcting method is used to process the result to get accurate surface shape and the deflection of reference surface normal line deviated from the axle of camera.By this new method,one deform rectangle grating image is only used to get the 3-D shape accurately.
基金Supported by the National Natural Science Foundation of China and NSP ofGuangdong Province (990825)
文摘The aim of this paper is to determine the subset of an ordered semigroup S that can serve as a class of some regular congruences on S. The results on semigroups without order given in [5] can be obtained as consequences.
