Juxia Xiong

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
SAT is one of the most important basic problems of many areas of computer science and control science. SAT solvers are software or hardware to solve an SAT instance. In this paper, an instance-specified SAT solver was developed with FPGA, which implements the DPLL algorithm with our innovative random variable selection. Moreover, we also introduced an(More)
In order to effectively overcome the defects of local and global pheromone updating for the basic Ant Colony Algorithm, this paper has proposed a new improved Ant Colony Algorithm based on the dynamic adaptive weight in the updating strategy. The proposed algorithm can update pheromone dynamically and adaptively according to the change of taboo lists and(More)
It is well-known that, the algebraic structure of bivariate spline spaces over arbitrary regular triangulations is an extremely complicated problem. Therefore, people turned to study bivariate spline spaces over some special triangulations. In this paper, by using the Bezier-net method and the technique of minimal determining sets,the dimension of bivariate(More)
  • 1