L-不分明化一致空间和L-不分明化一致拓扑(英文)

通过应用完全剩余格值逻辑语义的方法把不分明化一致空间和不分明化一致拓扑推广为L-不分明化一致空间和L-不分明化一致拓扑。并且讨论了L-不分明化一致空间和L-不分明化一致拓扑的一些基本性质。

Banach空间中一致L-李普西兹映射的强收敛问题(英文)

给出了Banach空间中由一对L-李普西兹映射生成的点列强收敛的充分必要条件。文中通过削弱了Some results for uniformly L-Lipschitzian mappings in Banach spaces一文中相关的限制条件,从而改进了其原有结果。

L-保序算子ω定义下的Lω一致结构

在LX中利用L-保序算子ω引入了Lω一致结构、Lω拟一致结构,并给出它们的基和子基等概念,研究了这些概念的基本性质,得到了L-保序算子、Lω一致结构、Lω拟一致结构等概念的一些特征性质.

局部L-一致空间中下半连续映射的不动点定理

在没有任何线性结构的L-空间证明了一个L-KKM型定理,利用此L-KKM型定理在L-一致空间内对紧下半连续映射建立了一个新的几乎不动点定理,并进一步得到不动点定理.

L-序水平一致极限空间

基于满层L-滤子的L-包含序,提出L-序一致极限空间的概念,证明L-序一致极限空间范畴作为拓扑范畴是笛卡儿闭的.同时利用"水平结构"的思想,发现了它的水平空间,即L-序水平一致极限空间.在证明L-序水平一致极限空间范畴与L-序一致极限空间范畴是范畴同构的同时,还建立了L-序水平一致极限空间范畴是文献中L-水平一致极限空间范畴的双反射子范畴这一深入联系.

Banach空间中有限个一致L-李普希茨映象的强收敛定理

首先将序列{xn}的迭代定义为:x0∈K,xn+1=(1-α1n)xn+α1nTn1y1n,y1n=(1-α2n)xn+α2nTn2y2n,…,y(m-1)n=(1-αmn)xn+αmnTnmxn,其中{iαn}满足一定的条件.若存在严格增加的函数:[0,∞)→[0,∞),且ф(0)=0,使得〈Tnix-x*,j(x-y)〉≤kn‖x-x*‖2-ф(‖x-x*‖),j(x-x*)∈J(x-x*),x∈K,i=1,2,…,m,那么{xn}强收敛到x*.x*是K中有限个一致L-李普希茨映象的公共不动点.K是Banach空间E的非空闭凸子集.

一致凸Banach空间 (L -α)一致李普希兹渐进非扩张映射的不动点迭代问题(英文)

Xu和Norr已经证明了建立在一致凸Banach空间的一个非空有界闭凸子集上的渐进非扩张映射的三步迭代的收敛定理问题 .引入 (L -α)一致李普希兹的概念 ,然后在一些已有结果的基础上 ,证明一致凸Banach空间的紧子集上的 (L -α)一致李普希兹渐进非扩张映射的三步迭代序列的收敛问题 .这个结论是对Xu和Noor的相应结果的推广 .

L─统计量的随机加权逼近的非一致性速度

任哲讨论了一类L─统计量的随机加权逼近的一致性速度，本文研究了其非一致性速度．

L-拓扑中的度量理论

对L-拓扑中已有度量理论的研究进展作一个简要的介绍和评述,力图使读者了解L-拓扑中度量理论的发展概况和发展方向。

模糊描述逻辑L-ALCN

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL(c),并且利用集合DL(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.

L—统计量的非一致性收敛速度

本文研究了高阶矩条件下L—统计量的非一致性收敛速度,得到了与独立和类似的收敛速度。

剩余类环Z/nZ上的一致全向置换的存在性

给出了Z/nZ上的l-全向置换的概念(其中l∈(Z/nZ)*,讨论了l-全向置换的存在性、函数性质、计数,并在此基础上,给出了Z/nZ上的一致全向置换的概念,证明了当φ(n)>n-12时,Z/nZ上的一致全向置换不存在。

L—统计量的Bootstrap逼近的非一致性速度

文①中讨论了L一统计量的Bootstrap逼近的一致性速度,本文则研究了其非一致性速度.

渐近拟非扩张映象的三步迭代格式(英文)

应用一个新的方法研究了Banach空间渐近拟非扩张映象具误差的三步迭代格式的收敛性 .研究所得的结果是最近已知结果的一个扩充和改进 .

迭代(L-α)一致李普希兹渐近非扩张映射的不动点迭代

首先定义一致凸Banach空间某非空紧子集上的一种新的映射—(L-α)一致李普希兹渐近非扩张映射,在该子集上构造关于(L-α)一致李普希兹渐近非扩张映射的三步迭代序列,然后来讨论三步迭代序列的收敛性。

有限族一致L-利普希茨渐进伪压缩映象的合成迭代

在实Banach空间给出了涉及有限族一致L-利普希茨渐进伪压缩映象的合成迭代序列的强收敛定理,其结果改进并推广了2006年E.U.Ofoedu一文的相应主要结果.即,从一个一致L-利普希茨渐进伪压缩映象推广到有限个,并且去掉了的连续性限制条件.此外,作者还改进了E.U.Ofoedu的方法,由此去掉了限制条件∑∞n=1αn(hn-1)<∞和∑∞n=1αn2<∞.值得一提的是,本文方法可类似地用来改进系列相关参考文献的相应主要结果,如,2005年C.E.Chidume和C.O.Chidume一文的相应主要结果.

偏序群的幂群

本文讨论了偏序群G的偏序幂群与G的关系，并得到了l－群G的一致l－幂群的凸子群、素子群、正则子群、稠密子群、N－子群、n－子群、ω－子群、弱稠密子群与G的相应子群的关系。

强化范畴在L-拟一致结构中的应用

本文在格值环境为完备Heyting代数时,借助满层的L-滤子将L-拟一致空间视为强化范畴。进而探讨了将概率拟一致空间、L-拟一致空间、概率拟度量空间都作为强化范畴后,它们Lawvere完备性之间的联系。

多AUV编队控制

使用一致性算法l-φ和虚拟领航跟随结构法研究自主水下机器人的集群编队控制。基于一致性算法l-φ对各AUV所持有的参考信息进行一致性协商而达到状态一致。基于虚拟结构思想,将编队控制问题转化为跟随AUV对虚拟领航AUV的轨迹跟踪控制,使得各AUV相对于虚拟领航者的位置且在有限的时间内确保到达各自的期望位置。通过Java的GUI编程进行仿真实验来验证控制策略的有效性。

L-拟一致空间的完备性

本文首先借助满层的L-滤对给出了L-拟一致空间中的Cauchy完备性,然后证明了其Cauchy完备性等价于Lawvere完备性,最后证明了L-拟一致空间是Cauchy完备的当且仅当其生成的L-一致空间是Cauchy完备的。