Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and elec...Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.展开更多
A lot of experimental methods have been brought forth to assess the dynamic character of the arc welding power source, but up to now, this issue has not been solved very well. In this paper, based on the fuzzy logic r...A lot of experimental methods have been brought forth to assess the dynamic character of the arc welding power source, but up to now, this issue has not been solved very well. In this paper, based on the fuzzy logic reasoning method, a dynamic character assessing model for the arc welding power source was established and used to analyze the dynamic character of the welding power source. Three different types of welding machine have been tested, and the characteristic information of the electrical signals such as re-striking arc voltage, low welding current and so on of the welding process were extracted accurately by using a self-developed welding dynamic arc wavelet analyzer. The experimental results indicate that this model can be used as a new assessing method for the dynamic character of the arc welding power source.展开更多
A combined logic- and model-based approach to fault detection and identification (FDI) in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models ...A combined logic- and model-based approach to fault detection and identification (FDI) in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models are derived by kinematics analysis. Moreover, the logic relations of the system states are known in advance. First, a fault tree is used to analyze the system by evaluating the basic events (elementary causes), which can lead to a root event (a particular fault). Then, a multiple-model adaptive estimation algorithm is used to detect and identify the model-known faults. Finally, based on the system states of the robot and the results of the estimation, the model-unknown faults are also identified using logical reasoning. Experiments show that the proposed approach based on the combination of logical reasoning and model estimating is efficient in the FDI of the robot.展开更多
This paper outlines the necessity of the knowledge representation for the geometrical shapes (KRGS). We advocate that KRGS for being powerful must contain at least three major components, namely (1) fu...This paper outlines the necessity of the knowledge representation for the geometrical shapes (KRGS). We advocate that KRGS for being powerful must contain at least three major components, namely (1) fuzzy logic scheme; (2) the machine learning technique; and (3) an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.展开更多
A teacher was giving her pu- pils a lesson on logic(逻辑).“Here is the situation(情景),”she said,“a man is stand- ing up in a boat in the middle of a river,fishing.He loses his bal- ance(平衡),falls in,and begins...A teacher was giving her pu- pils a lesson on logic(逻辑).“Here is the situation(情景),”she said,“a man is stand- ing up in a boat in the middle of a river,fishing.He loses his bal- ance(平衡),falls in,and begins splashing(泼水)and yelling(叫喊)for help.His wife hears the commotion(喧闹),knows that he can’t swim,and runs down to the bank (河岸).Why did she run to the bank?” A girl raised her hand and asked,“To draw out(提取)all of his savings(存款).”展开更多
This article proposes a novel fuzzy virtual force (FVF) method for unmanned aerial vehicle (UAV) path planning in compli-cated environment. An integrated mathematical model of UAV path planning based on virtual fo...This article proposes a novel fuzzy virtual force (FVF) method for unmanned aerial vehicle (UAV) path planning in compli-cated environment. An integrated mathematical model of UAV path planning based on virtual force (VF) is constructed and the corresponding optimal solving method under the given indicators is presented. Specifically,a fixed step method is developed to reduce computational cost and the reachable condition of path planning is proved. The Bayesian belief network and fuzzy logic reasoning theories are applied to setting the path planning parameters adaptively,which can reflect the battlefield situation dy-namically and precisely. A new way of combining threats is proposed to solve the local minima problem completely. Simulation results prove the feasibility and usefulness of using FVF for UAV path planning. Performance comparisons between the FVF method and the A* search algorithm demonstrate that the proposed approach is fast enough to meet the real-time requirements of the online path planning problems.展开更多
Information on the Internet is fragmented and presented in different data sources, which makes automatic knowledge harvesting and understanding formidable for ma- chines, and even for humans. Knowledge graphs have be-...Information on the Internet is fragmented and presented in different data sources, which makes automatic knowledge harvesting and understanding formidable for ma- chines, and even for humans. Knowledge graphs have be- come prevalent in both of industry and academic circles these years, to be one of the most efficient and effective knowledge integration approaches. Techniques for knowledge graph construction can mine information from either structured, semi-structured, or even unstructured data sources, and fi- nally integrate the information into knowledge, represented in a graph. Furthermore, knowledge graph is able to organize information in an easy-to-maintain, easy-to-understand and easy-to-use manner. In this paper, we give a summarization of techniques for constructing knowledge graphs. We review the existing knowledge graph systems developed by both academia and industry. We discuss in detail about the process of building knowledge graphs, and survey state-of-the-art techniques for automatic knowledge graph checking and expansion via log- ical inferring and reasoning. We also review the issues of graph data management by introducing the knowledge data models and graph databases, especially from a NoSQL point of view. Finally, we overview current knowledge graph sys- tems and discuss the future research directions.展开更多
The theory of (n) truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the (n) truth degree of a modality-free formula equals the truth degree ...The theory of (n) truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the (n) truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of (n) truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of (n) similarity degrees among modal formulas is proposed and the (n) modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.展开更多
基金the National Natural Science Foundation of China(Nos.61562026,61962020)Academic and Technical Leaders of Major Disciplines in Jiangxi Province(No.20172BCB22015)+1 种基金Special Fund Project for Postgraduate Innovation in Jiangxi Province(No.YC2020-B1141)Jiangxi Provincial Natural Science Foundation(No.20224ACB202006).
文摘Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.
基金This work is supported by Guangdong Natural Science Fund (04020100)
文摘A lot of experimental methods have been brought forth to assess the dynamic character of the arc welding power source, but up to now, this issue has not been solved very well. In this paper, based on the fuzzy logic reasoning method, a dynamic character assessing model for the arc welding power source was established and used to analyze the dynamic character of the welding power source. Three different types of welding machine have been tested, and the characteristic information of the electrical signals such as re-striking arc voltage, low welding current and so on of the welding process were extracted accurately by using a self-developed welding dynamic arc wavelet analyzer. The experimental results indicate that this model can be used as a new assessing method for the dynamic character of the arc welding power source.
基金supported by the Hi-tech Research and Development Program of China (No.2006AA420203)
文摘A combined logic- and model-based approach to fault detection and identification (FDI) in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models are derived by kinematics analysis. Moreover, the logic relations of the system states are known in advance. First, a fault tree is used to analyze the system by evaluating the basic events (elementary causes), which can lead to a root event (a particular fault). Then, a multiple-model adaptive estimation algorithm is used to detect and identify the model-known faults. Finally, based on the system states of the robot and the results of the estimation, the model-unknown faults are also identified using logical reasoning. Experiments show that the proposed approach based on the combination of logical reasoning and model estimating is efficient in the FDI of the robot.
文摘This paper outlines the necessity of the knowledge representation for the geometrical shapes (KRGS). We advocate that KRGS for being powerful must contain at least three major components, namely (1) fuzzy logic scheme; (2) the machine learning technique; and (3) an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.
文摘A teacher was giving her pu- pils a lesson on logic(逻辑).“Here is the situation(情景),”she said,“a man is stand- ing up in a boat in the middle of a river,fishing.He loses his bal- ance(平衡),falls in,and begins splashing(泼水)and yelling(叫喊)for help.His wife hears the commotion(喧闹),knows that he can’t swim,and runs down to the bank (河岸).Why did she run to the bank?” A girl raised her hand and asked,“To draw out(提取)all of his savings(存款).”
基金National Natural Science Foundation of China (60975073)Aeronautical Science Foundation of China (2008ZC13011)+1 种基金Research Foundation for Doctoral Program of Higher Education of China (20091102110006)Fundamental Research Funds for the Central Universities
文摘This article proposes a novel fuzzy virtual force (FVF) method for unmanned aerial vehicle (UAV) path planning in compli-cated environment. An integrated mathematical model of UAV path planning based on virtual force (VF) is constructed and the corresponding optimal solving method under the given indicators is presented. Specifically,a fixed step method is developed to reduce computational cost and the reachable condition of path planning is proved. The Bayesian belief network and fuzzy logic reasoning theories are applied to setting the path planning parameters adaptively,which can reflect the battlefield situation dy-namically and precisely. A new way of combining threats is proposed to solve the local minima problem completely. Simulation results prove the feasibility and usefulness of using FVF for UAV path planning. Performance comparisons between the FVF method and the A* search algorithm demonstrate that the proposed approach is fast enough to meet the real-time requirements of the online path planning problems.
文摘Information on the Internet is fragmented and presented in different data sources, which makes automatic knowledge harvesting and understanding formidable for ma- chines, and even for humans. Knowledge graphs have be- come prevalent in both of industry and academic circles these years, to be one of the most efficient and effective knowledge integration approaches. Techniques for knowledge graph construction can mine information from either structured, semi-structured, or even unstructured data sources, and fi- nally integrate the information into knowledge, represented in a graph. Furthermore, knowledge graph is able to organize information in an easy-to-maintain, easy-to-understand and easy-to-use manner. In this paper, we give a summarization of techniques for constructing knowledge graphs. We review the existing knowledge graph systems developed by both academia and industry. We discuss in detail about the process of building knowledge graphs, and survey state-of-the-art techniques for automatic knowledge graph checking and expansion via log- ical inferring and reasoning. We also review the issues of graph data management by introducing the knowledge data models and graph databases, especially from a NoSQL point of view. Finally, we overview current knowledge graph sys- tems and discuss the future research directions.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 10331010 and 10771129)the Foundation of 211 Constructionof Shaanxi Normal University
文摘The theory of (n) truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the (n) truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of (n) truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of (n) similarity degrees among modal formulas is proposed and the (n) modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.