The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed w...The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O(X) is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O(X) of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.展开更多
The convergence theory of ideals in generalized topological molecular lattices is studied. Some properties of this kind of convergence are investigated. Finally, the relations between convergence theories of both mole...The convergence theory of ideals in generalized topological molecular lattices is studied. Some properties of this kind of convergence are investigated. Finally, the relations between convergence theories of both molecular nets and ideals in GTMLs are discussed together with the GT2 separation axiom.展开更多
The aim of this paper is to introduce the concept of generalized topological molecular lattices briefly GTMLs as a generalization of Wang’s topological molecular lattices TMLs, Császár’s setpoint generaliz...The aim of this paper is to introduce the concept of generalized topological molecular lattices briefly GTMLs as a generalization of Wang’s topological molecular lattices TMLs, Császár’s setpoint generalized topological spaces and lattice valued generalized topological spaces. Some notions such as continuous GOHs, convergence theory and separation axioms are introduced. Moreover, the relations among them are investigated.展开更多
We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. Thi...We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. This is a rational solution to an old problem proposed by Rivest, Adleman, and Dertouzos [1] in 1978, and to some new problems that appeared in Peikert [2] as open questions 10 and open questions 11 a few years ago. Our scheme is completely different from the breakthrough work [3] of Gentry in 2009. Gentry’s bootstrapping technique constructs a fully homomorphic encryption (FHE) scheme from a somewhat homomorphic one that is powerful enough to evaluate its own decryption function. To date, it remains the only known way of obtaining unbounded FHE. Our construction of an unbounded FHE scheme is straightforward and can handle unbounded homomorphic computation on any refreshed ciphertexts without bootstrapping transformation technique.展开更多
The Dirac–Weyl equation characterized quasi-particles in the T3 lattice are studied under external magnetic field using the generalized uncertainty principle(GUP). The energy spectrum of the quasi-particles is found ...The Dirac–Weyl equation characterized quasi-particles in the T3 lattice are studied under external magnetic field using the generalized uncertainty principle(GUP). The energy spectrum of the quasi-particles is found by the Nikiforov–Uvarov method. Based on the energy spectrum obtained, the thermodynamic properties are given, and the influence of the GUP on the statistical properties of systems is discussed. The results show that the energy and thermodynamic functions of massless Dirac–Weyl fermions in the T3 lattice depend on the variation of the GUP parameter.展开更多
α-Input resolution and α-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic (LV(n×2)F(X)), which can represent and handle uncertain linguis...α-Input resolution and α-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic (LV(n×2)F(X)), which can represent and handle uncertain linguistic values-based information. Firstly the concepts of α-input resolution and α-unit resolution are presented, and the equivalence of them is shown. Then α-input (α-unit) resolution is equivalently transformed from LV(n×2)F(X) into that of LnP(X), and their soundness and completeness are also established. Finally an algorithm for α-unit resolution is contrived in LnP(X).展开更多
In this article, we introduce the discrete subgroup in ℝ<sup>n</sup> as preliminaries first. Then we provide some theories of cyclic lattices and ideal lattices. By regarding the cyclic lattices...In this article, we introduce the discrete subgroup in ℝ<sup>n</sup> as preliminaries first. Then we provide some theories of cyclic lattices and ideal lattices. By regarding the cyclic lattices and ideal lattices as the correspondences of finitely generated R-modules, we prove our main theorem, i.e. the correspondence between cyclic lattices in ℝ<sup>n</sup> and finitely generated R-modules is one-to-one. Finally, we give an explicit and countable upper bound for the smoothing parameter of cyclic lattices.展开更多
In this note, we shall give the direct product decomposition of a molecular lattice using the concepts of molecules, then we shall discuss the structure of a generalized order homomorphism. About the concepts and nota...In this note, we shall give the direct product decomposition of a molecular lattice using the concepts of molecules, then we shall discuss the structure of a generalized order homomorphism. About the concepts and notations in this note, refer to [1—7]. L(M) denotes a molecular lattice (i. e. a completely distributive lattice) with M as the set of molecules in L. Let {L_i:i∈I} be a family of mo-展开更多
A new lattice Boltzmann model for compressible perfect gas is proposed. The numerical example shows that it can be used to simulate shock wave and contact discontinuity. The results are comparable with those obtained ...A new lattice Boltzmann model for compressible perfect gas is proposed. The numerical example shows that it can be used to simulate shock wave and contact discontinuity. The results are comparable with those obtained by traditional methods. The ratio of specific heats gamma may be chosen according to the requirement of problems.展开更多
Lattice constants, total energies, and densities of state of transition metals Co, Rh, and Ir in the VⅢB group with different crystalline structures were calculated via generalized gradient approximation (GGA) of t...Lattice constants, total energies, and densities of state of transition metals Co, Rh, and Ir in the VⅢB group with different crystalline structures were calculated via generalized gradient approximation (GGA) of the total energy plane wave pseudopotential method in first-principles. The lattice stabilities of Rh and Ir are ΔG^ bcc-hcp 〉 Δ G^fcc-hcp 〉 0, agreeing well with those of the projector augmented wave method in first-principles and the CALPHAD method in spite of elemental Co. Analyses of the electronic structures to lattice stability show that crystalline Rh and Ir with fcc structures have the obvious characteristic of a stable phase, agreeing with the results of total energy calculations. Analyses of atomic populations show that the transition rate of electrons from the s state to the p or d state for hcp, fcc, and bcc crystals of Co and Rh increases with the elemental period number to form a stronger cohesion, a higher cohesive energy, or a more stable lattice between atoms in heavier metals.展开更多
基金Project supported by the National Natural Science Foundation of China (Nos. 10331010, 10861007)the Foundation for the Author of National Excellent Doctoral Dissertation of China (No. 2007B14)+2 种基金the Jiangxi Provincial Natural Science Foundation of China (Nos. 0411025, 2007GZS0179)the Foundation of the Education Department of Jiangxi Province (No. GJJ08162)the Doctoral Fund of Jiangxi Normal University
文摘The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O(X) is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O(X) of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.
文摘The convergence theory of ideals in generalized topological molecular lattices is studied. Some properties of this kind of convergence are investigated. Finally, the relations between convergence theories of both molecular nets and ideals in GTMLs are discussed together with the GT2 separation axiom.
文摘The aim of this paper is to introduce the concept of generalized topological molecular lattices briefly GTMLs as a generalization of Wang’s topological molecular lattices TMLs, Császár’s setpoint generalized topological spaces and lattice valued generalized topological spaces. Some notions such as continuous GOHs, convergence theory and separation axioms are introduced. Moreover, the relations among them are investigated.
文摘We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. This is a rational solution to an old problem proposed by Rivest, Adleman, and Dertouzos [1] in 1978, and to some new problems that appeared in Peikert [2] as open questions 10 and open questions 11 a few years ago. Our scheme is completely different from the breakthrough work [3] of Gentry in 2009. Gentry’s bootstrapping technique constructs a fully homomorphic encryption (FHE) scheme from a somewhat homomorphic one that is powerful enough to evaluate its own decryption function. To date, it remains the only known way of obtaining unbounded FHE. Our construction of an unbounded FHE scheme is straightforward and can handle unbounded homomorphic computation on any refreshed ciphertexts without bootstrapping transformation technique.
基金the National Natural Science Foundation of China(Grant No.11565009)。
文摘The Dirac–Weyl equation characterized quasi-particles in the T3 lattice are studied under external magnetic field using the generalized uncertainty principle(GUP). The energy spectrum of the quasi-particles is found by the Nikiforov–Uvarov method. Based on the energy spectrum obtained, the thermodynamic properties are given, and the influence of the GUP on the statistical properties of systems is discussed. The results show that the energy and thermodynamic functions of massless Dirac–Weyl fermions in the T3 lattice depend on the variation of the GUP parameter.
基金National Natural Science Foundations of China (No. 60875034,No. 61175055)
文摘α-Input resolution and α-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic (LV(n×2)F(X)), which can represent and handle uncertain linguistic values-based information. Firstly the concepts of α-input resolution and α-unit resolution are presented, and the equivalence of them is shown. Then α-input (α-unit) resolution is equivalently transformed from LV(n×2)F(X) into that of LnP(X), and their soundness and completeness are also established. Finally an algorithm for α-unit resolution is contrived in LnP(X).
文摘In this article, we introduce the discrete subgroup in ℝ<sup>n</sup> as preliminaries first. Then we provide some theories of cyclic lattices and ideal lattices. By regarding the cyclic lattices and ideal lattices as the correspondences of finitely generated R-modules, we prove our main theorem, i.e. the correspondence between cyclic lattices in ℝ<sup>n</sup> and finitely generated R-modules is one-to-one. Finally, we give an explicit and countable upper bound for the smoothing parameter of cyclic lattices.
文摘In this note, we shall give the direct product decomposition of a molecular lattice using the concepts of molecules, then we shall discuss the structure of a generalized order homomorphism. About the concepts and notations in this note, refer to [1—7]. L(M) denotes a molecular lattice (i. e. a completely distributive lattice) with M as the set of molecules in L. Let {L_i:i∈I} be a family of mo-
基金The project supported by the National Natural Science Foundation of China
文摘A new lattice Boltzmann model for compressible perfect gas is proposed. The numerical example shows that it can be used to simulate shock wave and contact discontinuity. The results are comparable with those obtained by traditional methods. The ratio of specific heats gamma may be chosen according to the requirement of problems.
基金supported by the Doctoral Discipline Foundation of the Ministry of Education of China (No. 20070533118)the National Natural Science Foundation of China (No. 50871124)the Postdoctoral Foundation of Central South University
文摘Lattice constants, total energies, and densities of state of transition metals Co, Rh, and Ir in the VⅢB group with different crystalline structures were calculated via generalized gradient approximation (GGA) of the total energy plane wave pseudopotential method in first-principles. The lattice stabilities of Rh and Ir are ΔG^ bcc-hcp 〉 Δ G^fcc-hcp 〉 0, agreeing well with those of the projector augmented wave method in first-principles and the CALPHAD method in spite of elemental Co. Analyses of the electronic structures to lattice stability show that crystalline Rh and Ir with fcc structures have the obvious characteristic of a stable phase, agreeing with the results of total energy calculations. Analyses of atomic populations show that the transition rate of electrons from the s state to the p or d state for hcp, fcc, and bcc crystals of Co and Rh increases with the elemental period number to form a stronger cohesion, a higher cohesive energy, or a more stable lattice between atoms in heavier metals.