基于B/S模式网络存储的软件实现研究

对目前主要的数据存储方式进行了介绍，针对网络中单个应用系统存储需求紧张而同时网络中存在存储资源浪费、闲置等情况，提出了用软件实现基于B／S模式的网络存储系统BSMSM(B／S Model based Shared Memory)，从而实现了跨平台的网络存储．     

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

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

光纤传感技术监测混凝土大坝全相和时效分析方法

光纤监测混凝土大坝安全研究方法的探讨，是深入发展这一研究方向的重要课题。Q．S分析法、S．X分析法是通过鱼跳电站工程实践摸索的分析方法，它通过理论探讨和实践对照，为光纤技术应用于混凝土大坝安全监测积累了一定的经验。     

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

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

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

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

基于网络的多媒体课件的交互设计与实现

基于网络的多媒体课件必须具备交互性的特点，以实现学生与计算机、教师与学生的交互功能，探讨了课件人机交互、教学交互的几种交互方式的设计思路和制作方法，并阐述了基于WEB的B／S模式体系结构的课件设计技术。     

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

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

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

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

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

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

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

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