简介：SAT-basedboundedmodelchecking(BMC)hasbeenintroducedasacomplementarytechniquetoBDD-basedsymbolicmodelcheckinginrecentyears,andalotofsuccessfulworkhasbeendoneinthisdirection.TheapproachwasfirstintroducedbyA.Biereetal.incheckinglineartemporallogic(LTL)formulaeandthenalsoadaptedtocheckformulaeoftheuniversalfragmentofcomputationtreelogic(ACTL)byW.Penczeketal.Astheefficiencyofmodelcheckingisstillanimportantissue,wepresentanimprovedBMCapproachforACTLbasedonPenczek'smethod.Weconsidertwoaspectsoftheapproach.Oneisreductionofthenumberofvariablesandtransitionsinthek-modelbydistinguishingthetemporaloperatorEXfromtheothers.Theotherissimplificationofthetransformationofformulaebyusinguniformpathencodinginsteadofadisjunctionofallpathsneededinthek-model.Withtheseimprovements,foranACTLformula,thelengthofthefinalencodingoftheformulaintheworstcaseisreduced.TheimprovedapproachisimplementedinthetoolBMVandiscomparedwiththeoriginalonebyapplyingbothtotwowellknownexamples,mutualexclusionanddiningphilosophers.Thecomparisonshowstheadvantagesoftheimprovedapproachwithrespecttotheefficiencyofmodelchecking.

简介：Humanimmunodeficiencyvirus(HIV)hashadaninsightfulimpactaboutthestateofhealthinessofhumanimmunesystem.Duetogreatimprovementindrugtherapy,HIVinfectionshavebeenreducedby17%overthepasteightyears.IthasbeenprovedthatmosteffectivetreatmentHAART(HighlyActiveAntiRetroviralTherapy)mainlycontrolsthediseasesprogressionbutitdoesnoteradicatethediseasescompletely.ReverseTranscriptaseInhibitordrugsspeciallyassociatedwithvirusspecificCytotoxicT-Lymphocyte(CTL)thatdeclineswithdiseaseprogression.CTLresponsesagainstAIDSpathogenesiscouldbepotentialinthedynamicsofvirusreplication,recognitionandclearanceofinfectedcells.InthisresearcharticleamathematicalmodelhasbeenproposedonthebasisofCTLresponsesuppressioninthechronicphaseofinfectionduetopresenceofvirus.WealsoconsiderthegrowthoftheviruspopulationfromtheinfectedCD4~+Tcellsbuddingprocessandfromtheotherinfectedcellslikemacrophagesandthymocytes.Ouranalyticalandnumericalstudiesareconsistentwithexistingobservationsfromalliedareas.

简介：源头公司（HeadwatersIncorporated）宣布，其子公司源头技术创新集团（HTIG）已为直接和间接煤变液体（CTL）验证装置达成了两项授权协议。计划的项目是在内蒙古建造两套30kL／a（约700桶／天）验证CTL装置。

简介：目的：研究舌癌exosomes诱导CTL体外抗肿瘤效应。方法：通过连续离心及超滤法从Tca8113细胞培养上清中分离、纯化出exosomes,然后与树突状细胞（DC）共培养,诱导T淋巴细胞活化为CTL。通过乳酸脱氢酶法测定特异性CTL对Tca8113的杀伤效应。采用SPSS11.0软件包对数据进行t检验。结果：exosomes可促使DC成熟。杀伤实验表明：负载exosomes的DC诱导CTL对Tca8113细胞的杀伤率显著高于未用exosomes负载的DC诱导的CTL及加IL-2培养的T细胞,其差异有显著性（P〈0.01）。结论：Tca8113细胞来源的exosomes负载DC后,可以诱导T细胞成为抗原特异性CTL,具有特异性杀伤肿瘤细胞的功能。

简介：AbstractToinvestigatetheroleofCD4^+helperT(Th)cellsinthememoryCTL-mediatedanti-tumorimmunity,theRAG-1geneknockoutmicewereadoptivelytransferredwithOT-1cellstogeneratethememoryCTL,theC57B1/6miceimmunizedwiththeepitopepeptideofOVAspecificThcellsandwithdifferentadjuvantswereadopfivelytransferredwiththesememory-CTLs,andthentheanimalswerechallengedwithtumorcellsEGT.ItwasfoundthatalthoughthesimpleimmunizationofmicewiththeepitopepeptideoftheOVAspecificThcellscouldgeneratemoreeffectCTL,butthiseffectwasnotsostrongenoughtoresistcompletelythechallengeswithtumorcells.Nevertheless,thememoryCTL-mediatedanti-tumorimmuneeffectrequiredthehelpsofTh1andTh2cells.Thecross-regulationbetweenThlandTh2cellsseemedtobebeneficialforthehosttogeneratemoreeffectorCTLformountinganefficientanti-tumorresponse.ItconcludedthattheinteractionbetweenThlandTh2cellsmightbemoreimportantthanthesinglesubsetofThcellsinthememoryCTL-mediatedanti-tumorimmuneresponse.Moreattentionshouldbepaidinthisregardforthefuturestudies.

简介：

简介：天气雷达是短时和临近预报的主要工具,它对防汛、防雹、人控和有偿专项服务起着很大的作用.中国气象局于2001年3月对内蒙古气象台原有713测雨雷达进行了大修改造.新改进的雷达除天线外,大部分都进行了更新换代,引进了桂林市722厂CTL系列天气雷达数据处理系统,现已投入了业务使用.

简介：

简介：目的探讨PTD-HBcAg融合蛋白诱导小鼠体内特异性CTL并抑制HepG2.2.15细胞HBV复制的作用。方法PTD-HBcAg、HBcAg和阴性对照分别与等体积的弗氏佐剂乳化后皮下免疫小鼠;第14d,分离脾淋巴细胞并分别用PTD-HBcAg、HBcAg、PTD和PBS加强刺激后收集上清,检测细胞因子IFN-γ、IL-12、IL-4和IL-10;刺激后的淋巴细胞作为效应细胞与HepG2.2.15细胞共培养,检测,效应细胞对HBsAg、HBVDNA的抑制作用及对HepG2.2.15细胞、HepG2细胞的杀伤效果。结果PTD-HBcAg组分泌的IFN-γ、IL-12、IL-4和IL-10与HBcAg组和阴性对照组比较差异有统计学意义（P〈0.05）;PTD-HBcAg融合蛋白组较HBcAg组和阴性对照组有更明显的病毒抑制作用（P〈0.05）;PTD-HBcAg组对HepG2.2.15细胞的杀伤率明显高于HBcAg组和阴性对照组（P〈0.05）。结论PTD-HBcAg可诱导HBV特异性CTL,能有效抑制HepG2.2.15细胞HBV的复制。

简介：目的研制人乳头瘤病毒16型（HPV16）L1／E7CTL重组杆状病毒载体。方法以包含HPV16标准病毒株的质粒pHPV16为模板，采用PCR技术扩增HPV16主要衣壳蛋白L1（1-471aa）的基因序列，同时人工合成E7蛋白CTL表位E749-57的编码序列，将两个目的基因逐步连接构建重组质粒pUC19HPV16L1／E7CTL，HPV16L1／E7CTL片段经质粒pFastBac1转位至BacmidDNA后通过PCR鉴定重组杆粒。结果成功构建了包含融合基因HPV16L1／E7CTL片段的克隆质粒puc19HPV16L1／E7CTL，制备了L1／E7CTL重组杆状病毒载体杆粒BACMIDDNA。结论采用分子克隆技术构建了包含L1／E7CTL的重组杆粒BACMIDDNA，有利于下一步融合蛋白的表达，制备一种能够更有效激发CTL杀伤作用的嵌合病毒样颗粒疫苗，为疫苗研制打下基础。

简介：ToaugmentspecificcytotoxicTlymphocyte(CTL)lysisisapromisingstrategyforcancertherapy.Inthisstudy,weexaminedtheboostingeffectofCTLsuponautologouslymphoblastoidBcelllines(LCLs)transfectedwithdiverseplasmids,toexplorethepossibleCTL-basedimmunotherapyofnasopharyngealcarcinoma(NPC).FCManalysisdisplayedratherhighratio(＞30%)ofsuccessfullytransfectedLCLsbyutilizingtheDMRIE-Ckit.CTLassaysdemonstratedthatsubstantiallyhigherratioofCTLspecificlysiswasobservedupontheLCLstransfectedwithbothexpressionvectorsencodingEBV-specificepitopesandtheirpresentationmoleculeHLA-A2,incontrastwiththosetransfectedseparately.BytransfectingthevectorencodingHLA-A2alone,onlytheLCLsofHLA-A2+donorselicitedmarkedlyhigherCTLlysis.CTLassaysalsoshowedthatthereexistednomarkeddifferencesupontransfectionbyeitherdifferentvectors(pcDNA3,pNGVL3orpNGVL3-hFlex),ordifferentEBV-derivedpeptides(LMP2Pep1orLMP2Pep2),orwithorwithoutthedoubledDNAsequenceencodingpeptides.ThisstudyindicatedapromisingimmunotherapystrategyonNPCthroughboostingandelicitingtheEBV-specificCTLactivationbytransferringvectorsencodingbothEBV-specificepitopesandtheirpresentationmoleculeHLA-A2intoautologousLCL,thepresentationcellsofMHC/peptidetetramericcomplex.

简介：摘要目的通过体外T细胞识别自体树突状细胞(dendritic cell，DC)加工递呈的乙型肝炎病毒(hepatitis B virus，HBV)特异性抗原，探讨靶向HBV-C、E、X基因的细胞毒性T淋巴细胞(cytotoxic T lymphocytes，CTLs)对体外靶细胞的特异性杀伤效应。方法利用基因重组技术分别将HBV-C、HBV-E、HBV-X三种抗原负载至腺相关病毒(adeno-associated virus，AAV)上，获得重组腺相关病毒(recombinat adeno-associated virus，rAAV)。通过Ficoll法分离得到外周血单个核细胞(peripheral blood mononuclear cells，PBMC)，经HBV-C-rAAV、HBV-E-rAAV、HBV-X-rAAV分别转染单核细胞并诱导分化为成熟DC。上述DC分4组，分别为阴性对照组(未转染组)和HBV-C-rAAV/DC、HBV-E-rAAV/DC、HBV-X-rAAV/DC组(转染组)。通过流式细胞术检测rAAV的转染率，并检测DC表面的标志分子和DC分泌的细胞因子白细胞介素(interleukin，IL)-10、IL-12。将体外培养的T细胞分别与未转染组DC、HBV-C-rAAV/DC、HBV-E-rAAV/DC、HBV-X-rAAV/DC混合，利用混合淋巴细胞反应收获CTLs，利用流式细胞术检测CTLs表面的标志分子以及分泌的细胞因子干扰素-γ(interferon-γ，IFN-γ)，并用3H-TdR掺入法检测T细胞的体外增殖能力。通过51Cr释放实验计算CTLs对靶细胞的杀伤率。结果对照组和转染组(HBV-C-rAAV/DC、HBV-E-rAAV/DC、HBV-X-rAAV/DC)中，HBV抗原阳性的DC比例分别为2.80%、85.12%、96.63%、98.42%。转染组中表达CD80的DC比例分别是55.26%、58.25%、59.63%，表达CD83的比例分别是43.19%、48.73%、40.01%，表达CD86的比例分别是95.46%、96.74%、83.62%，分泌IL-12的比例分别是47.60%、52.50%、69.20%。经转染组DC诱导产生的T细胞亚群中，CD8+CD69+T细胞的比例分别为33.10%、31.50%、30.00%，CD4+CD25+T细胞的比例分别为11.89%、8.77%、10.87%，分泌IFN-γ的比例分别为44.65%、45.16%、45.16%，T细胞体外增殖力(cpm值)分别为19 351、19 070、26 428。经转染组DC诱导产生CTLs对HBV抗原阳性的原代肝癌细胞(hepatoma cancer cells，HCC)组的杀伤率分别为61.18%、56.93%、65.05%，对HBV抗原阴性的宫颈癌细胞组的杀伤率分别为4.62%、3.69%、4.34%，对HCC+HBV抗体封闭组的杀伤率分别为34.90%、27.39%、30.66%，对HCC+主要组织相容性复合体(major histocompatibility complex，MHC)-Ⅰ类分子抗体封闭组的杀伤率分别为17.83%、21.47%、23.71%。转染组DC诱导产生的CTLs能有效杀死HBV抗原阳性的靶细胞，在抗原表达下降后，其杀伤能力显著减弱，MHC-Ⅰ类分子的缺失也会导致CTLs杀伤能力的明显降低。结论健康人外周血中分离出的单核细胞和淋巴细胞，可在体外通过特定细胞因子的诱导、携带不同HBV基因片段的rAAV的转染和细胞共培养，最终获得HBV特异性杀伤能力显著增强的CTLs，且该类T细胞具有很强的细胞增殖能力，有利于持续杀伤靶细胞；CTLs对靶细胞的杀伤作用依赖于HBV抗原和MHC-Ⅰ类分子的表达。

简介：预测并合成survivin-△Ex3HLA-A2．1限制性CTL表位的基因疫苗，探讨携带表位基因的减毒鼠伤寒沙门氏菌口服疫苗对小鼠移植肝癌模型的保护作用。将表位基因序列连接，构建pVAX1-STEs-EGFP真核表达载体，转化入减毒鼠伤寒沙门氏菌作为口服疫苗。实验动物分为未免疫对照组、口服沙门氏菌组、pVAX1质粒转染的减毒鼠伤寒沙门氏菌组；口服pVAX1-Survivin-△3（T34A）！EGFP质粒转染的的减毒鼠伤寒沙门氏菌组和口服pVAX1-STEs！EGFP质粒转染的的减毒鼠伤寒沙门氏菌组。结果表明：在5组肿瘤模型小鼠中，肿瘤瘤块平均直径分别为：15．11±2．43mm、13．70±2．97mm、13．05±1．77mm、7．46±2．61mm、9．05±2．18mm；表位疫苗组与其他组相比，有显著性差异（P＜0．01）。说明小鼠口服携带survivin-△Ex3HLA-A2．1限制性CTL表位的基因疫苗后，能抑制小鼠肝癌细胞的增殖和扩散。

简介：目的比较急性乙型肝炎、慢性乙型肝炎与慢性重型乙型肝炎患者HBVC蛋白和Pol蛋白特异性CTL表位变异的差异,以探讨乙型肝炎重症化和慢性化的可能机理。方法对516例乙型肝炎患者的血清进行HLA-A2和A11分型;用巢式PCR扩增血清HBVC基因与Pol基因并对PCR产物进行序列测定;根据HBVS基因序列,用VirusBlast软件鉴定患者感染的HBV基因型;用VectorNTI软件对目前已知的HLA-A2限制性的4个C蛋白和5个Pol蛋白特异性CTL表位与HLA-A11限制性的1个C蛋白表位进行序列分析。结果247例（47.86%）患者HLA-A2阳性,其中AHB67例,CHB109例,CSHB71例;220例（42.64%）患者HLA-A11阳性,其中AHB67例,CHB107例,CSHB46例;CTL表位变异分析结果如下：①在3组HLA-A2阳性患者,表位变异发生率无显著性差异（P〉0.05）;②在三组HLA-A2阳性HBVB基因型患者,P455-463和P816-824表位变异有极显著性差异（P〈0.01）;③在三组HLA-A2阳性HBVC基因型患者,各表位变异无显著性差异;④在三组HLA-A11阳性患者,C88-96表位变异发生率有显著性差异（P〈0.05）,三组HBVC基因型患者,表位变异发生率有极显著性差异（P〈0.01）,而在HBVB基因型患者,各表位变异无显著性差异（P〉0.05）。结论某些HBVC蛋白和Pol蛋白特异性CTL表位在AHB、CHB和CSHB患者间变异有明显差异,并且受感染病毒基因型的影响。CTL表位变异可能与乙型肝炎的重症化和慢性化机制相关。

简介：摘要目的鉴定富含亮氨酸重复蛋白15(leucine-rich repeat-containing protein-15，LRRC15)来源的优势细胞毒性T淋巴细胞(cytosolic T lymphocyte，CTL)表位肽，并验证其诱导CTL特异性抗乳腺癌免疫效应。方法收集中国医科大学附属第一医院乳腺癌外科自2010年1月至2010年7月经手术病理证实的乳腺癌组织及正常组织各30例。利用癌症基因组图谱(The Cancer Genome Atlas，TCGA)数据库和免疫组化方法评估LRRC15在乳腺癌中表达情况。利用免疫表位数据库(Immune Epitope Database and Analysis Resource，IEDB)联合SYFPEITHI数据库预测LRRC15蛋白序列中HLA-A2.1限定性CTL表位肽。利用分子对接软件MOE、T2亲和力实验和荧光共聚焦技术确认候选CTL表位肽与HLA-A2.1分子亲和性。利用酶联免疫斑点实验(enzyme-linked immunospot assay，ELISPOT)以及流式细胞术检测CTL表位肽免疫活性。利用钙黄素和Dil标记乳腺癌细胞评价CTL表位肽诱导的杀伤效应。建立乳腺癌移植瘤模型进行免疫回输，在体内评估CTL表位肽诱导的抗肿瘤效应。结果相比于正常组织，LRRC15 mRNA在乳腺癌组织中表达水平明显增高，组间差异有统计学意义[(4.00±1.57)比(1.31±0.72)，Z＝14.85，P <0.05]；LRRC15 mRNA表达与CD8＋T细胞浸润呈显著正相关性(r＝0.20，P<0.001)。LRRC15蛋白在乳腺癌组织中呈现高表达，可作为乳腺癌潜在靶点。在筛选得到的3条候选CTL表位肽中，L2与HLA-A2.1分子具有最高亲和力(FI＝2.490)。与阴性肽组相比，L2能够明显提升CD8＋T细胞亚群比例(27.70%比45.50%)，L2负载的树突状细胞(dendritic cells，DCs)能够明显提升CD8＋T细胞分泌干扰素(interferon，IFN) -γ的水平(50.20%比74.90%)。在最高效靶比时，L2诱导的效应细胞对乳腺癌细胞系MDA-MB-231的杀伤效应明显高于阴性肽对照组，组间差异有统计学意义[(19.30±2.20)%比(8.60±1.40)%，t ＝1.45，P <0.05]，但对乳腺上皮细胞MCF-10A无杀伤效应(P >0.05)。L2负载DCs诱导的CTL细胞对2例乳腺癌组织来源的原代肿瘤细胞表现出明显的杀伤效应，且杀伤效应随着效靶比增高而增加。与阴性肽相比，L2诱导的CTL效应细胞使小鼠移植瘤体积明显降低[(450±110)mm3比(725±130 )mm3，t ＝0.36，P <0.05]，生存时间明显延长[(35±4.5)d比(29.16±1.94)d，LogRank P ＝ 0.000 ]。结论LRRC15来源HLA-A2.1限定性CTL表位肽L2能够在体外有效的诱导CTL免疫应答反应，并发挥抗乳腺癌效应。

简介：antitumor疫苗的最终的目标是开发记忆CD8+细胞毒素的T淋巴细胞(CTL)，它是antitumor免疫的批评调停人。我们以前证明ovalbumin(卵)特定的CD4+T基于房间(OVA-T用搏动卵的树枝状的房间产生的EXO)疫苗(DC卵)-releasedexosomes(EXO卵)经由IL-2和costimulatoryCD80发信号刺激CTL回答。估计另外的costimulatory小径的潜在的参与并且为存储器CTL开发定义costimulation的关键成分，我们首先使免疫野类型(WT)有WTCD4+OVA-TEXO房间或OVA-T有各种各样的分子的缺乏的EXO房间。我们然后估计了卵特定主要并且召回CTL回答使用PE-H-2K由流动cytometry染色的b/OVA257-264tetramer和FITC-anti-CD8抗体。我们也对表示卵的B16黑瘤房间线BL6-10卵。我们表明了那CD4+OVA-TEXO房间与DC卵。由估计主要并且在与OVA-TEXO或与OVA-T缺乏costimulatory分子CD40L，4-1BBL或OX40L的EXO，我们证明这些costimulatory信号为由OVA-TEXO。有趣地，CD40L，然而并非4-1BBL或OX40L，对BL6-10卵肿瘤。总的来说，这个工作建议能够经由CD40L发信号刺激长期的功能的CTL记忆的一支新奇CD4+T基于房间的疫苗可以代表一条新奇、有效途径到antitumor种痘。

简介：目的预测鳞状细胞癌抗原(squamouscellcarcinomaantigen,SCCAg)的B细胞抗原表位及HLAI类限制性细胞毒性T细胞表位。方法获得SCCAg的三维结构后,采用生物信息学方法预测SCCAg蛋白存在的B细胞表位;而后,采用NetCTL、ProtParam等软件方法预测SCCAg中可能存在的HLAI类限制性CTL表位。结果SCCAg蛋白中包含10个线性B细胞表位和5个构象B细胞表位;结合与HLAI类分子结合力、蛋白酶体切割效率和TAP转运效率,经NetCTL预测发现,针对不同的HLAI类分子,肿瘤抗原SCCAg蛋白中存在多个HLAI类分子的限制性CTL表位。结论综合运用多种方法预测了肿瘤抗原SCCAg蛋白中存在的B细胞抗原表位和HLAI限制性的CTL表位,为下一步针对SCCAg蛋白开展靶向免疫治疗提供了基础。

简介：无

简介：无

简介：CD8+细胞毒素的T淋巴细胞(CTL)疲劳是为在长期的传染疾病的无效病毒消除的一个主要问题。我们产生了新奇ovalbumin(卵)特定的OVA-Texo和导致治疗学的免疫的HIV特定的Gag-Texo疫苗。在长期的感染估计他们的治疗学的效果，我们由与表示卵的侵入人体气管粘膜的病菌AdVova感染C57BL/6老鼠的i.v开发了一个新长期的感染模型。在长期的AdVova感染期间，老鼠CTL被发现房间死亡protein-1(PD-1)和淋巴细胞激活gene-3(LAG-3)到禁止的分子规划了的快车，证明在T房间增长，IFN-生产和cytolytic的重要缺乏完成机能上地精疲力尽并且。天真的CD8+T房间upregulated禁止的PD-ligand1(PD-L1)，B淋巴细胞和T淋巴细胞衰减器和T房间联系变应力缺乏的分子(圣盘和痒)当时下面调整在在有长期的感染的老鼠的刺激之上的proliferative反应。显著地，OVA-Texo疫苗抵抗了T房间变应力缺乏并且变换了CTL疲劳。后者与(i)被联系为CTL功能的一个标记的upregulation，diacetylatedhistone-H3(diAcH3)，(ii)CTL，宿主DC的发生独立人士或CD4+T细胞的四折的增加，并且(iii)CTLIFN-生产和cytotoxicity的恢复。在vivoOVA-Texo-stimulatedCTLupregulatedmTORC1的活动小径相关的分子Akt，S6，eIF4E和T赌注，和有一个mTORC1禁止者的CTL的处理，rapamycin，显著地在CTL减少了OVA-Texo-induced增加。有趣地，发信号的OVA-Texo-mediatedCD40L在观察免疫学的效果起了一个关键作用。重要地，Gag-Texo疫苗在长期的感染导致了作呕特定的治疗学的免疫。因此，这研究应该为人的免疫不全在新治疗学的疫苗的发展有严肃的影响病毒(HIV-1)感染。