一些Scott连续自映射的不动点集的性质

研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向完备集).

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质.证明了若L是双有限domain,f:L→L是一致交换映射,则Fix(f)是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f:L→L是稳定映射且max(L)Fix(f),则Fix(f)是L的收缩等性质.

Banach空间中均匀连续映射的一个扩张定理

把定义在Banach空间中闭球上的均匀连续映射扩张到全空间。

Scott连续自映射的不动点

通过研究连续Domain上Scott连续自映射 (特别是L domain之间的稳定映射以及FS domain之间的一致交换映射 )的不动点全体之集的性质 ,对Lawson和Mis love于 1 990年提出的一个问题作出了回答 .

相容Domain间Scott连续自映射的不动点

研究相容连续L-dom a in之间的稳定映射以及相容FS-dom a in之间的一致交换映射的不动点之集的性质。

二维不连续映射中心分叉的动力学分析

研究了二维分段不连续线性映射中心分叉的一些性质.类比光滑映射Neimark-Sacker分叉分析了中心分叉.首先,当定义分段线性映射的两个线性矩阵中有一个的特征值为共轭复根并且通过单位圆时,会发生中心分叉;其次,当定义分段线性映射的两个线性矩阵的特征值均为共轭复根并且通过单位圆时,会发生中心分叉.证明了发生中心分叉时在相空间中存在两个与不动点有关的不变区域,并且给出了寻找不变区域并确定其位置和大小的计算方法.讨论了相空间中在不变区域外的动力学行为,最后说明了系统在中心分叉后在不动点附近可能存在不变闭曲线.

偏序集上的弱Scott拓扑与弱测度拓扑

讨论偏序集的s_(2)连续性和弱Scott拓扑的一些性质:给出s_(2)连续偏序集上伴随的一些性质;定义弱测度拓扑,研究s_(2)连续偏序集上弱测度拓扑的性质;利用弱测度拓扑给出s_(2)交连续偏序集的等价刻画;研究弱Scott拓扑的连通性.

格值Scott连续映射与Scott诱导L-拓扑(Ⅰ)

本文首先指出由集X上的拓扑可诱导映射格L^X上的三对重要的算子。基于对这三对诱导算子所作的深入讨论,分别获得了格值Scott连续映射和格值双Scott连续映射的一个分析式刻划和一组富于L-不分明拓扑学特色的刻划。作为特例,得到了保定向并映射的一组拓扑式刻划。上述诱导算子和格值Scott连续映射的刻划具有多方面的应用价值。本文给出了其中的一个应用,续文进一步给出了它们在(1)刻划连续格,超连续格与完全分配格;(2)建立连续格与完全分配格的次直积表示理论;(3)建立Scott诱导空间理论方面的重要应用。

格值Scott连续映射与Scott诱导L-拓扑(Ⅱ)

本文得到了连续格.超连续格和完全分配格的一组代数刻划和一组拓扑式刻划,对连续格和完全分配格的次直积表示定理的经典证明给出了一个简洁的直接处理,并在更广的框架下建立了一种相当完善的诱导空间理论——Scoot诱导空间理论,表明格值Scott连续映射可在连续格理论、经典格论、一般拓扑学和L-不分明拓扑学之间提供一个重要的连结物.

稳定连续半格的闭包空间表示

为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.

从APOS理论出发构建连续映射的概念

文章利用A(action)P(process)O(object)S(scheme)理论由易至难逐渐在不同情境下对连续映射的概念进行讨论和课程设计.经教学实践可以看出,这种方式比直接灌输知识更容易让学生理解新概念的数学本质和内涵,并更进一步帮助学生理解与新概念相关的其他数学概念,从而顺利构建认知结构.

Scott连续映射的分析式与层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划；其次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划．

格值Scott连续映射的网式刻划

近二、三十年来,由于计算机科学所引起的关注,有关序结构的研究日益受到人们的关注.在此背景下,70年代初由Scott等人开创了连续格理论的研究.近年来,受L-不分明紧化理论方面工作的刺激,有关诱导空间和格值半连续映射的研究引起了人们的浓厚兴趣.在文[5]中,徐晓泉较为深入地研究了格值Scott连续映射的刻划及其结构,并就值域为连续格情形建立起了一种相当完善的诱导空间理论——Scott诱导空间理论,丰富了文[2,3]所建立的诱导空间理论.

含参广义向量拟变分不等式问题解映射的上半连续性

研究了含参广义向量拟变分不等式问题解映射的上半连续性。在约束集K和集值映射T分别受参数扰动的情况下,通过KKM映射和间隙函数建立了含参广义向量拟变分不等式问题解映射的上半连续性结果,并通过例子进行了验证。

空间并联机构连续刚度非线性映射

基于影响系数法并借助虚功原理建立包含主、被动关节弹性变形,杆件及其平台自重的空间并联机构连续刚度非线性映射通用模型。空间并联机构连续刚度非线性映射通用模型与以往刚度模型区别在于,它不仅考虑了机构主动驱动关节、被动关节弹性变形及各部件重力对机构刚度的影响,而且考虑了机构刚度变化的连续过程,没有忽略机构在广义外力下变形时雅可比矩阵的变化,通过引进机构的二阶影响系数,从而使空间并联机构刚度非线性映射还原。从机构简化约束方程出发,推导空间并联机构几类连续刚度简化映射矩阵。在此基础上,结合刚度矩阵瑞利商定义了空间并联机构连续刚度性能判定指标k′。最后给出一空间并联机构刚度分析实例,分别计算两种模型下的刚度矩阵,并对比两种模型下机构刚度性能。

半连续格上的半Scott拓扑与半Lawson拓扑

在完备格上引入了半Scott拓扑与半Lawson拓扑,讨论了半连续格和强连续格上半Scott拓扑与半Lawson拓扑的一些基本性质。

独立、连续、映射法刚度过滤函数

为了构造刚度过滤函数,利用均匀化方法计算了单胞挖不同尺寸方孔时对应的等效刚度,再依据计算出的离散刚度值按正则化最小二乘法拟合等效刚度的系数,然后用这些系数再次使用最小二乘法拟合出独立、连续、映射法刚度过滤函数的幂指数．由这种方法得到的刚度过滤函数能够正确地反映挖孔单胞等效刚度随方孔尺寸变化的规律,并且其幂指数值与拓扑优化经验值较吻合．

拟阵间的连续映射和子拟阵以及商拟阵

从拓扑学的角度研究拟阵,引入了拟阵间的连续映射、开映射、闭映射、同胚映射以及子拟阵和商拟阵等概念,研究了拟阵在这些映射下的性质,给出了一些等价条件,讨论了拟阵中的独立集、相关集、极小圈在映射下是否保持等问题.

引入Logistic混沌映射的连续蟑螂算法应用于函数优化问题

通过模拟蟑螂的觅食行为,提出用于解决函数优化问题的连续蟑螂算法(continuous cockroach swarm optimization,CC-SO).算法模拟了蟑螂的群居、巢穴不固定、爬行轨迹杂乱无章等生物特性.通过食物车在解空间内抛洒食物,吸引蟑螂向食物爬行完成搜索.在巢穴分配和食物抛洒环节引入了Logistic混沌映射,增强了巢穴和食物在解空间内分布的随机性和遍历性.仿真实验显示,与API和PPBO算法相比,CCSO算法在求解精度、收敛速度、寻优率等方面均提高显著.

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。