论文部分内容阅读
提出了四维Minkowski空间上零括号代数的复括号和复差分(BCD)括号,将长括号的相等判定问题由指数复杂度改进为多项式复杂度.BCD括号也可以直接用于长括号多项式的计算.
四维Minkowski空间上零括号代数的复括号和复差分表示
【摘 要】
：
提出了四维Minkowski空间上零括号代数的复括号和复差分(BCD)括号,将长括号的相等判定问题由指数复杂度改进为多项式复杂度.BCD括号也可以直接用于长括号多项式的计算.
【出 处】
：
中国科学(A辑:数学)
【发表日期】
：
2008年07期
其他文献
钙、镁、硅元素是土壤圈、水圈和生物圈的重要组成元素,其迁移与转化过程不仅影响到生态系统生产力,而且对全球碳循环起着重要的调控作用.大气CO2浓度升高可能直接通过影响土壤理化性状,或间接通过影响植物而作用于陆地生态系统矿质元素的迁移和转化过程,目前这方面的研究主要集中在旱地生态系统.为此,本研究借助国际上唯一的稻田FACE(Free Air CO2 Enrichment)实验(位于江苏省江都市,始于
期刊
文章给出了由Atkin提出的一种非常有效的素性测试方法即椭圆曲线素性证明算法,详细讨论了具体实施该算法的所有细节,而且通过在计算机上编程获得了其软件实现,并用该软件来测试一般的大整数的素性,取得了很好的效果。为了清晰地展示该算法的过程,文章在最后给出了一个详细的算例。
期刊
作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.我国学者在国家"973"计划支持下,经过5年的研究与实践,形成了一套以体系结构为中心的网构软件技术体系.在网构软件模型方面,通过开放协同模型、情境驱动模型和智能可信模型实现了网构软件基本实体的构件化、主体化、服务化以及实体间开放的结构化的按需协同;在网构软件中间件方面,以构件化的中间件平台体
期刊
结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.
期刊
通过曲率引导选取一组基面来完成Eck等提出的任意拓扑三角网格多分辨率表示重构算法中的Voronoi划分.在提高效率的同时,可在相同网格规模下取得更好的重构质量;在重采样过程中以粗网格的Loop细分来指导参数域的细分,减轻了原算法因线性细分而产生的块状分界现象.最后提出一种自适应细分重采样技术,以减少数据冗余.
期刊
以对数图像处理(Lip)数学模型为基础,结合全变分(TV)图像复原方法,提出了一种新的图像复原模型,称之为L ip_TV模型。该模型弥补了经典图像复原方法的不足,并具有与人眼视觉特征相吻合的特点。实验表明,与经典图像复原方法相比,该模型不仅复原效果更好,而且能很好地保持图像的边缘纹理特征。
期刊
设F是域,记G_n(F)={{a,Φ_n(a))∈K_2(F)|a,Φ_n(a)∈F_~*},这里Φ_n(x)是n次分圆多项式.首先,使用关于数域上的Mordell猜想的Faltings定理证明了若F是数域,n≠1,4,8,12且含有平方因子,则G_n(F)不是K_2(F)的子群;然后,使用Manin,Grauert,Samuel和李克正关于函数域上的Mordell猜想的结果,对代数闭域上的函数域
期刊
本文研究4维Lorentz空间形式中的类空Willmore曲面.这是Lorentz共形几何中与S~4中的Willmore曲面理论相对应的一个主题.对每一个类空Willmore曲面定义了两类变换,导出左/右polar曲面和伴随曲面.这些新的曲面都是与原来曲面共形的Willlmore曲面,并且它们满足一些有趣的对偶定理.应用这些对偶定理,我们分类了4维Lorentz空间形式中的类空Willmore球面
期刊