触发器在强制业务规则中的应用研究

剖析了SQLSERVER2000的触发器技术，通过实例说明触发器在维护数据表之间数据一致性、保持数据相关完整性及强制实现业务规则方面所具有的强大功能。     

复杂对象标识文法及演算

面向对象数据库及其信息系统研究的难点之一是缺乏形式化的概念和理论基础。根据复杂对象数据表示的常用结构,本文提出了用标识文法来表示复杂对象及其数据。给出了相应文法与对象的部分演算规则。引入标识文法有利于实际系统的计算机表示对象     

一类产品失效时间的预测方法

在可靠的工程中,运用灰色控制系统的理论,本文提出了一种寿命分布服从威布尔分布的产品失效时间的预测方法。     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

金属间化合物晶体结构的研究（Ⅱ）：—Laves相的新解释

本文首先讨论Laves相的晶体结构，列出Hume-Rothery电子浓度e/a规则在Laves相研究中难于解决的一类问题，并将晶体态电子浓度Ψ法则的分析结果与前者作出对等的比较，然后给出相应的结论。     

声速混合定则及生物媒质组份定征

研究各种声速混合定则的异同及对生物媒质组份定征的适用性.指出对于生物媒质组份定征,在一定条件下这些定则是兼容的;各种定则对实际声速模拟符合程度有不同的差别,尚不存在统一的、最佳模拟定则.     

露天矿边坡移动的动态预报

本文根据监测及数据处理理论,讨论了边坡移动的统计判别方法。利用动态观测系统理论,建立了相应的动态预报模型和动态自适应预报模型。根据所得到的位移场和速度场,讨论了边坡破坏模式的判别方法。     

使过半数规则具有传递性的偏好断面的规模

证明了当ｎ＞３时，使过半数投票表决的结果具有传递性的个人偏好序的最大数目大于２￣（ｎ－），从而否定了Ｃｒａｖｅｎ猜想。文中给出了最大偏好序的递推公式以及确定相应约束集的三条规则。