线性序空间自映射的回归点集和周期点集

本文讨论了线性序空间自映射的回归点和周期点的关系,证明了如下定理:设X是线性序空间,f是从X到自身的连续映射,如果X里局部连通的,则(?)其中R(f)与P(f)分别表示f的回归点集与周期点集.     

线性序拓扑空间上连续自映射的几个性质

本文对线性序拓扑空间上的连续自映射进行了探讨，给出了几个相关的结果。     

L-拓扑空间的θ-连续序同态

研究了θ-连续序同态的性质并讨论了θ-开(闭)序同态.     

线性拓扑空间的一个拓扑结构

本文在线性拓扑空间Ｘ中引入了一个新的拓扑，证明了该拓扑介于空间Ｘ的弱拓扑和原拓扑之间，本文推了「３」，「４」中的一些结果。     

紧空间上拓扑熵的几个性质

本文给出Ｔ２２上自映射的拓扑熵的一个上界和上下层映射在拓扑熵方面的关系。同时证明了，文在度量空间中给出的一个重要结果在紧空间上仍成立。     

局部凸空间中的向量值强扰动优化定理

在数量值扰动优化的基础上,进一步考虑局部凸空间上的向量值强扰动优化问题.     

线性序拓扑空间连续自映射的中心深度

本文对线性序拓扑空间连续自映的中心深度作了些讨论,证明了如下定理,设X是线性序拓扑空间,f:X→X是连续映射,如果X是局部连通的,则Ω(f|Ω(f))=(?)     

自反、传递（模糊）关系与拓扑空间

研究了自反传递模糊关系与拓扑空间的联系,证明了一个自反传递的模糊关系对应一个单调的拓扑空间族,从而对应一个模糊化拓扑.特别地,当R 是自反传递关系时,该拓扑族退化为一个拓扑空间,该拓扑空间以粗糙下近似为其内部算子.     

序集的扩张性质

本给出了序集扩张成为偏序集的充分必要条件，同时也给出了包含一个序集的最小的偏序集的求法。     

空间平面直线束方程简化形式的教学研究

本文指出文献中关于平面束定义简化形式一个反例的错误.一般地,给出了空间平面直线束的定义以及简化形式,通过举例说明在教学中,平面束和空间直线束的简化形式是解决解析几何问题的一个十分有效的工具,学员更易接受.     

关于选择理论的若干进展及相关问题

本文综述了选择理论近年来的若干进展,分别介绍了它和收缩核理论、函数插入问题、广义度量与覆盖性质之间的联系,提出了一系列相关问题．     

最小二乘法求解非线性四阶边值问题

在再生核空间中构造了一种新的算法,研究了一类带有非线性边值问题的数值求解算法.该文基于再生核理论结合最小二乘法来求解四阶非线性边值问题,该理论是基于再生核空间W52[0,1],方程的精确解以级数的形式在再生核空间W52[0,1]中给出,同时给出了一些算例说明了这个方法的有效性.     

关于复合迫近束方法对偶问题的研究

对于具有复合形式目标函数的优化问题,复合迫近束方法展示了很好的数值结果,因此,对于该类问题的研究越来越受到人们的关注．本文中,c：R^a→R^m是光滑映射,h：R^m→R是正齐次凸函数．我们将复合无约束问题minx∈R^n（h·c）（x）的研究转化成一系列二次规划问题mind∈^Rn ht（ck（d））＋1/2｜d｜k,l^2的求解．本文利用文献[1]中惩罚束方法的研究方式,采用对偶空间思想,对惩罚子问题展开研究,刻画了原问题与对偶问题之间的关系．     

完备概率空间上连续随机算子的公共不动点

本文在完备概率测度空间上引入m个连续随机算子,讨论了由同一起点产生的轨道序列和由m个不同一起点产生的轨道序列上的收敛点,从而确定了m个连续随机算子的几乎处处不动点,创立了若干个定理,在一定条件下,改进和推广了参考文献[1～5]的某些主要结果。     

左正则Duo序半群的半格分解

给出了序半群的一些基本性质,利用一系列等价命题对左正则Duo序半群进行了刻画,证明左正则Duo序半群是完全左正则左单且右单序半群半格.     

求解含有转向点的奇异扰动问题的新算法

本文在再生核空间W3[0,1]中研究含有两个二阶转向点的奇异扰动问题,给出了这类方程精确解的表达式,算例表明近似解的误差随着结点数的增加单调递减.     

元胞空间结构下的文化算法

针对以往文化算法种群空间没有地域的概念,信念空间缺少文化的进化机制,以及求解优化问题时寻优精度不高且易陷入局部最优等缺陷,提出一种新的基于元胞空间结构的文化算法. 将元胞空间网格分别嵌入文化算法计算框架中的种群空间和信念空间以模拟文化算法的双层进化体系;对于种群空间,将进化个体分布于下层元胞网格,并对网格进行地域划分,使每个地域内的个体均以差分进化算子独立进化;对于信念空间,将进化信息放入与种群空间地域对应的上层元胞网格当中,利用文化的扩散机制实现文化的进化. 实验结果表明,该算法具有收敛精度高以及全局搜索能力强等优点,在处理高维复杂优化问题时同样具有优势.     

MANET路由协议安全分析

分别采用strand space和BAN逻辑,分析MANET安全路由协议的plausible route属性.分析结果表明MANET路由协议的安全性本质上是建立在网络中可信节点之间实体认证和消息完整性认证机制的基础上;传统的安全协议形式化分析工具适用于MANET安全路由协议的分析.