多项式模上全次数除法及其在CAGD中的应用(Ⅰ)

本首先介绍了利用Ｇｒｏｅｂｎｅｒ基求解Ｓｙｚｙｇｙ模生成元的方法,在对方法做出进一步分析的基础上,给出了一元模上的多项式辗转相除法,这种除法相对于已有的方法有许多优点。     

高等几何与初等几何的相融性

通过实例探讨了高等几何对于初等几何的指导作用及用初等方法解决高等数学问题的可行性,旨在说明两者的相融性.注意高等数学与初等数学的联系与对比,不但可以降低高等数学的学习难度,而且可以增强高等数学对培养中学数学教师的指导作用.     

Best Tracking Performance under Plant Uncertainty and Control Energy Constraint

This paper has investigated best tracking performance for linear feedback control systems in the case that plant uncertainty and control effort need to be considered simultaneously. Firstly, an average integral square criterion of the tracking error and the plant input energy over a class of additive model errors is defined. Then, utilizing spectral factorization to minimize the performance index, we obtain an optimal controller design method, and furthermore study optimal tracking performance under plant uncertainty and control energy constraint. The results can be used to evaluate optimal average tracking performance and control energy in designing practical control systems.     

基于均值约束满足度剪枝策略的高效序列模式挖掘算法

为了减少无用候选序列的生成,并使挖掘得到的序列模式符合用户要求,约束条件下的频繁序列模式挖掘已成为数据挖掘领域的一个新的重要研究方向.作为强约束形式的一种,均值约束目前仍然是基于约束的频繁序列模式挖掘的一个困难问题,其主要原因在于很难利用均值约束来进行序列模式挖掘中的剪枝.为此,提出了一种基于均值约束满足度剪枝策略,并且以前缀增长方法为基础设计了一个有效的频繁序列模式挖掘算法.通过分析并实验验证了该算法的时间效率和剪枝性能,结果表明,该方法是有效的.     

基于全概率公式的几何概率问题

利用微积分知识把离散型全概率公式推广到连续型，并给出在几何概率问题上的应用实例。     

一类快速非线性预测控制的分析与改进

针对仿射非线性系统,分析了一类快速预测控制算法稳态误差的来源,给出了误差的解析表达式.通过反馈校正消除稳态误差,提高了算法对模型失配的鲁棒性.对水箱液位控制系统的仿真和实验研究,结果验证了分析和改进的有效性.     

FP_tree算法在入侵检测系统中的应用

指出了入侵检测系统中的常见约束条件,即关键属性约束、挖掘范围约束、个数约束.在分析这些约束条件性质的基础上提出了3种剪枝策略,对基于"支持度-可信度"度量机制的FP_tree算法进行了扩展.实验结果表明:新的算法提高了挖掘效率,删除了许多无意义的模式.     

数学解释初探

文中阐述了数学解释的含义及作用，所谓数学解释，就是以某种方法对数学某一分支或者构成它的成分，诸如概念，命题，公式，符号等所赋予的各种意义的总和，数学解释在建立理论，理解理论和应用理论的过程中都有着重要作用。     

miRNAs基因的结构保守模式挖掘

miRNA前体（pre-miRNAs）是产生成熟miRNAs的基因表达产物,能够形成较为稳定的茎—环（stem-loop）结构.为了深入研究miRNAs,对miRNAs前体的二级结构建模,并采用关联规则识别miRNAs基因在进化过程中的结构模式.通过分析产生的结构—类别关系（structure-category relationships）来探索miRNAs的功能特征和调节机制.为了获得较好的实验结果,改进传统的关联规则挖掘算法,应用支持度约束和频繁项集的聚类来优化数据挖掘结果.     

画法几何试题库系统的研究与开发

通过ＡｕｔｏＣＡＤ环境内部的菜单件与Ａｕｔｏ Ｌｉｓｐ语言的混合编程方法，研究了画法几何试题库系统的设计方法。