The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed...The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.展开更多
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 spati...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.展开更多
This paper presents an observer based dynamic fuzzy logic system （DFLS） scheme for a class of unknown single-input single-output （SISO） nonlinear dynamic systems with external disturbances. The proposed approach d...This paper presents an observer based dynamic fuzzy logic system （DFLS） scheme for a class of unknown single-input single-output （SISO） nonlinear dynamic systems with external disturbances. The proposed approach does not need the availability of the state variables. Within this scheme, the DFLS is employed to identify the unknown nonlinear dynamic system. The control law and parameter adaptation laws of the DFLS are derived based on Lyapunov synthesis approach. The control law is robustfied in H∞ sense to attenuate external disturbance, model uncertainties, and fuzzy approximation errors. It is shown that under appropriate assumptions, it guarantees the boundedness of all the signals in the closed-loop system and the asymptotic convergence to zero of tracking errors. The proposed method is applied to an inverted pendulum system to verify the effectiveness of the proposed algorithms.展开更多
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 desi...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.展开更多
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 ...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.展开更多
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 d...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^*.展开更多
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 de...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.展开更多
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 fuz...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.展开更多
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 techn...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.展开更多
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 it...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.展开更多
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...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.展开更多
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 espe...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.展开更多
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 framew...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.展开更多
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...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.展开更多
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...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.展开更多
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-va...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.展开更多
This research paper tackles the complexities of achieving global fuzzy consensus in leader-follower systems in robotic systems,focusing on robust control systems against an advanced signal attack that integrates senso...This research paper tackles the complexities of achieving global fuzzy consensus in leader-follower systems in robotic systems,focusing on robust control systems against an advanced signal attack that integrates sensor and actuator disturbances within the dynamics of follower robots.Each follower robot has unknown dynamics and control inputs,which expose it to the risks of both sensor and actuator attacks.The leader robot,described by a secondorder,time-varying nonlinear model,transmits its position,velocity,and acceleration information to follower robots through a wireless connection.To handle the complex setup and communication among robots in the network,we design a robust hybrid distributed adaptive control strategy combining the effect of sensor and actuator attack,which ensures asymptotic consensus,extending beyond conventional bounded consensus results.The proposed framework employs fuzzy logic systems(FLSs)as proactive controllers to estimate unknown nonlinear behaviors,while also effectively managing sensor and actuator attacks,ensuring stable consensus among all agents.To counter the impact of the combined signal attack on follower dynamics,a specialized robust control mechanism is designed,sustaining system stability and performance under adversarial conditions.The efficiency of this control strategy is demonstrated through simulations conducted across two different directed communication topologies,underscoring the protocol’s adaptability,resilience,and effectiveness in maintaining global consensus under complex attack scenarios.展开更多
As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using a...As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.展开更多
This article presents views on the future development of data science,with a particular focus on its importance to artificial intel-ligence(AI).After discussing the challenges of data science,it elu-cidates a possible...This article presents views on the future development of data science,with a particular focus on its importance to artificial intel-ligence(AI).After discussing the challenges of data science,it elu-cidates a possible approach to tackle these challenges by clarifying the logic and principles of data related to the multi-level complex-ity of the world.Finally,urgently required actions are briefly outlined.展开更多
We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logi...We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logic gate, the coupled system could yield reliable logic outputs in a much wider noise region, which means coupling can obviously improve the reliability of the logic system and thus enhance the LSR effect. Moreover, we find that the enhancement is larger for larger system size, whereas for large enough size the enhancement seems to be saturated. Finally, we also examine the effect of coupling strength, it can be observed that the noise region where reliable logic outputs can be obtained evolves non-monotonically as the coupling strength increases, displaying a resonance-like effect.展开更多
文摘The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.
基金supported by the National 973 Fundamental Research Program of China (No.2005CB724102,2006CB705404)
文摘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.
文摘This paper presents an observer based dynamic fuzzy logic system （DFLS） scheme for a class of unknown single-input single-output （SISO） nonlinear dynamic systems with external disturbances. The proposed approach does not need the availability of the state variables. Within this scheme, the DFLS is employed to identify the unknown nonlinear dynamic system. The control law and parameter adaptation laws of the DFLS are derived based on Lyapunov synthesis approach. The control law is robustfied in H∞ sense to attenuate external disturbance, model uncertainties, and fuzzy approximation errors. It is shown that under appropriate assumptions, it guarantees the boundedness of all the signals in the closed-loop system and the asymptotic convergence to zero of tracking errors. The proposed method is applied to an inverted pendulum system to verify the effectiveness of the proposed algorithms.
基金Supported by the IIT Roorkee Project under Grant No. FIG-A Scheme-A
文摘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.
文摘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.
文摘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^*.
文摘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.
基金CONAHCYTTecnológico Nacional de Mexico/Tijuana Institute of Technology for the support during this research
文摘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.
文摘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.
文摘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.
文摘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 National Science Fund of China(No.60074014,60474022)The Project Fund of Zhejiang Science and Technology Depart ment,China(No.2005C31005)
文摘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.
文摘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.
文摘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.
基金This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchangeof the National Natural Science Foundation of China (Grant No.61210306079),Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051),Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).
文摘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.
基金This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchange of the National Natural Science Foundation of China (Grant No.61210306079), Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051), Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).
文摘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.
文摘This research paper tackles the complexities of achieving global fuzzy consensus in leader-follower systems in robotic systems,focusing on robust control systems against an advanced signal attack that integrates sensor and actuator disturbances within the dynamics of follower robots.Each follower robot has unknown dynamics and control inputs,which expose it to the risks of both sensor and actuator attacks.The leader robot,described by a secondorder,time-varying nonlinear model,transmits its position,velocity,and acceleration information to follower robots through a wireless connection.To handle the complex setup and communication among robots in the network,we design a robust hybrid distributed adaptive control strategy combining the effect of sensor and actuator attack,which ensures asymptotic consensus,extending beyond conventional bounded consensus results.The proposed framework employs fuzzy logic systems(FLSs)as proactive controllers to estimate unknown nonlinear behaviors,while also effectively managing sensor and actuator attacks,ensuring stable consensus among all agents.To counter the impact of the combined signal attack on follower dynamics,a specialized robust control mechanism is designed,sustaining system stability and performance under adversarial conditions.The efficiency of this control strategy is demonstrated through simulations conducted across two different directed communication topologies,underscoring the protocol’s adaptability,resilience,and effectiveness in maintaining global consensus under complex attack scenarios.
文摘As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.
文摘This article presents views on the future development of data science,with a particular focus on its importance to artificial intel-ligence(AI).After discussing the challenges of data science,it elu-cidates a possible approach to tackle these challenges by clarifying the logic and principles of data related to the multi-level complex-ity of the world.Finally,urgently required actions are briefly outlined.
文摘We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logic gate, the coupled system could yield reliable logic outputs in a much wider noise region, which means coupling can obviously improve the reliability of the logic system and thus enhance the LSR effect. Moreover, we find that the enhancement is larger for larger system size, whereas for large enough size the enhancement seems to be saturated. Finally, we also examine the effect of coupling strength, it can be observed that the noise region where reliable logic outputs can be obtained evolves non-monotonically as the coupling strength increases, displaying a resonance-like effect.
