【摘 要】
：
本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R
论文部分内容阅读
本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。
其他文献
白茶属微发酵茶,是我国六大茶类之一,其品质特征为：成茶披满白毫,汤色清淡,味鲜醇、清甜、有毫香。基本工艺流程是萎凋、晒干或低温烘干。因采用鲜叶原料不同，分为：白毫银针、白
本文给出了Al-Mn准晶粉末的制取方法,并且对准晶粉末的形貌、成分、衍射特征和热稳定性能进行了研究。在Al-Mn合金系列中,合金成分和冷却速度对二十面体相的形成有很大影响,
2013年2月27日,中华人民共和国海事局和中国海员建设工会联合下发《关于举行2013中国海员技能大比武活动的通知》,表示第二届中国海员技能大比武活动正式启动。本届大比武活
赣南油茶产业开发协同创新中心（下称“中心”）成立于2012年,中心由赣南医学院牵头,与国家粮食局科学研究院、赣州市林业科学研究所及地方油茶加工企业等共同组建而成。中心共组
生物课堂中的科学探究是学生积极主动地获取生物科学知识、领悟科学探究方法而进行的各种活动，是为了促进学习方式的改革，使学生体验科学过程与科学方法，形成一定的科学探究能力
针对航海高职教育教与用不能有效对接的情况，对航海高职教育实施订单式培养进行深入研究，分析航海高职教育实施订单式培养的必要性与可行性，总结实施订单式培养的构成要素，并就实
分析了电流探头的两大技术指标,传输阻抗及传输阻抗宽频平坦度,并从电流探头物理结构模型出发,构建了电流探头的电路模型,推导出传输阻抗的计算公式,并从电路模型出发,分析了
开发快速、低损耗和可靠的高压直流断路器对直流保护具有重要意义,合适的测试要求是检验直流断路器性能的重要依据。由于直流系统电流没有自然过零点,并且感性元件储存着巨大
与内陆地区相比,热带海洋大气环境地区的气候类型、气象条件,有着诸多不同之处,对航天发射场场址的选择、建设和测试发射,具有十分重要的影响。旨在通过对热带海洋大气环境特
提出了一种电离层短期预报的新方法。该方法基于自相关方法，继承了其简单易实现的优点，但在精度上有了较大提高。利用满洲里、乌鲁木齐、北京和海口电离层观测台站的f0F2数据给