决策树在文本分类中的应用

介绍了文本分类的思想,探讨了通过决策树学习来对文本进行有效分类的过程。     

关于树的几个问题

定义了树T的一个全序(《),证明了(《)的一个性质,运用这个性质证明了序数理论中的一些已知结论,使证明大为简化.     

一类非线性年龄结构鱼群系统的稳定性

讨论了具有年龄结构的鱼群系统的稳定性，证明了其平衡解是全局渐近稳定的．关键词     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.     

一类多线性振荡奇异积分算子的有界性

考虑了一类多线性振荡奇异积分算子并获得了其在一维Lebesgue空间Lp(R)(1＜p＜∞)的有界性.并通过迭代方法,将这种有界性推广到高维的Lebesgue空间Lp(Rn)(1＜p＜∞)上.     

商品美学定量分析

系统地阐述了商品美学定量化研究的意义及其方法，为商品美学定量化研究建立了理论框架．     

插值Blaschke积的两个刻划定理

信据Ｂｌａｓｃｈｋｅ积在Ｈ＾∞的极大理想空间Ｍ上的零点分布，给出了Ｂｌａｓｃｈｋｅ积是插值Ｂｌａｓｃｈｋｅ积的两个刻划定理。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

紧度量空间中的不动点定理

在紧度量空间中讨论了压缩型和膨胀型不动点定理 ,推广和改进了 [2 ]和 [5 ]中的若干结果