主动规则可终止性分析的规则缩减算法

研究主动数据库系统中规则终止特性的静态分析技术,通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中,该方法与基本触发图分析方法相比能够更准确的判定规则的可终止性。     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

主动信息系统中终止性规则的研究

研究主动信息系统中主动规则及实现技术。介绍主动信息系统体系结构及ECA规则,基于ECA规则分析规则集行为的三个特性,给出终止性规则的触发图、活化图、惰化图分析方法。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

主动规则执行终止性分析算法的修正

指出基于触发图和活化图主动规则终止性分析算法的错误,提出触发可达和触发可达集,并在此基础上对原算法进行修正。     

教师语言素质的基本内涵与构成性规则

教师语言素质的基本内涵和构成性规则是深入了解教师语言运用问题的前提。依据充分定义的分析方法，可以推导出教师语言素质的构成性规则，这些规则包括一致准则、可控准则和规范准则等。     

蛋白酶体激活因子REGγ的肿瘤相关靶蛋白研究进展

蛋白酶体激活因子REGγ属于蛋白酶体激活因子REG(又名11 S)家族的成员之一,主要是通过激活20 S蛋白酶体以非泛素化和非ATP依赖的方式降解蛋白质.近年来,越来越多的研究表明,REGγ在多种肿瘤中出现了异常表达并与肿瘤的发生发展密切相关.REGγ主要是通过降解多种靶蛋白并调控相关的信号通路参与肿瘤的发生发展.本文综述了REGγ在肿瘤中发挥作用的靶蛋白,旨在进一步了解REGγ参与肿瘤发生发展的机制并揭示其作为人类多种肿瘤的诊断标志物和治疗靶点的潜在可能性.     

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２的基础上,提出了一种实用的主动规则语法定义和语义执行模型,在事件定义中加入了时间事件,给出了加入主动规则后的数据库系统的体系结构,以及在创建规则时,为了保证规则执行的可终止性,用于分析规则之间解发关系的三个原则。     

计算机化自适应诊断测验双重约束变长终止规则

提出3种变长CD-CAT终止规则,在DINA模型、4种属性层级结构下,采用ED选题策略,讨论提出的3种方法与常用CD-CAT终止规则在7个评价指标上的优劣。研究结果显示:新的3种方法较常用终止规则有其自身优势。     

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２ 的基础上，提出了一种实用的主动规则语法定义和语义执行模型，在事件定义中加入了时间事件，给出了加入主动规则后的数据库系统的体系结构，以及在创建规则时，为了保证规则执行的可终止性，用于分析规则之间触发关系的三个原则     

PCI总线传输的终止方式探析

探讨了PCI总线传输的终止方式。PCI总线的主设备和目标设备都可以终止PCI传输。主设备和目标设备在终止一次传输的同时还以信号的电平组合告知主设备其不同的终止状态。主设备启动的终止有正常终止和主设备失败终止;目标设备启动的终止有重试、解除连接和目标设备失败。     

基于知识的关系聚类用于对象化事务处理

针对ＤＳＳ和ＭＩＳ中一类涉及多个关系表的过程性事务处理问题,利用人工智能的框架知识表达范式表达类知识,在此基础上进行关系表的聚类并按产生式规则进行事务处理,在一定程度上较好解决了问题的求解．同时给出了求解的实例．     

变长非参数认知诊断自适应测验终止规则

该文借鉴传统变长参数CD-CAT的终止规则,结合DWIR方法的指标提出2种非参数变长CD-CAT的终止规则:最大距离比例终止规则(MDRM)和距离比例双重标准终止规则(DRDSM).模拟研究发现:1)2种非参数终止规则MDRM和DRDSM适用于0-1计分和混合计分情境下的非参数CD-CAT测验; 2)当研究目的在于获得更加准确分类结果时,可在 MDRM 规则下的增大d_1st值,或者在DRDSM规则下增大d_1st值和减小d_2nd值; 反之,可以减小d_1st值或者增大d_2nd值; 3)当测验终止的条件愈发严格时,即当d_1st和P_1st不断接近1或者d_2nd和P_2nd不断接近0时,采用MDRM或DRDSM作为测验终止规则的测验结果和采用后验概率作为终止规则的测验结果逐渐接近.     

封闭系统中的货币分布状况分析

模型中基于个体货币的转移,近似于用类比热力学中的分子运动来研究货币的分布状况,在热力学中某一状态发生的概率,早由Blotzmann和Gibbs提出[1].基于实际交易,引入Gini系数衡量制定的交易规则下货币分布状况；为了更加符合实际,对模型进行了改进,引入每次交易成功的概率r,其中r由交易过程中的一些影响因素作用而随机生成,经过分析得出更具有现实意义的模型.     

关于无约束最优化问题的计算终止准则

讨论常用的无约束最优化问题的计算终止准则的可靠性，并且构造出一种新计算终止准则，数值试验的结果表明，新计算终止准则的可靠性高     

卖方推动下电子商务平台交易费定价策略分析

基于期望收益最大化准则,构建了关于电子商务平台交易费定价策略问题的S tacke lberg博弈模型。分析结果表明,买方始终希望得到卖方关于电子商务平台交易费价格的事先承诺,若承诺条件越强,买方加入电子商务平台的动力也越大。卖方对电子商务平台交易费定价策略的选择受到产品市场需求随机波动的影响,当卖方预期实际需求波动方差不超过临界值时,卖方对电子商务平台交易费的定价倾向于作出价格承诺并保持事先承诺;大于临界值时,卖方倾向于保持定价柔性。     

应用生成器NITAG的设计与实现

NITAG 是面向企事业事务数据处理、以自动生成事务数据处理应用软件为目标的应用生成器。它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。NITAG 在接受这种描述后便可自动生成用户所需的应用软件。NITAG 采用了程序变换法与知识工程法相结合的系统工作原理,首先对用户的需求说明按变换规则进行变换、细化,使需求说明逐步地接近目标语言(EQUEL/C)的表示形式,然后根据系统的编程知识进行分析、推理,取出相应的软部件构造用户的目标程序。