【摘 要】
:
向量空间中一个非常重要的不变量是子空间的维数,把一个线性方程组的解空间的极大线性无关组向量的个数称为维数。在代数几何中代数簇中维数的概念也同样重要,对于一个由理想生成的代数簇,这个理想对应素理想的升链,我们把最长素理想升链的长度定义成维数。代数的持续发展对于快速求解簇的维数提出了要求,但是确定簇的维数有一定的困难的,可以看到许多例子中计算太过复杂。本文的主要工作是以希尔伯特函数为基础,设计一种算法
论文部分内容阅读
向量空间中一个非常重要的不变量是子空间的维数,把一个线性方程组的解空间的极大线性无关组向量的个数称为维数。在代数几何中代数簇中维数的概念也同样重要,对于一个由理想生成的代数簇,这个理想对应素理想的升链,我们把最长素理想升链的长度定义成维数。代数的持续发展对于快速求解簇的维数提出了要求,但是确定簇的维数有一定的困难的,可以看到许多例子中计算太过复杂。本文的主要工作是以希尔伯特函数为基础,设计一种算法并在maple平台中将其实现。此外,本文先是展开了交换代数和维数理论的复现工作,对于模和代数进行介绍,包括素谱、准素分解、希尔伯特基定理等等,以及代数集、仿射簇、零点定理、多项式环中的诺特性质等等。作为理论的基础部分,证明了不可约代数闭集的链具有有限长度,并定义了克鲁尔维数,还包括一些底层的算法,比如Buchberger算法,完全二叉树等等。对于程序实现的部分,本文为两步,第一步计算全部由单项式构成的理想定义的簇的维数,然后将一般的理想所定义的簇归结到第一步中。因为单项式理想定义的簇的维数与计算任意簇的维数不同,可以简化为计算理想中最小公共变量集的元素个数。根据单项式理想的这一特性,本文给出一种算法并利用符号计算软件进行实现。对于一般的理想所定义的簇的维数的计算,从希尔伯特级数入手,利用Gr(?)bner基将一般的理想所定义的簇的维数的计算,转化为单项式理想定义的簇的维数的计算,从而实现自动计算一般理想定义的簇的维数。
其他文献
本文主要讨论了双曲线上的Riemann边值问题,并且将封闭曲线上的Riemann边值问题拓展到无限长的曲线上.为了把封闭曲线上的Riemann边值问题推广到无限长曲线上,在这里我们已双曲线为例.由于双曲线是无限长的开口光滑曲线,我们将采用共形映射把双曲线转化为一条封闭曲线,研究在无穷远处Cauchy型积分以及Cauchy主值积分的性质,进而求解双曲线上的Riemann边值问题.全文共分为四章,结构
<正> 夜热症是潮热的一种特殊症状,系指夜晚发热较甚,而白天体温正常或趋于正常的一种发热。除热性病中可见外,尤以儿科疾病为多见。兹举案例几则如下:一、阴虚夜热:或因乳食失宜,积滞不化,迁延失治,郁结成热;或大病之后,余热(毒)未尽,销灼阴液,而致虚火亢盛。症见夜热早凉,心烦,盗汗,形体消瘦,口干,舌红、苔少乏津,脉细数。其热退无汗者以青蒿鳖甲汤养阴透热。其热退有汗,兼盗汗者以秦艽鳖甲散,当归六黄汤
现如今,在学术界对于复杂情况下离散时间多智能体系统分布式控制的相关研究已经变得越来越深入了。一致性问题作为控制领域中的一个基础且重要的问题,是相关学者无法避免的一个课题,故而有必要对于离散时间多智能体系统的分布式问题进行研究。在充分学习了离散时间多智体能系统的分布式协同控制理论的基础上,论文研究了三类关于离散时间多智能体系统的分布式分组一致性问题。首先,论文对于考虑的两组具有常时滞的领导跟随离散时
本文主要考虑一类配置卷积度量的双卷积空间,结合Kozul计算方法和微分几何的理论研究了非退化曲面的卷积曲率形式,得到配置卷积度量空间曲率结构.在此基础上,本文研究了卷积函数为一次函数对应的双卷积空间平坦满足的基本条件.首先我们给出双卷积空间上的基本公式、定义和相关理论;其次,主要通过Kozul公式计算出了双卷积空间给定度量下的联络,曲率;进一步考虑了双卷积空间上非退化曲面的几何性质.全文共分为四章
近年来,随着现代信息技术在生活中的广泛应用,安全问题层出不穷,混沌理论为现代保密通信提供了一个新的发展思路。同时,由于进行混沌保密通信所需要面临的一个主要问题是混沌同步,使得混沌同步控制的问题引起了越来越多的科研人员关注。而多个驱动和多个响应系统的同步问题成为保密通讯应用基础的一个极具吸引力和挑战性的课题,因为同步结构的复杂变化能够为保密通讯提供更高的安全性能。因此,本文主要围绕分数阶混沌系统的多
生态系统能够反映物种与物种间、物种与自然环境间的相互作用,而捕食者-食饵模型作为一类经典的生态系统模型,可以用来研究两个物种之间的动态相互作用,有助于维护物种的稳定性.在此基础上,众多学者深入分析捕食者-食饵相互作用的特征,构建了带有多种功能性反应函数的捕食者-食饵模型,包括Holling I-III功能性反应、Holling-Tanner功能反应、Beddington-Deangelis功能反应
图的标号问题是图论研究中的一个重要问题,在现实生活中有着广泛地应用.图的L(j,k)-标号问题(k<j)最初源于频率分配问题,本文研究的图L(j,k)-标号问题(j<k),它来源于计算机网络中的代码分配问题.这个问题旨在缓解无线网络中站点的代码需求量逐渐增大带来的代码匮乏问题.把无线网络中的基站抽象为图的顶点,而能够直接交流的两个基站在图中定义为相邻点.为了规避无线网络中的相互干扰,对无线网络中基
分形的提出使分数阶微积分受到了广泛的关注,并成为国内外学者的研究热点。在分数阶微积分理论的发展过程中,人们发现分数阶微积分能够很好地刻画一些复杂的力学和物理过程,与实际应用十分契合,例如在分数阶混沌系统的控制方面。发展到现在,分数阶混沌系统控制理论已经较为成熟,诞生了众多实用的控制方法,如自适应控制、OGY控制、神经网络控制、有限时间控制和滑模控制等。这些技术都能够有效地提高控制效率,并且可以帮助
近年来,生物种群间关系的研究在生物防治等领域发挥了重要作用,为推动民生、经济发展、提高生产力做出了积极贡献。与此同时,研究者们通过大量的观察、实验工作,提出、总结并概括出一系列能够准确描述种间关系变化的数学模型,并借此模拟种间数量关系变化规律。数学模型提出后,问题的难点就转化为如何进行求解分析,在没有高效计算工具的年代这是非常困难的。进入二十世纪后,鉴于计算机、数学软件等技术的突破,原本繁杂的数学
图像采集设备在拍摄过程中难免遇到雾霾天气,在这样的天气条件下获得的图像,通常会呈现一些退化特征:对比度低、颜色失真、细节丢失严重等,这些低质量图像会给后期视觉系统的应用带来困难。因此,对雾霾天气下采集的低质量图像进行高效的除雾,还原图像有用信息和特征,对视觉系统的应用性能和鲁棒性的提高具有极其重要的现实意义。本文在大气散射模型和传统去雾算法基础上开展研究,主要内容如下:(1)针对传统暗原色先验去雾