نتایج جستجو برای: fuzzy quantale
تعداد نتایج: 89837 فیلتر نتایج به سال:
Hausdorff and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V . The Hausdorff functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V...
Our work proposes a new paradigm for the study of various classes of cancellative residuated lattices by viewing these structures as lattice-ordered groups with a suitable operator (a conucleus). One consequence of our approach is the categorical equivalence between the variety of cancellative commutative residuated lattices and the category of abelian lattice-ordered groups endowed with a conu...
در این پروژه برای اولین بار بهینه سازی بهنگام توابع عضویت فازی در حین عملکرد موتور dc انجام گرفته است. این بهینه سازی توسط الگوریتم فیلترکالمن توسعه یافته و بر اساس خطای لحظه ای سرعت، صورت گرفته است. بطوریکه کارایی کنترلر در کنترل سرعت موتور افزایش می یابد. درواقع فیلتر کالمن شکل ایده آل و مناسب توابع عضویت کنترل کننده fuzzy pid را برای گام بعدی از زمان، براساس حالت کنونی، خطای سرعت کنونی و اطل...
We study functorial properties of the quantale spectrum MaxA of an arbitrary unital C*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that inductive limits be prese...
Partial Semigroups are relevant to the foundations of quantum mechanics and combinatorics as well as to interval and separation logics. Convolution algebras can be understood either as algebras of generalised binary modalities over ternary Kripke frames, in particular over partial semigroups, or as algebras of quantale-valued functions which are equipped with a convolution-style operation of mu...
مقدمه: درعلم آمارسنتی همه پارامترها بوسیله مدلهای ریاضی ومشاهده های تجربی تعریف می شد. بعضی وقتها به نظر می رسد چنین فرضهایی برای مسائل زندگی روزمره سختگیرانه باشد.مخصوصا درصورتیکه ما با داده های زبان شناسی یا احتیاجاتی که صریح نباشند سرکارداشته باشیم. برای اینکه این مشکل را ازبین ببریم ازروش فازی استفاده می کنیم. تعریف مسئله: درمرحله اول از تحقیق درباره انواع مختلف از پدیده(زیستی-فنی-فیزیک...
We combine two research directions of the past decade, namely the development of a lax-algebraic framework for categories of interest to topologists and analysts, and the exploration of key topological concepts, like separation and compactness, in an abstract category which comes equipped with an axiomatic notion “closed” or “proper” map. Hence, we present various candidates for such notions in...
The definition of a category of (T,V)-algebras, where V is a unital commutative quantale and T is a Set-monad, requires the existence of a certain lax extension of T. In this article, we present a general construction of such an extension. This leads to the formation of two categories of (T,V)-algebras: the category Alg(T,V) of canonical (T,V)-algebras, and the category Alg(T′,V) of op-canonica...
This article is concerned with Alexandroff L-topological spaces and L-co-topological spaces, where L is a commutative, unital quantale. On one hand, an example is given to show that there is a finite strong L-topological space that is not Alexandroff. On the other hand, it is proved that every finite strong L-co-topological space is Alexandroff and that the category of Alexandroff strong L-co-t...
motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by s. vickers, providing an algebraic and a coalgebraic category of the new structures. as a result, the nature of the category topsys of s. vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید