A Survey on Type-3 Fuzzy Logic Systems and Their Control Applications

In this paper,we offer a review of type-3 fuzzy logic systems and their applications in control.The main objective of this work is to observe and analyze in detail the applications in the control area using type-3 fuzzy logic systems.In this case,we review their most important applications in control and other related topics with type-3 fuzzy systems.Intelligent algorithms have been receiving increasing attention in control and for this reason a review in this area is important.This paper reviews the main applications that make use of Intelligent Computing methods.Specifically,type-3 fuzzy logic systems.The aim of this research is to be able to appreciate,in detail,the applications in control systems and to point out the scientific trends in the use of Intelligent Computing techniques.This is done with the construction and visualization of bibliometric networks,developed with VosViewer Software,which it is a free Java-based program,mainly intended to be used for analyzing and visualizing bibliometric networks.With this tool,we can create maps of publications,authors,or journals based on a co-citation network or construct maps of keywords,countries based on a co-occurrence networks,research groups,etc.

Three-dimensional fuzzy logic system for process modeling and control

The traditional fuzzy logic system （FLS） can only model and control the process in two-dimensional nature. Many of real-world systems are of multidimensional features, such as, thermal and fluid processes with spatiotemporal dynamics, biological systems, or decision-making processes that contain stochastic and imprecise uncertainties. These types of systems are difficult for the traditional FLS to model and control because they require a third dimension for spatial or probabilistic information. The type-2 fuzzy set provides the possibility to develop a three-dimensional fuzzy logic system for modeling and controlling these processes in three-dimensional nature.

Development of Fuzzy Logic System to Predict the SAW Weldment Shape Profiles

A fuzzy model was presented to predict the weldment shape profile of submerged arc welds （SAW） including the shape of heat affected zone （HAZ）. The SAW bead-on-plates were welded by following a full factorial design matrix. The design matrix consisted of three levels of input welding process parameters. The welds were cross-sectioned and etched, and the zones were measured. A mapping technique was used to measure the various segments of the weld zones. These mapped zones were used to build a fuzzy logic model. The membership functions of the fuzzy model were chosen for the accurate prediction of the weld zone. The fuzzy model was further tested for a set of test case data. The weld zone predicted by the fuzzy logic model was compared with the experimentally obtained shape profiles and close agreement between the two was noted. The mapping technique developed for the weld zones and the fuzzy logiemodel earl be used for on-line control of the SAW process. From the SAW fuzzy logic model an estimation of the fusion and HAZ can also be developed.

Optimization of Interval Type-2 Fuzzy Logic System Using Grasshopper Optimization Algorithm

The estimation of the fuzzy membership function parameters for interval type 2 fuzzy logic system(IT2-FLS)is a challenging task in the presence of uncertainty and imprecision.Grasshopper optimization algorithm(GOA)is a fresh population based meta-heuristic algorithm that mimics the swarming behavior of grasshoppers in nature,which has good convergence ability towards optima.The main objective of this paper is to apply GOA to estimate the optimal parameters of the Gaussian membership function in an IT2-FLS.The antecedent part parameters(Gaussian membership function parameters)are encoded as a population of artificial swarm of grasshoppers and optimized using its algorithm.Tuning of the consequent part parameters are accomplished using extreme learning machine.The optimized IT2-FLS(GOAIT2FELM)obtained the optimal premise parameters based on tuned consequent part parameters and is then applied on the Australian national electricity market data for the forecasting of electricity loads and prices.The forecasting performance of the proposed model is compared with other population-based optimized IT2-FLS including genetic algorithm and artificial bee colony optimization algorithm.Analysis of the performance,on the same data-sets,reveals that the proposed GOAIT2FELM could be a better approach for improving the accuracy of the IT2-FLS as compared to other variants of the optimized IT2-FLS.

Deduction Theorem and Hypothetical Syllogism Rule on Fuzzy Logic System

Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.

The Theory of Membership Degree of Γ-Conclusion in Several n-Valued Logic Systems

Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.

Optimal Routing Protocol for Wireless Sensor Network Using Genetic Fuzzy Logic System

The wireless sensor network(WSN)is a growing sector in the network domain.By implementing it many industries developed smart task for different purposes.Sensor nodes interact with each other and this interaction technique are handled by different routing protocol.Extending the life of the network in WSN is a challenging issue because energy in sensor nodes are quickly drained.So the overall performance of WSN are degraded by this limitation.To resolve this unreliable low power link,many researches have provided various routing protocols to make the network as dependable and sustainable as possible.While speeding up the data delivery is also considered to be an effective approach to save energy.To achieve this objective,we propose a new energy efficient routing protocol using genetic fuzzy logic system.Our primary objective is to save energy by sending data packets via the shortest path.Numerous studies have proved that the clustering protocol plays an important role in prolonging the life of the sensor node in theWSN.Keeping up with this our second objective is selection of head node from a cluster.This cluster head is selected based on the availability of maximum residual energy among the nodes,lifetime of head-to-head link,and its minimum distance to the base station.The genetic fitness approach is proposed for optimal routing and the selection of cluster head(CH)is employed with fuzzy logic system.As a result,the genetic fuzzy logic system(GFLS)can effectively accelerate the process to solve this problem.MATLAB is used to deploy nodes inWSN.The performance is calculated in terms of efficiency,delay,packet delivery rate and network throughput.The performance is compared with previous pertinent work.The proposed approach has elevated its performance around 8%in packet delivery and 6%in overall network throughput.

Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.

Propositional Vector Logic System and Its Adequacy Thcorem

With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown.

The Syntax of Lattice-Valued Propositional Logic System lp(X)

Lattice-valued logic plays an important role in multi-valued logic systems. A lattice valued logic system lp(X) is constructed. The syntax of lp(X) is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.

Optimization in Site Selection of Wind Turbine for Energy Using Fuzzy Logic System and GIS—A Case Study for Gujarat

The development of new wind energy project requires studying of many parameters to achieve maximum benefits at the cost of minimum environmental impacts. Using Geographic Information System (GIS), an analytical framework has been developed in this paper with fuzzy logic to evaluate the suitable site for turbines for optimum energy output. The criteria for suitable site for energy optimization are environmental, physical and human factors. The present study helps to assess the appropriate sites for the wind turbines in Gujarat. The result obtained from the study conveys the suitability of the development of wind turbines along the western parts of Gujarat. The suggested model could be used for the future site selection of the wind turbine which in turn could be of orientation for energy planners and decision makers.

Dehydration of Agro Products in a Hybrid Solar Dryer Controlled through a Fuzzy Logic System

Drying is one of the most energy-intensive processes in agro-products industry. For this reason, using solar energy appears as an attractive not polluting alternative to be used in drying processes. However, the daily and seasonal fluctuations in the radiation level require using energy accumulators with phase change materials (paraffin wax), to have a continuous drying processes. In hybrid solar dryers with energy accumulation system, a control system is essential to coordinate the control valves that allow the income of air that comes from the solar panel or from the energy accumulator. In this work, we implemented an advances multivariable control system that uses fuzzy logic in the hybrid solar dryer. The dryer includes an energy accumulator panel with paraffin wax as phase change material. The input variables were ambient temperature and solar radiation, both not controllable. The controlled variables were the opening level of the solar panel and accumulator energy valves. The control program consisted in an algorithm implemented with the “Fuzzy” toolbox in Matlab. Data were acquired with OPTO 22. The control system performed adequately when used to dehydrate mushroom slices and plums. Closing or opening the respective valves as a response to the variations of solar radiation and ambient air temperature allowed optimizing the use of solar energy.

10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System

This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.

Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System

Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.

Logical stochastic resonance in a cross-bifurcation non-smooth system

This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

A Neuro T-Norm Fuzzy Logic Based System

In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has significant precision advantages and does not require any adjustment/learning. We put together neuro-fuzzy system (NFS) to connect the set of exemplar input feature vectors (FV) with associated output label (target), both represented by their membership functions (MF). Next unknown FV would be classified by getting upper value of current output MF. After that the fuzzy truths for all MF upper values are maximized and the label of the winner is considered as the class of the input FV. We use the knowledge in the exemplar-label pairs directly with no training. It sets up automatically and then classifies all input FV from the same population as the exemplar FVs. We show that our approach statistically is almost twice as accurate, as well-known genetic-based learning mechanism FRM.

Digital signal acquisition system for complex nuclear reaction experiments

A digital data-acquisition system based on XIA LLC products was used in a complex nuclear reaction experiment using radioactive ion beams.A flexible trigger system based on a field-programmable gate array(FPGA)parametrization was developed to adapt to different experimental sizes.A user-friendly interface was implemented,which allows converting script language expressions into FPGA internal control parameters.The proposed digital system can be combined with a conventional analog data acquisition system to provide more flexibility.The performance of the combined system was veri-fied using experimental data.

Realizing reliable XOR logic operation via logical chaotic resonance in a triple-well potential system

There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is called logical chaotic resonance(LCR). However, realization of a reliable exclusive disjunction(XOR) through LCR has not been reported.Here, we explore the possibility of using chaos to enhance the reliability of XOR logic operation in a triple-well potential system via LCR. The success probability P of obtaining XOR logic operation can take the maximum value of 1 in an optimal window of intensity D of a chaotic force. Namely, success probability P displays characteristic bell-shaped behavior by altering the intensity of the chaotic driving force, indicating the occurrence of LCR. Further, the effects of periodic force on LCR have been investigated. For a subthreshold chaotic force, a periodic force with appropriate amplitude and frequency can help enhance the reliability of XOR logic operation. Thus, LCR can be effectively regulated by changing the amplitude and frequency of the periodic force.

A 16-bit 18-MSPS flash-assisted SAR ADC with hybrid synchronous and asynchronous control logic

This paper presents a 16-bit,18-MSPS(million samples per second)flash-assisted successive-approximation-register(SAR)analog-to-digital converter(ADC)utilizing hybrid synchronous and asynchronous(HYSAS)timing control logic based on an on-chip delay-locked loop(DLL).The HYSAS scheme can provide a longer settling time for the capacitive digital-to-analog converter(CDAC)than the synchronous and asynchronous SAR ADC.Therefore,the issue of incomplete settling or ringing in the DAC voltage for cases of either on-chip or off-chip reference voltage can be solved to a large extent.In addition,the fore-ground calibration of the CDAC’s mismatch is performed with a finite-impulse-response bandpass filter(FIR-BPF)based least-mean-square(LMS)algorithm in an off-chip FPGA(field programmable gate array).Fabricated in 40-nm CMOS process,the proto-type ADC achieves 94.02-dB spurious-free dynamic range(SFDR),and 75.98-dB signal-to-noise-and-distortion ratio(SNDR)for a 2.88-MHz input under 18-MSPS sampling rate.