【摘 要】
:
令G为素特征代数闭域上简约连通的代数群,g是G的李代数.本文研究当p特征X具有标准Levi型时简约模李代数g的上同调.当baby Verma模的最高权为p正则时,得到了babyVerma模和扭babyVe
【基金项目】
:
基金项目:国家自然科学基金(10871067),上海市优青项目(gjd09033)
论文部分内容阅读
令G为素特征代数闭域上简约连通的代数群,g是G的李代数.本文研究当p特征X具有标准Levi型时简约模李代数g的上同调.当baby Verma模的最高权为p正则时,得到了babyVerma模和扭babyVerma模之间的扩张群非分裂的充分必要条件.
其他文献
摘要:近三年,网络教育飞速发展,平台和学员数量都得到高速增长。新疆作为西北地区多民族聚居地,多种语言文字并行使用的地区,但民语化的在线教育平台,寥寥无几,平台质量就更跟不上时代的发展。基于新疆云教育技术资源实验室多年的研究成果,利用PHP的大型企业框架Symfony开发一套基于SAAS云模式的多语种在线教育云平台。 关键词:在线教育;多语种;PHP;Symfony;Mysql 中图分类号:TP
鉴定结果表明,陕西育成的品种抗虫的居多;50年代的农家品种及国外引进的品种多不抗虫;与南大2419和西农6028有亲缘关系的品种多数抗虫。
通过表面肌电和高速摄像同步测试方法,揭示我国优秀赛艇运动员拉桨技术环节肌肉用力特征及其相应的运动学变化。结果显示:1)赛艇运动员拉桨时间为0.8 s,拉桨至与艇垂直时间占
得到了当特征函数χ的高度小于或等于0时,Cartan型李代数在代数封闭域k=F_q上的不可约广义χ-约化表示分裂的一个充分必要条件.在Witt代数情形,对于一般的特征函数χ,得到了
摘要:核电厂DCS软件的验证与确认,对于对质量有着严格要求的核电工业而言是非常重要的。本文以福清核电厂1、2号机组DCS工程項目为背景,介绍了在I/A测试平台上进行软件验证与确认过程的实际测试中,异常处理的具体流程和方法。 关键词:验证与确认;异常(AR);I/A测试平台;
摘要:《网络安全》课程是高校计算机安全体系中重要的组成部分,分析传统《网络安全》课程教学上的一些不足,从教学方法和实验方法两方面进行研究探索,提出任务驱动型教学方式,结对实验的教学方法。 关键词:网络安全;任务驱动;结对 中图分类号:TP393 文献标识码:A 文章编号:1009-3044(2016)27-0111-02 随着网络威胁的增加,社会对网络安全的重视程度也越来越高[1],网络安全
随着新建本科高校向应用技术型大学转型,以及教育技术的发展,传统的教育教学模式已经不适合人才培养的需求。针对目前Java课程建设研究现状,联合校企合作单位,提出了"制定课程标准→改革教学内容→改革教学模式"的改革思路,并付诸教育实践,效果良好。
摘要:计算机专业的教学过程中,学生对电子技术等硬件知识原理及设计方法的掌握困难较大。而学生较好的程序设计能力能够帮助其加深对电路原理和设计思路的理解。因此,提出了一种称为计算机硬件电路设计的软件比较教学方法。该方法以逐次渐近型ADC(Analog Digital Converter的缩写)电路原理教学为例,在程序算法表达设计思想的基础上,结合数字电路的基本知识,引导学生理解电路的设计原理、掌握设计
研究结果表明,施N及密度对玉米产量和收益影响极显著,播期和磷肥间的互作对产量及收益也有明显影响。通过模拟寻优,筛选出亩产≥500kg、纯收益≥300元/亩的高产高效益农艺措
摘要:在含可调参数的有理插值样条对有理样条的灵活性,可以通过调整可调参数来对曲线的形状做更好的调整,在有理逼近中有很重要的作用。该文通过构造带参数的有理三次样条函数,对含有二族参数和来自由调节来改变曲线的形状。 关键词:参数;有理插值;单调性;曲线 中图分类号:TP391 文献标识码:A 文章编号:1009-3044(2016)16-0140-02 计算机辅助几何设计(CAGD)是随着航空、