Banach空间中的一个随机不动点定理

本文研究了Banach空间中的一个随机不动点的存在性问题,并获得了相应的随机不动点定理.     

可分离变量奇异非线性Sturm-Liouville问题的正解

本文考察了如下情形奇异非线性Sturm-Liouville问题-(Lφ)(x)=h(x)f(φ(x)),00,q(x)∈C[0,1],q(x)≤0;α1,α2,β2≥0,β1≤0不但允h(x)许在x=0,x=1处奇异,而且允许f(s)在s=0处奇异。     

有限族多值Ф-伪压缩映象公共不动点的强收敛定理

通过引入一个新的具误差的修正的Ishikawa迭代过程，在Hilbert空间和一致光滑的Banach空间中，证明了此迭代系列强收敛于有限族多值西一伪压缩映象的公共不动点，所得结果改进和扩展了本领域中近期的一些相关结果．     

Banach空间中Reich-Takahshi迭代法的强收敛问题

普通电池能对环境造成严重污染，文章介绍一种新兴的环保型的电池——生物电池。结合生物能量代谢紧密相关的氧化还原反应，给出了生物电池的定义，并作了初步分类，阐述了生物电池的基本原理、主要特点及存在问题，提出了改进效率的几种可能途径。加强对生物电池的研究和开发，对解决环境和能源问题，具有重要意义。     

关于一种严格伪压缩映象Mann迭代序列的强收敛性

证明了在H ilbert空间中非空有界闭凸集上的严格伪压缩自映象有不动点,介绍了一种关于严格伪压缩映象的M ann迭代序列并证明了其强收敛于不动点,其结果把非扩展映象推广到严格伪压缩映象,从而推广了近代一些相关结果.     

有限族渐近拟非扩张现象的收敛性定理

在Banach空间中,引入和研究了有限族渐近拟非扩张映象的一个新的迭代程序,证明了这类迭代程序的收敛性定理,本质地改进和推广了一些人的最新结果.     

弱紧集上的公共不动点与最佳逼近

在局部凸拓扑线性空间中的弱紧集上得到了一个非扩张映射对的公共不动点定理和一个最佳逼近定理,改进了Hussain和Khan的相应结论.所得结果是许多已有结论的推广.     

可点值化集值非扩张映象耦合不动点集的闭凸性

在严格凸Banach空间中,研究可点值化集值非扩张映象T的耦合不动点集F(T)的闭凸性.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

序映射的不动点定理

目的分析研究一类更广的序映射不动点问题。方法在序Banach空间中采用迭代序列方法。结果证明了序Banach空间中广义序映射的几个不动点定理。结论改进和推广了相应的序Banach空间中序映射的不动点定理。