【摘 要】
：
本文主要是研究对于虚二次域的tame核的一些计算。对于虚二次域F=Q(（-39）1/2)，H.Garland和K.Belabas给出了K2OF的结构,但未给出具体计算。对此,我们利用Tate的思路和结论,结合Br
论文部分内容阅读
本文主要是研究对于虚二次域的tame核的一些计算。对于虚二次域F=Q(（-39）1/2)，H.Garland和K.Belabas给出了K2OF的结构,但未给出具体计算。对此,我们利用Tate的思路和结论,结合Browkin的理论,在研究K2OF的结构的基础上,使用计算软件GP/PARI,主要从对惯性素数和非惯性素数两方面对数域F的tame核的结构给出了详细的计算与刻画,证明了K2OF,（?）K2S3（F）,其中K2S3（F）为由形如{a,b)（a,b∈{-1,2,3,2+ω,1-ω}）(其中ω=((（-39）1/2)-1)/2)的全体符号在K2F中生成的子群。
其他文献
随着各种复杂网络的出现,其中包括在线社交网络(例如Facebook)、信息网络(例如万维网)等,越来越多的学者开始研究复杂网络中的强连接。研究者通过分析、观察和探索网络的拓扑
自改革开放以来,国际学校作为一类新发展的学校对很多人来说已经并不陌生,且随处可见。随着学校数量的增多,相互之间的竞争逐渐显现出来。如何在汹涌澎湃的经济潮流中站稳脚
有效利用生物质一直是研究人员关注的科学问题。生物质热解和气化的主要目的是产生高质量的气体。然而,在热解/气化过程中必然将生成半焦与焦油。而所生成的焦油将影响到气化系统的运行,并导致生态环境被严重污染,但是焦油含有一部分能量,如果不能充分利用,则包括生物质热解和气体。会导致转换效率降低。因此需要利用新的处理技术,生物质催化热解具有良好的催化效果。首先选用武汉附近的农场采购生物质秸秆作为热解原料(如大
近年来,为适应我国经济发展需要,电气化铁路获得飞速发展,但电力机车是一种单相、非线性的大型动态用电负荷,给牵引供电系统的建设和运行带来巨大的挑战。电气化铁路存在电能质量和电分相两大问题,制约着高速重载电气化铁道的发展。模块化多电平换流器多端直流输电(modular multi-level converter multi-terminal direct current,MMC-MTDC)系统,能独立
张量特征值的研究在超图谱理论,张量成像,物理和机械,量子计算等应用数学的诸多领域起着日益重要的作用.众所周知,矩阵特征值最直接的计算方法是求解相应特征多项式的根.同样地,对张量特征多项式的研究有助于我们对张量特征值的本质进行理解.但是,一个3阶3维张量特征多项式的直接表达式超过了20,000项,这样的多项式表示并不能对张量特征值进行有效的分析.从而,如何分析并给出简洁高效的张量特征多项式表达式是张
甲烷作为重要的温室气体,其单分子增温潜力是CO2的15–30倍,对全球变暖的贡献度非常高,近年来受到了越来越多的关注。湿地是甲烷排放的主要来源,而甲烷的排放需要微生物与植
随着制造业技术的快速发展,大型机电产品的研发设计和生产制造的质量都得到了极大的提高,但随之带来的诸如资源消耗加速、环境污染加重,人类的生存环境严重恶化等各种问题也
我国作为农业大国,农业的发展影响着国内民生和国家经济发展。农作物病虫害的识别是农业丰收的第一道保障,而传统的人工识别和专家系统因为准确率和响应速度等因素,不符合农业现代化的要求。深度学习是人工智能发展的重要分支和实现方式,被应用到了图像识别、机器翻译等多个领域。通过深度学习对农作物病虫害进行检测和分类是农业现代化的发展趋势和要求。本文基于Ai Challenger发布的农作物病虫害数据集,使用神经
相位解缠绕(Phase Unwrapping,PU)一直是InSAR干涉处理过程中的关键点和难点,也是InSAR数据处理的主要误差来源,制约着InSAR干涉结果的精度。倘若没有噪声或其他干扰的情况下,相位解缠绕更容易,解缠精度更高,通过对相位的偏导数进行积分运算就可以获得真实的相位差。然而,基于真实地形获得的影像数据中存在着由突变地形相位引起的雷达阴影、顶底倒置等现象,使得相位解缠绕处理变得更加困
冻土是陆地生态系统中最容易受到全球气候变化影响的碳库,随着全球气候的变暖,冻土逐步退化,冻土中的有机碳进一步被微生物分解,从而释放出大量甲烷和二氧化碳,将会进一步加