2.It is known that the problem of extending a Horn formula into a MU(1) formula is solvable in polynomial time. But for a general satisfiable CNF formula F,the extension problem is still open.
Horn公式到MU(1)公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。
3.Semantically - Positive - Unit Resolution for Horn Sets
Horn集上的语义正单元归结
4.Horn method was used to separate four toxicity doses groups, 5 mice in each, dose series was 2 15 times group distance. The static aspiration test was used to detect the doses of compounds in a toxin testing cabinet by HPLC.
按霍恩氏 (Horn)法 4个染毒剂量分组 ,每组 5只 ,组距 2 15倍设计剂量系列 ,采用静式呼吸道吸入实验 ,用气相色谱仪对染毒柜内化合物浓度进行测定。
5.The Lengths of Unit Refutations for Horn Sets in the Worst Case
在最坏情况下Horn集上的单元反驳长度
6.Methods: The ISCA had been constructed based on Cattell-Horn-Carroll theory,including three subscales and 12 subtests.
方法:以Cattell-Horn-Carroll理论作为编制量表的基本理论框架,量表由3个分量表12个分测验组成。
7.Semantic Resolution and Paramodulation for Horn Sets
Horn集上的语义归结和调换
8.The HOI Resolution and HOL Resolution in Horn Set
Horn集上的HOI消解与HOL消解
9.Bax positive neurons and expression of Bax in spinal superficial dorsal horn increased significantly in all the sub- groups of CCI group(P<0.01),and Bcl-2 positive neurons and expression of Bcl-2 in spinal superficial dorsal horn increased marked- ly in 9 d and 14 d subgroups of CCI group(P<0.01),compared with that in native group and sham operation group.
与空白对照组和假手术各亚组比较,CCI 3d,9d,14d亚组大鼠脊髓背角浅层Bax阳性神经元和Bax的表达显著增加(P<0.01),CCI 9d,14d亚组大鼠脊髓背角浅层Bcl-2阳性神经元和Bcl-2的表达明显增加(P<0.01)。
10.A herbivorous dinosaur of the genus Triceratops, of the Cretaceous Period, having a bony plate covering the neck, a large horn above either eye, and a smaller horn on the nose.
三角龙一种白垩纪的属的食草性恐龙,有一骨质兜生在颈上,头骨上有两支大角生在眼上,中部一只较小的角生在鼻上