In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus ...In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus gen( I 4 ) is nine and the class number of even unimodular lattices is three, and also gives the representative lattices of each class.展开更多
Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classi...Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation, but rough set theory based on reflexive and transitive relation (called quasi-ordering) has wide applications in the real world. To characterize topological rough set theory, an axiom group named RT, consisting of 4 axioms, is proposed. It is proved that the axiom group reliability in characterizing rough set theory based on similar relation is reasonable. Simultaneously, the minimization of the axiom group, which requires that each axiom is an equation and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.展开更多
文摘In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus gen( I 4 ) is nine and the class number of even unimodular lattices is three, and also gives the representative lattices of each class.
文摘Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation, but rough set theory based on reflexive and transitive relation (called quasi-ordering) has wide applications in the real world. To characterize topological rough set theory, an axiom group named RT, consisting of 4 axioms, is proposed. It is proved that the axiom group reliability in characterizing rough set theory based on similar relation is reasonable. Simultaneously, the minimization of the axiom group, which requires that each axiom is an equation and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.
