The global view of firewall policy conflict is important for administrators to optimize the policy.It has been lack of appropriate firewall policy global conflict analysis,existing methods focus on local conflict dete...The global view of firewall policy conflict is important for administrators to optimize the policy.It has been lack of appropriate firewall policy global conflict analysis,existing methods focus on local conflict detection.We research the global conflict detection algorithm in this paper.We presented a semantic model that captures more complete classifications of the policy using knowledge concept in rough set.Based on this model,we presented the global conflict formal model,and represent it with OBDD(Ordered Binary Decision Diagram).Then we developed GFPCDA(Global Firewall Policy Conflict Detection Algorithm) algorithm to detect global conflict.In experiment,we evaluated the usability of our semantic model by eliminating the false positives and false negatives caused by incomplete policy semantic model,of a classical algorithm.We compared this algorithm with GFPCDA algorithm.The results show that GFPCDA detects conflicts more precisely and independently,and has better performance.展开更多
Formal systems engineering approaches to modeling misperceptions and attitudes are employed within the framework of the graph model for conflict resolution to systematically study the War of 1812 between the United St...Formal systems engineering approaches to modeling misperceptions and attitudes are employed within the framework of the graph model for conflict resolution to systematically study the War of 1812 between the United States of America and Great Britain in order to provide enhanced insights into the causes of the war. More specifically, relational definitions for preferences, movements and stability concepts are defined for describing the attitudes and associated behavior of decision makers involved in a conflict. To capture misperceptions of decision makers in the War of 1812, attitudes are studied within the structure of a hypergame. Combining attitudes and misperceptions within the paradigm of the graph model furnishes the flexible analytical tool which demonstrates that misunderstanding of attitudes by Great Britain and the United States may have contributed to the outbreak of this nasty war.展开更多
This paper describes a novel quantitative analysis model for system survivability based on conflict analysis, which provides a direct-viewing survivable situation. Based on the three-dimensional state space of conflic...This paper describes a novel quantitative analysis model for system survivability based on conflict analysis, which provides a direct-viewing survivable situation. Based on the three-dimensional state space of conflict, each player’s efficiency matrix on its credible motion set can be obtained. The player whose desire is the strongest in all initiates the moving and the overall state transition matrix of information system may be achieved. In addition, the process of modeling and stability analysis of conflict can be converted into a Markov analysis process, thus the obtained results with occurring probability of each feasible situation will help the players to quantitatively judge the probability of their pursuing situations in conflict. Compared with the existing methods which are limited to post-explanation of system’s survivable situation, the proposed model is relatively suitable for quantitatively analyzing and forecasting the future development situation of system survivability. The experimental results show that the model may be effectively applied to quantitative analysis for survivability. Moreover, there will be a good application prospect in practice.展开更多
The hypergame analysis mainly processes the conflict in which one or more of the players are notfully aware of the nature of the conflict situation. it is a kind of qualitative technology which describes thedecieve an...The hypergame analysis mainly processes the conflict in which one or more of the players are notfully aware of the nature of the conflict situation. it is a kind of qualitative technology which describes thedecieve and anti-decieve strategies.The defect of hypergame analysis appears in that the decision goalcombines with the course of the decision analysis. This paper puts forward the concept 'sanctioned rampart', which reflects the dynamics course of players' decision analysis based on decision goal. At the end.the extended hypergame is used to analyse the whole course of 'Gulf Crisis'.展开更多
This paper introduces the technique of cost effectiveness and risk analysis employed in decision making appraisal to the major processes of analysis of the dynamic conflict decision making modelling, and have obtain...This paper introduces the technique of cost effectiveness and risk analysis employed in decision making appraisal to the major processes of analysis of the dynamic conflict decision making modelling, and have obtained conflict state transfer, conflict decision making selection, cost effectiveness and risk computation appraisal model of enforcement under different patterns. This work has made the dynamic conflict decision modelling analysis more comprehensive, accurate and effective.展开更多
The Building Information Modelling (BIM) methodology has been adopted in the construction industry, supporting the development of projects. Its implementation has improved the collaboration and integration in the desi...The Building Information Modelling (BIM) methodology has been adopted in the construction industry, supporting the development of projects. Its implementation has improved the collaboration and integration in the design context, increasing the accuracy of the project preparation and the decreasing additional costs and delays of the construction work. The main objective of the present research is to provide an overview of the state of the art of BIM applications, namely, concerning the construction planning. For that, the generation of a BIM 3D model, involving the disciplines of architecture, structures and water supply system was performed. After, over the model a conflict analysis was applied, in order to verify the consistency of all the disciplines, when linked together. In order to obtain a visual simulation of the construction process, the correspondent 4D BIM model was also generated. Along the development of the study, distinct BIM software was applied over a case study. The main remarks of the capacities of the software, as well as the benefits and limitations verified were identified.展开更多
A formal methodology for analyzing the importance of weighing a decision maker's attitudes in a conflict is introduced and applied to the problem of negotiating a fair transfer of a brownfield property. A decision ma...A formal methodology for analyzing the importance of weighing a decision maker's attitudes in a conflict is introduced and applied to the problem of negotiating a fair transfer of a brownfield property. A decision maker's attitudes are expressed in his consideration of his own preferences, as well as those of his opponents. Dominating attitudes are used to suggest that in a circumstance in which a decision maker takes into account multiple perspectives due to his attitudes, he may favor one perspective more heavily. The analysis of a brownfield acquisition conflict illustrates the types of insights that this methodology reveals.展开更多
基金supported by the National Nature Science Foundation of China under Grant No.61170295 the Project of National ministry under Grant No.A2120110006+2 种基金 the Co-Funding Project of Beijing Municipal Education Commission under Grant No.JD100060630 the Beijing Education Committee General Program under Grant No. KM201211232010 the National Nature Science Foundation of China under Grant NO. 61370065
文摘The global view of firewall policy conflict is important for administrators to optimize the policy.It has been lack of appropriate firewall policy global conflict analysis,existing methods focus on local conflict detection.We research the global conflict detection algorithm in this paper.We presented a semantic model that captures more complete classifications of the policy using knowledge concept in rough set.Based on this model,we presented the global conflict formal model,and represent it with OBDD(Ordered Binary Decision Diagram).Then we developed GFPCDA(Global Firewall Policy Conflict Detection Algorithm) algorithm to detect global conflict.In experiment,we evaluated the usability of our semantic model by eliminating the false positives and false negatives caused by incomplete policy semantic model,of a classical algorithm.We compared this algorithm with GFPCDA algorithm.The results show that GFPCDA detects conflicts more precisely and independently,and has better performance.
文摘Formal systems engineering approaches to modeling misperceptions and attitudes are employed within the framework of the graph model for conflict resolution to systematically study the War of 1812 between the United States of America and Great Britain in order to provide enhanced insights into the causes of the war. More specifically, relational definitions for preferences, movements and stability concepts are defined for describing the attitudes and associated behavior of decision makers involved in a conflict. To capture misperceptions of decision makers in the War of 1812, attitudes are studied within the structure of a hypergame. Combining attitudes and misperceptions within the paradigm of the graph model furnishes the flexible analytical tool which demonstrates that misunderstanding of attitudes by Great Britain and the United States may have contributed to the outbreak of this nasty war.
基金the Specialized Research Fund for the Doctoral Program of Higher Education (No. 20050217007)
文摘This paper describes a novel quantitative analysis model for system survivability based on conflict analysis, which provides a direct-viewing survivable situation. Based on the three-dimensional state space of conflict, each player’s efficiency matrix on its credible motion set can be obtained. The player whose desire is the strongest in all initiates the moving and the overall state transition matrix of information system may be achieved. In addition, the process of modeling and stability analysis of conflict can be converted into a Markov analysis process, thus the obtained results with occurring probability of each feasible situation will help the players to quantitatively judge the probability of their pursuing situations in conflict. Compared with the existing methods which are limited to post-explanation of system’s survivable situation, the proposed model is relatively suitable for quantitatively analyzing and forecasting the future development situation of system survivability. The experimental results show that the model may be effectively applied to quantitative analysis for survivability. Moreover, there will be a good application prospect in practice.
文摘The hypergame analysis mainly processes the conflict in which one or more of the players are notfully aware of the nature of the conflict situation. it is a kind of qualitative technology which describes thedecieve and anti-decieve strategies.The defect of hypergame analysis appears in that the decision goalcombines with the course of the decision analysis. This paper puts forward the concept 'sanctioned rampart', which reflects the dynamics course of players' decision analysis based on decision goal. At the end.the extended hypergame is used to analyse the whole course of 'Gulf Crisis'.
文摘This paper introduces the technique of cost effectiveness and risk analysis employed in decision making appraisal to the major processes of analysis of the dynamic conflict decision making modelling, and have obtained conflict state transfer, conflict decision making selection, cost effectiveness and risk computation appraisal model of enforcement under different patterns. This work has made the dynamic conflict decision modelling analysis more comprehensive, accurate and effective.
文摘The Building Information Modelling (BIM) methodology has been adopted in the construction industry, supporting the development of projects. Its implementation has improved the collaboration and integration in the design context, increasing the accuracy of the project preparation and the decreasing additional costs and delays of the construction work. The main objective of the present research is to provide an overview of the state of the art of BIM applications, namely, concerning the construction planning. For that, the generation of a BIM 3D model, involving the disciplines of architecture, structures and water supply system was performed. After, over the model a conflict analysis was applied, in order to verify the consistency of all the disciplines, when linked together. In order to obtain a visual simulation of the construction process, the correspondent 4D BIM model was also generated. Along the development of the study, distinct BIM software was applied over a case study. The main remarks of the capacities of the software, as well as the benefits and limitations verified were identified.
基金the Centre for International Governance Innovation(CIGI) for financially supporting Dr.Sean Bernath Walker during his PhD studies in Systems Design Engineering at the University of Waterloo(UW) under the project entitled Multiple Participant-Multiple Objective Decision Making in International Governance,headed by K.W.Hipelfunded by the UW Faculty of EngineeringThe Natural Sciences and Engineering Research Council(NSERC) of Canada
文摘A formal methodology for analyzing the importance of weighing a decision maker's attitudes in a conflict is introduced and applied to the problem of negotiating a fair transfer of a brownfield property. A decision maker's attitudes are expressed in his consideration of his own preferences, as well as those of his opponents. Dominating attitudes are used to suggest that in a circumstance in which a decision maker takes into account multiple perspectives due to his attitudes, he may favor one perspective more heavily. The analysis of a brownfield acquisition conflict illustrates the types of insights that this methodology reveals.