关于万有Teichmüller空间两个性质的简洁证明

根据[fv]=12-vzz2∈L,给出了魏寒柏"关于万有Teichmüller空间T1的分支"一文中定理2.1的简洁证明;构造了具体的解析函数fλ(z),使其当λ>0时:fλ∈L0,当λ<0时:fλ∈Lθ,从而简化了王哲"The Distance be-tween Different Component of the Universal Teichmüller Space"一文中定理2.2的证明.     

基于图优化的单目线特征SLAM算法

提出了基于图优化的单目线特征同时定位和地图构建(SLAM)的方法.首先,针对主流视觉SLAM算法因采用点作为特征而导致构建的点云地图稀疏、难以准确表达环境结构信息等缺点,采用直线作为特征来构建地图.然后,根据现有线特征的SLAM算法都是基于滤波器的SLAM框架、存在线性化及更新效率的问题,采用基于图优化的SLAM解决方案以提高定位精度及地图构建的一致性和准确性.将线特征的Plücker坐标和Cayley参数化方式相结合,一方面采用Plücker坐标便于线性投影计算,另一方面采用Cayley参数化方式有利于线特征参数的非线性优化.仿真实验结果显示:所提出算法的位姿估计误差平方和与均方根误差分别是里程计位姿估计的2.5%和10.5%,是基于EKF线特征SLAM算法估计位姿误差的22.4%和33%,重投影误差仅为45.5像素;实际图像实验中的位姿估计误差平方和为958 cm~2,均方根误差为3.9413 cm,从而证明了所提出算法的有效性和准确性.     

由正则理想确定的凝聚性研究

设R是交换环,M是R-模,T表示R的有限生成正则理想的集合.引入正则平坦模和正则余平坦模的概念,并利用正则平坦模和正则余平坦模刻画正则凝聚环,证明正则凝聚环刻画的Chase定理.特别地,证明Prüfer环是一类典型的正则凝聚环,证明R是Prüfer环当且仅当可除模是正则余平坦模,当且仅当正则余平坦模的商模是正则余平坦模...     

超混沌 Lü系统的反同步研究

针对超混沌 Lü系统,解析地设计了非线性控制器,基于线性系统稳定性定理,实现了超混沌 Lü系统的反同步和异结构反同步,给出了理论分析和数值模拟结果.结果表明所设计的非线性控制器能够有效地使两系统达到反同步.     

不确定的Lü系统的自适应Backstepping控制

混沌反控制模型Lü系统连接了著名的Lorenz系统和Chen系统,并代表了它们之间的连续演变.针对混沌系统的控制问题,已有很多控制方法.本文是针对Lü系统参数未知情形,研究了混沌控制在Lü系统中的问题,并将Lü系统转换成一种非线性的一般严格反馈形式,利用自适应Backstepping设计方法,针对Lü系统的三个未知参数,结合Lü系统的特性设计出一种新的自适应控制器,保证闭环系统全局稳定,仿真结果表明了该方法的可行性和有效性.     

Grüneisen参数体积相关性的理论研究

根据常用势模型运用关于Grüneisen参数体积相关性的Slater公式、Dugdale-McDonald公式和Vasehenko-Zubarev公式,计算了NaCl在0-30GPa压强范围内的Grüneisen参数,通过计算结果与实验数据的比较与分析,提出了对Grüneisen参数经验值一种新的修正方法,修正后的数据在整个压强范围内与实验值吻合得较好.     

Teichmüller空间的拓扑结构

研究了有限维Teichmüller空间上的拓扑结构,证明了有限维Teichmüller空间中一些拓扑结构的相互拓扑等价性.证明了可以利用黎曼曲面的长度谱定义无穷维Teichmüller空间上的一个度量.     

超混沌Lü系统的反同步研究

针对超混沌Lü系统,解析地设计了非线性控制器,基于线性系统稳定性定理,实现了超混沌Lü系统的反同步和异结构反同步,给出了理论分析和数值模拟结果。结果表明所设计的非线性控制器能够有效地使两系统达到反同步。     

一个计算晶体热压强的新公式

基于Cui和Chen报导的Grüneisen参数计算公式并结合热力学关系式,本文导出了一个关于晶体热压强的计算公式,并以NaCl晶体为例与文献中常用的其他两个热压强的表达式进行了比较,结果发现,本文得到的关于晶体热压强的计算公式略优于其它两个.     

一个新的2ψ2变换公式

许多双边基本超几何级数可以从单边基本超几何级数得到,本文对非中止型单边基本超几何级数转换成双边基本超几何级数进行了研究。首先运用基本超几何级数双边拓展的方法,从非中止型q-Saalschüz公式出发推导出一个新的双边基本超几何级数2ψ2与单边基本超几何级数2φ1之间的一个变换公式。然后对定理1中的2φ1使用Heine′s2φ1转换公式得出另一个双边基本超几何级数2ψ2与单边基本超几何级数2φ1之间的一个变换公式。最后通过对定理1取特殊值f=q的方法给出非终止型q-Vandermonde公式的一个新证明。     

AKNS方程的精确解

对于AKNS方程:rx-rxxt a3rrt a4rx∫x-∞rtdx rt＝0,讨论了它的Painlevé性质,导出了它的谱问题的Darboux变换和Crum定理,并得到了一些感兴趣的精确解(如双孤子解,三孤子解,奇异解等).     

Hirota-Satsuma方程的Darboux变换和孤子解

考虑Hirota-Satsuma方程 rx-rxxt-3rrt 3rx∫x∝rtdx rt=0及相关谱问题φxxx=(1)3ux)φx λφ,λφt=(1/3-ut)φxx uxtφx，得到其Darboux变换和相关的Crum定理及用Darbou变换求N孤子解的变换公式，并得到Hirota-Satsuma方程的一些有意义的解，如双孤子解、分叉孤子解等。     

差分方程的强迫振动

利用Lebesgue收敛定理和函数构造法证明了非线性差分方程在最终正解、最终负的充要条件，利用该充要条件和比较原理讨论了带有强迫项的非线性方程解的振动性与非线性方程解振动之间的关系，得出了若干新的判别条件。     

一类弱凹（凸）函数及其应用

本文引进了一类弱凹（凸）函数，讨论了与之相关的ＫＫＭ映象，Ｋｙ·Ｆａｎ不等式定理与截口定理，并给出了一些应用．     

关于广义倒易定理

将Ｂｅｔｔｉ倒易定理推广有不同本构关系的两变形，提出了非耦联系统的广义倒易定理。当两变形体的体积力、边界力和边界位移都相同时，该定理成为耦联系统的广义倒易定理。当非耦联系统两变形体的本构关系相同且为线弹性时，该定理即成为Ｂｅｔｔｉ倒易定理。同时给出了两个广义倒易定理在弹性力学中的应用。     

带等词的“中介”谓词逻辑演算ME^＊的三值特征定理

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。     

Menger PN 空间上的半有界算子

对Menger PN 空间上的线性算子引入β-半有界, β-半开及β-半闭等概念,讨论了它们间的关系,并在较弱的t-模条件下建立了半开射定理,半闭图定理和半有界逆定理.     

模糊赋范空间上线性算子的基本定理

研究模糊赋范空间上线性算子的基本性质 .引入算子的开性、闭性、ρ 开性、ρ 闭性等概念并讨论了它们间的关系 ;在此基础上建立了开映射定理、闭图象定理、半开映射定理、半闭图象定理、逆算子定理等 ;还给出了其中一些定理的应用 .     

一种求解无限长序列的周期与深度的方法

利用中国剩余定理、同构的性质,以及任意有限域GF（p^m）（户为素数,m≥1）上无限长序列的周期与深度的关系,给出了一种求解无限长序列的周期与深度的方法．该方法可以在已知无限长序列在Zc（c=p1^m1p2^m2…pn^mn）上的周期求Zr上的深度和已知在每个Zpi^mi（i=1,2,…,n）上的深度求在互上的最小周期．     

微积分学的初等化

不用极限概念,而用一个不等式来定义函数的导数．从这个新的定义出发,推出了函数的性质和它的导数的性质的关系,证明了泰勒公式和微积分基本定理．