The characterization of A 5 is obtained through the method of calculation.The main result is described as the following: 1)The order of A 5 is one,two,three or five. 2)The element of A 5 is divided into...The characterization of A 5 is obtained through the method of calculation.The main result is described as the following: 1)The order of A 5 is one,two,three or five. 2)The element of A 5 is divided into five conjugate classes. 3)There are fifty and nine subgroup in A 5 and we can obtain one produce element in every subgroup. 4)There are nine conjugate classes in the subgroup of A 5 .展开更多
The paper presents an dynamic execution model of complex real-time software based on requirement description model RTRSM, and then propose a checking method based on configuration covering and its corresponding algori...The paper presents an dynamic execution model of complex real-time software based on requirement description model RTRSM, and then propose a checking method based on configuration covering and its corresponding algorithm. This checking method can check the execution situations between parallel elements in a dynamic execution step of real-time software systems. It also can check all the states and transitions which assure the completeness of checking. In the end, related theorem is proofed.展开更多
In this paper,we obtain the factorization of direct production and order of group GL（n,Z_m） in a simple method.Then we generalize some properties of GL（2,Z_p） proposed by Huppert,and prove that the group GL（2,Z_...In this paper,we obtain the factorization of direct production and order of group GL（n,Z_m） in a simple method.Then we generalize some properties of GL（2,Z_p） proposed by Huppert,and prove that the group GL（2,Z_z^y） is solvable.We also prove that group GL（n,Z_p）is solvable if and only if GL（n,Z_p） is solvable,and list the generators of groups GL（n,Z_p） and SL（n,Z_p）.At last,we prove that PSL（2,Z_p）（ p〉3） and PSL（n,Z_p） （ n〉3） are simple.展开更多
文摘The characterization of A 5 is obtained through the method of calculation.The main result is described as the following: 1)The order of A 5 is one,two,three or five. 2)The element of A 5 is divided into five conjugate classes. 3)There are fifty and nine subgroup in A 5 and we can obtain one produce element in every subgroup. 4)There are nine conjugate classes in the subgroup of A 5 .
基金Supported by the Natural Science Foundation ofHubei Province (99J165)
文摘The paper presents an dynamic execution model of complex real-time software based on requirement description model RTRSM, and then propose a checking method based on configuration covering and its corresponding algorithm. This checking method can check the execution situations between parallel elements in a dynamic execution step of real-time software systems. It also can check all the states and transitions which assure the completeness of checking. In the end, related theorem is proofed.
文摘In this paper,we obtain the factorization of direct production and order of group GL（n,Z_m） in a simple method.Then we generalize some properties of GL（2,Z_p） proposed by Huppert,and prove that the group GL（2,Z_z^y） is solvable.We also prove that group GL（n,Z_p）is solvable if and only if GL（n,Z_p） is solvable,and list the generators of groups GL（n,Z_p） and SL（n,Z_p）.At last,we prove that PSL（2,Z_p）（ p〉3） and PSL（n,Z_p） （ n〉3） are simple.
