Based on the option prioritization in graph model for conflict resolution of two decision makers(DMs),new logical and matrix representations of four stability concepts for DMs′attitude are proposed.The logical repres...Based on the option prioritization in graph model for conflict resolution of two decision makers(DMs),new logical and matrix representations of four stability concepts for DMs′attitude are proposed.The logical representation of attitude is defined,and converted to the matrix form in order to develop a decision support system(DSS)efficiently.Compared with existing definitions of DMs′attitude based on states,the proposed definitions of attitude based on options are convenient and more effective to generate preferences since that of states can be significantly larger than that of options in a large conflict.In addition,it is easier to obtain the information of the prioritization of option statements than to obtain preference of states for users.The proposed representations are applied to the process conflict during aircraft manufacturing to demonstrate the efficiency of the new approach.展开更多
GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic executi...GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs happening in GPU and it leads the performance of programs lower. Bank conflict happens when some processing units in GPU access the same shared memory. Symbolic execution is the method to analysis programs with symbolic values. By using it, we can detect bank conflict on GPU programs which use many threads. We implement a prototype of the detector for bank conflict and evaluate it with some GPU programs. The result states that we can detect bank conflict on the programs with no loop regardless of the number of threads.展开更多
基金supported by the National Natural Science Foundation of China(Nos.71071076,71471087,and 61673209)
文摘Based on the option prioritization in graph model for conflict resolution of two decision makers(DMs),new logical and matrix representations of four stability concepts for DMs′attitude are proposed.The logical representation of attitude is defined,and converted to the matrix form in order to develop a decision support system(DSS)efficiently.Compared with existing definitions of DMs′attitude based on states,the proposed definitions of attitude based on options are convenient and more effective to generate preferences since that of states can be significantly larger than that of options in a large conflict.In addition,it is easier to obtain the information of the prioritization of option statements than to obtain preference of states for users.The proposed representations are applied to the process conflict during aircraft manufacturing to demonstrate the efficiency of the new approach.
文摘GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs happening in GPU and it leads the performance of programs lower. Bank conflict happens when some processing units in GPU access the same shared memory. Symbolic execution is the method to analysis programs with symbolic values. By using it, we can detect bank conflict on GPU programs which use many threads. We implement a prototype of the detector for bank conflict and evaluate it with some GPU programs. The result states that we can detect bank conflict on the programs with no loop regardless of the number of threads.
