No abstract uploaded!

Quotient sets have attracted the attention of mathe- maticians in the past three decades. The set of quotients of primes is dense in the positive real numbers and the set of all quotients of Gauss- ian primes is also dense in the complex plane. Sittinger has proved that the set of quotients of primes in an imaginary quadratic ring is dense in the complex plane and the set of quotients of primes in a real quadratic number ring is dense in R: An interesting open question is introduced by Sittinger: Is the set of quotients of Hurwitz primes dense in the quaternions? In this paper, we answer the question and prove that the set of all quotients of Hurwitz primes is dense in the quaternions.

Checkpoint/restart is an important mechanism for system fault tolerance. It saves the state of an executing program periodically and recovers it after a failure. As many applications involve file operations, supporting file rollbacks is essential for checkpoint/restart. Complete backup can restore files to the correct state, but its cost is too high. In this paper we propose a behavior based file checkpointing strategy (BBFC), which provides a correct recovery of file data and ensures consistency between file state and other states of a process when a rollback is done by restarting the program from the last checkpoint. BBFC classifies details of the file operation behaviors and provides a guidance on what to be saved during file checkpointing according to those behaviors. It dramatically minimizes the overhead of file checkpointing due to the reduction of file data which need to be saved. And it is transparent and easy to use.

Starting from the roots of the equation 3^x + 4^x = 5^x discussed in the Tenth Grade, we utilized the method, the algebraic extension of the rational number eld, to produce the ways to judge whether the roots of the basic exponential equation with a form as a^x+b^x = c^x are rational or not. For equations with more than two terms on the left side, as is the equation a_1^x+a_2^x+
···

+a_n^x = d^x, the determination of whether the root was irrational was comparatively dicult.Therefore, we provided a prevalent method for the examination of the root of a three-term equation as well as a conclusion that if the equation doesn't have integer roots, the roots won't be a rational number with a denominator of two. Finally, based on the method, the algebraic extension of the rational number eld, we concluded that under special occasions, the root of the equation can't be some rational numbers with certain denominators.

Lights Out is a video game, which was released by Tiger Toys in 1995. Generally, there are 3×3, 4×4, 5×5, 10×10 grids of games. Under the normal circumstances, it’s easy to deal with some special configurations manually. However, the possibility of solving the randomly-generated configuration by hand is small, for it’s a bit difficult to find the law. Out of interest and enthusiasm about the game, our team reads some reference and gathered four mathematic methods to solve the game. What’s more, we extend the methods to m×n games, the cycling game, the lit-only game and N-color game. We independently propose a method to classify all configurations in the game for 5×5, which can also be extended to general cases. We also put forward the issues about N-order hexagon games, and provide some feasible solutions.