乘积空间的不动点定理

本文中,我们得到如下结果:设(X,d)是一个完备的度量空间,Y 是一个具有不动点性质的空间,又 f:X+Y→X+Y 连续映象,如果 f 是一个关于第一变元的局部平均压缩的映象,则 f 有一个不动点。此结果推广了 Fora[1]中关于局部压缩映象的结果。本文还讨论了乘积空间的拟压缩映象,并改进了 Fisher[4]的结果。     

关于严格伪压缩映象不动点迭代逼近的一点注记

证明了在Hilbert空间中的非空闭凸集上Lipschitz严格伪压缩映象有不动点，介绍了Lips-chitz严格伪压缩映像下的的具误差的Ishikawa和Mann迭代序列并证明了其强收敛性于不动点，其结果把非扩张映像推广到Lipschitz严格伪压缩映象上，改进了一些相关结果。     

关于严格伪压缩映象不动点迭代逼近的一点注记

证明了在Hilbert空间中的非空闭凸集上Lipschitz严格伪压缩映象有不动点,介绍了Lips-chitz严格伪压缩映像下的的具误差的Ishikawa和Mann迭代序列并证明了其强收敛性于不动点,其结果把非扩张映像推广到Lipschitz严格伪压缩映象上,改进了一些相关结果。     

平均迭代压缩映象的不动点定理

剖析文（１）的定义,指出“平均迭代压缩映象”不是更广义的压缩映象,举出反映说明文（１）结论不正确,并给出此类映象存在唯一不动点的条件。     

一致拟Lipschitzian映象的迭代逼近

针对Banach空间中有界凸集上的一致拟Lipschitzian映象S和T,给出并证明了S和T不必连续的带误差的Ishikawa迭代序列收敛到其公共不动点的一个充要条件。     

L_p空间的Lipschitz强伪压缩映象的不动点的迭代逼近

:设X=L_p,P≥2,K是X的非空、闭、凸、有界子集,T:K→K,Lipschitz强伪压缩映象,{a_n}_(n=1)~∞{b_n}_(n=1)~∞{c_n}_(n=1)~∞及{a_n~1}_(n=1)~∞{b_n~1}_(n=1)~∞{c_n~1}_(n=1)~∞为[0,1]中的实数列且满足一定条件,则带误差的Ishikawa迭代序列{X_n}_(n=1)~∞强收敛于T的唯一不动点。     

关于φ-伪半压缩型映象的不动点的逼近问题

在一般的Banach空间中,讨论了φ-伪半压缩型映象的不动点的逼近问题,映象无Lipschitz假设和有界性要求,得到的结果统一、改进和推广了近期文献[1—7]中的相应结果。     

一类集值映象变分不等式组

利用投影方法研究了一类集值映象变分不等式组解的问题，给出了其解的迭代算法，并证明了由迭代算法生成的迭代序列的收敛性。     

Banach空间中一类广义Lipschitz映象的不动点定理

木文讨论了Banach空间中非空间凸子集E到自身的广义Lipschitz映象T(即‖Tx-Ty‖≤a‖x-y‖+b(‖x-Tx‖+‖y-Ty‖),a>0,b>0 且a+4b~2<1)的不动点的存在性及其迭代逼近。     

PN-空间中一类Fuzzy映象的非线性方程序列的解

给出并证明了Menger PN-空间中一类具有(φ,Δ)-型概率收缩偶序列的非线性集值算子方程序列解的存在性及其迭代收敛定理,推广了张石生等人的结果,利用此定理,获得了一个映象序列的不动点定理,并研究了关于Fuzzy映象的非线性方程序列的解.     

边界连续映射的局部连通性

把单值映射局部连通性和边界连续映射的概念推广到集值映射上,并且给出了集值边界连续映射是集值局部连通映射的条件.     

一类分段光滑动力系统局部不连续映射的范式

擦边分岔是非光滑动力系统中一类特殊的分岔行为．文章讨论了一类分段光滑动力系统,给出了相应的局部不连续映射的范式．利用这个范式给出了一种具有这种结构的动力系统的局部不连续映射,并利用数值仿真的方法对该系统进行了研究,得到了一种从周期一到周期二的擦边分岔．     

M_3(C)中子代数上的局部线性映射的刻画

研究了矩阵代数M3(C)中一类特殊子代数A上的局部线性映射。等价刻画了M3(C)中代数A的导子,局部导子,半局部广义导子,双局部导子,保核值映射.     

基于解析性质的等参有限元逆变换高效算法

由于等参元不存在逆变换的显式 ,所以在有限元分析的列式中都回避等参元逆变换 .但是在工程分析中 ,尤其在涉及两个物理场的耦合分析中 ,往往会遇到等参逆变换的需求 .文章从两种常见的四节点平面等参元和八节点空间等参元入手 ,通过分析等参变换的解析性质 ,提出了一种等参有限元逆变换的新算法 ,该算法具有简便、高效和高精度的特点 ,便于在实际工程中应用     

面向等价性验证的锁存器匹配算法

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分. ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.     

Approach of simultaneous localization and mapping based on local maps for robot

An extended Kalman filter approach of simultaneous localization and mapping（SLAM） was proposed based on local maps A local frame of reference was established periodically at the position of the robot, and then the observations of the robot and landmarks were fused into the global frame of reference. Because of the independence of the local map, the approach does not cumulate the estimate and calculation errors which are produced by SLAM using Kalman filter directly. At the same time, it reduces the computational complexity. This method is proven correct and feasible in simulation experiments.     

一类带非经典热方程的单相Stefan问题

证明了一类带非经典热方程的单相Stefan问题局部解的存在唯一性.首先利用Green恒等式将问题转化为等价的积分方程组,再由压缩映照原理得到了问题的局部解.最后,证明了解对初值的稳定性.     

面向规划的村镇大比例尺成图方法

为快速高效地制作形成各种村镇大比例尺地图,切实发挥其在规划、建设、管理工作中的服务保障作用,采用实地调研、文献分析、比较研究等方法归纳总结了村镇大比例尺成图面临的主要问题,然后根据数据获取方式的不同将现有成图方法概化为实测、更新、缩编、集成四大类,并分别阐述了这 ４类成图方法的基本策略及其关键技术。该研究进一步理清了村镇大比例尺成图的整体思路,为科学选择或设计适用的成图方法提供了有益的借鉴与参考。根据实际经济水平及数据基础条件,灵活持续地开展村镇大比例尺成图工作才是取得实效的关键。     

几乎连通集值映射的连通性与连续性

给出了几乎连通信值映射的概念，并组给出了几乎连通集值映射成为连通映射及连续映射的条件。