多项式理想准素分解的算法

讨论了多项式理想准素分解的算法,对于理想坐标变换中关键的“一般位置”的计算,给出了一个确定算法,并建立了特别规范Groebner基的概念,利用这一概念及文中提供的相应算法,可以方便地计算理想的维数,进而使用降维的方法来得到高维理想的准素分解。     

基于等价关系的关联规则的挖掘

由于在实际的数据挖掘过程中容易出现无用的频集和冗余的规则，所以降低频集和规则的冗余度可大大提高挖掘的质量，这也是数据挖掘中一直被关注的问题，提出了一个用等价类生成关联规则的方法，算法主要在频集的基础上建立项集的等价关系，进而对项集划分等价类，同时将得到的关联规则划分为精确关联规则和近似关联规则两个集合，通过等价类，不但可以很容易地生成所需要的关系规则，同时可以方便地判断数据之间依赖关系的强弱，同时，项集的等价关系在实际应用中也很有利用价值，算法最后的规则结果集剔除了由来自同一等价类中的面集的重复出现构成的冗余规则，从而得到了较小的关联规则集合。     

The Improvement in Chomsky-Schtzenberger Theorem and Its Form in “Deterministic” Case

In several papers such as[1], [2], [4], [8], the representation problems of formal languages were discussed. It is well-known, Chomsky-Schtzenberger theozem plays an important role in the representation of context-free languages which is one of the most interesting classes of languages. The Chomsky-Schtzenberger theorem asserts that given a Σ_1, there exist Σ_2, a Dyck set and a homomorphism h from onto ∑_1~* which satisfy the property that for each contextfree language a regular set can be found such that h(D_(Σ_2),∩R)=L. In present paper, we establish a normal-form of pushdown automata, abbreviated     

Kinetic Monte Carlo方法对薄膜生长初期表面形貌的研究

用Kinetic Monte Carlo方法研究了薄膜生长初期的表面形貌, 对激活能的计算采用了更加通用、准确的算法, 模型考虑了原子吸附、迁移、脱附、蒸发原子返回基底, 二体运动等多种机理, 根据模型编写了相应的软件, 利用计算机图形学的原理对薄膜的表面形态进行了三维立体成像, 并通过模拟发现, 在低温和高温时薄膜的早期成核和表面形貌完全不同, 薄膜后续的生长与早期成核有很大的关系. 微观机理主要受原子的热运动影响, 温度决定扩散能力, 入射率决定扩散时间.     

线性方程组对于量词的可满足性

本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用.     

半环中的正规反L模糊理想的性质

在半环中引入了反L模糊理想及正规反L模糊理想的概念,给出了一个L模糊集是反L模糊理想的充要条件,半研究了正规反L模糊理想的一些基本性质。     

对粗糙集两种新算子的注记

在粗糙集中，定义了集合并的下增近似和交的上减近似2种算子，它们与确定增量算子和不确定减量算子是等价的．这2种算子简单、直观，成功地解决了粗集运算中将包含关系转化为相等关系的问题，同时，利用它们可以、简化有关算子性质的证明．     

基于蠕虫特征的校园网防御体系

随着Code Red,Slammer,冲击波,Sasser等网络蠕虫的相继大规模爆发,其影响和危害也波及我国高校的校园网.以网络蠕虫的生命周期的各个阶段特征出发,并在此基础上提出一种安全的校园网防御体系结构,来防止、防御蠕虫的传播和破坏,以保障校园网络安全正常稳定地运行.     

关于空间有界图灵机的细分非确定性

一个非确定图灵机的非确定度被定义为它所做的非确定选择的次数,一般地说,这个次数是输入长度的函数.本文把非确定度看作一种资源.讨论了关于非确定度的分层问题及其相对化形式.特别地,本文证明了,存在 Oracle 集 E,使得关于 E,一个基于非确定度的无穷分层是存在的.     

关于稠密语言的析取结构

本文利用析取语言来刻画稠密语言,得到如下结论:1.关于字母表∑={α},其上任一稠密语言可表为∑上无限多个析取语言的无交并。2.关于任意字母表∑,其上任一稠密语言可表为∑上一离散析取语言与一析取语言的无交并。