【摘 要】
：
主动规则使数据库具备自反应能力,在数据库、知识库和无线传感器网络等领域得到了广泛应用。汇流性分析是保持数据一致性的重要手段,但有效判定汇流性仍是一个难题。现有的方
【基金项目】
：
上海市科委科技支撑项目（14391901400）,国家自然科学基金（61272098）,国家973重大基础研究基金（2012CB316200）,2015年度上海海洋大学大学生创新计划项目资助.
论文部分内容阅读
主动规则使数据库具备自反应能力,在数据库、知识库和无线传感器网络等领域得到了广泛应用。汇流性分析是保持数据一致性的重要手段,但有效判定汇流性仍是一个难题。现有的方法基于规则可交换性进行判定,没有考虑规则之间是否存在条件冲突而导致它们不可能同时出现在同一个执行序列中;同时基于触发关系的集合分析没有考虑在规则触发序列中的先后时序性。为此,提出了规则的触发序列概念,分析了单个触发序列上的条件冲突和一对无序规则所在的两条触发序列之间的条件冲突,从而提出了更有效的汇流性先决条件及其判定定理,同时给出了新的判定算法的
其他文献
【正】 营丘是西周齐太公师尚父始建国时的齐国都城。其地理位置自汉代以来即有临淄、昌乐二说之争。各有从者,迄无定论。笔者曾撰文讨论,认为临淄说是正确的。并进一步提出
3-SetPacking参数化计数问题即在一个3-SetPacking实例中统计所有大小为k的不同packing的个数。首先证明了该问题的计算复杂性是#W[1]一难的，表明该问题不大可能存在固定参数
本文首先阐述了水利水电施工中筑坝工程相关技术,进一步从多个方面提出筑坝工程在水利水电施工中的关键工艺,旨在以筑坝工程关键工艺为切入点提高水利水电施工质量,确保水利
【正】 包括上、下经和“十翼”在内的《周易》,成书于战国中后期的齐国稷下学宫。这是最近出版的《古易新编》一书提出的最新结论。《古易新编》是由王赣、牛力达、刘兆玖三
提出一种基于Chamfer距离的保结构纹理合成方法。使用Chamfer距离度量纹理结构特征的相似度,在查找匹配块的同时计算纹理在颜色空间和结构特征空间的匹配度,从而解决以往纹理
通过大量的岩心观察和综合分析开展断陷湖盆深水重力流沉积类型、演化过程、形成机制和沉积模式研究。断陷湖盆深水重力驱动沉积作用可分为滑动、滑塌块体搬运沉积和碎屑流、
运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。
DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验