In this paper,the topological space(PF_(MP)(X),T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T_0-space if X with condition(P).Secondly,we restricted T...In this paper,the topological space(PF_(MP)(X),T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T_0-space if X with condition(P).Secondly,we restricted T to the set of all maximal MP-filters MF_(MP)(X) of X and concluded that(PF_(MP)(X),T |_(PF_(MP)(X)) )is a compact T_2 space if X with conditions(P) and(S).展开更多
The notion of e-filters is introduced in an MS-algebra and characterized. The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given. The properties o...The notion of e-filters is introduced in an MS-algebra and characterized. The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given. The properties of the space of all prime e-filters of an MS-algebra are observed. The concept of D-prime filters is introduced and then a set of equivalent conditions axe derived for a prime e-filter to become a D-prime filter in topological terms.展开更多
This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice....This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice. Also, the concept of prime filter in residuated lattice was proposed and some equivalent conditions about prime filter were given.展开更多
In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and di...In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.展开更多
为满足地基大口径主焦点式望远镜的多谱段观测需求,对比研究了滤光片切换机构的结构形式。针对传统形式滤光轮机构的缺点,设计了一种沿光轴圆周均布式的新型滤光轮机构,以实现将不同透过谱段的滤光片依次在光路中切入和切出。该滤光轮...为满足地基大口径主焦点式望远镜的多谱段观测需求,对比研究了滤光片切换机构的结构形式。针对传统形式滤光轮机构的缺点,设计了一种沿光轴圆周均布式的新型滤光轮机构,以实现将不同透过谱段的滤光片依次在光路中切入和切出。该滤光轮机构由驱动组件和滤光片组件组成,与传统形式滤光轮机构相比,该机构安装时无需与光轴偏置,充分利用了光轴圆周空间,能够减小对主镜的遮拦。首先,介绍了滤光轮机构的组成及工作原理,并对关键部件进行了选型计算。随后,对滤光轮机构进行了模态分析,其一阶固有频率为108 Hz。最后,对滤光轮机构进行了切换精度测量、滤光片面形精度检测以及高低温试验。检测和试验结果表明,该滤光轮机构的滤光片切入后偏心误差最大为0.1 mm,滤光片面形精度均方根(Root Mean Square,RMS)值均优于λ/30,在系统的工作温度范围内切换顺畅无卡滞。该滤光轮机构能够满足大口径主焦点式望远镜的多谱段观测要求,为滤光轮设计提供了新思路。展开更多
In this paper we define N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-filters of ordered semigroups and characterize ordered semigroups in terms of N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-fil...In this paper we define N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-filters of ordered semigroups and characterize ordered semigroups in terms of N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-filters.We establish relationship of N-fuzzy filters and prime N-fuzzy ideals of ordered semigroups. Also we discuss the relationship of N-fuzzy bi-filters and prime N-fuzzy bi-ideal subsets of ordered semigroups.展开更多
基金Supported by the NSF of China(10371106,60774073)
文摘In this paper,the topological space(PF_(MP)(X),T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T_0-space if X with condition(P).Secondly,we restricted T to the set of all maximal MP-filters MF_(MP)(X) of X and concluded that(PF_(MP)(X),T |_(PF_(MP)(X)) )is a compact T_2 space if X with conditions(P) and(S).
文摘The notion of e-filters is introduced in an MS-algebra and characterized. The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given. The properties of the space of all prime e-filters of an MS-algebra are observed. The concept of D-prime filters is introduced and then a set of equivalent conditions axe derived for a prime e-filter to become a D-prime filter in topological terms.
文摘This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice. Also, the concept of prime filter in residuated lattice was proposed and some equivalent conditions about prime filter were given.
文摘In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.
文摘为满足地基大口径主焦点式望远镜的多谱段观测需求,对比研究了滤光片切换机构的结构形式。针对传统形式滤光轮机构的缺点,设计了一种沿光轴圆周均布式的新型滤光轮机构,以实现将不同透过谱段的滤光片依次在光路中切入和切出。该滤光轮机构由驱动组件和滤光片组件组成,与传统形式滤光轮机构相比,该机构安装时无需与光轴偏置,充分利用了光轴圆周空间,能够减小对主镜的遮拦。首先,介绍了滤光轮机构的组成及工作原理,并对关键部件进行了选型计算。随后,对滤光轮机构进行了模态分析,其一阶固有频率为108 Hz。最后,对滤光轮机构进行了切换精度测量、滤光片面形精度检测以及高低温试验。检测和试验结果表明,该滤光轮机构的滤光片切入后偏心误差最大为0.1 mm,滤光片面形精度均方根(Root Mean Square,RMS)值均优于λ/30,在系统的工作温度范围内切换顺畅无卡滞。该滤光轮机构能够满足大口径主焦点式望远镜的多谱段观测要求,为滤光轮设计提供了新思路。
基金supported by the Higher Education Commission of Pakistan under Grant No.I-8/HEC/HRD/2007/182
文摘In this paper we define N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-filters of ordered semigroups and characterize ordered semigroups in terms of N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-filters.We establish relationship of N-fuzzy filters and prime N-fuzzy ideals of ordered semigroups. Also we discuss the relationship of N-fuzzy bi-filters and prime N-fuzzy bi-ideal subsets of ordered semigroups.