论文部分内容阅读
无限维李超代数和Balinsky-Novikov超代数
【机 构】
：
上海师范大学
【出 处】
：
上海师范大学
【发表日期】
：
2018年期
其他文献
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的完备性定理证明所需要的引理给出了两种简化
本文以Abel积分与第一、第二型完全椭圆积分为工具，研究了一类弱化的Hilbert十六问题，即一类具有两个中心奇点的平面二次系统在n次小扰动下的Abel积分零点个数上界问题，利用
数学、物理、力学等学科和工程技术中许多问题的解决最终都归结为解一个或一些大型稀疏矩阵的线性方程组，而对这种方程组一般采用迭代法求解，因此迭代格式的收敛性和收敛速
Hopfπ-余代数是V.G.Turaev在研究3维流形及上链环上主π-丛的Heningslike与Kuperberg-like不变量的基础上引进的一类代数结构，是Hopf代数的推广，其中π为一离散群.本文主
水平集方法(Level Set Method)由于能够将平面曲线的演化过程转变为高一维空间中曲面的演化过程，从而能够有效地解决曲线的拓扑结构变化问题，因此成为图像分割领域重要的研究方
语文的语感是伴随着语言的直觉产生的,教师要想培养学生的语文综合素养,就需要培养学生敏锐的语感。培养学生敏锐的语感是小学语文教学的重点所在,也是学生获取语言知识的方
由于图像数据量的巨大和现有传输条件的相对低下，使得图像压缩成为必然，图像压缩的关键技术为对图像数据的变换、对变换数据的量化、以及对量化后数据的熵编码。用小波的方法进