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.展开更多
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 s...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.展开更多
The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. Th...The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.展开更多
This article presents a fuzzy logic-based approach to coordinate the control devices of the power system, such as Power System Stabilizers (PSS) and Static Synchronous Compensators (STATCOM), to damp power oscillation...This article presents a fuzzy logic-based approach to coordinate the control devices of the power system, such as Power System Stabilizers (PSS) and Static Synchronous Compensators (STATCOM), to damp power oscillations caused by dynamic disturbances. At first, we used the Lyapunov method to study the dynamic stability of the power grid in the Republic of Congo. This method allowed us to analyze the eigenvalues of the state variable matrix and highlight the eigenvalues in the complex plane. Secondly, we proposed a fuzzy logic-based controller to account for uncertainties existing near the thresholds. The inputs to this controller are the generator speed and generator rotor angle. We demonstrated the effectiveness and feasibility of this fuzzy control by applying it to the power grid of the Republic of Congo, with three power stabilizers and two STATCOMs. .展开更多
Through its media logic, which is defined by programmability, pervasiveness, connectivity, and datafication, WeChat establishes a non-linear, interactive, and user-dominated media environment. This media logic enhance...Through its media logic, which is defined by programmability, pervasiveness, connectivity, and datafication, WeChat establishes a non-linear, interactive, and user-dominated media environment. This media logic enhances the influence of each user within WeChat’s narrative landscape and revolutionises traditional media narration methods by enabling them to generate and distribute content. In such an environment, users are able to edit, receive, and send information without constraints of time or distance, which enables delayed interactions that broaden the potential for human communication and dissemination. Additionally, WeChat partially replaces social behaviours and institutions, thereby modifying their original structures and characteristics. As individuals become more accustomed to this media environment, they progressively adjust to the forms that are appropriate for media representation on WeChat, thereby completing the mediatization of culture and society. In this process, individuals are becoming more dependent on media and media logic, with WeChat’s influence permeating social and cultural activities through its media logic. This interaction has a substantial impact on society and culture, thereby aiding in their reconstruction.展开更多
The transition of the global economy to a low-carbon development path has led to dramatic changes in the organization and functioning of energy markets around the world,where hybrid energy systems(HESs)are one of the ...The transition of the global economy to a low-carbon development path has led to dramatic changes in the organization and functioning of energy markets around the world,where hybrid energy systems(HESs)are one of the decisive active agents.At the same time,a number of problems facing the modern HESs are primarily due to the stochastic nature of the renewable energy they use,require further profound changes not only in the technologies they use and how they manage them,necessary to meet the needs of end consumers and interact with the unified energy system,but also to preserve the ability of the environment to self-heal.In order to make the process of changes more efficient and eco-deep,the article proposes to use and discusses the approach based on service dominant(SD)logic,which opens up new opportunities for solving the problems of HESs.First of all through:the implementation of closer service interaction with other participants in the energy markets,as well as with the environment;a systemically organized process of transforming the“product”economic activity of HESs into a service-dominant one;developing the generalized and engineering models for solving the problems of optimizing the technical and economic indicators of HESs,operation in steady-state and transient modes.The calculations confirm the effectiveness of the proposed approach and its ability to reduce the average daily costs for the system as a whole by 14.7%compared to the costs with a uniform distribution of power between the modules.展开更多
One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operati...One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operations.As a result,a reliable roof fall prediction model is essential to tackle such challenges.Different parameters that substantially impact roof falls are ill-defined and intangible,making this an uncertain and challenging research issue.The National Institute for Occupational Safety and Health assembled a national database of roof performance from 37 coal mines to explore the factors contributing to roof falls.Data acquired for 37 mines is limited due to several restrictions,which increased the likelihood of incompleteness.Fuzzy logic is a technique for coping with ambiguity,incompleteness,and uncertainty.Therefore,In this paper,the fuzzy inference method is presented,which employs a genetic algorithm to create fuzzy rules based on 109 records of roof fall data and pattern search to refine the membership functions of parameters.The performance of the deployed model is evaluated using statistical measures such as the Root-Mean-Square Error,Mean-Absolute-Error,and coefficient of determination(R_(2)).Based on these criteria,the suggested model outperforms the existing models to precisely predict roof fall rates using fewer fuzzy rules.展开更多
Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirect...Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirectional-charging supercapacitor,also called supercapacitor diode(CAPode),is successfully developed based on the ion-sieving effect of its working electrode towards electrolyte ions.Because CAPode integrates mobile ion and mobile electron in one hybrid circuit,it has a great potential in the emerging fields of ion/electron coupling logic operations,human–machine interface,neural network interaction,and in vivo diagnosis and treatment.Accordingly,we herein elucidate the working mechanism and design philosophy of CAPode,and summarize the electrode materials that are suitable for constructing CAPode.Meanwhile,some other supercapacitor-based devices beyond CAPode are also introduced,and their potential applications are instructively presented.Finally,we outline the challenges and chances of CAPode-related techniques.展开更多
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,bis...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.展开更多
Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ...Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.展开更多
This paper presents a smart checkout system designed to mitigate the issues of noise and errors present in the existing barcode and RFID-based systems used at retail stores’checkout counters.This is achieved by integ...This paper presents a smart checkout system designed to mitigate the issues of noise and errors present in the existing barcode and RFID-based systems used at retail stores’checkout counters.This is achieved by integrating a novel AI algorithm,called Improved Laser Simulator Logic(ILSL)into the RFID system.The enhanced RFID system was able to improve the accuracy of item identification,reduce noise interference,and streamline the overall checkout process.The potential of the systemfor noise detection and elimination was initially investigated through a simulation study usingMATLAB and ILSL algorithm.Subsequently,it was deployed in a small-scale environment to validate its real-world performance.Results show that RFID with the proposed new algorithm ILSL and AI basket is capable of accurately detecting the related itemswhile eliminating noise originating fromunrelated objects,achieving an accuracy rate of 88%.展开更多
Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isol...Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isolation of multiple actuator or sensor faults in a class of nonlinear uncertain dynamical systems.Actuator and sensor fault isolation are accomplished in two independent modules,that monitor the system and are able to isolate the potential faulty actuator(s)or sensor(s).For the sensor fault isolation(SFI)case,a module is designed which monitors the system and utilizes an adaptive isolation threshold on the output residuals computed via a nonlinear estimation scheme that allows the isolation of single/multiple faulty sensor(s).For the actuator fault isolation(AFI)case,a second module is designed,which utilizes a learning-based scheme for adaptive approximation of faulty actuator(s)and,based on a reasoning decision logic and suitably designed AFI thresholds,the faulty actuator(s)set can be determined.The effectiveness of the proposed fault isolation approach developed in this paper is demonstrated through a simulation example.展开更多
The anti-aircraft system plays an irreplaceable role in modern combat. An anti-aircraft system consists of various types of functional entities interacting to destroy the hostile aircraft moving in high speed. The con...The anti-aircraft system plays an irreplaceable role in modern combat. An anti-aircraft system consists of various types of functional entities interacting to destroy the hostile aircraft moving in high speed. The connecting structure of combat entities in it is of great importance for supporting the normal process of the system. In this paper, we explore the optimizing strategy of the structure of the anti-aircraft network by establishing extra communication channels between the combat entities.Firstly, the thought of combat network model(CNM) is borrowed to model the anti-aircraft system as a heterogeneous network. Secondly, the optimization objectives are determined as the survivability and the accuracy of the system. To specify these objectives, the information chain and accuracy chain are constructed based on CNM. The causal strength(CAST) logic and influence network(IN) are introduced to illustrate the establishment of the accuracy chain. Thirdly, the optimization constraints are discussed and set in three aspects: time, connection feasibility and budget. The time constraint network(TCN) is introduced to construct the timing chain and help to detect the timing consistency. Then, the process of the multi-objective optimization of the structure of the anti-aircraft system is designed.Finally, a simulation is conducted to prove the effectiveness and feasibility of the proposed method. Non-dominated sorting based genetic algorithm-Ⅱ(NSGA2) is used to solve the multiobjective optimization problem and two other algorithms including non-dominated sorting based genetic algorithm-Ⅲ(NSGA3)and strength Pareto evolutionary algorithm-Ⅱ(SPEA2) are employed as comparisons. The deciders and system builders can make the anti-aircraft system improved in the survivability and accuracy in the combat reality.展开更多
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 signifi...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.展开更多
As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybr...As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.展开更多
In Kiruna,nearly all the residents support the migration plan in order to make LKAB able to continue the mining process.Based on current condition,a larger part of this town will be demolished by the sinking land caus...In Kiruna,nearly all the residents support the migration plan in order to make LKAB able to continue the mining process.Based on current condition,a larger part of this town will be demolished by the sinking land caused by iron ore mining processing operated by LKAB.Since then,most of the buildings in the sinking district will be relocated in another district.However,the situation in Kiruna is not quite the same as when this kind of migration happens in another place.In other place,while migration happens,even if not most,a large part of the local residents will resist and fight for their house and properties.Concentrated on the ownership of different buildings and tried find the relationship between the public and private buildings to discover some issue that will help to work on the computational urban design.展开更多
In the context of induction motor control, there are various control strategies used to separately control torque and flux. One common approach is known as Field-Oriented Control (FOC). This technique involves transfo...In the context of induction motor control, there are various control strategies used to separately control torque and flux. One common approach is known as Field-Oriented Control (FOC). This technique involves transforming the three-phase currents and voltages into a rotating reference frame, commonly referred to as the “dq” frame. In this frame, the torque/speed and flux components are decoupled, allowing for independent control, by doing so, the motor’s speed can be regulated accurately and maintain a constant flux which is crucial to ensure optimal motor performance and efficiency. The research focused on studying and simulating a field-oriented control system using fuzzy control techniques for an induction motor. The aim was to address the issue of parameter variations, particularly the change in rotor resistance during motor operation, which causes the control system to deviate from the desired direction. This deviation implies to an increase in the magnetic flux value, specifically the flux component on the q-axis. By employing fuzzy logic techniques to regulate flux vector’s components in the dq frame, this problem was successfully resolved, ensuring that the magnetic flux value remains within the nominal limits. To enhance the control system’s performance, response speed, and efficiency of the motor, sliding mode controllers were implemented to regulate the current in the inner loop. The simulation results demonstrated the proficiency of the proposed methodology.展开更多
Although there are many different types of philosophy, many philosophers agree that the mainstream of Western philosophy (Socrates, Plato, Aristotle, Descartes, Kant, Wittgenstein) developed toward the perfection of S...Although there are many different types of philosophy, many philosophers agree that the mainstream of Western philosophy (Socrates, Plato, Aristotle, Descartes, Kant, Wittgenstein) developed toward the perfection of Socrates’ absolutism. But can the absolutism maintain its central position after analytic philosophy? There are pessimistic views on this problem, such as that of R. Rorty, the standard-bearer of neo-pragmatism. Recently, I proposed quantum language (which is including quantum mechanics, statistics, fuzzy sets, etc.). I think that that this theory is not only one of the most fundamental scientific theories, but also the scientific final destination of Western philosophy. If so, Socrates’ dream has come true. The purpose of this paper is to discuss the above and to inform readers that quantum language has the power to create a paradigm shift from the classical mechanical world view to the quantum mechanical worldview.展开更多
In this study, the mechanical properties of aluminum-5%magnesium doped with rare earth metal neodymium were evaluated. Fuzzy logic (FL) and artificial neural network (ANN) were used to model the mechanical properties ...In this study, the mechanical properties of aluminum-5%magnesium doped with rare earth metal neodymium were evaluated. Fuzzy logic (FL) and artificial neural network (ANN) were used to model the mechanical properties of aluminum-5%magnesium (0-0.9 wt%) neodymium. The single input (SI) to the fuzzy logic and artificial neural network models was the percentage weight of neodymium, while the multiple outputs (MO) were average grain size, ultimate tensile strength, yield strength elongation and hardness. The fuzzy logic-based model showed more accurate prediction than the artificial neutral network-based model in terms of the correlation coefficient values (R).展开更多
In the last decade,the risk evaluation and the investment decision are among the most prominent issues of efficient project management.Especially,the innovative financial sources could have some specific risk appetite...In the last decade,the risk evaluation and the investment decision are among the most prominent issues of efficient project management.Especially,the innovative financial sources could have some specific risk appetite due to the increasing return of invest-ment.Hence,it is important to uncover the risk factors of fintech investments and investigate the possible impacts with an integrated approach to the strategic priorities of fintech lending.Accordingly,this study aims to analyze a unique risk set and the stra-tegic priorities of fintech lending for clean energy projects.The most important contri-butions to the literature can be listed as to construct an impact-direction map of risk-based strategic priorities for fintech lending in clean energy projects and to measure the possible influences by using a hybrid decision making system with golden cut and bipolar q-rung orthopair fuzzy sets.The extension of multi stepwise weight assessment ratio analysis(M-SWARA)is applied for weighting the risk factors of fintech lending.The extension of elimination and choice translating reality(ELECTRE)is employed for con-structing and ranking the risk-based strategic priorities for clean energy projects.In this process,data is obtained with the evaluation of three different decision makers.The main superiority of the proposed model by comparing with the previous models in the literature is that significant improvements are made to the classical SWARA method so that a new technique is created with the name of M-SWARA.Hence,the causality analysis between the criteria can also be performed in this proposed model.The find-ings demonstrate that security is the most critical risk factor for fintech lending system.Moreover,volume is found as the most critical risk-based strategy for fintech lending.In this context,fintech companies need to take some precautions to effectively manage the security risk.For this purpose,the main risks to information technologies need to be clearly identified.Next,control steps should be put for these risks to be managed properly.Furthermore,it has been determined that the most appropriate strategy to increase the success of the fintech lending system is to increase the number of financi-ers integrated into the system.Within this framework,the platform should be secure and profitable to persuade financiers.展开更多
基金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 work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘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.
文摘The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.
文摘This article presents a fuzzy logic-based approach to coordinate the control devices of the power system, such as Power System Stabilizers (PSS) and Static Synchronous Compensators (STATCOM), to damp power oscillations caused by dynamic disturbances. At first, we used the Lyapunov method to study the dynamic stability of the power grid in the Republic of Congo. This method allowed us to analyze the eigenvalues of the state variable matrix and highlight the eigenvalues in the complex plane. Secondly, we proposed a fuzzy logic-based controller to account for uncertainties existing near the thresholds. The inputs to this controller are the generator speed and generator rotor angle. We demonstrated the effectiveness and feasibility of this fuzzy control by applying it to the power grid of the Republic of Congo, with three power stabilizers and two STATCOMs. .
文摘Through its media logic, which is defined by programmability, pervasiveness, connectivity, and datafication, WeChat establishes a non-linear, interactive, and user-dominated media environment. This media logic enhances the influence of each user within WeChat’s narrative landscape and revolutionises traditional media narration methods by enabling them to generate and distribute content. In such an environment, users are able to edit, receive, and send information without constraints of time or distance, which enables delayed interactions that broaden the potential for human communication and dissemination. Additionally, WeChat partially replaces social behaviours and institutions, thereby modifying their original structures and characteristics. As individuals become more accustomed to this media environment, they progressively adjust to the forms that are appropriate for media representation on WeChat, thereby completing the mediatization of culture and society. In this process, individuals are becoming more dependent on media and media logic, with WeChat’s influence permeating social and cultural activities through its media logic. This interaction has a substantial impact on society and culture, thereby aiding in their reconstruction.
文摘The transition of the global economy to a low-carbon development path has led to dramatic changes in the organization and functioning of energy markets around the world,where hybrid energy systems(HESs)are one of the decisive active agents.At the same time,a number of problems facing the modern HESs are primarily due to the stochastic nature of the renewable energy they use,require further profound changes not only in the technologies they use and how they manage them,necessary to meet the needs of end consumers and interact with the unified energy system,but also to preserve the ability of the environment to self-heal.In order to make the process of changes more efficient and eco-deep,the article proposes to use and discusses the approach based on service dominant(SD)logic,which opens up new opportunities for solving the problems of HESs.First of all through:the implementation of closer service interaction with other participants in the energy markets,as well as with the environment;a systemically organized process of transforming the“product”economic activity of HESs into a service-dominant one;developing the generalized and engineering models for solving the problems of optimizing the technical and economic indicators of HESs,operation in steady-state and transient modes.The calculations confirm the effectiveness of the proposed approach and its ability to reduce the average daily costs for the system as a whole by 14.7%compared to the costs with a uniform distribution of power between the modules.
文摘One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operations.As a result,a reliable roof fall prediction model is essential to tackle such challenges.Different parameters that substantially impact roof falls are ill-defined and intangible,making this an uncertain and challenging research issue.The National Institute for Occupational Safety and Health assembled a national database of roof performance from 37 coal mines to explore the factors contributing to roof falls.Data acquired for 37 mines is limited due to several restrictions,which increased the likelihood of incompleteness.Fuzzy logic is a technique for coping with ambiguity,incompleteness,and uncertainty.Therefore,In this paper,the fuzzy inference method is presented,which employs a genetic algorithm to create fuzzy rules based on 109 records of roof fall data and pattern search to refine the membership functions of parameters.The performance of the deployed model is evaluated using statistical measures such as the Root-Mean-Square Error,Mean-Absolute-Error,and coefficient of determination(R_(2)).Based on these criteria,the suggested model outperforms the existing models to precisely predict roof fall rates using fewer fuzzy rules.
基金We acknowledge the financial support from the China Postdoctoral Science Foundation(Grant Nos.BX20220139 and 2021M701530)the National Natural Science Foundation of China(Grant No.61874166)+1 种基金the Fundamental Research Funds for the Central Universities(Grant No.lzujbky-2021-sp50)the Science and Technology Program of Qinghai Province(Grant No.2022-ZJ-703).
文摘Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirectional-charging supercapacitor,also called supercapacitor diode(CAPode),is successfully developed based on the ion-sieving effect of its working electrode towards electrolyte ions.Because CAPode integrates mobile ion and mobile electron in one hybrid circuit,it has a great potential in the emerging fields of ion/electron coupling logic operations,human–machine interface,neural network interaction,and in vivo diagnosis and treatment.Accordingly,we herein elucidate the working mechanism and design philosophy of CAPode,and summarize the electrode materials that are suitable for constructing CAPode.Meanwhile,some other supercapacitor-based devices beyond CAPode are also introduced,and their potential applications are instructively presented.Finally,we outline the challenges and chances of CAPode-related techniques.
基金Project supported by the National Natural Science Foundation of China(Grant No.12072262)the Shaanxi Computer Society&Xiangteng Company Foundation.
文摘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.
基金supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090)the National Natural Science Foundation of China(61890920,61890921,62122016,08120003)Liaoning Science and Technology Program(2023JH2/101700361).
文摘Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.
基金funding from Universiti Malaya and Ministry of High Education-Malaysia under Research Grant FRGS/1/2023/TK10/UM/02/3 and GPF 020A-2023supported by Researchers Supporting Project Number(RSPD2024 R803).
文摘This paper presents a smart checkout system designed to mitigate the issues of noise and errors present in the existing barcode and RFID-based systems used at retail stores’checkout counters.This is achieved by integrating a novel AI algorithm,called Improved Laser Simulator Logic(ILSL)into the RFID system.The enhanced RFID system was able to improve the accuracy of item identification,reduce noise interference,and streamline the overall checkout process.The potential of the systemfor noise detection and elimination was initially investigated through a simulation study usingMATLAB and ILSL algorithm.Subsequently,it was deployed in a small-scale environment to validate its real-world performance.Results show that RFID with the proposed new algorithm ILSL and AI basket is capable of accurately detecting the related itemswhile eliminating noise originating fromunrelated objects,achieving an accuracy rate of 88%.
基金the European Research Council(ERC)under the ERC Synergy grant agreement No.951424(Water-Futures)the European Union’s Horizon 2020 research and innovation programme under grant agreement No.739551(KIOS CoE)the Government of the Republic of Cyprus through the Directorate General for European Programmes,Coordination and Development。
文摘Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isolation of multiple actuator or sensor faults in a class of nonlinear uncertain dynamical systems.Actuator and sensor fault isolation are accomplished in two independent modules,that monitor the system and are able to isolate the potential faulty actuator(s)or sensor(s).For the sensor fault isolation(SFI)case,a module is designed which monitors the system and utilizes an adaptive isolation threshold on the output residuals computed via a nonlinear estimation scheme that allows the isolation of single/multiple faulty sensor(s).For the actuator fault isolation(AFI)case,a second module is designed,which utilizes a learning-based scheme for adaptive approximation of faulty actuator(s)and,based on a reasoning decision logic and suitably designed AFI thresholds,the faulty actuator(s)set can be determined.The effectiveness of the proposed fault isolation approach developed in this paper is demonstrated through a simulation example.
基金supported by the National Natural Science Foundation of China(72071206).
文摘The anti-aircraft system plays an irreplaceable role in modern combat. An anti-aircraft system consists of various types of functional entities interacting to destroy the hostile aircraft moving in high speed. The connecting structure of combat entities in it is of great importance for supporting the normal process of the system. In this paper, we explore the optimizing strategy of the structure of the anti-aircraft network by establishing extra communication channels between the combat entities.Firstly, the thought of combat network model(CNM) is borrowed to model the anti-aircraft system as a heterogeneous network. Secondly, the optimization objectives are determined as the survivability and the accuracy of the system. To specify these objectives, the information chain and accuracy chain are constructed based on CNM. The causal strength(CAST) logic and influence network(IN) are introduced to illustrate the establishment of the accuracy chain. Thirdly, the optimization constraints are discussed and set in three aspects: time, connection feasibility and budget. The time constraint network(TCN) is introduced to construct the timing chain and help to detect the timing consistency. Then, the process of the multi-objective optimization of the structure of the anti-aircraft system is designed.Finally, a simulation is conducted to prove the effectiveness and feasibility of the proposed method. Non-dominated sorting based genetic algorithm-Ⅱ(NSGA2) is used to solve the multiobjective optimization problem and two other algorithms including non-dominated sorting based genetic algorithm-Ⅲ(NSGA3)and strength Pareto evolutionary algorithm-Ⅱ(SPEA2) are employed as comparisons. The deciders and system builders can make the anti-aircraft system improved in the survivability and accuracy in the combat reality.
文摘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.
文摘As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.
文摘In Kiruna,nearly all the residents support the migration plan in order to make LKAB able to continue the mining process.Based on current condition,a larger part of this town will be demolished by the sinking land caused by iron ore mining processing operated by LKAB.Since then,most of the buildings in the sinking district will be relocated in another district.However,the situation in Kiruna is not quite the same as when this kind of migration happens in another place.In other place,while migration happens,even if not most,a large part of the local residents will resist and fight for their house and properties.Concentrated on the ownership of different buildings and tried find the relationship between the public and private buildings to discover some issue that will help to work on the computational urban design.
文摘In the context of induction motor control, there are various control strategies used to separately control torque and flux. One common approach is known as Field-Oriented Control (FOC). This technique involves transforming the three-phase currents and voltages into a rotating reference frame, commonly referred to as the “dq” frame. In this frame, the torque/speed and flux components are decoupled, allowing for independent control, by doing so, the motor’s speed can be regulated accurately and maintain a constant flux which is crucial to ensure optimal motor performance and efficiency. The research focused on studying and simulating a field-oriented control system using fuzzy control techniques for an induction motor. The aim was to address the issue of parameter variations, particularly the change in rotor resistance during motor operation, which causes the control system to deviate from the desired direction. This deviation implies to an increase in the magnetic flux value, specifically the flux component on the q-axis. By employing fuzzy logic techniques to regulate flux vector’s components in the dq frame, this problem was successfully resolved, ensuring that the magnetic flux value remains within the nominal limits. To enhance the control system’s performance, response speed, and efficiency of the motor, sliding mode controllers were implemented to regulate the current in the inner loop. The simulation results demonstrated the proficiency of the proposed methodology.
文摘Although there are many different types of philosophy, many philosophers agree that the mainstream of Western philosophy (Socrates, Plato, Aristotle, Descartes, Kant, Wittgenstein) developed toward the perfection of Socrates’ absolutism. But can the absolutism maintain its central position after analytic philosophy? There are pessimistic views on this problem, such as that of R. Rorty, the standard-bearer of neo-pragmatism. Recently, I proposed quantum language (which is including quantum mechanics, statistics, fuzzy sets, etc.). I think that that this theory is not only one of the most fundamental scientific theories, but also the scientific final destination of Western philosophy. If so, Socrates’ dream has come true. The purpose of this paper is to discuss the above and to inform readers that quantum language has the power to create a paradigm shift from the classical mechanical world view to the quantum mechanical worldview.
文摘In this study, the mechanical properties of aluminum-5%magnesium doped with rare earth metal neodymium were evaluated. Fuzzy logic (FL) and artificial neural network (ANN) were used to model the mechanical properties of aluminum-5%magnesium (0-0.9 wt%) neodymium. The single input (SI) to the fuzzy logic and artificial neural network models was the percentage weight of neodymium, while the multiple outputs (MO) were average grain size, ultimate tensile strength, yield strength elongation and hardness. The fuzzy logic-based model showed more accurate prediction than the artificial neutral network-based model in terms of the correlation coefficient values (R).
基金was the Key Scientific Research Project of Colleges and Universities in Henan Province“Research on the key role of Investment in the Optimization and upgrading of Industrial structure in Henan Province”(22A790014)National scientific research project cultivation fund project"Research on the Endogenous Mechanism,Performance Evaluation and Optimization Path of Science and Technology Finance Boosting China’s High quality Economic Development"(XKPY-2022030).
文摘In the last decade,the risk evaluation and the investment decision are among the most prominent issues of efficient project management.Especially,the innovative financial sources could have some specific risk appetite due to the increasing return of invest-ment.Hence,it is important to uncover the risk factors of fintech investments and investigate the possible impacts with an integrated approach to the strategic priorities of fintech lending.Accordingly,this study aims to analyze a unique risk set and the stra-tegic priorities of fintech lending for clean energy projects.The most important contri-butions to the literature can be listed as to construct an impact-direction map of risk-based strategic priorities for fintech lending in clean energy projects and to measure the possible influences by using a hybrid decision making system with golden cut and bipolar q-rung orthopair fuzzy sets.The extension of multi stepwise weight assessment ratio analysis(M-SWARA)is applied for weighting the risk factors of fintech lending.The extension of elimination and choice translating reality(ELECTRE)is employed for con-structing and ranking the risk-based strategic priorities for clean energy projects.In this process,data is obtained with the evaluation of three different decision makers.The main superiority of the proposed model by comparing with the previous models in the literature is that significant improvements are made to the classical SWARA method so that a new technique is created with the name of M-SWARA.Hence,the causality analysis between the criteria can also be performed in this proposed model.The find-ings demonstrate that security is the most critical risk factor for fintech lending system.Moreover,volume is found as the most critical risk-based strategy for fintech lending.In this context,fintech companies need to take some precautions to effectively manage the security risk.For this purpose,the main risks to information technologies need to be clearly identified.Next,control steps should be put for these risks to be managed properly.Furthermore,it has been determined that the most appropriate strategy to increase the success of the fintech lending system is to increase the number of financi-ers integrated into the system.Within this framework,the platform should be secure and profitable to persuade financiers.