群伪簇与幂零半群伪簇的两种积

本文确定了群伪簇Ｇ与幂零半群伪簇的Ｎ的半直积Ｇ＊Ｎ,Ｎ＊Ｇ和Ｍａｌｃｅｖ积Ｇ＾－１Ｎ,Ｎ＾－１Ｇ。     

MgAl2O4尖晶石的合成及作为甲烷部分氧化反应的良好催化剂载体

γ-Al2O3 has been intensively studied as a catalyst support in alkane conversion due to its large surface area. However, it is susceptible to crystal phase transition and favors catalyst sintering while the operaing temperature is higher than 700℃. Therefore, its application in industrial reactions is limited.     

关于G逆半群的同余格

本文讨论Ｇ逆半群上的同余,文中给出刻划ｐ＾ｋ,ｐｋ,ｐ＾Ｔ,ｐＴ的方法,并用来讨论半格同余,纯幂同余,群同余及幂等元分离同余。     

线性算子双半群及在间断和脉冲微分方程中的应用(英)

研究抽象Ｂａｎａｃｈ空间中线性微微分方程的可解性,利用算子双半群方法,讨论了在确定时间跳跃或脉冲的线性微分方程解的存在性,表明在一定条件下间断或脉冲方程的解存在唯一．     

半群与弱椭圆算子(英)

设ｉＡｊ（１≤ｊ≤）是有界Ｃ_０群的可交换生成元,Ｐ（Ａ）＝∑_｜μ｜≤２ａ_μＡ~μ（Ａ~μ＝Ａ_１~μ…Ａ_ｎ~μｎ）如果Ｐ是弱椭圆的且其实部是上有界的,则我们证明Ｐ（Ａ）生成一个Ｃ_０半群．     

纯正半群上若干同余的刻划(英文)

本文在纯正半群上首先引入了关系ρｍｉｎ,ρｍａｘ,ρｍｉｎ和ρｍａｘ,刻划了纯正半群上一般同余的迹类。然后利用核－迹方法给出了纯正半群上几类特殊同余的等价刻划。在此基础上,进一步研究了各类同余间的相互联系,把逆半群上有关同余的若干结果推广到纯正半群上。     

弹性振动点观测反馈控制古典解的存在性

本文运用有界线性算子的积分半群理论证明弹性振动点观测反馈控制方程古典解的存在性     

板几何中一类具周期边界条件的奇异迁移方程

在L1空间上研究了板几何中一类具周期边界条件下各向异性、连续能量、均匀介质的奇异迁移方程,证明了这类方程相应的奇异迁移算子产生C0半群和该半群的Dyson-Phillips展开式的二阶余项是弱紧的,从而得到了该迁移算子的谱在区域Γ中仅由至多有限个具有限代数重数的离散本征值组成等结果。     

通过基矢光前量子化方法研究K介子

为研究K介子的性质,通过基矢光前量子化(BLFQ)方法获得K介子的光前波函数(LFWF)。使用的光前哈密顿量中包含了动能项、横向与纵向禁闭势以及夸克-胶子相互作用,其中横向禁闭势借鉴了光前全息量子色动力学(LFHQCD)模型的禁闭势。基矢空间包括领头阶与次领头阶的Fock空间。在前期工作的基础上,只引入了奇异夸克的质量作为唯一额外参数,使K>介子的质量与实验值相匹配。基于K介子领头阶Fock空间的LFWF,计算了K介子的部分子分布振幅(PDA),其结果与量子色动力学(QCD)微扰论在零夸克质量近似下计算的结果相近。本工作得到的K介子的电磁形状因子(FF)与欧洲核子中心(CERN)超级质子同步加速器 (SPS)以及费米国家加速器实验室(FNAL)的实验结果一致。从领头阶Fock空间的LFWF计算出的电磁半径与粒子物理数据表(PDG)的实验值相近。计算出的K介子部分子分布函数(PDF),QCD演化后,在实验能标下的K介子和$ \pi $介子中价夸克u的PDF之比与CERN-NA-003的实验数据在整体趋势上大体相符。此外,在计算出的K介子PDF中,价夸克携带的纵向动量之比,$ \langle x_{uv}\rangle/\langle x_{sv}\rangle $,约为$ 2/3 $,这个数值与Bethe-Salpeter equation(BSE)模型以及密西根州立大学格点QCD(MSULat)模型的计算结果相近。还计算了K介子的结构函数,发现与BLFQ考虑有效 Nambu–Jona-Lasinio相互作用(BLFQ-NJL)模型的结果有显著差别。K介子的结构函数有望在将来的电子离子对撞机(EIC)实验中得到观测与检验。     

浅谈蛋白质含量量值溯源传递体系的构建

简述了蛋白质含量测定结果溯源到SI单位的重要性,结合中国计量科学研究院开展的工作及当前国际蛋白质计量发展的趋势,阐述了实现蛋白质含量测定结果溯源到SI单位的两种方案,方案中蛋白质标准物质的定值结果可以通过同位素稀释质谱法、滴定法、凝固点下降法等权威计量方法最终与SI单位连接,因此保证了蛋白质标准物质定值结果的准确和可溯源.以蛋白质标准物质作为量值的载体,可实现蛋白质含量量值在应用领域的传递,从而构建起蛋白质含量量值溯源和传递体系.