伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

一类新的无限簇集值变分不等式

引入并研究了一类新的无限簇广义集值变分不等式,证明了这类变分不等式解的存在性,并构造了其迭代算法,得到了由此算法产生的迭代序列的收敛性,所得结果推广和改进了已知的相应结果.     

时间的辩证发展

时间是一个永恒的哲学课题。本文从哲学史发展的角度,将时间的发展归结为从具体的时间观念到一般抽象的时间观念到与物质运动辩证关联的时间发展阶段。而马克思主义的科学时间观的确立及自然科学对其的证实并不意味着人类对于时间课题的追求的终结。正如哲学的发展必将随着时代的发展而发展一样,时间观的发展也将进入一个更为广阔的发展前景。     

计算机辅助几何设计中双三次张量积非均匀B样条曲面G1光滑条件

依据有关B样条理论 ,研究了一种特定类型的双三次张量积非均匀B样条曲面间G1光滑拼接的充要条件 ,且给出了此种类型的两张双三次张量积非均匀B样条曲面间G1光滑拼接的一个充分条件 ,以满足实际应用的需要     

均匀样条上可展面的计算机辅助设计

将Bodduluri和Ravani对三次均匀样条上可展面的研究结论进行了推广，提出了任意次均匀样条上可展面的设计方法，讨论了所设计可展面的特点和几何构造，并以不同的以中心点表示控制平面的方式对曲面的设计进行了实例分析，分析表明设计结果良好。     

广义Riemann可积与Lebesgue可积关系注记

研究了有限区间上无界函数及无限区间上函数的广义Riemann可积性、广义Riemann绝对可积性与Lebesgue可积性之间的关系 ,得到了一些充分必要条件     

复函数积分中值公式

给出了复函数的一个一般性的积分中值公式 ,由此得到若干结果 .     

一类非局部发展问题解的存在性

考虑非局部发展问题。首先对主算子为紧半群无穷小生成元，在较弱的假设条件下，证明温和解是存在的。同时研究主算子为解析半群时温和解的正则性问题，进而对主算子为解析紧半群问题给出一个有用的结果。最后，以一个例子展示理论结果的应用。     

基于不同约束条件的动态时间错位理论及应用

在两种不同模式的匹配过程中 ,研究了基于不同约束条件的动态时间错位理论及应用。分别采用始终点约束、不同的局部连续约束 ( Itkura约束、Sakoe- Chiba约束 )、不同的全局约束( Itkura约束、Sakoe- Chiba约束 )条件对间歇反应过程中两批次轨迹进行合理匹配 ,并使两轨迹基于动态时间错位理论获取其间的最短标准总体距离 ,在此基础上搜寻最优匹配路径 ,使两种持续时间不等的轨迹达到模式一致。应用聚合反应中的数据轨迹 ,表明此方法的实施过程和有效性。     

LS-共轭梯度算法的收敛性

对无约束规划 (P) :minx∈Rnf(x) ,其中 f(x)是Rn→R1上的二阶连续可微函数 ,通过引入强迫函数和逆连续模函数 ,证明了一类采用Curry Altman步长规则的LS 共轭梯度算法的全局收敛性质 ,利用比较原理进一步讨论了LS 共轭梯度算法在采用另外三种步长规则下的全局收敛性