水瓶座

分句扩散的分布式演绎:分布收缩和水瓶座证明器。水瓶座是一个等式的一阶逻辑的分布定理证明器,为工作站网络开发。水瓶座作为定理证明问题的输入和活动节点的N个,在每个工作站上创建n个演绎过程,它们协同工作来解决问题。水瓶座实现了一种用于分布演绎的一般方法的变种,称为从句扩散推导。工作过程中的分工、活动及其合作是由子句扩散法定义的。水瓶座结合了序贯定理证明器水獭,水瓶座根据水槽扩散方法实现了水獭所提供的所有策略的并行化。在本文中,我们首先给出了子句扩散方法的简要概述,重点是分布式全局构造的问题,例如相对于分布式数据库的规范化。我们描述了在水瓶座中执行分布式全局收缩的方案,避免了纯共享内存方法的并行收缩的向后收缩瓶颈。然后介绍了宝瓶座的设计、特点和用户界面。我们提出了一组与水瓶座进行的实验,并对结果进行了分析。最后,我们进行了一些比较和讨论。


ZBMaX中的参考文献(5篇)1标准条款

显示结果1至5的5。
按年份排序(引文

  1. 新生,蒙蒂;王,Zongyan:章鱼:结合学习和平行搜索(2004)
  2. Bunaina,Maria Paola;Hsiang,Jeh:按子句扩散分布演绎:分布收缩和水瓶座证明器(1995)
  3. 阿斯特拉汉,欧文:流星:探索模型消除定理证明(1994)伊波尔特
  4. Boaina,Maria Paola;Hsiang,Jieh:关于分布导子的包容(1994)
  5. Boaina,Maria Paola;Hsiang,Jeh:演绎策略的并行化:一个分析研究(1994)伊波尔特