期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
计算主动数据库中不可归约规则集的有效算法 被引量:11
1
作者 郝忠孝 熊中敏 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期281-287,共7页
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具... 主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约· 展开更多
关键词 主动数据库 规则分析 活化路径 禁止活化环 不可归约规则集
下载PDF
Selective CDK inhibitors:promising candidates for future clinical traumatic brain injury trials 被引量:4
2
作者 Shruti V.Kabadi Alan I.Faden 《Neural Regeneration Research》 SCIE CAS CSCD 2014年第17期1578-1580,共3页
Traumatic brain injury induces secondary injury that contributes to neuroinflammation, neuronal loss, and neurological dysfunction. One important injury mechanism is cell cycle activation which causes neuronal apoptos... Traumatic brain injury induces secondary injury that contributes to neuroinflammation, neuronal loss, and neurological dysfunction. One important injury mechanism is cell cycle activation which causes neuronal apoptosis and glial activation. The neuroprotective effects of both non-selective (Flavopiridol) and selective (Roscovitine and CR-8) cyclin-dependent kinase inhibitors have been shown across mukiple experimental traumatic brain injury models and species. Cyclin-depen- dent kinaseinhibitors, administered as a single systemic dose up to 24 hours after traumatic brain injury, provide strong neuroprotection-reducing neuronal cell death, neuroinflammation and neurological dysfunction. Given their effectiveness and long therapeutic window, cyclin-dependent kinase inhibitors appear to be promising candidates for clinical traumatic brain injury trials. 展开更多
关键词 cell cycle inhibition lateral fluid percussion Roscovitine CR-8 behavior microglial activation NEURODEGENERATION
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部