带混合误差的随机Ishikawa迭代程序

在一致光滑可分Banach空间中,针对随机强伪压缩算子T构建了带混合误差的随机Ishikawa迭代程序,并证明了在某些条件下,此随机迭代序列强收敛于T的一个随机不动点.     

一类二阶常微分方程组边值问题三个正解的存在性

利用Leggett-Williams不动点定理,研究了在Sturm-Liouville边界条件下的一类二阶常微分方程组多个正解的存在性,得到了至少三个正解存在的充分条件.     

硬实时环境下固定优先级调度的离线优化

RM调度算法具有简单的实现机制和较低的调度开销,被广泛应用于硬实时调度领域.然而这类算法的固定优先级特征使其在高任务负载环境下具有极高的抢占次数,从而导致了较大的系统开销,因此提出一种方法来减少RM调度的抢占次数.该方法通过离线计算任务集的最优属性来减少基于RM调度的系统在运行时的抢占次数,进而降低系统的抢占开销.仿真结果表明,该方法可以在不付出额外调度开销的前提下有效减少RM调度的抢占次数,降低实时系统的抢占开销.     

立体视差调整的快速估计方法

立体图像的视差调整多用于会聚调节和视差校正．为准确地计算出立体图像视差调整量的取值范围,建立了立体视差调整的快速估计方法．算法首先将人类立体视觉的Panum融合区应用于立体显示空间,给出计算立体显示屏幕Panum融合区的方法,然后推导出立体显示屏幕Panum融合区对视差调整量的限定,最后通过对立体图像深度线索的稀疏匹配快速估计出Panum融合区限定下视差调整量的适用范围．经实验验证．本方法可以快速、准确地得到视差调整量的适用范围,最大限度地避免立体图像中出现双眼复视的情况．     

随机变分不等式和随机相补问题

在Hilbert空间的框架下,引入和研究了一类随机变分不等式和随机相补问题随机解的存在性问题.     

一类混合单调算子不动点定理的推广

运用锥理论与单调迭代技巧,讨论了一类混合单调算子的不动点的存在惟一性,得到了若干不具有连续性和紧性条件的有关混合单调算子、增算子和减算子的新不动点定理.所得结果是某些已有结果的本质改进和推广.     

Photocatalytic degradation kinetics of Rhodamine B catalyzed by nanosized TiO<Subscript>2</Subscript> film

A fixed bed photocatalytic reactor was designed,and dynamic fast scan of UV-Vis adsorption spectrum was adopted to study the photocatalytic degradation dynamic behavior of Rhodamine B,a kind of dye generally recognized as to be degraded difficultly ,on the surface of nanosized TiO2 thin film,The results indicate that the photocatalytic degradation process of Rhodamine B does not comply with the first-order reaction kinetic process ,As a result,a kinetic model of Rhodamine B photocataly tic degradation ,reaction is brough forward ,and the model is proved by the theoretical deduction and experiment.     

基于公共数据模型CDM的数据融合

提出了一种基于超图的公用数据模型CDM(common data model),实现了关系模式与XML文档相互转换的方法,从而实现了这两类数据的融合.     

不动点与马尔可夫调制的随机脉冲微分方程的稳定性

利用Banach不动点理论方法,研究了一类马尔可夫调制的随机脉冲微分方程的p阶渐近稳定性及均方渐近稳定性。     

一类含积分边界条件分数阶微分方程解的存在性和唯一性

研究一类含积分边界条件非线性分数阶微分方程{~CD~αu(t)+f(t,u(t))=0,2α3,0t1, u(0)=u″(0)=0,u(1)=λ∫10u(s)ds,0λ2,解的存在性和唯一性,借助于Green函数的性质,利用Schauder不动点定理和Banach压缩映射原理,得到该边值问题解的存在性和唯一性定理,并举例验证所得结论的有效性.