描述逻辑ALC基于RBox的推理

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.     

考虑温度压力耦合效应的控压固井全过程水力参数计算方法

综合考虑固井井筒流体瞬态流动特征、温压流变性以及水泥浆水化反应,建立考虑温度压力耦合效应的固井全过程水力参数计算方法.利用新模型开展数值模拟与场地试验,揭示控压固井全过程瞬态温度压力演化规律.结果表明:新模型能精确预测固井全过程温度、压力,很好地满足工程需求;受循环变密度、变排量等影响,固井循环过程井筒压力呈现出明显的...     

Possible Winner问题参数算法研究及核心化

给定候选人集合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问题的多项式核.     

简单规则下Vote Control问题的复杂性分析

给定候选人集合C,投票集合V=(v1,v2,…,vn)和候选人c∈C,是否存在V的子集V′,|V′|≤k,使得c∈r(V＼V′).该问题在不同的得分规则下复杂性是不同的.在plurality规则的基础上证明了Reto规则下Vote Control问题是多项式时间可解的,并给出了k′-approval规则下该问题是NP-Complete的证明.     

KT对月季切花花瓣衰老生理的调节研究

以月季"卡罗拉"品种切花为材料,采用室内瓶插法,在以常规保鲜液作为对照的基础上,分别添加不同浓度(30、60、100mg·L-1)的激动素(KT)进行处理,测定了整个花期花瓣中一些与衰老相关的生理生化变化.结果表明,KT能提高花瓣中超氧化物歧化酶(SOD)和过氧化物酶(POD)活力,降低超氧阴离子(O2.-)产生速率以及花瓣浸出液的相对电导率(REC),诱导POD同功酶的表达,从而延缓了切花的衰老,其中以60mg·L-1 KT处理的效果最好.