In this paper I access the degree of approximation of known symbolic approach to solving of Ginzburg-Landau (GL) equations using variational method and a concept of vortex lattice with circular unit cells, refine it i...In this paper I access the degree of approximation of known symbolic approach to solving of Ginzburg-Landau (GL) equations using variational method and a concept of vortex lattice with circular unit cells, refine it in a clear and concise way, identify and eliminate the errors. Also, I will improve its accuracy by providing for the first time precise dependencies of the variational parameters;correct and calculate magnetisation, compare it with the one calculated numerically and conclude they agree within 98.5% or better for any value of the GL parameter k and at magnetic field , which is good basis for many engineering applications. As a result, a theoretical tool is developed using known symbolic solutions of GL equations with accuracy surpassing that of any other known symbolic solution and approaching that of numerical one.展开更多
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.展开更多
文摘In this paper I access the degree of approximation of known symbolic approach to solving of Ginzburg-Landau (GL) equations using variational method and a concept of vortex lattice with circular unit cells, refine it in a clear and concise way, identify and eliminate the errors. Also, I will improve its accuracy by providing for the first time precise dependencies of the variational parameters;correct and calculate magnetisation, compare it with the one calculated numerically and conclude they agree within 98.5% or better for any value of the GL parameter k and at magnetic field , which is good basis for many engineering applications. As a result, a theoretical tool is developed using known symbolic solutions of GL equations with accuracy surpassing that of any other known symbolic solution and approaching that of numerical one.
文摘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.
