论文部分内容阅读
Translating Linear Temporal Logic Formula s into Automata
【机 构】
:
SchoolofInformationEngineering,SchoolofComputerScience
【出 处】
:
中国通信
【发表日期】
:
2012年6期
【基金项目】
:
The first author of this paper would like to thank the follow- ing scholars, Prof. Joseph Sifakis, 2007 Turing Award Winner, for his invaluable help with my research and Dr. Kevin Lu at Brunel Univers
其他文献
Dynamic Connectivity in Cislunar Communication Networking Based on Geosynchronous Orbit Relay Satell
目的构建狂犬病病毒标准强毒株(CVS-24)糖蛋白富集表位基因原核表达系统。方法通过RT-PCR扩增CVS-24株糖蛋白两段表位富集区基因,并将其克隆至载体pET-28a(+),构建重组表达质粒pET
用等量浸渍法制备了一系列Cr-Ag/γ-Al2O3及其单氧化物催化剂,用BET、XRD、TPD-MS及CO氧化反应等,考察了助剂Ag催化剂表面氧性质及氧化活性的影响。结果表明,单组份Ag/γ-Al2O3催化剂的氧化活性随Ag负载量的增加而迅速提
目的构建热休克蛋白70(HSP70)与黑色素瘤抗原-4(MACE-4)抗原表位基因的原核表达载体,并对表达产物进行鉴定。方法在热应激条件下,用PCR法从结肠腺癌细胞获取HSP70基因。在线用蛋白
目的探讨表达轮状病毒VP4抗原的重组腺病毒(Ad5/VP4)对新生小鼠的被动免疫保护作用。方法在293细胞上扩增表达猴轮状病毒SA11株VP4抗原的重组腺病毒并纯化。将轮状病毒抗体阴性
用正三辛胺萃取分离干扰离子,以二苯碳酰二肼(DPC)-溴化十六烷基吡啶(CPB)-聚乙二醇辛基苯基醚(OP)为显色体系测定原料油中的痕量铜。考察了测定条件。线性范围0 ̄1.0μg/26mL,合成样品回收率为104%,油样加标回收
目的研究大肠杆菌不耐热肠毒素无毒突变体mLT63和CpG-ODN鼻内免疫对抗原的佐剂效应。方法选用破伤风类毒素(TT)和小牛血清白蛋白(BSA)为抗原,mLT63和CpG-ODN为佐剂,经鼻内免疫BAL
对生成己二酸的反应机理与反应动力学进行了假设与简化,建立了己二酸装置的数学模型,并在计算机上应用序贯计算方法对该装置进行了模拟,在模拟的基础上,应用Needer-Mead最优化方法求解己二酸