具有Grobner基理论的商代数

给出了商代数具有诱导Grobner基理论的充要条件,从而部分地回答了Green提出的公开问题,该问题是:已知一个箭图Γ,对于kΓ中的理想I,I的什么性质是k-代数kΓ/I具有Grbner基理论的充分必要条件.     

无线电信道分配问题的Gr(?)bner基法

计算理想的约化Grobner基,得到了一种录求最佳信道数及最佳信道分配方案的方法;即如果图M是k-可分配的,但当1≤l相似文献   

简单剖分上的多元样条理想Grobner基

多项式理想的Grobner基理论及其算法作为计算代数的重要内容,在多项式系统的求解以及极限环构造方面也有着广泛的应用．通过引用多项式理想Grobner基的一些基本理论,给出了只有两个胞腔的多元样条理想的Grobner基及约化Grobner基的定义,并给出构造Grobner基的相应算法,然后用实例说明算法的可行性．最后,对更复杂的多个胞腔的情形进行了初步讨论,提出了需要进一步解决的一些问题．     

线性映射下的Grobner基性质

Grogner基是符号计算中的基本工具之一,在许多实际问题中需要进行Grobner基的转换,讨论了经线性映射X＝AY后Grobner基的转换问题,首先证明了Grobner基在线性映射下保持基的性质,然后证明了当且仅当A为可经过行交换化为非退化上三角阵且线性映射与序相窬时,Grobner基经线性映射仍保持Grobner基的性质。     

Clifford代数C(Λ)的E(n)-模代数结构

对于域k上任一个m×m矩阵Λ∈Symm(k)定义了一个Clifford代数C(Λ),C(Λ)同构于自由代数Fm(Γ)模去某个理想I的商代数.证明了I是Fm(Γ)的E(n)-子模,由此推出C(Λ)也是一个E(n)-模代数,它的E(n)-模作用由E(n)在Fm(Γ)上的作用导出,记这样的Clifford E(n)-模代数为C(Λ,Γ),同时刻画了C(Λ,Γ)的相关结构.     

隐式代数区问曲面的G1拼接

本文利用代数几何中关于理想的Grobner基理论，研究了隐式代数区间曲面光滑拼接的问题，所得到的拼接曲面是G1连续的，实例表明该方法是简单有效的．     

伯努利卷积下正交基的推广

考虑了伯努利卷积下λ=p/(2n)的情形,应用转移算子证明了对于某些正整数k0,E(pk0Γ)是L2(μp/(2n))的正交基,那么对于任意的正整数k,E(pkΓ)也是正交基.     

一类酉约束矩阵迹函数最大值问题的解析解

酉约束的矩阵优化问题在数据控制理论和电子结构计算等领域内有着非常广泛的应用.考虑了一类酉约束的矩阵迹函数最大值问题:(SkSHk=In,WkmaxWHk=It,VkVHk=Im|tr(cIm±2Πk=1ΓkSk?kWkHkVk)|)其中Γk,?k,Hk分别是m×n,n×t,t×m复对角矩阵,k=1,2;c是复数,tr(...     

G2型量子群表示的Grobner—Shirshov基

用单李代数的泛包络代数表示的Grobner-Shirshov基方法,也就是Grobner-Shirshov对（pair）方法,来构造G2型量子群表示的Grobner—Shirshov基是非常苦难的。而用双自由模方法来构造G2型量子群的有限维不可约表示的Grobner—Shirshov基是非常方便的;以已知的G2型量子群的Grobner—Shirshov基为基础．用双自由模方法构造G2型量子群的不可约表示的Grobner-Shirshov基。     

Belitskii约化与三阶矩阵对的标准形

在代数表示理论中,代数Γ=k〈x,y〉在表示型的研究中具有重要的作用.主要利用Belitskii约化算法描述Γ的三维表示的同构类,等价地,给出三阶矩阵对的相似标准形的完全分类,并由此确定了此线性矩阵问题的参数数.     

一类曲线的曲率和挠率的计算

在已知曲线Γ的基本向量α、β、γ以及曲率k和挠率τ的前提下,研究了由γ和α所作出的一类曲线Γ的曲率k和挠率τ的计算问题。     

单边单项式序下的FS-基

设K是一个域, R是具有SM-基B的一个K-代数, 且是B上一个单边(即左或右)单项式序。 那么,关于交换多项式代数和非交换自由代数的商代数的子代数在双边单项式序下经典的FS-基理论可完整地推广到R的任一商代数R／I的子代数上。特别地, 对于一类N-分次代数R／I,给出计算有限n-截断FS-基的有效算法, 从而阐明了在单边单项式序下构造FS-基的可行性。     

椭园边值问题的L~p可解性

当B_j是m_j阶微分算子,并且在Γ上关于P满足Lopatinski-Shapiro条件时,S.Agmon等人利用基本解的方法对问题(I)作出了边界临近的L~p估计.J.L.Lions和E.Magenes利用Green公式和迹定理以及插值理论,在室间建立了问题(I)的边界估计,并且证明了若f∈W~s_p(Ω),g_j∈W~(s m-m_j-1/p(Γ)问题(I)存在解u∈W~(m s-e)_p(Ω)。     

若干广义圈的Hoffman多项式和谱

设J和I分别为全1矩阵和单位矩阵.对任一给定正整数k,称邻接矩阵A满足Ak=J(Ak=J-I)的有向图为UPP-k(UPFL-k)有向图.对UPP-k有向图Γ及任意正整数p,确定了Γ是广义圈CpГ的Hoffman多项式和谱;也对UPFL-k有向图给出了广义圈CpГ的Hoffman多项式及CkГ的谱的明确表达式.     

非退化二次曲线过其内点和外点的切线

首先统一给出了过平面上任一给定点Mo所引的给定二次曲线Γ的切线的方程，进而定义了以一般方程的形式给出的非退化二次曲线Γ的内部和外部，并证明了过不在Γ上的点Mo可作Γ的两条实切线的充要条件是Mo在Γ外部，过Mo存在Γ的两条共轭的虚切线的充要条件是Mo在Γ的内部．其中以I3F(xo，yo)的符号给出了判定Mo是Γ的内部和外部的条件．     

p-级数求和的留数方法

P-级数的求和是人们长久关注的问题．当P-2k时，传统的方法是借助于贝努利数和傅立叶级数，解决了求和问题；P-2k 1时，求和问题至今尚未解决．文章应用留数理论中的闭路积分原理，用两种方法导出了计算ζ(2k)值的递推公式，不涉及贝努利数，是一种全新的求和方法．     

关键路径新求法

应用Grobner基及多项式约化，去求关键路径的一种新方法。该方法清晰明了，算法简单有效，且通过计算机编程也不难。     

图的子树簇介值性的进一步讨论

设为任一简单图的子树的集合，γ、Γ、γ＇、γｔ和γｃ分别为图的支配数、上支配数、边支配数，全支配数和连通支配数．本文证明γ和Γ相对于具有介值性、γ＇ｌ，γｔ和γｃ相对于具有介值性．     

二维外问题的高阶直接间断Galerkin与自然边界元耦合法

研究直接间断Galerkin(DDG)与自然边界元(NBEM)耦合的方法来求解二维外无界区域问题.首先，引入圆周人工边界Γ,根据自然边界归化的原理获得Γ上DtN边界条件.然后，采用直接间断Galerkin方法求解基于Γ上Dirichlet边界条件的有界区域内部问题，再结合DtN条件获得弱变分问题.由于人工边界为圆周曲线，网络剖分后邻近圆周的单元为曲边三角形，利用曲边三角形上的迹逆估计和最佳多项式插值估计，证明了能量模下逼近解达到最优k(≥2)阶误差.数值例子说明了该方法的有效性和理论分析的正确性.     

具有时变时滞的两个复杂动态网络间的外同步

本文讨论了一类具有时变时滞的驱动-响应网络的外同步问题.以线性矩阵不等式(LMI)和Lyapunov泛函方法,获得了该两个复杂动态网络间达到外同步的判据.即当系统参数满足下列条件之一:即当(1)0≤i(t)≤σ＜1,Mi＞0,Si＞0,[Ui(t)λicMiΓ λicΓTMi-(1-σ)Si]＜0,i=2,…,N;(2)i(t)≤0,τ(t)≤τ,0＜τ＜∞,Mk＞0,Sk＞0,[Uk λ kcM kΓ-Y k τHTZkλkcΓTMk-Sk τλkcΓZk τZkH τλkcΓ-τZk]＜0,k=2,…,N,则驱动-响应网络达到外同步.最后用数值例子验证了结论的有效性.