主动规则可终止性的动态分析方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:lyh041899999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时,提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法,该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证。
其他文献
随着社会的进步,各项法律、法规的不断完善,人们的法律意识不断增强,在临床工作中,与护理有关的医疗纠纷也在逐年增加.作为一名护生,不仅要有良好的职业道德,还应具有良好的
开门和关门是人生中最具深意的举动,门里面是怎样的神秘莫测啊!  当人们打开一扇门时,没人知道等待着他的是什么.即使在最熟悉的房间里--时钟在滴答地响,壁炉在夜幕中闪着
期刊
本文在对实例相似性进行深入研究之后,提出了实例特征的概念和基于实例特征的实例相似性判断的两个论点。
文中介绍了一种基于小波分析而构造的神经网络模型-小波神经网络,利用它并适当选取网络结构和小波基。实现了对化学物质红外光谱数据的压缩表达和分类,实验表明,网络在大幅度压缩
实时数据库系统中事务可能有定时限制(典型地为截止期),事务超过截止期可能给系统带来灾难性后果.这就要求系统能对事务的执行进行预分析与预安排.传统事务处理由于事务执行
文中结合实时事务并发控制机制的设计要求,叙述了实时关系数据库管理系统RMAXDBforPC中有关实时事务并发控制机制的设计及实现,并提出了一系列新思想。
通过对小康住宅家庭用电负荷的计算、分析和归类,确定其用电负荷量,采用需要系数法进行负荷计算,并对用户配电系统进行多回路设计。
食品安全是保证社会稳定的重要条件,在对食品进行检验检测的过程中,必须要对质量控制工作进行有效的落实,明确工作中的一些细节问题,避免在实际工作中存在工作落实不到位的问
在迎接2006年德国世界杯盛事到来的同时,电影界也不甘示弱,趁着世界杯热的时候打造了一部足球题材的影片<一球成名>(Goal!),获得不错的票房成绩.本刊也从电影上节选了精彩的
期刊
在几何初步知识的教学中,让学生动手操作,是学生获得知识,发展能力的有效途径。现行教材,非常注意学生动手操作这一活动。以统编五年制第七册“三角形、平行四边形和梯形”这