共查询到20条相似文献,搜索用时 15 毫秒
1.
The aim of this paper is to introduce the notions of Boolean filters and positive implicative filters in residuated lattices and to investigate their properties. Several characterizations of Boolean filters and positive implicative filters are derived. The extension theorems of implicative filters and positive implicative filters are obtained. The relations among Boolean filters, implicative filters and positive implicative filters are investigated and it is proved that Boolean filters are equivalent to implicative filters, and that every Boolean filter is a positive implicative filter, but the converse may not be true. Furthermore, the conditions under which a positive implicative filter is a Boolean filter are established. 相似文献
2.
In this paper we introduce a new method for determinization of fuzzy finite automata with membership values in complete residuated lattices. In comparison with the previous methods, developed by Bělohlávek [R. Bělohlávek, Determinism and fuzzy automata, Information Sciences 143 (2002), 205-209] and Li and Pedrycz [Y.M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids, Fuzzy Sets and Systems 156 (2005), 68-92], our method always gives a smaller automaton, and in some cases, when the previous methods result in infinite automata, our method can result in a finite one. We also show that determinization of fuzzy automata is closely related to fuzzy right congruences on a free monoid and fuzzy automata associated with them, and in particular, to the concept of the Nerode’s fuzzy right congruence of a fuzzy automaton, which we introduce and study here. 相似文献
3.
Filter theory of BL algebras 总被引:2,自引:0,他引:2
Michiro Kondo Wiesław A. Dudek 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2008,12(5):419-423
In this paper we consider fundamental properties of some types of filters (Boolean, positive implicative, implicative and fantastic filters) of BL algebras defined in Haveshki et al. (Soft Comput 10:657–664, 2006) and Turunen (Arch Math Logic 40:467–473, 2001). It is proved in Haveshki et al. (2006) that if F is a maximal and (positive) implicative filter then it is a Boolean filter. In that paper there is an open problem Under what condition are Boolean filters positive implicative filters? One of our results gives an answer to the problem, that is, we need no more conditions. Moreover, we give simple characterizations of those filters by an identity form ? x, y(t(x, y) ∈ F), where t(x, y) is a term containing x, y. 相似文献
4.
5.
6.
《国际计算机数学杂志》2012,89(12):1989-2007
The aim of this study is to introduce the notions of (∈,∈∨ q)-FSI-ideals and (∈,∈∨ q)-FSC-ideals of BCI-algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy ideals are derived. The relationship among these generalized fuzzy ideals of BCI-algebras is considered. We show that a fuzzy set of a BCI-algebra is an (∈,∈∨ q)-FSI-ideal if and only if it is both an (∈,∈∨ q)-FSC-ideal and an (∈,∈∨ q)-FPI-ideal. Finally, we consider the concepts of implication-based FSI (resp., FSC)-ideals of BCI-algebras. 相似文献
7.
The fuzzy setting of strong implicative hyper BCK-ideals in hyper BCK-algebras is considered, some of their properties are investigated. Relations among fuzzy strong hyper BCK-ideals, fuzzy implicative hyper BCK-ideals, and fuzzy strong implicative hyper BCK-ideals are given. A characterization of a fuzzy strong implicative hyper BCK-ideal is provided. The hyper homomorphic preimage of a fuzzy strong implicative hyper BCK-ideal is discussed. 相似文献
8.
张秀杰 《计算机工程与设计》2008,29(9):2309-2313
提出了一种基于模糊推理用于去除图像椒盐噪声的中央值滤波器的新型设计方法,在图像复原处理中,理想的期望是对图像被劣化的部分处理,没有被劣化的部分不作处理,但实际图像处理中处理点是否为噪声点具有模糊性.利用模糊推理对处理点像素多大程度上属于劣质像素进行推定,并且多个模糊滤波器联合使用,处理结果证明对广范围噪声发生率的各种被椒盐噪声劣化的图像复原处理都适用. 相似文献
9.
Some results of fuzzy BCK-filters 总被引:6,自引:0,他引:6
Biao-Long Meng 《Information Sciences》2000,130(1-4):185-194
Let X be a bounded BCK-algebra and f a fuzzy set in X. If a fuzzy BCK-filter μ in X satisfies that (i) fμ, (ii) for any fuzzy BCK-filter ν in X, fν implies μν, then μ is said to be generated by f and denote μ by [f) for short. In the present paper, we give a procedure to construct the [f) by f. As applications of this result we prove that the set of all fuzzy BCK-filters in a bounded BCK-algebra forms a complete and infinitely distributive lattice. 相似文献
10.
Zhudeng Wang 《Information Sciences》2007,177(3):887-896
In this paper, we introduce and discuss the concept of TL-filters of integral residuated l-monoids. First we study some basic properties of TL-filters and give the formula for calculating the TL-filters generated by L-subsets. Then we discuss some properties of TL-filters under homomorphisms and study the relationship between TL-filters and T-congruence L-relations on integral commutative residuated l-monoids. 相似文献
11.
On the role of complete lattices in mathematical morphology: From tool to uncertainty model 总被引:1,自引:0,他引:1
Mathematical morphology has a rich history. Originally introduced for binary images, it was quite soon extended to grayscale images, leading to grayscale morphology with the threshold approach and the umbra approach. Later on, different models based on fuzzy set theory were introduced. These models were based on the observation that, from a formal point of view, grayscale images and fuzzy sets are modeled in the same way. Consequently, techniques from fuzzy set theory could be applied in the context of mathematical morphology, and fuzzy mathematical morphology was born. In that framework, fuzzy set theory was only a tool to construct morphological models, and was not employed to model any fuzziness or uncertainty. Quite recently however, new extensions have led to the construction of fuzzy interval-valued and fuzzy intuitionistic mathematical morphologies. Here, extensions of fuzzy set theory actually take into account the uncertainty that comes along with image capture, specifically regarding the grayscale values, which in some cases is also related to the uncertainty regarding the spatial position of an object in an image. In this framework, (extended) fuzzy set theory not only serves as a tool to deal with grayscale images, but also as a model for uncertainty. This paper sketches this evolution of fuzzy set theory in the field of mathematical morphology, and also points out some directions for future research. 相似文献
12.
介绍了LMS、NLMS自适应滤波器的工作原理,以及现场可编程门阵列(FPGA)在信号处理计算中的重要作用.详细介绍了使用Ahera公司基于Simulink的DSP算法开发工具DSPBuilder设计自适应滤波器的流程与方法.给出了滤波器的设计图和时序仿真结果,设计可以在FPGA中实现. 相似文献
13.
The paper deals with the divergence of information filter in multi sensor target tracking problem using bearing only measurements. Information filter has a number of advantages in terms of computational requirements over Kalman filter for target tracking applications. Compared to Kalman filter it also has the advantage that one can start estimation even without an initial estimate. But this filter is seen to diverge after tracking for a short period of time, even when the target is moving at a constant velocity. A technique to overcome this problem has been discussed in this paper. The information update equations of the conventional information filter are modified in terms of fuzzy function of error and change of error, and the results have been found to be encouraging. The efficacy of the technique in preventing divergence is demonstrated in the context of tracking a maneuvering target also. 相似文献
14.
In this paper, we study further the filter theory of residuated lattices. First, we discuss the concepts of filters and normal filters of residuated lattices and propose some equivalent conditions for them. Then we introduce and investigate the notions of v-filter and normal v-filter of a residuated lattice with a weak vt-operator and lay bare the formulas for calculating the v-filters and the normal v-filters generated by subsets. Finally we show that the lattices of v-filters and normal v-filters of a residuated lattice with a vt-operator are both complete Brouwerian lattices. 相似文献
15.
将((∈,∈∨q(λ,μ)))-模糊代数应用于格蕴涵代数,提出了点态化((∈,∈∨q(λ,μ)))-模糊素滤子和(λμ)-模糊素滤子的概念,并从以下几个方面对((∈,∈∨q(λ,μ)))-模糊素滤子进行了详细的研究:讨论了((∈,∈∨q(λ,μ)))-模糊素滤子和(λμ)-模糊素滤子的等价关系;研究了((∈,∈∨q(λ,μ)))-模糊素滤子的相关性质;得到了特定条件下((∈,∈∨q(λ,μ)))-模糊素滤子的若干等价刻画,建立了((∈,∈∨q(λ,μ)))-模糊素滤子的扩张定理;探讨了((∈,∈∨q(λ,μ)))-模糊素滤子的同态像与同态原像。 相似文献
16.
17.
18.
19.
如何将训练集分割成大小不一的超盒粒是粒计算领域的关键问题之一。引入非线性正评价函数并用于构造超盒粒之间的模糊包含度函数,通过粒度阈值,对两个超盒粒有条件合并,构造含有大小不同超盒粒的分类器。实验结果表明超盒粒分类器与模糊格推理分类器相比提高了测试精度,与支持向量机相比加快了训练速度且提高了测试精度。 相似文献
20.
新型F-P腔滤波器的性能分析及控制 总被引:1,自引:0,他引:1
介绍了一种实用新型法布里珀罗(F-P)腔滤波器的结构设计和工作原理,它以光纤准直器与光学膜片组成F-P腔和以逆压电效应型微位移器进行腔长调谐。分析了F-P腔滤波器的机械特性及其对扫描特性的影响,通过调整输入波形的形式来修正F-P腔滤波器的扫描畸变,从而达到计算机控制F-P腔滤波器扫描的高精度和可控性。F-P腔滤波器的扫描位移可达到1μm以上,扫描频率高于160Hz,自由谱区达50 nm,扫描线性度为1%。 相似文献