This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid of the strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of the penetrator. 通过去除Strand空间中的强类型抽象假设,引入Strand模板的概念与一个入侵者的伪操作,进而利用认证测试方法,实现了对具有类型缺陷的认证协议的直接分析。
There was statistic significance among pseudo-operation controlled group, ischemia reperfusion group, group of retaining needle for 20 minutes and group of retaining needle for 60 minutes (/? < 0.0001). 假手术对照组、缺血再灌注组、针刺20min组、针刺60min组在神经学分级程度上有统计意义(p<0.0001)。
The rats in control group 2 were subjected to the intravenous infection of LPC with pseudo-operation. 对照组2是假手术组,经尾静脉注入LPC。
The expression of CGRP in the cerebral cortex was increased after cerebral ischemia compared with pseudo-operation, there was three peaks respectively at 2h and 6h, 48h, 7d, and then decreased gradually to the background level afterwards. 脑缺血再灌流后,大脑皮质CGRP的表达也显著增加,在2h,6h及48h和7d出现三个高峰,再灌流14dCGRP的表达降至基础水平。
Methods 36 male EAE model wistar rats were randomly allocated into OECs transplantation group and pseudo-operation group by halves. 方法取36只EAE模型大鼠,将其随机分为移植组18只,假手术组18只。
Intra-gastric administration of Da Huang was given to rats allocated in Da Huang group whereas distilled water was given to pseudo-operation and model groups. 大黄组大鼠予大黄灌胃,假手术组和模型组灌服等量蒸馏水。