Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like somethin...Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of a clinical case. Probabilistic logic is widely considered the unique logical calculus useful in clinical diagnosis, thus the usefulness of fuzzy logic and its relation with probabilistic logic is here explored. The presentation of the case is supplied with all the features necessary to affect a clinical diagnosis: physical exam, anamnesis and tests.展开更多
In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems hard.The incompleteness of information is normally modelled by means of accessibility ...In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems hard.The incompleteness of information is normally modelled by means of accessibility relations,and the schedulers consistent with such relations are called uniform.In this paper,we consider probabilistic multiagent systems with accessibility relations and focus on the model checking problem with respect to the probabilistic epistemic temporal logic,which can specify both temporal and epistemic properties.However,the problem is undecidable in general.We show that it becomes decidable when restricted to memoryless uniform schedulers.Then,we present two algorithms for this case:one reduces the model checking problem into a mixed integer non-linear programming(MINLP)problem,which can then be solved by Satisfiability Modulo Theories(SMT)solvers,and the other is an approximate algorithm based on the upper confidence bounds applied to trees(UCT)algorithm,which can return a result whenever queried.These algorithms have been implemented in an existing model checker and then validated on experiments.The experimental results show the efficiency and extendability of these algorithms,and the algorithm based on UCT outperforms the one based on MINLP in most cases.展开更多
In recent day’s power distribution system is distress from acute power quality issues.In this work,for compensating Power Quality(PQ)disturbances a seven level cascaded H-bridge inverter is implemented in distributio...In recent day’s power distribution system is distress from acute power quality issues.In this work,for compensating Power Quality(PQ)disturbances a seven level cascaded H-bridge inverter is implemented in distribution static com-pensator which protects power quality problems in currents.Distribution Static Compensator(DSTATCOM)aid to enhances power factor and removes total har-monic distortion which is drawn from non-linear load.The D–Q reference theory based hysteresis current controller is employed to generate reference current for compensation of harmonics and reactive power,additionally Probabilistic Neural Network(PNN)classifier is used which easily separates exact harmonics.In the meantime fuzzy logic controller is also used to maintain capacitor DC-link poten-tial.When comparing to PI controller it decreases steady state time and reduces maximum peak overshoot.Cascaded H-bridge multilevel inverter converts direct current to Alternating current,through inductor opposite harmonics are injected in Power Control Centre reduces source current harmonics and reactive power.The implementation of CHBMLI in distribution STATic COMpensator simulation model is simulated by means of MATLAB.展开更多
The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an...The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed.展开更多
文摘Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of a clinical case. Probabilistic logic is widely considered the unique logical calculus useful in clinical diagnosis, thus the usefulness of fuzzy logic and its relation with probabilistic logic is here explored. The presentation of the case is supplied with all the features necessary to affect a clinical diagnosis: physical exam, anamnesis and tests.
基金supported by the National Natural Science Foundation of China under Grant No.61836005the Australian Research Council under Grant Nos.DP220102059 and DP180100691。
文摘In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems hard.The incompleteness of information is normally modelled by means of accessibility relations,and the schedulers consistent with such relations are called uniform.In this paper,we consider probabilistic multiagent systems with accessibility relations and focus on the model checking problem with respect to the probabilistic epistemic temporal logic,which can specify both temporal and epistemic properties.However,the problem is undecidable in general.We show that it becomes decidable when restricted to memoryless uniform schedulers.Then,we present two algorithms for this case:one reduces the model checking problem into a mixed integer non-linear programming(MINLP)problem,which can then be solved by Satisfiability Modulo Theories(SMT)solvers,and the other is an approximate algorithm based on the upper confidence bounds applied to trees(UCT)algorithm,which can return a result whenever queried.These algorithms have been implemented in an existing model checker and then validated on experiments.The experimental results show the efficiency and extendability of these algorithms,and the algorithm based on UCT outperforms the one based on MINLP in most cases.
文摘In recent day’s power distribution system is distress from acute power quality issues.In this work,for compensating Power Quality(PQ)disturbances a seven level cascaded H-bridge inverter is implemented in distribution static com-pensator which protects power quality problems in currents.Distribution Static Compensator(DSTATCOM)aid to enhances power factor and removes total har-monic distortion which is drawn from non-linear load.The D–Q reference theory based hysteresis current controller is employed to generate reference current for compensation of harmonics and reactive power,additionally Probabilistic Neural Network(PNN)classifier is used which easily separates exact harmonics.In the meantime fuzzy logic controller is also used to maintain capacitor DC-link poten-tial.When comparing to PI controller it decreases steady state time and reduces maximum peak overshoot.Cascaded H-bridge multilevel inverter converts direct current to Alternating current,through inductor opposite harmonics are injected in Power Control Centre reduces source current harmonics and reactive power.The implementation of CHBMLI in distribution STATic COMpensator simulation model is simulated by means of MATLAB.
文摘The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed.
