Categories of semigroups in quantum computational structures

2009 ◽  
Vol 59 (4) ◽  
Author(s):  
Hector Freytes ◽  
Antonio Ledda
Keyword(s):  
Fuzzy Logic ◽  
Quantum Computation ◽  
Variety Of Algebras ◽  
Reflective Subcategory ◽  
Mv Algebras ◽  
Computational Structures

AbstractWe investigate a categorial duality between quasi MV-algebras (a variety of algebras arising from quantum computation and tightly connected with fuzzy logic) and a reflective subcategory of l-groups with strong units.

MV-Algebras and Quantum Computation

Studia Logica ◽  
2006 ◽  
Vol 82 (2) ◽  
pp. 245-270 ◽  
Author(s):  
Antonio Ledda ◽  
Martinvaldo Konig ◽  
Francesco Paoli ◽  
Roberto Giuntini
Keyword(s):  
Quantum Computation ◽  
Mv Algebras

Modal operators on bounded commutative residuated ℓ-monoids

2007 ◽  
Vol 57 (4) ◽  
Author(s):  
Jiří Rachůnek ◽  
Dana Šalounová
Keyword(s):  
Fuzzy Logic ◽  
Residuated Lattice ◽  
Heyting Algebras ◽  
Modal Operator ◽  
Modal Operators ◽  
Special Cases ◽  
Basic Fuzzy Logic ◽  
Commutative Residuated Lattice ◽  
Derived Algebras ◽  
Mv Algebras

AbstractBounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVÁ,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras.

Some Notes on Elimination Properties for The Theory of Riesz MV-Chains

2015 ◽  
Vol 65 (4) ◽  
Author(s):  
Enrico Marchioni
Keyword(s):  
Representation Theorem ◽  
Order Theory ◽  
Variety Of Algebras ◽  
Short Article ◽  
First Order ◽  
Riesz Spaces ◽  
First Order Theory ◽  
Skolem Functions ◽  
Strongly Connected ◽  
Mv Algebras

AbstractRiesz MV-algebras are a variety of algebras strongly connected to Riesz spaces. In this short article we investigate some elimination properties of the first-order theory RMV of linearly ordered Riesz MV-algebras and show that RMV admits elimination of quantifiers and uniform elimination of imaginary elements. In the process, we also prove several other results such as modelcompleteness, o-minimality, definability of Skolem functions, and a version of the Di Nola Representation Theorem for Riesz MV-algebras.

scholarly journals ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE

2010 ◽  
Vol 89 (3) ◽  
pp. 317-333 ◽  
Author(s):  
A. DI NOLA ◽  
A. DVUREČENSKIJ ◽  
A. LETTIERI
Keyword(s):  
Fuzzy Logic ◽  
Homomorphic Image ◽  
Internal State ◽  
Algebraic Approach ◽  
Mv Algebra ◽  
Complete State ◽  
Internal States ◽  
Mv Algebras

AbstractIn Flaminio and Montagna [‘An algebraic approach to states on MV-algebras’, in: Fuzzy Logic 2, Proc. 5th EUSFLAT Conference, Ostrava, 11–14 September 2007 (ed. V. Novák) (Universitas Ostraviensis, Ostrava, 2007), Vol. II, pp. 201–206; ‘MV-algebras with internal states and probabilistic fuzzy logic’, Internat. J. Approx. Reason.50 (2009), 138–152], the authors introduced MV-algebras with an internal state, called state MV-algebras. (The letters MV stand for multi-valued.) In Di Nola and Dvurečenskij [‘State-morphism MV-algebras’, Ann. Pure Appl. Logic161 (2009), 161–173], a stronger version of state MV-algebras, called state-morphism MV-algebras, was defined. In this paper, we present the Loomis–Sikorski theorem for σ-complete MV-algebras with a σ-complete state-morphism-operator, showing that every such MV-algebra is aσ-homomorphic image of a tribe of functions with an internal state induced by a function where all the MV-operations are defined by points.

Hysteresis in Categorization: Fuzzy Logic Makes Fuzzy Boundaries

2012 ◽  
Author(s):  
Thomas M. Crawford ◽  
Justin Fine ◽  
Donald Homa
Keyword(s):  
Fuzzy Logic

Continuous Estimation of CO2 Production during Exercise

1997 ◽  
Vol 36 (04/05) ◽  
pp. 368-371
Author(s):  
R. Soma ◽  
Y. Yamamoto
Keyword(s):  
Fuzzy Logic ◽  
Steady State ◽  
Infusion Rate ◽  
Feedback System ◽  
Whole Body ◽  
Co2 Production ◽  
Cycle Exercise ◽  
Continuous Estimation ◽  
Breath Measurement ◽  
13Co2 Enrichment

Abstract.A new method was developed for continuous isotopic estimation of human whole body CO2 rate of appearance (Ra) during non-steady state exercise. The technique consisted of a breath-by-breath measurement of 13CO2 enrichment (E) and a real-time fuzzy logic feedback system which controlled NaH13CO3 infusion rate to achieve an isotopic steady state. Ra was estimated from the isotope infusion rate and body 13CO2 enrichment which was equal to E at the isotopic steady state. During a non-steady state incremental cycle exercise (5 w/min or 10 w/min), NaH13CO3 infusion rate was successfully increased by the action of feedback controller so as to keep E constant.

Modified fuzzy-based greedy routing protocol for VANETs

2020 ◽  
Vol 39 (6) ◽  
pp. 8357-8364
Author(s):  
Thompson Stephan ◽  
Ananthnarayan Rajappa ◽  
K.S. Sendhil Kumar ◽  
Shivang Gupta ◽  
Achyut Shankar ◽  
...  
Keyword(s):  
Fuzzy Logic ◽  
Routing Protocol ◽  
Intelligent Transportation Systems ◽  
Vehicular Ad Hoc Networks ◽  
Ad Hoc ◽  
Research Area ◽  
Transportation Systems ◽  
Delivery Ratio ◽  
Greedy Routing ◽  
Hoc Networks

Vehicular Ad Hoc Networks (VANETs) is the most growing research area in wireless communication and has been gaining significant attention over recent years due to its role in designing intelligent transportation systems. Wireless multi-hop forwarding in VANETs is challenging since the data has to be relayed as soon as possible through the intermediate vehicles from the source to destination. This paper proposes a modified fuzzy-based greedy routing protocol (MFGR) which is an enhanced version of fuzzy logic-based greedy routing protocol (FLGR). Our proposed protocol applies fuzzy logic for the selection of the next greedy forwarder to forward the data reliably towards the destination. Five parameters, namely distance, direction, speed, position, and trust have been used to evaluate the node’s stability using fuzzy logic. The simulation results demonstrate that the proposed MFGR scheme can achieve the best performance in terms of the highest packet delivery ratio (PDR) and minimizes the average number of hops among all protocols.

Design and Simulation of Smart Control System for Internet Traffic Distribution on Servers by Using Fuzzy Logic System

2018 ◽  
Vol 2 (1) ◽  
Author(s):  
Raid Daoud ◽  
Yaareb Al-Khashab
Keyword(s):  
Fuzzy Logic ◽  
Control System ◽  
Input Parameter ◽  
Traffic Density ◽  
The Internet ◽  
Linguistic Variables ◽  
Internet Service ◽  
Traffic Distribution ◽  
Smart Control ◽  
High Level

The internet service is provided by a given number of servers located in the main node of internet service provider (ISP). In some cases; the overload problem was occurred because a demand on a given website goes to very high level. In this paper, a fuzzy logic control (FLC) has proposed to distribute the load into the internet servers by a smart and flexible manner. Three effected parameters are tacked into account as input for FLC: link capacity which has three linguistic variables with Gaussian membership function (MF): (small, medium and big), traffic density with linguistic variables (low, normal and high) and channel latency with linguistic variables (empty, half and full); with one output which is the share server status (single, simple and share). The proposed work has been simulated by using MATLAB 2016a, by building a structure in the Fuzzy toolbox. The results were fixed by two manners: the graphical curves and the numerical tables, the surface response was smoothly changed and translates the well-fixed control system. The numerical results of the control system satisfy the idea of the smart rout for the incoming traffics from the users to internet servers. So, the response of the proposed system for the share of server ratio is 0.122, when the input parameter in the smallest levels; and the ratio is 0.879 when the input parameters are in highest level. The smart work and flexible use for the FLC is the main success solution for most of today systems control.

Sistem Kontrol Optimal Fuzzy-Particle Swarm Optimization

2018 ◽  
Vol 9 (1) ◽  
pp. 1-5
Author(s):  
Fachrudin Hunaini ◽  
Imam Robandi ◽  
Nyoman Sutantra
Keyword(s):  
Fuzzy Logic ◽  
Particle Swarm Optimization ◽  
Control System ◽  
Membership Function ◽  
Fuzzy Logic Control ◽  
Particle Swarm ◽  
Optimization Method ◽  
Swarm Optimization ◽  
Motion Error ◽  
Logic Control

Fuzzy Logic Control (FLC) is a reliable control system for controlling nonlinear systems, but to obtain optimal fuzzy logic control results, optimal Membership Function parameters are needed. Therefore in this paper Particle Swarm Optimization (PSO) is used as a fast and accurate optimization method to determine Membership Function parameters. The optimal control system simulation is carried out on the automatic steering system of the vehicle model and the results obtained are the vehicle's lateral motion error can be minimized so that the movement of the vehicle can always be maintained on the expected trajectory

Sign in / Sign up

Export Citation Format

Share Document