空间变化的彩色形态算子

在空间变化(SV)的灰值形态学理论的基础上,通过引入序函数的方法,建立了彩色图像模型空间上的导出序及与之相关的极大和极小运算,并以此为基础,建立了SV的彩色形态算子的框架理论,对SV彩色形态腐蚀、膨胀、开、闭算子的基本形式和形态学基本性质进行了研究.研究结果表明:基于序函数的SV彩色形态算子,保留了SV灰值形态算子的大多数性质,为多值形态学框架理论的研究提供了基础.     

一类非线性算子方程解的Mann迭代序列的收敛性

利用Mann迭代技巧，讨论了不具有连续性和紧性条件的非线性算子方程A（x，x）＋u0=Bx解的存在唯一性，并给出了迭代序列收敛于解的误差估计，所得结果是某些已知结果本质改进和推广．     

Banach空间一类非线性算子方程的不动点

利用锥理论和非对称迭代方法，讨论了不具有连续性和紧性条件的非线性算子方程A（x，x）＋u0=Bx解的存在唯一性，并给出了迭代序列收敛于解的误差估计，所得结果是某些已知结果本质改进和推广．     

《孟子》赵注中的同素异序词

单音节词复音化是汉语词汇发展的重要规律之一。在赵岐《孟子章句》中存在有69个同素异序词，这是汉语词汇双音化的一种表现，其中有的被历史淘汰了，有的保存下来了，研究它们有助于认识汉语词汇的发展规律。     

二叉树非递归周游算法

本文给出了二叉树的一个非递归周游算法。二叉树采有三重链式存储结构，在算法过程中无须逆转链。     

Banach空间中非混合单调算子的新不动点定理

利用锥与半序理论和混合单调算子理论,研究半序Banach空间中非混合单调算子方程组{A(x,x)=x/B(x,x)=x解的存在与唯一性,给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非混合单调算子方程A(x,x)=x和非单调算子方程Ax=x的唯一解及其解的逼近迭代序列和误差估计,并改进和推广了有关文献中的相应结果.     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

唐菖蒲花芽形态分化与叶片生长的关系

经观察，唐菖蒲花芽分化为向顶式，花芽形态分化可分为11个时期。花芽分化时期与叶片生长表现出较稳定的并行生长关系，并在开花球茎范围内受球茎大小的影响。     

F─模的投射分解与格序模直和的平坦性

本文给出了Ｆ─模的投射分解并证明了格序模直和平坦的充要条件。     

零售商价格竞争下供应链的均衡及协调研究

研究了收益共享契约下,单供应商和多个价格竞争的零售商构成的供应链系统的均衡及协调问题.基于经济博弈理论的最新进展--超模博弈理论,证明了价格敏感的随机需求下零售商间的价格竞争一定存在纯策略纳什均衡,分析了均衡的特点,并给出了存在唯一均衡的条件;基于以上分析,对契约机制的设计进行了优化,既保证各方接受对契约的优化,又可实现多赢和系统协调.