排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime. 相似文献
2.
3.
给定候选人集合C,部分投票的集合P=(v1,v2,…,vn)和候选人c∈C,是否存在P的拓展P′=(v′1,v′2,…,v′n),使得c∈r(P′).该问题在不同的得分规则下复杂性是不同的.该文在分析Betzler的文章中(m-k) approval得分规则的基础上,提出了possible winner问题在k approval规则下的动态规划算法,并给出了3 approval规则下possible winner问题的多项式核. 相似文献
4.
给定候选人集合C,投票集合V=(v1,v2,…,vn)和候选人c∈C,是否存在V的子集V′,|V′|≤k,使得c∈r(V\V′).该问题在不同的得分规则下复杂性是不同的.在plurality规则的基础上证明了Reto规则下Vote Control问题是多项式时间可解的,并给出了k′-approval规则下该问题是NP-Complete的证明. 相似文献
5.
6.
以月季"卡罗拉"品种切花为材料,采用室内瓶插法,在以常规保鲜液作为对照的基础上,分别添加不同浓度(30、60、100mg·L-1)的激动素(KT)进行处理,测定了整个花期花瓣中一些与衰老相关的生理生化变化.结果表明,KT能提高花瓣中超氧化物歧化酶(SOD)和过氧化物酶(POD)活力,降低超氧阴离子(O2.-)产生速率以及花瓣浸出液的相对电导率(REC),诱导POD同功酶的表达,从而延缓了切花的衰老,其中以60mg·L-1 KT处理的效果最好. 相似文献
1