نتایج جستجو برای: fuzzy quantale

تعداد نتایج: 89837  

2009
WALTER THOLEN

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...

2009
FRANCO MONTAGNA

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده فنی و مهندسی 1389

در این پروژه برای اولین بار بهینه سازی بهنگام توابع عضویت فازی در حین عملکرد موتور dc انجام گرفته است. این بهینه سازی توسط الگوریتم فیلترکالمن توسعه یافته و بر اساس خطای لحظه ای سرعت، صورت گرفته است. بطوریکه کارایی کنترلر در کنترل سرعت موتور افزایش می یابد. درواقع فیلتر کالمن شکل ایده آل و مناسب توابع عضویت کنترل کننده fuzzy pid را برای گام بعدی از زمان، براساس حالت کنونی، خطای سرعت کنونی و اطل...

Journal: :Applied Categorical Structures 2003
David Kruml Joan Wick Pelletier Pedro Resende Jirí Rosický

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...

Journal: :Archive of Formal Proofs 2017
Brijesh Dongol Victor B. F. Gomes Ian J. Hayes Georg Struth

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی 1391

مقدمه: درعلم آمارسنتی همه پارامترها بوسیله مدلهای ریاضی ومشاهده های تجربی تعریف می شد. بعضی وقتها به نظر می رسد چنین فرضهایی برای مسائل زندگی روزمره سختگیرانه باشد.مخصوصا درصورتیکه ما با داده های زبان شناسی یا احتیاجاتی که صریح نباشند سرکارداشته باشیم. برای اینکه این مشکل را ازبین ببریم ازروش فازی استفاده می کنیم. تعریف مسئله: درمرحله اول از تحقیق درباره انواع مختلف از پدیده(زیستی-فنی-فیزیک...

2011
DIRK HOFMANN WALTER THOLEN

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...

2005
GAVIN J. SEAL

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...

Journal: :Fuzzy Sets and Systems 2010
Piwei Chen Dexue Zhang

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...

Journal: :iranian journal of fuzzy systems 2011
sergey a. solovyov

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید