您要查找的是不是：
- 符号化模型检测Symbolic model checking
- 符号化模型检测CTLSymbolic Model Checking for CTL
- 符号化模型检验symbolic model checking
- 于BALBc小鼠注射免疫3次,观察小鼠CD4+、CD8+T细胞亚群的变化,CFSEPI双标记的流式细胞计数法检测CTL活性。It was employed to evaluate immune response of the mice inoculated triply with the DNA vaccine. The transformation of CD4+/CD8+T lymphocyte was detected and the influence of cell-mediated immunity represented by CTL was assayed through CFSE/PI flow cytometry.
- 符号模型检测Symbolic model checking
- 负载肿瘤抗原的DC疫苗激活同源T淋巴细胞产生细胞毒性T淋巴细胞(CTL),采用乳酸脱氢酶(LDH)4h释放法检测CTL在体外对CT26细胞的杀伤活性;The tumor specific CTL was generated form activated autologous T cell by DC vaccine loaded with tumor antigen, and the killing activity of CTL to CT26 cells was tested by the lactate dehydrogenase (LDH) release assay in vitro.
- 旅游景区吸引力的符号化策划方法及实案研究The Planning Methods to Symbolize the Attractiveness of Tourist Scenic Spots and Case Study
- 牛磺酸和支链氨基酸对肝纤维化模型大鼠胶原代谢的影响EFFECT OF TAURINE AND BRANCHED CHAIN AMINO ACID ON METABOLISM OF COLLAGEN OF RAT HEPATOFIBROSIS MODEL
- 模型检测model checking
- 汽油机热怠速排放实验数据的符号化分析Symbolization Analysis of Experimental Emission Data of Gasoline Engine at Hot Idle Speed
- 有界模型检测bounded model checking
- 字的结构不再有古文字那种象形的含义，而完全符号化了。Signs and designs almost disappeared, and characters became solely writing symbols.
- 雾化模型atomization model
- 并行模型检测parallel model checking
- 基于矢量栅格技术的矢量数据符号化方法研究Study of vector data symbolization method based on vector-raster technique
- 程序模型检测program model check
- 链化模型chain model
- GMM符号化GMM tokenization
- 工作流模型检测研究Study on workflow model checking
- 符号化近似Symbolic Approximation(SAX)
