一种改进的关联规则增量式更新算法

在支持度和置信度不变的情况下,随机或偶然向数据集添加数据记录会导致关联规则的变化.在FUP算法的基础上给出了一个改进的增量式更新算法,本算法在充分利用先前关联规则的基础上极大的减少了扫描原数据集的次数,与FUP算法相比极大的减少了算法运行时间,并实验验证了算法的优越性.     

一类奇异的非线性双调和方程正整解

以Schauder-Tychonoff不动点定理为理论依据，研究了一类奇异的非线性双调和方程正的径向对称整体解的存在性，并给出了解的有关性质。     

基于UG平台的结晶器搅拌桨CAD/CAM的集成

结晶器搅拌桨采用船用螺旋桨结构，桨叶为复杂曲面．应用Delphi7开发了搅拌桨叶面型值点计算模块，并以CAD／CAM集成系统UG软件为平台，应用其二次开发工具OPEN GRIP建立了搅拌桨的三维实体模型；在分析搅拌桨数控加工特点的基础上，研究了搅拌桨多轴数控铣削加工工艺．利用UG的CAM模块完成搅拌桨的数控编程，实现了搅拌桨CAD／CAM集成．将研究结果应用于搅拌桨生产，搅拌桨的设计一制造周期缩短了70％～80％；几何精度检验结果表明，搅拌桨加工精度显著提高，搅拌桨导边与随边几何误差小于0．05mm；经静平衡检验，不平衡量小于搅拌桨质量的0．05％．     

特定应用环境下的入侵检测架构

异常检测可以认为是通过对用户正常行为及系统正常应用环境的学习来识别异常的过程．由于系统及应用环境的复杂性,异常检测还难以达到很高的识别精度．为此,针对在物理上与Internet网完全隔离的计算机网络应用环境,亦即内网,提出基于mobile agent(MA)的多层次入侵检测架构,利用自组织映射网络方法,在不同层次的agent中建立二堆网格的自组织映射网络模型,分别检测目标系统不同层次上的异常现象．实验结果表明,在入侵者攻击的持续时间内,本系统通过多次采样的办法可以使检测率提高到满意的程度．     

稳定求解第一类Fredholm积分方程的一个方法

为了得到第一类Fredholm积分方程稳定的数值解，对p个不同的光滑因子，分别利用光滑化方法求解，可得到p组带有光滑因子的稳定解．然后利用外插值的方法，外推得到光滑因子为零时的积分方程的稳定解．通过数值算例表明，该方法是稳定求解第一类Fredholm积分方程的一个有效途径．     

基于数据流的频繁集挖掘

针对数据流特殊的数据类型,提出了一种新的数据流挖掘算法.该算法引入了一个全新的优化方法,将边界集和频繁产生集结合起来.频繁产生集是频繁集的一种无损简缩表达方式.它所包含的模式数量比频繁集所包含的模式数量小若干数量级.边界集是频繁产生模式和其他模式之间的边界,通过观察边界集的变化可以生成新的频繁产生模式.实验结果表明,该算法的性能有明显的提高.     

一种求解时间关联型缓坡方程的数值方法

以含底摩阻能量耗散项的时间关联型缓坡方程为控制方程,建立了一种具有二阶精度的数值离散格式.该格式对时间导数使用Euler预测-校正格式离散;对空间导数使用中心差分格式离散.基于统一边界条件表达式,对边界条件进行处理.数值解与物理模型实验值吻合较好,表明数值模拟模型可以有效地模拟波面随时间和空间的变化以及波高的空间分布.     

对象关系数据库系统模型及映射规则

在业务逻辑层和关系数据库的物理存储结构中间增加一个O R代理层,提出了一个对象关系数据库系统的三层模型,并对系统模型的各个层次进行了详细的功能设计和分析;总结出了代理层O R映射的4条基本规则,并对各自的优缺点进行了比较.结果表明,该模型在实际应用中存在有效性.     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

无界区域上非自治BBM方程的一致吸引子

讨论了无界区域上非自治广义BBM方程的Cauchy问题，给出了方程解的先验估计，并证明了由方程生成的过程族在H^1（A）弱拓扑下存在一致吸引子．