We prove that for a Frobenius extension,a module over the extension ring is Gorenstein projective if and only if its underlying module over the base ring is Gorenstein projective.For a separable Frobenius extension be...We prove that for a Frobenius extension,a module over the extension ring is Gorenstein projective if and only if its underlying module over the base ring is Gorenstein projective.For a separable Frobenius extension between Artin algebras,we obtain that the extension algebra is CM(Cohen-Macaulay)-finite(resp.CM-free)if and only if so is the base algebra.Furthermore,we prove that the representation dimension of Artin algebras is invariant under separable Frobenius extensions.展开更多
The main aim of this paper is to give the invariant properties of representations of algebras under cleft extensions over a semisimple Hopf algebra. Firstly, we explain the concept of the cleft extension and give a re...The main aim of this paper is to give the invariant properties of representations of algebras under cleft extensions over a semisimple Hopf algebra. Firstly, we explain the concept of the cleft extension and give a relation between the cleft extension and the crossed product which is the approach we depend upon. Then, by making use of them, we prove that over an algebraically closed field k, for a finite dimensional Hopf algebra H which is semisimple as well as its dual H*, the representation type of an algebra is an invariant property under a finite dimensional H-cleft extension . In the other part, we still show that over an arbitrary field k, the Nakayama property of a k-algebra is also an invariant property under an H -cleft extension when the radical of the algebra is H-stable.展开更多
The characteristic tilting modules of quasi-hereditary algebras which are dual extensions of directed monomial algebras are explicitly constructed; and it is shown that the Ringel dual of the dual extension of an arbi...The characteristic tilting modules of quasi-hereditary algebras which are dual extensions of directed monomial algebras are explicitly constructed; and it is shown that the Ringel dual of the dual extension of an arbitrary hereditary algebra has triangular decomposition and bipartite quiver.展开更多
We constructed a gauge B-L model with D_(4)×Z_(4)×Z_(2)symmetry to explain the quark and lepton mass hierarchies and their mixings with realistic CP phases via the type-I seesaw mechanism.Six quark mases,thr...We constructed a gauge B-L model with D_(4)×Z_(4)×Z_(2)symmetry to explain the quark and lepton mass hierarchies and their mixings with realistic CP phases via the type-I seesaw mechanism.Six quark mases,three quark mixing angles,and the CP phase in the quark sector take the central values whereas Yukawa couplings in the quark sector are diluted in a range of difference of three orders of magnitude by the perturbation theory at the first order.Concerning the neutrino sector,a small neutrino mass is achieved by the type-I seesaw mechanism.Both inverted and normal neutrino mass hierarchies are consistent with the experimental data.The predicted sum of neutrino masses for normal and inverted hierarchies,the effective neutrino masses,and the Dirac CP phase are also consistent with recently reported limits.展开更多
The goal of this paper is to show that there are infinitely many number fields K/Q, for which there is no inert prime p ∈ N*, i.e. ∀p ∈ N* a prime number, prime ideal of K such that where: Zk</sub> i...The goal of this paper is to show that there are infinitely many number fields K/Q, for which there is no inert prime p ∈ N*, i.e. ∀p ∈ N* a prime number, prime ideal of K such that where: Zk</sub> is the Dedekind domain of the integer elements of K. To prove such a result, consider for any prime p, the decomposition into a product of prime ideals of Zk</sub>, of the ideal . From this point, we use on the one hand: 1) The well- known property that says: If , then the ideal pZ<sub>k</sub> decomposes into a product of prime ideals of Zk</sub> as following: . (where:;is the irreducible polynomial of θ, and, is its reduction modulo p, which leads to a product of irreducible polynomials in Fp[X]). It is clear that because if is reducible in Fp[X], then consequently p is not inert. Now, we prove the existence of such p, by proving explicit such p as follows. So we use on the other hand: 2) this property that we prove, and which is: If , is an irreducible normalized integer polynomial, whose splitting field is , then for any prime number p ∈ N: is always a reducible polynomial. 3) Consequently, and this closes our proof: let’s consider the set (whose cardinality is infinite) of monogenic biquadratic number fields: . Then each f<sub>θ</sub>(X) checks the above properties, this means that for family M, all its fields, do not admit any inert prime numbers p ∈ N. 2020-Mathematics Subject Classification (MSC2020) 11A41 - 11A51 - 11D25 - 11R04 - 11R09 - 11R11 - 11R16 - 11R32 - 11T06 - 12E05 - 12F05 -12F10 -13A05-13A15 - 13B02 - 13B05 - 13B10 - 13B25 -13F05展开更多
Air pollution in modern city and industrial zones has become a serious public concern in recent years in China. Significance of air quality assessment and emission control strategy design is increasing. Most studies i...Air pollution in modern city and industrial zones has become a serious public concern in recent years in China. Significance of air quality assessment and emission control strategy design is increasing. Most studies in China focus on particulate matter(PM), especially PM2.5, while few account for photochemical secondary air pollutions represented by ozone(O3). In this paper, a procedure for air quality simulation with comprehensive air quality model with extensions(CAMx) is demonstrated for studying the photochemical process and ozone generation in the troposphere. As a case study, the CAMx photochemical grid model is used to model ozone over southern part of Beijing city in winter, 2011. The input parameters to CAMx include emission sources, meteorology field data, terrain definition, photolysis status, initial and boundary conditions. The simulation results are verified by theoretical analysis of the ozone generation tendency. The simulated variation tendency of domain-wide average value of hourly ozone concentration coincides reasonably well with the theoretical analysis on the atmospheric photochemical process, demonstrating the effectiveness of the procedure. An integrated model system that cooperates with CAMx will be established in our future work.展开更多
In this paper,we give the notion of derivations of Lie 2-algebras using explicit formulas,and construct the associated derivation Lie 3-algebra.We prove that isomorphism classes of non-abelian extensions of Lie 2-alge...In this paper,we give the notion of derivations of Lie 2-algebras using explicit formulas,and construct the associated derivation Lie 3-algebra.We prove that isomorphism classes of non-abelian extensions of Lie 2-algebras are classified by equivalence classes of morphisms from a Lie 2-algebra to a derivation Lie 3-algebra.展开更多
The bulk parameters characterizing the energy of symmetric nuclear matter and the symmetry energy defined at normal nuclear density ρ0 provide important information on the equation of state (EOS) of isospin asymmetri...The bulk parameters characterizing the energy of symmetric nuclear matter and the symmetry energy defined at normal nuclear density ρ0 provide important information on the equation of state (EOS) of isospin asymmetric nuclear matter. While significant progress has been made in determining some lower order bulk characteristic parameters, such as the energy E0(ρ0) and incompress ibility K0 of symmetric nuclear matter as well as the symmetry energy Esym(ρ0) and its slope parameter L, yet the higher order bulk characteristic parameters are still poorly known. Here, we analyze the correlations between the lower and higher order bulk char acteristic parameters within the framework of Skyrme Hartree-Fock energy density functional and then estimate the values of some higher order bulk characteristic parameters. In particular, we obtain J0 = (-355±95) MeV and I0 = (1473±680) MeV for the third order and fourth-order derivative parameters of symmetric nuclear matter at ρ0 and Ksym = (-100 ± 165) MeV, Jsym = (224 ± 385) MeV, Isym = (-1309 ± 2025) MeV for the curvature parameter, third-order and fourth-order derivative parameters of the symmetry energy at ρ0, using the empirical constraints on E0(ρ0), K0, Esym(ρ0), L, and the isoscalar and isovector nucleon effective masses. Furthermore, our results indicate that the three parameters E0(ρ0), K0, and J0 can reasonably characterize the EOS of symmetric nuclear matter up to 2ρ0 while the symmetry energy up to 2ρ0 can be well described by Esym(ρ0), L, and Ksym.展开更多
The ionospheric oblique backscattering sounding system can not only be used to detect the state of the ionosphere and the condition of high frequency channel in real time, but also be used for over-the-horizon soundin...The ionospheric oblique backscattering sounding system can not only be used to detect the state of the ionosphere and the condition of high frequency channel in real time, but also be used for over-the-horizon sounding. Therefore, it has a very high military and civil value. For the characteristics of ionospheric oblique backscattering sounding, such as long sounding distance, wake echo, strong background noise, slow moving target, etc., a hardware platform of ionospheric oblique backscattering sounding system is designed. This platform adopts the technology of software radio and is designed as a new kind of general purpose, modularized, software-based ionosonde that is based on the VXI （Versa module eurocard eXtensions for Instrumentation） bus. This hardware platform has been successfully used in actual ionospheric oblique backscattering sounding, and the experimental results demonstrate that this system can satisfy the requirements.展开更多
Tje global dynamical correlation energies for 575 even even nuclei with proton numbers ranging from Z = 8 to Z = 108 calculated with the covariant density functional theory using the PC-PK1 parametrization are present...Tje global dynamical correlation energies for 575 even even nuclei with proton numbers ranging from Z = 8 to Z = 108 calculated with the covariant density functional theory using the PC-PK1 parametrization are presented. The dynamical correlation energies include the rotational correction energies obtained with the cranking approximation and the quadrupole vibrational correction energies. The systematic behavior of the present correlation energies is in good agreement with that obtained from the projected generator coordinate method using the SLy4 Skyrme force although our values are systematically smaller. After including the dynamical correlation energies, the root- mean-square deviation predicted by the PC-PK1 for the 575 even-even nuclei masses is reduced from 2.58 MeV to 1.24 MeV.展开更多
Let G be a reductive Nash group,acting on a Nash manifold X.Let Z be a G-stable closed Nash submanifold of X and denote by U the complement of Z in X.Letχbe a character of G and denote by g the complexified Lie algeb...Let G be a reductive Nash group,acting on a Nash manifold X.Let Z be a G-stable closed Nash submanifold of X and denote by U the complement of Z in X.Letχbe a character of G and denote by g the complexified Lie algebra of G.We give a sufficient condition for the natural linear map H_(k)(g,S(U)×χ)→H_k(g,S(X)×χ)between the Lie algebra homologies of Schwartz functions to be an isomorphism.For k=0,by considering the dual,we obtain the automatic extensions of g-invariant(twisted by-χ)Schwartz distributions.展开更多
Code reuse attacks pose a severe threat to modern applications. These attacks reuse existing code segments of vulnerable applications as attack payloads and hijack the control flow of a victim application. With high c...Code reuse attacks pose a severe threat to modern applications. These attacks reuse existing code segments of vulnerable applications as attack payloads and hijack the control flow of a victim application. With high code entropy and a relatively low performance overhead, Address Space Layout Randomization(ASLR) has become the most widely explored defense against code reuse attacks. However, a single memory disclosure vulnerability is able to compromise this defense. In this paper, we present Memory Protection Extensions(MPX)-assisted Address Space Layout Randomization(M-ASLR), a novel code-space randomization scheme. M-ASLR uses several characteristics of Intel MPX to restrict code pointers in memory. We have developed a fully functioning prototype of M-ALSR, and our evaluation results show that M-ASLR:(1) offers no interference with normal operation;(2) protects against buffer overflow attacks, code reuse attacks, and other sophisticated modern attacks;and(3) adds a very low performance overhead(3.3%) to C/C++ applications.展开更多
基金supported by National Natural Science Foundation of China(Grant No.11571329)the Natural Science Foundation of Anhui Province(Grant No.1708085MA01)
文摘We prove that for a Frobenius extension,a module over the extension ring is Gorenstein projective if and only if its underlying module over the base ring is Gorenstein projective.For a separable Frobenius extension between Artin algebras,we obtain that the extension algebra is CM(Cohen-Macaulay)-finite(resp.CM-free)if and only if so is the base algebra.Furthermore,we prove that the representation dimension of Artin algebras is invariant under separable Frobenius extensions.
文摘本文提出一种基于RBF(Radial Basis Function,径向基函数)神经网络的打印机光谱预测模型,通过扩展神经网络模型输入变量的项数提高模型的预测精度,扩展项多采用通道驱动值的交叉值、平方值。实验结果表明[1cmy]项的引入能够有效提高模型的预测精度,同时提高网络的泛化能力。而引入[cm2 cy2 mc2 my2 yc2 ym2]项会导致模型预测精度以及泛化能力降低。[1cmy]、[c2 m2y2]和[cm cy my]项的组合在预测精度和模型泛化能力上均是最优化的,对总样本预测的色度精度为0.475ΔE00,光谱精度RMSE为0.43%。因此选择[1cmy c2 m2y2 cm cy my c m y]作为输入变量的RBF神经网络训练模型是满足高精度光谱预测的最优模型。
基金This work was partially supported by the Program for New Century Excellent Talents in University (Grant No.04-0522) the National Natural Science Foundation of China (Grant No.10571153).
文摘The main aim of this paper is to give the invariant properties of representations of algebras under cleft extensions over a semisimple Hopf algebra. Firstly, we explain the concept of the cleft extension and give a relation between the cleft extension and the crossed product which is the approach we depend upon. Then, by making use of them, we prove that over an algebraically closed field k, for a finite dimensional Hopf algebra H which is semisimple as well as its dual H*, the representation type of an algebra is an invariant property under a finite dimensional H-cleft extension . In the other part, we still show that over an arbitrary field k, the Nakayama property of a k-algebra is also an invariant property under an H -cleft extension when the radical of the algebra is H-stable.
文摘The characteristic tilting modules of quasi-hereditary algebras which are dual extensions of directed monomial algebras are explicitly constructed; and it is shown that the Ringel dual of the dual extension of an arbitrary hereditary algebra has triangular decomposition and bipartite quiver.
基金funded by Tay Nguyen University under grant number T2023-45CBTD。
文摘We constructed a gauge B-L model with D_(4)×Z_(4)×Z_(2)symmetry to explain the quark and lepton mass hierarchies and their mixings with realistic CP phases via the type-I seesaw mechanism.Six quark mases,three quark mixing angles,and the CP phase in the quark sector take the central values whereas Yukawa couplings in the quark sector are diluted in a range of difference of three orders of magnitude by the perturbation theory at the first order.Concerning the neutrino sector,a small neutrino mass is achieved by the type-I seesaw mechanism.Both inverted and normal neutrino mass hierarchies are consistent with the experimental data.The predicted sum of neutrino masses for normal and inverted hierarchies,the effective neutrino masses,and the Dirac CP phase are also consistent with recently reported limits.
文摘The goal of this paper is to show that there are infinitely many number fields K/Q, for which there is no inert prime p ∈ N*, i.e. ∀p ∈ N* a prime number, prime ideal of K such that where: Zk</sub> is the Dedekind domain of the integer elements of K. To prove such a result, consider for any prime p, the decomposition into a product of prime ideals of Zk</sub>, of the ideal . From this point, we use on the one hand: 1) The well- known property that says: If , then the ideal pZ<sub>k</sub> decomposes into a product of prime ideals of Zk</sub> as following: . (where:;is the irreducible polynomial of θ, and, is its reduction modulo p, which leads to a product of irreducible polynomials in Fp[X]). It is clear that because if is reducible in Fp[X], then consequently p is not inert. Now, we prove the existence of such p, by proving explicit such p as follows. So we use on the other hand: 2) this property that we prove, and which is: If , is an irreducible normalized integer polynomial, whose splitting field is , then for any prime number p ∈ N: is always a reducible polynomial. 3) Consequently, and this closes our proof: let’s consider the set (whose cardinality is infinite) of monogenic biquadratic number fields: . Then each f<sub>θ</sub>(X) checks the above properties, this means that for family M, all its fields, do not admit any inert prime numbers p ∈ N. 2020-Mathematics Subject Classification (MSC2020) 11A41 - 11A51 - 11D25 - 11R04 - 11R09 - 11R11 - 11R16 - 11R32 - 11T06 - 12E05 - 12F05 -12F10 -13A05-13A15 - 13B02 - 13B05 - 13B10 - 13B25 -13F05
文摘Air pollution in modern city and industrial zones has become a serious public concern in recent years in China. Significance of air quality assessment and emission control strategy design is increasing. Most studies in China focus on particulate matter(PM), especially PM2.5, while few account for photochemical secondary air pollutions represented by ozone(O3). In this paper, a procedure for air quality simulation with comprehensive air quality model with extensions(CAMx) is demonstrated for studying the photochemical process and ozone generation in the troposphere. As a case study, the CAMx photochemical grid model is used to model ozone over southern part of Beijing city in winter, 2011. The input parameters to CAMx include emission sources, meteorology field data, terrain definition, photolysis status, initial and boundary conditions. The simulation results are verified by theoretical analysis of the ozone generation tendency. The simulated variation tendency of domain-wide average value of hourly ozone concentration coincides reasonably well with the theoretical analysis on the atmospheric photochemical process, demonstrating the effectiveness of the procedure. An integrated model system that cooperates with CAMx will be established in our future work.
基金supported by National Natural Science Foundation of China(Grant Nos.11026046,11101179,10971071)Doctoral Fund of Ministry of Education of China(Grant No.20100061120096)the Fundamental Research Funds for the Central Universities(Grant No.200903294)
文摘In this paper,we give the notion of derivations of Lie 2-algebras using explicit formulas,and construct the associated derivation Lie 3-algebra.We prove that isomorphism classes of non-abelian extensions of Lie 2-algebras are classified by equivalence classes of morphisms from a Lie 2-algebra to a derivation Lie 3-algebra.
基金supported by the National Natural Science Foundation of China (Grant No. 10975097)Shanghai Rising-Star Program (Grant No.11QH1401100)the National Basic Research Program of China (GrantNo. 2007CB815004)
文摘The bulk parameters characterizing the energy of symmetric nuclear matter and the symmetry energy defined at normal nuclear density ρ0 provide important information on the equation of state (EOS) of isospin asymmetric nuclear matter. While significant progress has been made in determining some lower order bulk characteristic parameters, such as the energy E0(ρ0) and incompress ibility K0 of symmetric nuclear matter as well as the symmetry energy Esym(ρ0) and its slope parameter L, yet the higher order bulk characteristic parameters are still poorly known. Here, we analyze the correlations between the lower and higher order bulk char acteristic parameters within the framework of Skyrme Hartree-Fock energy density functional and then estimate the values of some higher order bulk characteristic parameters. In particular, we obtain J0 = (-355±95) MeV and I0 = (1473±680) MeV for the third order and fourth-order derivative parameters of symmetric nuclear matter at ρ0 and Ksym = (-100 ± 165) MeV, Jsym = (224 ± 385) MeV, Isym = (-1309 ± 2025) MeV for the curvature parameter, third-order and fourth-order derivative parameters of the symmetry energy at ρ0, using the empirical constraints on E0(ρ0), K0, Esym(ρ0), L, and the isoscalar and isovector nucleon effective masses. Furthermore, our results indicate that the three parameters E0(ρ0), K0, and J0 can reasonably characterize the EOS of symmetric nuclear matter up to 2ρ0 while the symmetry energy up to 2ρ0 can be well described by Esym(ρ0), L, and Ksym.
基金Supported by the National Natural Science Foundation of China (40474066)
文摘The ionospheric oblique backscattering sounding system can not only be used to detect the state of the ionosphere and the condition of high frequency channel in real time, but also be used for over-the-horizon sounding. Therefore, it has a very high military and civil value. For the characteristics of ionospheric oblique backscattering sounding, such as long sounding distance, wake echo, strong background noise, slow moving target, etc., a hardware platform of ionospheric oblique backscattering sounding system is designed. This platform adopts the technology of software radio and is designed as a new kind of general purpose, modularized, software-based ionosonde that is based on the VXI （Versa module eurocard eXtensions for Instrumentation） bus. This hardware platform has been successfully used in actual ionospheric oblique backscattering sounding, and the experimental results demonstrate that this system can satisfy the requirements.
基金We acknowledge S. Goriely, B. Sun, and P. W. Zhao for stimulating discussions. This work was supported in part by the National Undergraduate Training Programs for Innovation and Entrepreneurship （Project No. 201210635132）, the National Basic Research Program of China （973 Program） （Grant No. 2013CB834400）, the National Natural Science Foundation of China （Grant Nos. 10975008, 10947013, 11175002, 11105110, 11105111, and 11205004）, the Research Fund for the Doctoral Program of Higher Education （Grant No. 20110001110087）, the Natural Science Foundation of Chongqing （Grant No. cstc2011jjA0376）, and the Fundamental Research Funds for the Central Universities （Grant Nos. XDJK2010B007 and XDJK2011B002）.
文摘Tje global dynamical correlation energies for 575 even even nuclei with proton numbers ranging from Z = 8 to Z = 108 calculated with the covariant density functional theory using the PC-PK1 parametrization are presented. The dynamical correlation energies include the rotational correction energies obtained with the cranking approximation and the quadrupole vibrational correction energies. The systematic behavior of the present correlation energies is in good agreement with that obtained from the projected generator coordinate method using the SLy4 Skyrme force although our values are systematically smaller. After including the dynamical correlation energies, the root- mean-square deviation predicted by the PC-PK1 for the 575 even-even nuclei masses is reduced from 2.58 MeV to 1.24 MeV.
基金the Fundamental Research Funds for the Central Universities(JUSRP121045)the NSF of Jiangsu Province(BK20221057)。
文摘Let G be a reductive Nash group,acting on a Nash manifold X.Let Z be a G-stable closed Nash submanifold of X and denote by U the complement of Z in X.Letχbe a character of G and denote by g the complexified Lie algebra of G.We give a sufficient condition for the natural linear map H_(k)(g,S(U)×χ)→H_k(g,S(X)×χ)between the Lie algebra homologies of Schwartz functions to be an isomorphism.For k=0,by considering the dual,we obtain the automatic extensions of g-invariant(twisted by-χ)Schwartz distributions.
基金supported in part by the National Natural Science Foundation of China(No.61272452)the National Key Basic Research and Development(973)Program of China(No.2014CB340601)the Natural Science Foundation of Hubei Province(No.2017CFB663)
文摘Code reuse attacks pose a severe threat to modern applications. These attacks reuse existing code segments of vulnerable applications as attack payloads and hijack the control flow of a victim application. With high code entropy and a relatively low performance overhead, Address Space Layout Randomization(ASLR) has become the most widely explored defense against code reuse attacks. However, a single memory disclosure vulnerability is able to compromise this defense. In this paper, we present Memory Protection Extensions(MPX)-assisted Address Space Layout Randomization(M-ASLR), a novel code-space randomization scheme. M-ASLR uses several characteristics of Intel MPX to restrict code pointers in memory. We have developed a fully functioning prototype of M-ALSR, and our evaluation results show that M-ASLR:(1) offers no interference with normal operation;(2) protects against buffer overflow attacks, code reuse attacks, and other sophisticated modern attacks;and(3) adds a very low performance overhead(3.3%) to C/C++ applications.
