G-凸空间中关于容许集值映象的广义拓扑SKKM定理

在G—凸空间中引入了关于容许集值映象的G—SKKM映象，建立了具紧闭值或转移闭值的关于容许集值映象的G—SKKM映象的广义拓扑SKKM定理，改进和推广了近期的相应结果．     

SKKM型定理的推广及其应用

在L—凸空间的非紧子集上引入了广义GL-SKKM映象，建立了关于紧闭值或转移紧闭值的广义GL-SKKM映象的广义GL-SKKM定理．作为应用，证明了L—凸空间中的极大极小不等式定理和鞍点定理。     

多值次伪压缩映象不动点和多值次增生映象零点的Ishikawa迭代逼近

在一般的Banach空间中，研究了多值次伪压缩映象不动点和多值次增生映象零点的具有误差的Ishikawa迭代逼近问题，所得结果改进和推广了这一领域内一些相关的结果。     

某些风险序关系及其k阶停止损失序的表示

讨论了保险精算理论中常见的几种风险序之间的关系，得到了聚合风险中期望剩余寿命风险序的一个性质，利用κ阶停止损失风险序及κ阶失效率风险序间的关系，对本文中所讨论的几种风险序之间的关系给出了一个统一描述。     

基于马尔可夫随机场的曲面光顺算法

利用最小均方（LMS）线性预测方法检测曲面型值点，对误差较大的坏点采用预测值进行修正，从而有效地避免了坏点对曲面光顺效果的影响。基于马尔可夫随机场（MRF）的局部特性，采用二阶邻域内数据点的线性组合代替原型值点，选择适当的加权系数，依次对各型值点进行修改，即可在保证曲面精度的前提下实现曲面光顺。计算结果证明，此算法结构简单，运算速度快，修改能力强，对不同形式的参数曲面都可以取得良好的光顺效果。     

仿紧集上的广义双拟变分不等式

利用关于仿紧集上的单位分解定理，将紧集上的广义双拟变分不等式解的存在性定理推广到仿紧集情形。     

用简单动态递归网构造固体散料流量模型

提出了用简单动态递归网来建立固体散料流量模型，针对动态递归网结构复杂，训练算法收敛速度慢的缺点，采用一种结构十分简单的递归网，对RPE算法进行了改进和补充，使之适用于简单递归网，用来对网络的权值和阈值进行调整，建模结果表明此方法收敛速度快，精度高。     

区间值模糊集合的表现定理

针对区间值模糊集合，给出了2类区间值集合套的定义，得到了2个区间值模糊集合的表现定理。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

L—凸空间中的Ky—Fan极大极小不等式

在较为广泛的L—凸空间中利用转移紧闭值，得到了一个关于λ—转移紧上(下)半连续泛函的新的Ky—Fan板大板小不等式，同时给出了与其等价的几何形式。这些定理概括和推广了许多相关结果。