多维OU型Markov过程的弱对偶半群及其无穷小算子

研究多维ＯＵ型Ｍａｒｋｏｖ过程的不变测度、参考测度、弱对偶半群及其无穷小算子．说明了ＯＵ型Ｍａｒｋｏｖ过程不变概率测度和弱对偶半群的存在唯一性,Ｌéｖｙ过程Ａｔ的不变测度不一定是由它产生的ＯＵ型Ｍａｒｋｏｖ过程的不变测度,以及Ｌｅｂｅｓｇｕｅ测度ｍ和极限分布ξ在ｓｕｐｐξ＝Ｒｄ的条件下都是ＯＵ型Ｍａｒｋｏｖ过程的参考测度．     

Fuzzy导集算子与Fuzzy拓扑

在Ｉ＾Ｘ上,定义了Ｆｕｚｚｙ半导集算子与Ｆｕｚｚｙ导集算子,讨论了它们与拓扑的关系,借助于文献（３）中提出的强导集概念,得到：若ｄ是Ｘ的Ｆｕｚｚｙ导集算子,则在Ｘ上唯一存在一个Ｆｕｚｚｙ拓扑ｆ,使得（Ｘ,Ｆ）是Ｆｕｚｚｙ准Ｔ０空间,且在（Ｘ,Ｔ）中Ｆｕｚｚｙ集Ａ的强导集恰是Ａ在ｄ下的像ｄ（Ａ）。     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.     

非线性算子方程的迭代求解方法

在较弱的条件下,利用锥理论和单调迭代方法,建立了Banach空间中一类非线性算子方程的最大最小藕合解的存在性定理和不动点定理,并给出了相应的迭代逼近式及误差估计式,改进了一些相应结果.     

序Banach空间中非单调算子方程的Mann迭代求解

在序Banach空间中,运用锥与半序理论和Mann迭代技巧,研究了一类非单调算子方程Ax=x解的存在与唯一性,并给出了收敛于算子方程解的逼近迭代序列和误差估计.     

算子表示的矩形域Bernstein-Bézier曲面

通过引入3个算子:移位算子、向前差分算子和恒等算子,将矩形域上Bernstein-Bézier曲面(B-B曲面)表示为更简洁直观的算子表示形式,并讨论了用算子表示的B-B曲面的各种性质,给出了相关的证明.结果表明,算子表示形式从另一角度揭示了矩形域B-B曲面的基本几何性质,也大大简化了相关结论的推导过程.     

遗传算法中交叉算子的配对策略研究

提出了一种称为“国王配对”的配对策略来选择进行交叉运算的父母体,在此基础上再执行改进的交叉运算.经过测试,证明国王配对策略比随机配对策略要优越,可以加速遗传算法的进化过程.     

Banach空间中的1阶Bessel序列

在Banach空间X中引入了1阶Bessel序列与Bessel算子的概念,证明了X上的全体1阶Bessel序列构成一个Banach空间;对X上的任意1阶Bessel序列f={fn}n∈Λ,引入了算子Tf:X*→l1,给出一个序列成为1阶Bessel序列的若干充分必要条件;引入(1,∞)阶对偶对的概念,证明了(f,g*)成为X×X*中的(1,∞)阶对偶对当且仅当Tf*Tg*|X=IX.     

一类半导体方程组整体弱解的存在性

考虑一类半导体方程组的混合初边值问题。利用正则化算子和逼近过程，通过一系列先验估计，在迁移率既不为常数，又不满足速度饱和的条件下，证明了其整体弱解的存在性．     

基于遗传算法的轨道综合养护计划模型设计

根据大型养护机械线路综合养护的特点,设计了基于遗传算法的0—1整数型轨道状态最优综合养护计划模型,并结合线路不平顺数据,对模型求解效果进行了检验,初步实现了大型养护机械养护作业安排的计算机解析,从算法角度解决了轨道不平顺状态计算机辅助决策系统的关键问题.