In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure i...In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.展开更多
Zhao （2003a） first established a congruence for any odd prime p〉3, S（1,1,1 ;p）=-2Bp-3 （mod p）, which holds when p=3 evidently. In this paper, we consider finite triple harmonic sum S（α,β, γ,ρ） （modp） is...Zhao （2003a） first established a congruence for any odd prime p〉3, S（1,1,1 ;p）=-2Bp-3 （mod p）, which holds when p=3 evidently. In this paper, we consider finite triple harmonic sum S（α,β, γ,ρ） （modp） is considered for all positive integers α,β, γ. We refer to w=α＋β＋ γ as the weight of the sum, and show that if w is even, S（α,β, γ,ρ）=0 （mod p） for p≥w＋3; if w is odd, S（α,β, γ,ρ）=-rBp-w （mod p） for p≥w, here r is an explicit rational number independent ofp. A congruence of Catalan number is obtained as a special case.展开更多
基金Supported by the National Natural Science Foundation of China(No.61173052)the Natural Science Foundation of Hunan Province(No.14JJ4007)
文摘In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.
基金Project (No. 10371107) supported by the National Natural Science Foundation of China
文摘Zhao （2003a） first established a congruence for any odd prime p〉3, S（1,1,1 ;p）=-2Bp-3 （mod p）, which holds when p=3 evidently. In this paper, we consider finite triple harmonic sum S（α,β, γ,ρ） （modp） is considered for all positive integers α,β, γ. We refer to w=α＋β＋ γ as the weight of the sum, and show that if w is even, S（α,β, γ,ρ）=0 （mod p） for p≥w＋3; if w is odd, S（α,β, γ,ρ）=-rBp-w （mod p） for p≥w, here r is an explicit rational number independent ofp. A congruence of Catalan number is obtained as a special case.
