超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩...超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩展规则的性质,提出一种EPCCL理论编译算法:求交知识编译算法IKCHER(intersection approach to knowledge compilation based on hyper extension rule).该算法适合难解类SAT问题的知识编译,也是一种可并行的知识编译算法.研究了如何实现多个EPCCL理论的求交操作,证明了EPCCL理论的求交过程是可并行执行的,并设计了相应的并行求交算法PIAE(parellel intersection of any number of EPCCL).通过对输入EPCCL理论对应普通子句集的利用,设计了一种高效的并行求交算法imp-PIAE(improvement of PIAE).基于上述算法,还设计了两种并行知识编译算法P-IKCHER(IKCHER with PIAE)和imp P-IKCHER(IKCHER with imp-PIAE),分别采用PIAE并行合并算法和imp-PUAE并行合并算法.最后,通过实验验证了,大部分情况下,IKCHER算法的编译质量是目前为止所有EPCCL理论编译器中最优的,P-IKCHER算法所使用的合并策略并没有起到加速的效果,反而使得编译效率和编译质量有所下降;imp P-IKCHER算法提高了IKCHER算法的编译效率,CPU四核环境下最高可提高2倍.展开更多
著名的优秀散文作家Joseph Addison写道: My worthy Friend Sir Roger is one of those who is not only at Peace within himself, but beloved and esteemed by all about him. (Spectator NO. 122, 1711) 很显然,关系从句(relative c...著名的优秀散文作家Joseph Addison写道: My worthy Friend Sir Roger is one of those who is not only at Peace within himself, but beloved and esteemed by all about him. (Spectator NO. 122, 1711) 很显然,关系从句(relative clause) “Who is...him”在这里是一个限制性或定义性从句(defining clause)。它给those的特征下定义,而且,借助部分所有格of those告诉人们,展开更多
下面五组句子,每组两个句子中用相同的连接词引导不相同的状语从句,需要注意辨别。Ⅰ.(1) If you ask him,he will help you.(2) If he is poor,at least he honest. 句(1)中If you ask him是条件状语从句。换句话说,你不向他请求,他就...下面五组句子,每组两个句子中用相同的连接词引导不相同的状语从句,需要注意辨别。Ⅰ.(1) If you ask him,he will help you.(2) If he is poor,at least he honest. 句(1)中If you ask him是条件状语从句。换句话说,你不向他请求,他就不会帮助你。If引导条件状语从句时,从句中的谓语动词要用一般现在时表一般将来时。展开更多
文摘超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩展规则的性质,提出一种EPCCL理论编译算法:求交知识编译算法IKCHER(intersection approach to knowledge compilation based on hyper extension rule).该算法适合难解类SAT问题的知识编译,也是一种可并行的知识编译算法.研究了如何实现多个EPCCL理论的求交操作,证明了EPCCL理论的求交过程是可并行执行的,并设计了相应的并行求交算法PIAE(parellel intersection of any number of EPCCL).通过对输入EPCCL理论对应普通子句集的利用,设计了一种高效的并行求交算法imp-PIAE(improvement of PIAE).基于上述算法,还设计了两种并行知识编译算法P-IKCHER(IKCHER with PIAE)和imp P-IKCHER(IKCHER with imp-PIAE),分别采用PIAE并行合并算法和imp-PUAE并行合并算法.最后,通过实验验证了,大部分情况下,IKCHER算法的编译质量是目前为止所有EPCCL理论编译器中最优的,P-IKCHER算法所使用的合并策略并没有起到加速的效果,反而使得编译效率和编译质量有所下降;imp P-IKCHER算法提高了IKCHER算法的编译效率,CPU四核环境下最高可提高2倍.
文摘著名的优秀散文作家Joseph Addison写道: My worthy Friend Sir Roger is one of those who is not only at Peace within himself, but beloved and esteemed by all about him. (Spectator NO. 122, 1711) 很显然,关系从句(relative clause) “Who is...him”在这里是一个限制性或定义性从句(defining clause)。它给those的特征下定义,而且,借助部分所有格of those告诉人们,
文摘下面五组句子,每组两个句子中用相同的连接词引导不相同的状语从句,需要注意辨别。Ⅰ.(1) If you ask him,he will help you.(2) If he is poor,at least he honest. 句(1)中If you ask him是条件状语从句。换句话说,你不向他请求,他就不会帮助你。If引导条件状语从句时,从句中的谓语动词要用一般现在时表一般将来时。
