【摘 要】
：
在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念，首先对触发环中每一个被修改的节点产生一个递归等
【机 构】
：
山东省城市建设学校,济南大学信息科学与工程学院
【基金项目】
：
山东省自然科学基金项目（Y2001G03）.
论文部分内容阅读
在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念，首先对触发环中每一个被修改的节点产生一个递归等式，然后通过展开递归等式并检验其可满足性，就可以分析规则集的可终止性，这样不仅可以得到更高的精确度及更小的复杂度，而且可以得到有效的判定主动规则可终止性的条件。
其他文献
《新课程标准》要求教学要以学生为中心,突出学生学习的主体地位,教师是教学的指导者和协助者.学讲课堂更是突出学生的自学、互学、问学、“教”学、悟学.
针对目前校园网的计费需求以及常用的两种计费方式的缺陷，提出了一种基于Linux的Netfilter框架的计费系统解决方案，并对数据处理过程中的一系列策略问题进行了理论分析和实验比
在低分辨率图像序列的超分辨率重建过程中,如何由配准后的视频序列构造出高分辨率图像对重建结果起着至关重要的作用,而现有算法只是采取了求均值的方法,这就削弱了细节信息。新算法根据运动估计的位移对低分辨率序列进行分类,在各类内根据重叠区域再进行分类,然后采用基于方向信息测度的方法进行数据融合,最后输出高分辨率图像。试验表明提出的算法简单、有效,增强了超分辨率算法的信息搜集能力。
陈鹤琴先生说过:“游戏是儿童心理特征，游戏是儿童的工作，游戏是儿童的生命。”自主游戏活动中，教师为幼儿创设适合幼儿游戏的环境，为幼儿投放各种游戏材料。幼儿在自由轻松的环
【摘要】《小学科学课程标准》指出：“学生是科学学习的主体，科学学习要以探究为核心。”我们生活在科学技术快速发展的时代，从小培养良好的科学素养是非常有必要的。目前小学科学课堂教学效率低的问题引起了各级领导及广大教师的关注。因此，笔者针对怎样提高小学科学教学有效性这一主题来谈谈自己的几点体会。 【关键词】有心人；科学探究；有实效 小学科学课程标准中有明确提出“科学课程要以探究为核心”。科学课上，我
隐多项式曲线一直没有理想的生成算法,给出了一种针对二维n次隐多项式曲线的快速逐点生成算法,该算法思路简洁,在逐点生成过程中,只用到整数加减法,故速度快,效率高,具有广泛的应用价值。最后,运用算法给出了曲线生成实例和对算法效率的比较,比较结果表明本文提出的算法有效的提高了生成曲线的效率。
小学英语教师的心理素质的好坏对处于启蒙阶段的小学生具有十分重要的意义和作用。具有良好心理素质的教师会给学生带来受用一生的积极影响，心理素质不佳的英语教师会对学生造
针对传统视频监控系统的不足,开发了自动图像报警系统。系统基于嵌入式平台,利用USB摄像头实时采集图像,通过一种实时有效的图像处理算法检测出有人非法闯入或火灾等异常时,
摘要：大肠杆菌病是对我国养猪业危害最为嚴重的疾病之一，是由于致病性大肠杆菌在猪只肠道内大量繁殖而引起的。为了帮助广大养殖户更好的防治猪大肠杆菌病，本文对相关的防治方法进行了介绍。 关键词：猪大肠杆菌病;防治方法;疾病预防 1 综合卫生防控方法 对于大肠杆菌病的防治，首要任务是保证环境的卫生清洁，定期清洁消毒是必不可少的养殖程序。新生仔猪在哺乳前应对母猪奶头进行消毒，每日清洁干净猪舍内的粪便，
记得小时候，有次下雨天，老妈坐门口纳鞋底，我问老妈为什么要把干层底做这么厚？老妈说因为拿鞋底抽你的时候，怕太薄了震的手疼，做厚点就不会了!