论文部分内容阅读
对ＭｅｇｈｉｎｉＣ和ＴｈａｎｏｓＣ在《ＴｈｅＣｏｍｐｌｅｘｉｔｙｏｆｏｐｃｒａｔｉｏｎｓｏｎａＦｒａｇｍｅｎｔｅｄＲｅｌａｔｉｏｎ》一文中提出的检查复杂分片模式完整性的算法表示疑问，提出算法失败的一个反例，并对原算法进行修改，证明其正确性。
检查复杂分片模式完整性的有效算法
【摘 要】
：
对ＭｅｇｈｉｎｉＣ和ＴｈａｎｏｓＣ在《ＴｈｅＣｏｍｐｌｅｘｉｔｙｏｆｏｐｃｒａｔｉｏｎｓｏｎａＦｒａｇｍｅｎｔｅｄＲｅｌａｔｉｏｎ》一文中提出的检查复杂分片模式完整性的算法表示疑问，提出算法失败的一个反例，并对原算法进行修改，证明其正确性。
【机 构】
：
复旦大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
1995年4期
其他文献
低慢小目标具有低空飞行、飞行速度慢、雷达截面积小的特点。对低慢小目标的检测研究在重大活动的安保、空中监管、以及对低慢小作战武器的防护等领域具有重大的军事意义和应
讨论了在分布式数据库系统中,对于各个数据库副本维护数据一致性的问题,介绍了Oracle8i数据库系统中数据复制的基本概念、基本原理、复制配置以及数据复制的基本配置和实现方
利用博弈论中冲突决策的思想实现了三维实体布局从一个局部最优解向另一个更好的局部最优解跳跃的算法，部分克服了传统算法的主要瓶－局部最优陷井的问题。理论分析及实例计算表
龚嘴水库悬移质淤积三角洲洲头已于１９８３年汛末出库，洲头出库后泥沙淤积特性主要表现为水流输沙能力的调整。悬沙淤积趋向相对平衡，推移质淤积的矛盾日渐突出，调节库容继续减少，库尾回
大叶藻是一种在北半球温带海域分布广泛的海草,在中国北方温带沿海区域属于优势种。荣成月湖和青岛汇泉湾是山东半岛大叶藻自然生长种群和移植恢复后种群的典型代表。两个区
目的：探讨左肝外叶切除术在肝内结石的应用及治疗效果。方法：对我院32例左肝内胆管结石行左肝外叶切除术进行回顾。结果：术后无一例发生结石残留、胆漏及膈下感染,发现肝管细胞
目的：评估一期前路病灶清除植骨内固定治疗多节段胸椎结核的疗效和安全性。方法：对22例胸椎多节段结核患者,实施前路病灶彻底清除、椎间植骨、一期前路内固定术。植骨材料选用
建立房地产评估决策支持系统对于科学决策项目，提高项目的经济效益和社会效益至关重要，确定了一个面向对象的房地产开发评估决策模型，以投资酒店项目的决策为例，提出了评估决策知
目的：探讨铒YAG激光辅以胶原蛋白贴治疗面部凹陷性痤疮瘢痕临床疗效。方法：痤疮形成瘢痕100例随机分组,治疗组给予铒YAG激光磨削结束后加以胶原蛋白贴敷贴,1次/d,每次30分钟;对
目的：了解郑州市卫生投诉举报工作的现状,为卫生行政部门决策提供科学依据。方法：收集2007年1月1日至2009年12月31日间郑州市管城区所有卫生投诉举报案件,按投诉举报方式、行业