导读:本文包含了线性模论文开题报告文献综述及选题提纲参考文献，主要关键词:丛代数,量子仿射代数,L系统,A_2型线性模
线性模论文文献综述
郭静敏[1]（2018）在《A_2型的线性模与丛代数》一文中研究指出本论文主要研究了丛代数与一类A2型量子仿射代数Uqg的线性模之间的联系.通过建立了 A2型的L等式系统,使得系统中的等式被一类A2型线性模的q-特征所满足,从而证明了 L系统中的每个等式对应某些丛代数(?)中的突变,每个线性模对应丛代数(?)中的丛变量,并且给出了这些线性模的突变序列.(本文来源于《兰州大学》期刊2018-04-01）
姜加红,尹帮虎,陈立前[2]（2018）在《基于区间线性模版约束的程序分析》一文中研究指出抽象解释是一种对程序语义进行可靠近似的通用理论,该理论在保证可靠性的前提下,可为程序变量的值范围分析提供一个通用的框架.抽象域是抽象解释框架的核心,在该框架下面向数值性质分析的数值抽象域得到了广泛的关注.其中,模板多面体抽象域的表达能力覆盖了程序分析中常用的弱关系型抽象域,如区间抽象域、八边形抽象域等.该文对经典的基于线性模版约束的模版多面体抽象域进行扩展,以支持区间线性模版约束,从而得到一个新的数值抽象域——区间线性模版约束抽象域,可以用来推导变量间形如"∑k[a_k,b_k]x_k≤c"的区间线性不等式关系(其中区间系数[a_k,b_k]为分析前预先确定的常量).该抽象域采用"弱解"作为区间线性约束的解语义,可以表达某类非凸(甚至非联通)性质,因而比经典的模版多面体抽象域表达能力更强.区间线性模板约束抽象域的域元素可以看作是一系列模版多面体的析取,几何上,其域元素与每个象限的交均是一个凸的模板多面体(可以为空).该文给出了区间线性模版约束抽象域的域表示和域操作,基于该抽象域的静态分析算法主要基于区间线性规划来实现.进一步,该文讨论了基于区间线性模版约束抽象域中区间线性模版的生成方法.最后,该文在开源数值抽象库APRON中实现了区间线性模版约束抽象域,并开展了程序分析实验.初步的实验结果表明区间线性模版约束抽象域可以有效地分析程序中的析取行为.(本文来源于《计算机学报》期刊2018年03期）
魏巍[3]（2016）在《一类外代数上线性模的非线性二次扩张问题》一文中研究指出设V是域k上的3维向量空间,{a,b,c}是V的一组基,Λ=ΛV是V上的外代数.令是Λ上(a,b)型矩阵,m,t是正整数.令表示(a,b,c)型矩阵,l是c出现在第一列中的行数.F_m~t(a,b)和F_p~l(a,b,c)是Λ上最简单的复杂度为2和复杂度为1的不可分解的表示矩阵.设线性模M,L,I的表示矩阵分别为Fm1(a,b),F_n~1(a,b),F_p~1(a,b,c),其中,N是M借助L的线性扩张,J是N借助Ⅰ的非线性扩张.N的表示矩阵F1其中C~1是V上的矩阵.且的表示矩阵具有形式而J的合冲模的表示矩阵具有的形式.本文主要是通过刻划D~1,D~2来讨论J的结构,并在这个基础上讨论了N和Ⅰ的两个非线性扩张模J_1,J_2同构的条件.我们首先给出D~1和D~z的刻划：在J的表示矩阵中而在J的合冲模的表示矩阵中我们还给出了两个这一样的扩张模同构的条件：如果J_1,J_2是N借助Ⅰ的非线性扩张,其表示矩阵分别为其中若存在0≠e1∈k,满足下列条件时则J_1,J_2同构.(本文来源于《湖南师范大学》期刊2016-05-01）
张小朋,安强,焦腾,张杨,于霄[4]（2015）在《基于精密线性模组的人体表面微动模拟方法研究》一文中研究指出目的 :设计一种可模拟呼吸、心跳引起的人体表面微动的新方法,为生物雷达技术研究提供探测目标和标定信号。方法:采用精密线性模组将旋转运动转变为高精度的线性位移,并采用交流伺服电动机精确控制模组旋转,最终输出具有定量化位移参数的超低频微动。结果:按照该方法建立了一套新的人体表面微动模拟系统。与课题组原有模拟系统相比,该系统输出微动的稳定性高,且具备定量控制位移参数的功能。结论:该方法为有效模拟呼吸、心跳引起的人体表面微动奠定了技术基础,可推动生物雷达技术的研究向更深和更高层次发展。(本文来源于《医疗卫生装备》期刊2015年09期）
林晓静[5]（2015）在《叁维空间外代数上线性模的非线性二次扩张》一文中研究指出假设V是域k上的3维向量空间,a,b,c是V的一组基,A=^V是V上的外代数.令为Λ上的矩阵,其中a,b是V中的两个线性无关元,m,t是正整数.表示矩阵为Fm1(a,b)的线性模称为循环长度为m的复杂度为2的线性模.在此空间下,我们讨论了表示矩阵分别为Fm1(a,b),Fn1(a,b),Fp1(a,c)的叁个线性模M,L,I的扩张问题.其中,N是M与L的线性扩张,J是N与I的非线性扩张.N的表示矩阵其中C1是V上的矩阵.而J的表示矩阵为.以及J的合冲模的表示矩阵为.在文献[20]中,作者分m>n+1与m≤n+1两种情况分别刻画了F1(N)与F2(N)的结构.本文主要通过刻画D1,D2来讨论J的结构,并在此基础上分析了N与I的两个非线性扩张模J1,J2同构的条件.我们得到了下列主要定理：定理3.2设M,L,I如上所述,N是M与L的线性扩张模,J是N借助I的非线性扩张模,可适当选择Pt(M)⊕Pt(L)⊕Pt(t=0,1,2)的基使得ft(J)所对应的矩阵为hij1,tij1,i=1,2,…,p+1,j=m+1,m+2,…,m+n都是域k中的元素.定理4.3设V是代数闭域k上的3维向量空间,V=L(a,b,c),M,L,I如上所述,N是M与L的线性扩张模,J1,J2是N与I的非线性扩张模且有上述的投射分解,它们的表示矩阵分别为其中(本文来源于《湖南师范大学》期刊2015-05-01）
张红[6]（2012）在《外代数上线性模的二次线性扩张问题》一文中研究指出设V是代数闭域k上的向量空间,a,b是V中线性无关的元素,∧V是V上的外代数.将表示矩阵具有如下形式的∧V-模M叫做循环长度为m的复杂度为2的极小线性模.本文假定V是k上3维向量空间,a,b,c是V中线性无关的元素,我们讨论叁个线性∧V-模的M,L,I的扩张问题.设M,L,I的表示矩阵分别为Fm1(a,b),Fn1(a,c),Fp1(b,c),N是M借助于L的线性扩张,而J是N借助于I的线性扩张.设正合列...→Pt(J)ft(J)→…→P1(J),f1(J)→P0(J)f0(J)J→0是J的极小投射分解.可适当的选取Pt(J)的基,使得ft(J)的矩阵具有的形式,且Ct为[21]所确定,本文讨论表示矩阵F1(J).我们证明了：定理3.2设M,L,I为∧V线性模,则可适当的选取Pi(J),i≤2的基,使得在第四章给出了两个这样的迭代扩张模同构的条件.(本文来源于《湘潭大学》期刊2012-04-20）
邵凯南[7]（2012）在《引力理论中的线性模和黑洞性质的研究》一文中研究指出在本论文中,我们通过李代数的方法,构造了任意维度的AdS时空背景下的有质量和无质量的标量模,矢量模以及自旋为2的模的解。这些解会出现在一些一般维度的包含高阶曲率项的引力和超引力模型中。临界引力理论中包含的Log模解也可以求得。进一步的,我们通过一个递推关系可以得到任意整数自旋的AdS背景下的线性模解。经过验证,这些任意维度和自旋的解的表达式至少在11维都是正确的。通过对这些解进行分析研究,我们可以得到了其质量需要满足的无快子条件。这是一个一般的Breitenlohner-Freedman界。这些解的具体表达式对于相应的临界引力及其扩展的研究也会发挥重要的作用。另外,本论文中还研究了一些黑洞性质方面的问题。我们研究了带有4个荷的旋转黑洞(Cvetic-Youm解)中隐藏的共形对称性。通过找出SL(2,R)L×SL(2,R)的共形对称性,我们利用Cardy公式得到的熵与Bekenstein-Hawking熵相等,并指出标量粒子的散射截面与共形场论中的结果相同。这些观点有力的支持了Kerr/CFT的论断。我们还利用黑洞辐射的遂穿机制研究了信息丢失佯谬。我们得到了在考虑量子效应的情况下,黑洞辐射中不会发生信息丢失问题,整个黑洞的蒸发过程是熵守恒的。其中一个有趣的结论是考虑量子效应以后,黑洞并不能完全蒸发,结果必须保留一个残余物。(本文来源于《浙江大学》期刊2012-04-01）
王影[8]（2011）在《外代数上复杂度为2的一类线性模的非线性扩张问题》一文中研究指出外代数是定义在一个向量空间Y上的一类非常重要的代数，外代数及其模具有很强的应用背景，Ifn外代数上模的扩张问题对十模的结构的研究是一个基本]fn重要的问题.复杂度为2的极小KoszuL模其表示矩阵若具有下列形式:则叫做复杂度为2的循环长度为m的(a,b)句型极小Koszul模.本文假定V是代数闭域无上的3维向量空间即V=L(a, b,c)约其中。b。是V上的线性无关的向量,AY是Y上的外代数.主要研究复杂度为2的循环长度为m的(a,b)句型极小KoszuL模与一个一次生成的循环长度为。的(a,b)句型极小线性模L的扩张问题.文章采用表示矩阵的方法首先讨论非线性扩张模的表示矩阵，并在此基础上讨论扩张模的同构条件，得到了如下主要结论:1:如前所述，N是M借助于L的扩张，可得N不是线性模.2:若M. L. N如前所述适当选取N的投射分解中投射模的基可使得所对应的矩阵中的Ct有形式而有3：设如前所述N1，N2分别是M. L的两个非线性扩张模如果存在K中元素满足如下条件:(本文来源于《湘潭大学》期刊2011-05-01）
时书音[9]（2011）在《几种情下线性模中误差方差的容许性》一文中研究指出本硕士论文研究了在齐次估计类下,非齐次估计类下,无约束模型下及约束模型下几种情形中线性模型的误差方差的可容许性问题,得到了一些理论性结果.全论文总共分为五个部分,在第一章节中,给出了本论文的综述部分及相关的背景知识,在第二章节中,概括的给出了本论文需要用到的有关研究容许性需要用到的基本知识,二次型的相关知识及容许性的有关概念;在第叁章节中,在线性模型H的假设下,概括了前人在齐次估计类:D + {Y 'AY : A+ 0}中的有关结果,即定理(3.2.1)定理(3.2.2);在第四章节中,依然是在线性模型H的假设下,经过一系列定理的证明及推导,得到了在非齐次估计类中:D_2 + {( BY + a ) '( BY + a ): B是m + n矩阵,a +R~m}当设计矩阵为满秩矩阵即: rank ( A) + n和单位矩阵即:A + I时两种较特殊情形下线性模型的容许性的充要条件,即定理(4.2.1),定理(4.2.2);在第五章节中,本章节是在第叁章中线性模型H的基础上创新的加入了一个约束条件2,得到线性模型H 1,然后得出了此约束模型H 1的假设下方差误差的容许性的充要条件,即定理(5.2.1) .本论文的的写作思路是:先讨论无约束模型然后再讨论约束模型,然后从齐次估计类到非齐次估计类,内容是总结前人的结果和自己的创新,推广了前人的研究成果,非富了误差方差的容许性理论,特别是参数受到约束下的情形.(本文来源于《华中科技大学》期刊2011-05-01）
黄海松[10]（2011）在《外代数上线性模的非线性二次扩张问题》一文中研究指出设V是向量空间,Λ=ΛV是V上的外代数.设a,b是V中线性无关元素,对整数t > 0,n > 0,令为Λ上矩阵.以Fn1(a,b)为表示矩阵的线性模称为循环长度为n的复杂度为2的极小线性模.设a,b,c是V中叁个线性无关的向量,我们讨论表示矩阵分别为F_m~1(a,b), F_n~1(a,c),F_p~1(a,c)的叁个线性模M,L,H的扩张问题.设N是M借助于L的线性扩张而X是N借(?)(本文来源于《湘潭大学》期刊2011-04-21）
线性模论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
抽象解释是一种对程序语义进行可靠近似的通用理论,该理论在保证可靠性的前提下,可为程序变量的值范围分析提供一个通用的框架.抽象域是抽象解释框架的核心,在该框架下面向数值性质分析的数值抽象域得到了广泛的关注.其中,模板多面体抽象域的表达能力覆盖了程序分析中常用的弱关系型抽象域,如区间抽象域、八边形抽象域等.该文对经典的基于线性模版约束的模版多面体抽象域进行扩展,以支持区间线性模版约束,从而得到一个新的数值抽象域——区间线性模版约束抽象域,可以用来推导变量间形如"∑k[a_k,b_k]x_k≤c"的区间线性不等式关系(其中区间系数[a_k,b_k]为分析前预先确定的常量).该抽象域采用"弱解"作为区间线性约束的解语义,可以表达某类非凸(甚至非联通)性质,因而比经典的模版多面体抽象域表达能力更强.区间线性模板约束抽象域的域元素可以看作是一系列模版多面体的析取,几何上,其域元素与每个象限的交均是一个凸的模板多面体(可以为空).该文给出了区间线性模版约束抽象域的域表示和域操作,基于该抽象域的静态分析算法主要基于区间线性规划来实现.进一步,该文讨论了基于区间线性模版约束抽象域中区间线性模版的生成方法.最后,该文在开源数值抽象库APRON中实现了区间线性模版约束抽象域,并开展了程序分析实验.初步的实验结果表明区间线性模版约束抽象域可以有效地分析程序中的析取行为.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
线性模论文参考文献
[1].郭静敏.A_2型的线性模与丛代数[D].兰州大学.2018
[2].姜加红,尹帮虎,陈立前.基于区间线性模版约束的程序分析[J].计算机学报.2018
[3].魏巍.一类外代数上线性模的非线性二次扩张问题[D].湖南师范大学.2016
[4].张小朋,安强,焦腾,张杨,于霄.基于精密线性模组的人体表面微动模拟方法研究[J].医疗卫生装备.2015
[5].林晓静.叁维空间外代数上线性模的非线性二次扩张[D].湖南师范大学.2015
[6].张红.外代数上线性模的二次线性扩张问题[D].湘潭大学.2012
[7].邵凯南.引力理论中的线性模和黑洞性质的研究[D].浙江大学.2012
[8].王影.外代数上复杂度为2的一类线性模的非线性扩张问题[D].湘潭大学.2011
[9].时书音.几种情下线性模中误差方差的容许性[D].华中科技大学.2011
[10].黄海松.外代数上线性模的非线性二次扩张问题[D].湘潭大学.2011