基于PVS算法的苏拉卡尔塔棋博弈系统设计与实现

文章旨在介绍基于主变量导向搜索(Principal Variation Search,PVS)算法的苏拉卡尔塔棋博弈系统的设计与实现。为了优化搜索策略,提高搜索效率和决策准确性,文章选用将Alpha-Beta剪枝和主要变例相结合的PVS搜索算法设计与实现苏拉卡尔塔棋博弈系统。在评估函数方面,综合考虑盘面价值、棋子价值、移动范围以及攻击范围等关键因素,从而准确评估当前棋局状态。本研究的贡献在于实现了一个苏拉卡尔塔棋博弈系统,并为该领域的未来研究奠定了坚实基础。

一种基于OpenMP的并行混合PVS算法

针对传统串行混合PVS(principal variation search,主要变例搜索)算法的计算量大、执行耗时长和无法利用多核资源的不足,提出了一种基于OpenMP(open multi-processing)的并行混合PVS算法。该算法应用了PVSplitting(主要变例分裂)策略,自底向上将博弈树每一层的首个PV节点的每个分支的搜索线程化,利用多核CPU并行执行,并对临界区和线程调度进行了合理设计,以提高搜索效率。最后,基于一个真实的中国象棋博弈系统进行了实验,结果表明,该算法拥有较高的剪枝率和加速比,能够明显提升混合PVS算法的执行性能。

间日疟传播阻断疫苗Pvs25和Pvs28重组蛋白免疫活性的实验观察

目的观察间日疟传播阻断疫苗候选抗原Pvs25和Pvs28重组蛋白免疫小鼠后抗体产生情况,从而探讨此两种候选抗原的免疫活性。方法用酵母菌表达的Pvs25和Pvs28重组蛋白皮下免疫DBA/2小鼠;采用ELISA方法,分别对各组小鼠免疫前后不同时间点血清中特异性IgG及其亚类IgG1、IgG2a的水平进行动态检测。结果初次免疫后第28dIgG及其亚类IgG1、IgG2a均出现有意义的升高(P<0.01),至第112dIgG及其亚类IgG1一直持续于较高的水平(P<0.01);而IgG2a水平则于初次免疫后第42d开始下降,但至112d仍高于免疫前及对照组(P<0.05)。结论Pvs25和Pvs28重组蛋白免疫DBA/2小鼠后可产生较高水平的特异性IgG抗体,并以IgG1亚类为主。

间日疟原虫重组蛋白Pvs25和Pvs28免疫小鼠应答机制观察

目的观察间日疟传播阻断疫苗候选抗原Pvs25和Pvs28的免疫应答机制。方法分别用与弗氏佐剂乳化后的Pvs25和Pvs28重组蛋白皮下免疫DBA/2小鼠;采用ELISA分别对各组小鼠脾细胞培养上清的IFN-γ、IL-4、IL-10动态检测;以ELISPOT方法检测小鼠脾脏IFN-γ+和IL-4+细胞数量。结果经重组蛋白免疫的两组小鼠脾细胞培养上清IFN-γ的含量于初次免疫后第14d升高,与对照组相比差异显著(P<0.01),但随后降至对照组水平;IL-4和IL-10均在初次免疫后第28d出现有意义的升高(P<0.01),后升高更为明显,分别直至免疫后期70d、56d出现下降,但直至112d仍明显高于免疫前的水平(P<0.01)。初次免疫后第70d?98d小鼠脾脏IFN-γ+和IL-4+细胞数量,与对照组相比IFN-γ+无明显变化,而IL-4+则明显增多(P<0.01)。结论Pvs25和Pvs28重组蛋白可诱导小鼠产生以Th2反应为主的免疫应答。

间日疟原虫传播阻断疫苗候选抗原Pvs25中国分离株高度保守

目的 研究我国单纯间日疟流行区 3 1例患者 (湖北 18例、浙江 13例 )间日疟原虫分离株传播阻断疫苗候选抗原Pvs2 5基因多态性 ,并与 14例孟加拉间日疟原虫株进行比较分析。 方法 从干燥滤纸血膜提取疟原虫基因组DNA ,对Pvs2 5基因进行聚合酶链反应 (PCR)扩增、纯化和直接序列分析。 结果 与间日疟原虫标准株Sal I相比 ,获得的 45个Pvs2 5全长序列中有 3处点突变 ,引起相应氨基酸的替换。并且核苷酸多态性 (π值 )检验结果显示 ,Pvs2 5在不同流行区或同一流行区不同分离株之间核苷酸及其相应的氨基酸序列高度保守。 结论 与红前期和红内期候选抗原相比 ,Pvs2 5具有有限的抗原多态性 ,提示以Pvs2

我国云南分离株间日疟原虫传播阻断疫苗候选抗原pvs25基因多态性分析

目的阐明我国疟疾流行区间日疟原虫传播阻断疫苗候选抗原pvs25基因多态性特点。方法收集全年流行区云南省血样31份;提取疟原虫基因组DNA;聚合酶链反应(PCR)扩增pvs25基因;Sanger双脱氧链终止法测序;DnaSPversion4.0软件统计学分析。结果成功扩增pvs25全长基因31个序列。与标准株SalI比较,检测出4个错义突变位点,5种基因型,4处氨基酸置换。C103G289C389C391为主导基因型,L35E97T130Q131是相应主导氨基酸型,其突变与季节流行区的主导基因型和氨基酸型完全一致。核苷酸多态性π值为0.0014。组间多态性π值比较表明全年流行区明显高于季节流行区。结论我国分离株间日疟原虫传播阻断疫苗候选抗原Pvs25只有1种主导基因型和1种主导氨基酸型。有限的基因突变再次提示Pvs25是理想的候选抗原,以Pvs25为基础构建的传播阻断疫苗在我国具有广泛应用的可行性。

PSTVd,PLRV和PVS在马铃薯试管苗不同部位继代积累规律研究

为研究病毒和类病毒在马铃薯试管苗不同部位的积累规律,利用实时荧光定量PCR和DAS-ELISA两种方法检测马铃薯纺锤块茎类病毒(Potato spindle tuber viroid,PSTVd)、马铃薯卷叶病毒(Potato leafroll virus,PL-RV)和马铃薯S病毒(Potato virus S,PVS)在马铃薯试管苗基部和顶端继代培养5代(继5代)后的含量。结果表明:PSTVd,PLRV和PVS在马铃薯试管苗常规组织培养过程中是逐代传递的,其在马铃薯试管苗顶端和基部的积累规律存在显著的品种差异,分别供试的7个品系中,存在PSTVd顶端积累和基部积累效应的各3个品系,存在PLRV顶端积累和基部积累效应的分别为4个和2个品系,存在PVS顶端积累和基部积累效应的分别为3个和2个品系,其中PSTVd的顶端积累效应最强为基部的4倍;同一马铃薯品系的顶端和基部对不同病毒和类病毒的积累趋势相对一致。实时荧光定量PCR是一种灵敏度很高的定量检测马铃薯病毒和类病毒的方法。

间日疟原虫云南分离株传播阻断疫苗候选抗原Pvs28基因多态性分析

目的分析我国疟疾混合流行区云南分离株间日疟原虫(P.v)传播阻断疫苗候选抗原Pvs28基因特点。方法收集云南省血样17份;提取疟原虫基因组DNA;PCR扩增Pvs28基因;基因测序;DnaSPversion4.0软件进行基因多态性分析。结果成功扩增Pvs28全长基因17个序列。与标准株Sal-I比较,检测出7个错义突变,7个基因型和7种氨基酸型。云南P.v分离株核苷酸多态性π值为0.0044。若不考虑重复片段拷贝数的差异,云南P.v分离株和湖北P.v分离株Pvs28蛋白主导氨基酸型完全一致,即V14-L52-L98-E105-L116-S140-I223。与泰国P.v分离株比较,我国主导基因型突变位点完全包含在泰国P.v分离株突变位点中。结论以Sal-IPvs28为基础建立的传播阻断疫苗能够克服云南P.v分离株Pvs28抗原多样性而发挥传播阻断作用,提示间日疟原虫传播阻断疫苗在我国具有良好的应用前景。

从UML状态图到PVS规范的自动转换、验证

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.

中医药在PVS促醒治疗中的临床应用研究

目的挖掘中医药不同方法在持续植物状态(PVS)促醒治疗中的应用规律和疗效关系。方法收集2012年1月至2014年12月收治符合研究条件的PVS患者78例,采用系列病例研究,对各病历资料所包含的相关信息进行检索、归类统计,运用频次分析、χ2检验、方差分析等方法,对数据进行统计分析。结果 78例患者病例分析显示,中医药在PVS促醒治疗中,阶段时间内(12周),治疗时间与疗效呈正相关。PVS的促醒疗效与年龄相关,年龄越小疗效越好。治疗方法中针刺、中药内服临床应用率最高,其中针刺治疗在穴位选择方面,醒脑、开窍、增智的穴位被选择应用最多;经脉选择督脉最多。而中药促醒内服药物首选为开窍,其次为化痰、息风止痉、活血化瘀、化痰药、补益药等。其他疗法中如取嚏疗法、醒脑静静脉给药、复方麝香注射液穴位注射、推拿、五感刺激疗法等在PVS促醒治疗也均有较好的疗效,而中药外敷、被动运动、穴位按压疗法未能证实有特殊疗效。结论中医药在PVS促醒治疗中疗效确切可靠,可推广应用。

我国间日疟原虫传播阻断疫苗候选抗原Pvs48基因特点分析

目的明确我国疟疾流行区间日疟原虫传播阻断疫苗候选抗原Pvs48基因特点。方法收集疟疾单纯流行区浙江、湖北两省间日疟患者血样,制备血样干滤纸片;提取疟原虫基因组DNA;聚合酶链反应(PCR)扩增Pvs48基因;Sanger双脱氧链终止法测序并分析。结果成功扩增12例间日疟原虫分离株Pvs48全长基因。与间日疟原虫标准株SalⅠ比较,检测出6个错义突变位点,导致6处氨基酸置换和6种基因型。结论我国间日疟原虫传播阻断疫苗候选抗原Pvs48具有保守性。

间日疟原虫中国湖北分离株传播阻断疫苗候选抗原Pvs28的基因多态性分析

从间日疟原虫感染患者血样制备的干滤纸片中提取寄生虫基因组DNA ,以实验室Sall株的Pvs2 8基因序列设计合成特异性引物 ,以各分离株基因组DNA为模板 ,采用PCR技术扩增间日疟原虫传播阻断疫苗候选抗原Pvs2 8基因全长 ,其大小为 6 96Bp的片段 ,将PCR产物直接测序。所获得的序列用MacVector软件分析并以Sall株为标准进行突变比较。结果表明 ,该Pvs2 8基因在核苷酸水平共存在两种突变形式 ,即 3个点突变与 5～ 7个不同数目的重复片段。点突变情况与我们以前的研究相同 ,但重复片段数目 5和 7与以前报道有差异。本文是对我国间日疟原虫单纯流行区湖北省疟原虫分离株传播阻断疫苗候选抗原Pvs2 8基因多态性的首次报导 ,研究结果为我国间日疟原虫传播阻断疫苗的实际开发与应用提供了必需的前提依据。

PVS患者血浆及脑脊液中单胺类递质的变化及相关性研究

目的 :探讨持续性植物状态 (PVS)患者血浆和脑脊液 (CSF)中单胺类递质水平与PVS发病的关系。方法 :采用高压液相色谱 (HPLC)方法测定。结果 :PVS患者血浆中多巴胺 (DA)的含量 (μmol/L)为 1.95± 0 .99,较对照组(1.16± 0 .4 7)显著升高 (P <0 .0 5 ) ,而 5 羟色胺 (5 HT)、酪氨酸 (TYR)、色氨酸 (TRP)、γ 氨基丁酸 (GABA)的含量(μmol/L)较对照组均无显著差异 (P均 >0 .0 5 )。脑脊液中 ,DA较对照组无显著差异 ;5 HT的含量 (μmol/L)为 (0 .4 9± 0 .32 ) ,较对照组 (1.0 2± 0 .35 )显著降低 (P <0 .0 5 ) ;而TYR(1.36± 0 .11)、TRP(0 .6 3± 0 .4 0 )、GABA(1.15±0 .6 1)的含量分别较对照组 (0 .4 0± 0 .2 4、0 .2 9± 0 .2 2、0 .37± 0 .4 5 )有显著升高 (P <0 .0 5、P <0 .0 5、P <0 .0 1)。血浆中GABA与DA的含量呈相关性 (P <0 .0 5 )。脑脊液中GABA与DA的含量也呈相关性 (P <0 .0 1)。结论 :CSF中 5 HT下降和血浆中DA升高可能与PVS的发生和发展过程有关。

色素沉着绒毛结节增生性滑膜炎(PVS)的免疫学发现

用免疫组化PAP法检测10例色素沉着绒毛结节增生性滑膜炎(PVS)滑膜中IgG、IgA、IgM及C_?,发现4例病人滑膜中有分泌IgG、IgA及IgM的浆细胞。其中1例病人间质中的胶原纤维上有IgG、IgA、IgM沉积。这表明PVS有局部免疫反应存在。后者可能是PVS的病因。

基于PVS的数据库安全策略形式化分析方法

基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.

PVS评估与差距分析——现代公共管理理念在兽医体系能力建设中的实践探析

伴随全球化格局下世界政治经济社会自然环境发生的巨变,特别是"同一世界,同一健康"理念影响的深入,兽医工作的复杂程度显著增加。世界动物卫生组织(OIE)开展的兽医体系效能(PVS)评估和差距分析,意在帮助成员提升兽医体系能力,实现保护全球动物卫生、兽医公共卫生、生态环境,保障动物源性食品供给与安全,减少贫困的职责目标。本文通过解析PVS评估和差距分析方法中蕴含的现代公共管理理念、原理和方法,探讨应用时可能出现的干扰因素,提出了我国实行良好兽医管理、完善兽医体系、强健履职能力、保障兽医工作成效全面提升的措施建议。

RETE网络中的优化编译模式及其PVS形式验证

In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimization schemas in rule program compilation,and prove the semantic equivalence theorems of these schemas. Firstly,the structure of RETE network and Its PVS specification are represented. Secondly,three kinds of optimization schemas are listed. Then algorithms evaluating semantics of target RETE network are given. Finally,we prove the semantic equivalence theorems with theorem prover PVS (Prototype Verification System).

超长整数运算的PVS规范与验证

超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性,利用原型验证工具PVS对算法的正确性进行了证明。在介绍了超长整数的加法和减法算法并分析了其设计思想之后,给出了超长整数及其算法的形式规范,通过把算法需要满足的性质描述为定理,将算法的一致性验证问题转化为逻辑定理证明的问题,在PVS定理证明器上完成了相关定理的证明,从而表明这些算法是满足设计需求的。