Banach空间四阶边值问题的拟上下解方法

通过构造拟上下解的单调迭代过程,在拟解对之间利用Sadvoskii不动点定理获得了Banach空间四阶边值问题解的存在性     

基于覆盖技术的异步时序电路设计

该文根据动态卡诺图的原理,提出了异步时序电路设计的新方法-基于覆盖技术的异步时序电路设计法。该方法采用α,β覆盖,不仅可通过卡诺图直接得出整个电路的次态方程,而且与传统的异步时序电路设计方法相比,成本更低、功耗更低、延时更少。     

Hom-余理想的若干性质

根据Hom-结合代数的概念来新定义子Hom-结合代数与Hom-余理想的概念,并进一步讨论子Hom-结合代数、子Hom-余结合余代数与Hom-余理想之间的密切联系。     

3D Object Recognition Based on Linear Lie Algebra Model

A surface model called the fibre bundle model and a 3D object model based on linear Lie algebra model are proposed.Then an algorithm of 3D object recognition using the linear Lie algebra models is presented.It is a convenient recognition method for the objects which are symmetric about some axis.By using the presented algorithm,the representation matrices of the fibre or the base curve from only finite points of the linear Lie algebra model can be obtained.At last some recognition results of practicalities are given.     

KKM映射和KKM型定理及其相关结果

简要介绍古典的KKM映射的演变过程和KKM理论的发展历史,并给出利用KKM型定理得到的最近的一些重要研究成果,以进一步了解和掌握并研究KKM理论．     

基于GPS数据及车辆运行特性分析的单车路段行程时间估计

针对现有的基于浮动车单车路段行程时间估计方法的不足,提出了一种基于GPS数据及车辆运行特性分析的单车路段行程时间估计方法。该方法主要进行了3个方面的改进:①对地图匹配模块中节点附近GPS点采用了相邻点联合匹配的方法,提高了匹配的效率;②针对不同情况下车辆在边界点前后运行特性的不同,对车辆通过边界点时间进行相应处理,提高了车辆通过路段边界点时间的估计精度;③对车辆个体在运行中因受到干扰而停车现象进行了分析,并对干扰停车予以有效剔除,降低了估计中车辆个体行为对估计结果准确性的影响。最后用出租车GPS实验数据进行了验证,结果证明了本文方法的有效性。     

保域上矩阵可交换｛1｝-逆的线性映射

设F是一个特征不为2且至少含有5个元素的域.令Mn(F)为F上的n×n全矩阵代数.刻画了Mn(F)上保持矩阵可交换{1}-逆的线性映射的形式.利用保幂等结论证明了f为Mn(F)上的保持矩阵可交换{1}-逆的非零线性映射,当且仅当存在P∈GLn(F),使得f(A)=εPAP-1,A∈Mn(F),ε=±1∈F;或者存在P∈GLn(F),使得f(A)=εPAtP-1,A∈Mn(F),ε=±1∈F.     

切比雪夫序列初值精度有限时退化为周期序列

深入研究并分析切比雪夫序列的短周期现象,并通过数学证明,对于任意整数阶切比雪夫序列,在初值角度取有限小数时必会退化为短周期序列. 首先,通过证明得到切比雪夫序列退化为短周期序列的等价条件;然后,利用分类讨论的思想证明任意整数阶切比雪夫序列在初值角度取整数时,必会退化为短周期序列;最后,通过数学归纳法将这一结论扩展到任意有限精度初值上,得出切比雪夫序列在初值精度有限时退化为周期序列.     

基于共形几何代数的一种平面并联机构位置正解

以平面并联机构为题,应用5维几何代数（共形几何代数）方法对该平面并联机构进行了分析,建立了运动学正解模型,并编制了Maple的计算程序,求出了6组位姿结果,最后将分析结果与采用吴方法得到的分析结果进行对照,证明了该方法的有效性. 这对用统一的数学工具分析机构学,降低非线性度,增强几何直观性方面做了初步尝试.     

与李代数A2相关的顶点算子代数N（k,0）及不可约模

介绍了仿射李代数A2的构造,并研究和构造了A2上Z＋-分次的顶点算子代数N（k,0）。再由A（V）理论算出了顶点算子代数L（1,0）不可约模L（1,μ）的分类情况。