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

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

纵横图趣谈

纵横图的研究由来已久,首先介绍n阶纵横图问题和n阶不全四角问题及其它们的解法,然后从一道竞赛题得出启示,推广n阶不全四角问题.     

一类pq2阶群的自同构群

得到了如下定理:设p,q是奇素数,且q相似文献   

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

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

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

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

单生过程首中时的各阶矩

给出了单生过程首中时多项式阶矩和指数阶矩的显式表达，讨论了4个判别准则的概率意义，并得到了单生过程指数遍历的一个显式判别准则．     

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

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

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

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

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

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

一类四阶两点边值问题多个正解的存在性

通过研究四阶Lidstone边值问题多个正解的存在性,利用Krasnose'skii不动点理论及相应线性问题Green函数性质的研究,可得到多个正解存在性的结果