With the growing discovery of exposed vulnerabilities in the Industrial Control Components(ICCs),identification of the exploitable ones is urgent for Industrial Control System(ICS)administrators to proactively forecas...With the growing discovery of exposed vulnerabilities in the Industrial Control Components(ICCs),identification of the exploitable ones is urgent for Industrial Control System(ICS)administrators to proactively forecast potential threats.However,it is not a trivial task due to the complexity of the multi-source heterogeneous data and the lack of automatic analysis methods.To address these challenges,we propose an exploitability reasoning method based on the ICC-Vulnerability Knowledge Graph(KG)in which relation paths contain abundant potential evidence to support the reasoning.The reasoning task in this work refers to determining whether a specific relation is valid between an attacker entity and a possible exploitable vulnerability entity with the help of a collective of the critical paths.The proposed method consists of three primary building blocks:KG construction,relation path representation,and query relation reasoning.A security-oriented ontology combines exploit modeling,which provides a guideline for the integration of the scattered knowledge while constructing the KG.We emphasize the role of the aggregation of the attention mechanism in representation learning and ultimate reasoning.In order to acquire a high-quality representation,the entity and relation embeddings take advantage of their local structure and related semantics.Some critical paths are assigned corresponding attentive weights and then they are aggregated for the determination of the query relation validity.In particular,similarity calculation is introduced into a critical path selection algorithm,which improves search and reasoning performance.Meanwhile,the proposed algorithm avoids redundant paths between the given pairs of entities.Experimental results show that the proposed method outperforms the state-of-the-art ones in the aspects of embedding quality and query relation reasoning accuracy.展开更多
A general methodology for developing intelligent CAE systems is presented, which is based on a so-called Model Based Reasoning Approach (MBRA) in knowledge engineering. Generic features of CAE systems are described, a...A general methodology for developing intelligent CAE systems is presented, which is based on a so-called Model Based Reasoning Approach (MBRA) in knowledge engineering. Generic features of CAE systems are described, and a generic model for the architecture of CAE systems with these generic features is then presented. A model-based reasoning approach is modified for implementing the generic model. A case for developing a computer system for the mechanism design based on a specific finite element theory is used to explain the methodology.展开更多
The advantage of multi-protocol label switching (MPLS) is its capability to route the packets through explicit paths. But the nodes in the paths may be possibly attacked by the adversarial uncertainty. Aiming at this ...The advantage of multi-protocol label switching (MPLS) is its capability to route the packets through explicit paths. But the nodes in the paths may be possibly attacked by the adversarial uncertainty. Aiming at this problem in MPLS Network, in this paper, we propose a novel mechanism in MPLS network under adversar-ial uncertainty, making use of the theory of artificial intelligence, at first, we find the initialized label switching paths (LSPs) using the A* arithmetic, and secondly, during the process of data transmission, we switch the transmission path duly by taking advantage of the non-monotone reasoning mechanism. Com-pared to the traditional route mechanism, the experimental results show that it improves the security if data transmission remarkably under our novel mechanism in MPLS network.展开更多
Automated negotiation mechanisms can be helpful in contexts where users want to reach mutually satisfactory agreements about issues of shared interest, especially for complex problems with many interdependent issues. ...Automated negotiation mechanisms can be helpful in contexts where users want to reach mutually satisfactory agreements about issues of shared interest, especially for complex problems with many interdependent issues. A variety of automated negotiation mechanisms have been proposed in the literature. The effectiveness of those mechanisms, however, may depend on the charaeteristics of the underlying negotiation problem (e.g. on the complexity of participant's utility functions, as well as the degree of conflict between participants). While one mechanism may be a good choice for a negotiation problem, it may be a poor choice for another. In this paper, we pursue the problem of selecting the most effective negotiation mechanism given a particular problem by (1) defining a set of scenario metrics to capture the relevant features of negotiation problems, (2) evaluating the performance of a range of negotiation mechanisms on a diverse test suite of negotiation scenarios, (3) applying machine learning techniques to identify which mechanisms work best with which scenarios, and (4) demonstrating that using these classification rules for mechanism selection enables significantly better negotiation performance than any single mechanism alone.展开更多
Introduction:Payment for watershed ecosystem services(PWES),a policy instrument for compensating for the externality of watershed ecosystem/environmental services,has gained in policy importance in China over the past...Introduction:Payment for watershed ecosystem services(PWES),a policy instrument for compensating for the externality of watershed ecosystem/environmental services,has gained in policy importance in China over the past two decades.Many scholars and researchers have contributed to the conceptualization of this policy framework by developing operational mechanisms as well as compensation standards for PWES.Outcomes:This article reviews 27 PWES schemes piloted in China and in 10 other countries,with a particular emphasis on successful cases of land-use conversion programs,such as the Paddy Land to Dry Land Program and Sloping Land Conversion Program that have been implemented in China.Discussion:By comparing different cases,the authors attempt to answer the following questions:what were the ecological and institutional contexts in which these schemes were established and how did they work?What were the actual efficiencies and impacts of these piloted schemes?Which scheme worked better in certain ecological,socio-economic,and institutional contexts?Conclusion:Based on case studies,the authors draw the following conclusions about Chinese PWES:(1)to establish an acceptable standard for a PWES program,it is necessary to estimate the economic and social costs regarding the livelihoods of households;(2)multistakeholder negotiation mechanism for PWES,including intermediaries,such as the local government,NGO/NPOs,village committees,and user associations,should be used;(3)ES,non-market services,should acquire positive externalities to accomplish an optimal win–win pattern concerning both environmental goals and the livelihoods of local resource users.展开更多
In order to solve the problems of road traffic congestion and the increasing parking time caused by the imbalance of parking lot supply and demand,this paper proposes an asymptotically optimal public parking lot locat...In order to solve the problems of road traffic congestion and the increasing parking time caused by the imbalance of parking lot supply and demand,this paper proposes an asymptotically optimal public parking lot location algorithm based on intuitive reasoning to optimize the parking lot location problem.Guided by the idea of intuitive reasoning,we use walking distance as indicator to measure the variability among location data and build a combinatorial optimization model aimed at guiding search decisions in the solution space of complex problems to find optimal solutions.First,Selective Attention Mechanism(SAM)is introduced to reduce the search space by adaptively focusing on the important information in the features.Then,Quantum Annealing(QA)algorithm with quantum tunneling effect is used to jump out of the local extremum in the search space with high probability and further approach the global optimal solution.Experiments on the parking lot location dataset in Luohu District,Shenzhen,show that the proposed method has improved the accuracy and running speed of the solution,and the asymptotic optimality of the algorithm and its effectiveness in solving the public parking lot location problem are verified.展开更多
基金Our work is supported by the National Key R&D Program of China(2021YFB2012400).
文摘With the growing discovery of exposed vulnerabilities in the Industrial Control Components(ICCs),identification of the exploitable ones is urgent for Industrial Control System(ICS)administrators to proactively forecast potential threats.However,it is not a trivial task due to the complexity of the multi-source heterogeneous data and the lack of automatic analysis methods.To address these challenges,we propose an exploitability reasoning method based on the ICC-Vulnerability Knowledge Graph(KG)in which relation paths contain abundant potential evidence to support the reasoning.The reasoning task in this work refers to determining whether a specific relation is valid between an attacker entity and a possible exploitable vulnerability entity with the help of a collective of the critical paths.The proposed method consists of three primary building blocks:KG construction,relation path representation,and query relation reasoning.A security-oriented ontology combines exploit modeling,which provides a guideline for the integration of the scattered knowledge while constructing the KG.We emphasize the role of the aggregation of the attention mechanism in representation learning and ultimate reasoning.In order to acquire a high-quality representation,the entity and relation embeddings take advantage of their local structure and related semantics.Some critical paths are assigned corresponding attentive weights and then they are aggregated for the determination of the query relation validity.In particular,similarity calculation is introduced into a critical path selection algorithm,which improves search and reasoning performance.Meanwhile,the proposed algorithm avoids redundant paths between the given pairs of entities.Experimental results show that the proposed method outperforms the state-of-the-art ones in the aspects of embedding quality and query relation reasoning accuracy.
文摘A general methodology for developing intelligent CAE systems is presented, which is based on a so-called Model Based Reasoning Approach (MBRA) in knowledge engineering. Generic features of CAE systems are described, and a generic model for the architecture of CAE systems with these generic features is then presented. A model-based reasoning approach is modified for implementing the generic model. A case for developing a computer system for the mechanism design based on a specific finite element theory is used to explain the methodology.
文摘The advantage of multi-protocol label switching (MPLS) is its capability to route the packets through explicit paths. But the nodes in the paths may be possibly attacked by the adversarial uncertainty. Aiming at this problem in MPLS Network, in this paper, we propose a novel mechanism in MPLS network under adversar-ial uncertainty, making use of the theory of artificial intelligence, at first, we find the initialized label switching paths (LSPs) using the A* arithmetic, and secondly, during the process of data transmission, we switch the transmission path duly by taking advantage of the non-monotone reasoning mechanism. Com-pared to the traditional route mechanism, the experimental results show that it improves the security if data transmission remarkably under our novel mechanism in MPLS network.
基金Acknowledgements: This work is supported by the National Nature Science Foundation of China (No. 90104029) and Specialized Research Fund for the Doctoral Program of Higher Education (No. 20050487046).
文摘Automated negotiation mechanisms can be helpful in contexts where users want to reach mutually satisfactory agreements about issues of shared interest, especially for complex problems with many interdependent issues. A variety of automated negotiation mechanisms have been proposed in the literature. The effectiveness of those mechanisms, however, may depend on the charaeteristics of the underlying negotiation problem (e.g. on the complexity of participant's utility functions, as well as the degree of conflict between participants). While one mechanism may be a good choice for a negotiation problem, it may be a poor choice for another. In this paper, we pursue the problem of selecting the most effective negotiation mechanism given a particular problem by (1) defining a set of scenario metrics to capture the relevant features of negotiation problems, (2) evaluating the performance of a range of negotiation mechanisms on a diverse test suite of negotiation scenarios, (3) applying machine learning techniques to identify which mechanisms work best with which scenarios, and (4) demonstrating that using these classification rules for mechanism selection enables significantly better negotiation performance than any single mechanism alone.
基金This work was financially supported by the Program of“The strategic research for water safety and ecological compensation program in the Jing-Jin-Ji region of China”[No.2015TC035]the Fundamental Research Funds of the National Basic Research Program of China’University.
文摘Introduction:Payment for watershed ecosystem services(PWES),a policy instrument for compensating for the externality of watershed ecosystem/environmental services,has gained in policy importance in China over the past two decades.Many scholars and researchers have contributed to the conceptualization of this policy framework by developing operational mechanisms as well as compensation standards for PWES.Outcomes:This article reviews 27 PWES schemes piloted in China and in 10 other countries,with a particular emphasis on successful cases of land-use conversion programs,such as the Paddy Land to Dry Land Program and Sloping Land Conversion Program that have been implemented in China.Discussion:By comparing different cases,the authors attempt to answer the following questions:what were the ecological and institutional contexts in which these schemes were established and how did they work?What were the actual efficiencies and impacts of these piloted schemes?Which scheme worked better in certain ecological,socio-economic,and institutional contexts?Conclusion:Based on case studies,the authors draw the following conclusions about Chinese PWES:(1)to establish an acceptable standard for a PWES program,it is necessary to estimate the economic and social costs regarding the livelihoods of households;(2)multistakeholder negotiation mechanism for PWES,including intermediaries,such as the local government,NGO/NPOs,village committees,and user associations,should be used;(3)ES,non-market services,should acquire positive externalities to accomplish an optimal win–win pattern concerning both environmental goals and the livelihoods of local resource users.
基金supported by the Special Zone Project of National Defense Innovation and the Science and Technology Program of Education Department of Jiangxi Province(No.GJJ171503).
文摘In order to solve the problems of road traffic congestion and the increasing parking time caused by the imbalance of parking lot supply and demand,this paper proposes an asymptotically optimal public parking lot location algorithm based on intuitive reasoning to optimize the parking lot location problem.Guided by the idea of intuitive reasoning,we use walking distance as indicator to measure the variability among location data and build a combinatorial optimization model aimed at guiding search decisions in the solution space of complex problems to find optimal solutions.First,Selective Attention Mechanism(SAM)is introduced to reduce the search space by adaptively focusing on the important information in the features.Then,Quantum Annealing(QA)algorithm with quantum tunneling effect is used to jump out of the local extremum in the search space with high probability and further approach the global optimal solution.Experiments on the parking lot location dataset in Luohu District,Shenzhen,show that the proposed method has improved the accuracy and running speed of the solution,and the asymptotic optimality of the algorithm and its effectiveness in solving the public parking lot location problem are verified.