两个同构型判定问题的一种可行解决方案

本文对两个同构型判定问题提出了相应的可操作的检验、判定方案。一个是极大平面图有没有非平凡的自同构置换，另一个是两个极大平面图是否同构。     

3种实用的人体姿态判定算法研究

在基于姿态的交互式游戏中,经常需要对用户的姿态动作和幅度进行判定,从而让计算机做出正确的响应.本文设计并实现了3种姿态判定算法,第一种算法基于肢体比例实现姿态判定;第二种算法基于四肢端点和身体构造进行姿态判定,第三种算法通过四肢与躯干的角度进行姿态判定.这3种算法在实时性、姿态幅度检测的准确性等方面表现出不同的特点,可以根据系统需求选择使用.     

用弱孤立算子或弱外孤立算子确定闭包系统

引入了弱孤立算子和弱外孤立算子的概念,证明了对每个给定的集合X,可以给WI(X)(X上弱孤立算子的全体)和WOI(X)(X上的弱外孤立算子的全体)上赋予适当的序关系≤,使得(WI(X),≤)和(WOI(X),≤)是与(CS(X),)同构的完备格,这里CS(X)是X上的闭包系统的全体.因此可以用弱孤立算子或弱外孤立算子确定闭包系统.     

极限limx→∞（1＋1/x）~x=e的灵活运用

极限理论是数学分析中研究函数的重要工具,能否掌握和灵活应用极限的各种运算,对学好高等数学非常重要,求函数极值最主要也是最困难的内容是确定各种类型不定式问题的值以及如何应用初等变换及重要极限公式求解极限问题。     

LF闭包空间中的分子网及其收敛性

在LF闭环空间中，引入包域概念并以包域为工具建立了LF闭包空间中的分子网，将LF拓扑空间中分子网和子网的收敛性推广到LF闭包空间中。     

由一个加群构造的一类交换环

由一个加群G=(〈x〉 ,〈y〉) ,此处mx≠ 0 ,my≠ 0 ,对任意非零整数m ,构造出一类交换环Rm,m=1 ,2 ,3,… ,使得Rm 与Rn(m ≠n)不同构 ,且对任何m与n ,Rm 有无穷多个同构于Rn 的子环 .     

显Cayley定理及其作用

主要引入了显Cayley定理并给出了相关的证明，在对Cayley定理的比较中归纳出一些结论。     

二型序数与良序二型类的同构

证明了二型序数具有如下性质：对任一二型类良序结构[A,R]，存在惟一的二型序数B，使得[B,E]与[A,R]同构，特别地对良序聚会[A,R]，存在惟一的二型序数α^*∈οN，使得[α^*,∈]与[A,R]同构，由此性质可知，每个由良序聚合组成的同构等价类中，仅仅含有一个二型序数，即从同构的意义来讲，二型序数结构就是良序二类结构。     

双Quantale模中的同余及核映射

作者给出了双Quantale模的定义,讨论了双Quantale模的一些相关性质并在此基础上给出了双Quantale模中的同余及核映射的概念,探讨了它们的一些性质,得到了双Quantale模的满同态像同构于某一双Quantale模核映射,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的.