期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2,042篇文章
< 1 2 … 103 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
MICAL2PVs对结直肠癌细胞迁移与增殖的影响实验研究
1
作者 侯志娟 高佳贝 扈会整 《陕西医学杂志》 2026年第3期320-327,共8页
目的:探讨MICAL2PVs对结直肠癌(CRC)细胞迁移与增殖的影响。方法:首先采用反转录PCR(RT-PCR)、荧光实时定量PCR(RT-qPCR)和免疫印迹法(Western blot)检测MICAL2PVs在CRC细胞系及组织中的表达情况。在CRC细胞中过表达或沉默MICAL2PVs后,... 目的:探讨MICAL2PVs对结直肠癌(CRC)细胞迁移与增殖的影响。方法:首先采用反转录PCR(RT-PCR)、荧光实时定量PCR(RT-qPCR)和免疫印迹法(Western blot)检测MICAL2PVs在CRC细胞系及组织中的表达情况。在CRC细胞中过表达或沉默MICAL2PVs后,采用细胞划痕实验和Transwell实验观察MICAL2PVs对CRC细胞迁移能力的影响,采用MTT实验、软琼脂克隆形成实验明确MICAL2PVs对CRC细胞增殖的影响,通过Western blot检测细胞中上皮-间质转化(EMT)相关标志物的表达水平。结果:CRC细胞及组织中只表达MICAL2基因选择性剪接体MICAL2PVa和MICAL2PVb。与癌旁组织比较,MICAL2PVs在CRC组织中的表达水平明显降低(P<0.05)。与对照细胞株比较,沉默MICAL2PVs的HCT8细胞株的细胞迁移率增高,迁移细胞数量增多,并且该HCT8细胞株形成的克隆数量显著增多、细胞活力增高(均P<0.05)。过表达MICAL2PVb时,CRC细胞中E-钙粘蛋白(E-cadherin)表达升高,而波形蛋白(Vimentin)表达降低;而沉默MICAL2PVs时,CRC细胞中E-cadherin蛋白水平降低,而Vimentin蛋白水平升高(均P<0.05)。结论:MICAL2PVs可抑制CRC细胞迁移和增殖,并参与调控EMT。 展开更多
关键词 结直肠癌 MICAL2pvs 上皮-间质转化 迁移 增殖 质粒
暂未订购
基于PVS的公立医院绩效评价体系构建探究
2
作者 杭萍 《消费导刊》 2025年第15期0101-0105,共5页
随着 DRG/DIP 支付方式改革在全国范围内的纵深推进,公立医院传统以收入为导向的绩效管理模式面临结构性挑战。本研究以 DRG 支付方式改革为政策背景,深度融合患者中心型价值医疗(PVS,Patient-centered Value-based Healthcare)核心理念... 随着 DRG/DIP 支付方式改革在全国范围内的纵深推进,公立医院传统以收入为导向的绩效管理模式面临结构性挑战。本研究以 DRG 支付方式改革为政策背景,深度融合患者中心型价值医疗(PVS,Patient-centered Value-based Healthcare)核心理念,构建“战略—价值—绩效”三维协同的绩效考核体系。通过文献研究法、案例分析法及定量与定性结合的研究路径,系统解析 DRG 改革对公立医院运营的深层影响,设计科学可行的 PVS 三维绩效评价指标体系,并以某三甲肿瘤专科医院为实证对象开展有效性验证。研究结果表明,该三维协同模式能够实现医疗质量、成本控制与医院可持续发展的动态平衡,为公立医院在 DRG 改革背景下破解绩效困境、实现高质量发展提供兼具理论深度与实践价值的解决方案。 展开更多
关键词 DRG 改革 pvs 绩效评价 公立医院 绩效管理 三维协同模式
暂未订购
一种基于OpenMP的并行混合PVS算法 被引量：3
3
作者 邹竞 马华 谢鲲 《计算机应用研究》 CSCD 北大核心 2016年第1期56-59,91,共5页
针对传统串行混合PVS(principal variation search,主要变例搜索)算法的计算量大、执行耗时长和无法利用多核资源的不足,提出了一种基于OpenMP(open multi-processing)的并行混合PVS算法。该算法应用了PVSplitting(主要变例分裂)策略,... 针对传统串行混合PVS(principal variation search,主要变例搜索)算法的计算量大、执行耗时长和无法利用多核资源的不足,提出了一种基于OpenMP(open multi-processing)的并行混合PVS算法。该算法应用了PVSplitting(主要变例分裂)策略,自底向上将博弈树每一层的首个PV节点的每个分支的搜索线程化,利用多核CPU并行执行,并对临界区和线程调度进行了合理设计,以提高搜索效率。最后,基于一个真实的中国象棋博弈系统进行了实验,结果表明,该算法拥有较高的剪枝率和加速比,能够明显提升混合PVS算法的执行性能。 展开更多
关键词 并行计算 混合pvs算法 博弈树 OPENMP pvsplitting
在线阅读 下载PDF
间日疟传播阻断疫苗Pvs25和Pvs28重组蛋白免疫活性的实验观察 被引量：3
4
作者 李冬梅 刘英杰 +3 位作者 刘军 王庆辉 郭生玉 曹雅明 《中国人兽共患病学报》 CAS CSCD 北大核心 2007年第6期598-600,共3页
目的观察间日疟传播阻断疫苗候选抗原Pvs25和Pvs28重组蛋白免疫小鼠后抗体产生情况,从而探讨此两种候选抗原的免疫活性。方法用酵母菌表达的Pvs25和Pvs28重组蛋白皮下免疫DBA/2小鼠;采用ELISA方法,分别对各组小鼠免疫前后不同时间点血... 目的观察间日疟传播阻断疫苗候选抗原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免疫小鼠应答机制观察 被引量：2
5
作者 李冬梅 刘军 +4 位作者 刘英杰 郑丽 冯辉 陈光 曹雅明 《中国人兽共患病学报》 CAS CSCD 北大核心 2007年第4期348-350,共3页
目的观察间日疟传播阻断疫苗候选抗原Pvs25和Pvs28的免疫应答机制。方法分别用与弗氏佐剂乳化后的Pvs25和Pvs28重组蛋白皮下免疫DBA/2小鼠;采用ELISA分别对各组小鼠脾细胞培养上清的IFN-γ、IL-4、IL-10动态检测;以ELISPOT方法检测小鼠... 目的观察间日疟传播阻断疫苗候选抗原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 pvs28 细胞因子
暂未订购
间日疟原虫传播阻断疫苗候选抗原Pvs25中国分离株高度保守 被引量：7
6
作者 郑丽 徐卫民 +2 位作者 刘英杰 杨毅梅 曹雅明 《中国寄生虫学与寄生虫病杂志》 CAS CSCD 北大核心 2004年第1期16-19,共4页
目的　研究我国单纯间日疟流行区 3 1例患者 (湖北 18例、浙江 13例 )间日疟原虫分离株传播阻断疫苗候选抗原Pvs2 5基因多态性 ,并与 14例孟加拉间日疟原虫株进行比较分析。　方法　从干燥滤纸血膜提取疟原虫基因组DNA ,对Pvs2 5基因进... 目的　研究我国单纯间日疟流行区 3 1例患者 (湖北 18例、浙江 13例 )间日疟原虫分离株传播阻断疫苗候选抗原Pvs2 5基因多态性 ,并与 14例孟加拉间日疟原虫株进行比较分析。　方法　从干燥滤纸血膜提取疟原虫基因组DNA ,对Pvs2 5基因进行聚合酶链反应 (PCR)扩增、纯化和直接序列分析。　结果　与间日疟原虫标准株Sal I相比 ,获得的 45个Pvs2 5全长序列中有 3处点突变 ,引起相应氨基酸的替换。并且核苷酸多态性 (π值 )检验结果显示 ,Pvs2 5在不同流行区或同一流行区不同分离株之间核苷酸及其相应的氨基酸序列高度保守。　结论　与红前期和红内期候选抗原相比 ,Pvs2 5具有有限的抗原多态性 ,提示以Pvs2 展开更多
关键词 间日疟原虫 传播阻断疫苗 基因多态性 pvs25抗原 聚合酶链反应
暂未订购
我国云南分离株间日疟原虫传播阻断疫苗候选抗原pvs25基因多态性分析 被引量：6
7
作者 刘军 冯辉 +3 位作者 郑丽 杨毅梅 金行一 曹雅明 《中国人兽共患病杂志》 CSCD 北大核心 2005年第6期458-460,481,共4页
目的阐明我国疟疾流行区间日疟原虫传播阻断疫苗候选抗原pvs25基因多态性特点。方法收集全年流行区云南省血样31份;提取疟原虫基因组DNA;聚合酶链反应(PCR)扩增pvs25基因;Sanger双脱氧链终止法测序;DnaSPversion4.0软件统计学分析。结... 目的阐明我国疟疾流行区间日疟原虫传播阻断疫苗候选抗原pvs25基因多态性特点。方法收集全年流行区云南省血样31份;提取疟原虫基因组DNA;聚合酶链反应(PCR)扩增pvs25基因;Sanger双脱氧链终止法测序;DnaSPversion4.0软件统计学分析。结果成功扩增pvs25全长基因31个序列。与标准株SalI比较,检测出4个错义突变位点,5种基因型,4处氨基酸置换。C103G289C389C391为主导基因型,L35E97T130Q131是相应主导氨基酸型,其突变与季节流行区的主导基因型和氨基酸型完全一致。核苷酸多态性π值为0.0014。组间多态性π值比较表明全年流行区明显高于季节流行区。结论我国分离株间日疟原虫传播阻断疫苗候选抗原Pvs25只有1种主导基因型和1种主导氨基酸型。有限的基因突变再次提示Pvs25是理想的候选抗原,以Pvs25为基础构建的传播阻断疫苗在我国具有广泛应用的可行性。 展开更多
关键词 间日疟原虫 传播阻断疫苗候选抗原 pvs25 基因多态性
暂未订购
益神启窍方合并综合疗法对持续性植物状态患者PVS疗效评分的影响 被引量：5
8
作者 丰广魁 奚肇庆 +5 位作者 刘涛 林福军 王培东 吴春平 马虎龙 刘冲 《中医杂志》 CSCD 北大核心 2007年第11期999-1000,共2页
关键词 持续性植物状态 植物状态患者 pvs患者 综合疗法 疗效 评分 意识障碍 意识活动
暂未订购
中医药在PVS促醒治疗中的临床应用研究 被引量：4
9
作者 张玲 宋虎杰 +1 位作者 王兴 张雪婷 《世界中西医结合杂志》 2016年第12期1698-1702,共5页
目的挖掘中医药不同方法在持续植物状态(PVS)促醒治疗中的应用规律和疗效关系。方法收集2012年1月至2014年12月收治符合研究条件的PVS患者78例,采用系列病例研究,对各病历资料所包含的相关信息进行检索、归类统计,运用频次分析、χ2检... 目的挖掘中医药不同方法在持续植物状态(PVS)促醒治疗中的应用规律和疗效关系。方法收集2012年1月至2014年12月收治符合研究条件的PVS患者78例,采用系列病例研究,对各病历资料所包含的相关信息进行检索、归类统计,运用频次分析、χ2检验、方差分析等方法,对数据进行统计分析。结果 78例患者病例分析显示,中医药在PVS促醒治疗中,阶段时间内(12周),治疗时间与疗效呈正相关。PVS的促醒疗效与年龄相关,年龄越小疗效越好。治疗方法中针刺、中药内服临床应用率最高,其中针刺治疗在穴位选择方面,醒脑、开窍、增智的穴位被选择应用最多;经脉选择督脉最多。而中药促醒内服药物首选为开窍,其次为化痰、息风止痉、活血化瘀、化痰药、补益药等。其他疗法中如取嚏疗法、醒脑静静脉给药、复方麝香注射液穴位注射、推拿、五感刺激疗法等在PVS促醒治疗也均有较好的疗效,而中药外敷、被动运动、穴位按压疗法未能证实有特殊疗效。结论中医药在PVS促醒治疗中疗效确切可靠,可推广应用。 展开更多
关键词 pvs促醒 中医药方法 针刺 运动疗法
暂未订购
PSTVd,PLRV和PVS在马铃薯试管苗不同部位继代积累规律研究 被引量：2
10
作者 卢丽丽 白建明 +3 位作者 陈恩发 包丽仙 潘哲超 杨琼芬 《云南农业大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第4期483-489,共7页
为研究病毒和类病毒在马铃薯试管苗不同部位的积累规律,利用实时荧光定量PCR和DAS-ELISA两种方法检测马铃薯纺锤块茎类病毒(Potato spindle tuber viroid,PSTVd)、马铃薯卷叶病毒(Potato leafroll virus,PL-RV)和马铃薯S病毒(Potato vir... 为研究病毒和类病毒在马铃薯试管苗不同部位的积累规律,利用实时荧光定量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是一种灵敏度很高的定量检测马铃薯病毒和类病毒的方法。 展开更多
关键词 PSTVD PLRV pvs 马铃薯试管苗 继代培养 实时荧光定量PCR
在线阅读 下载PDF
间日疟原虫云南分离株传播阻断疫苗候选抗原Pvs28基因多态性分析 被引量：2
11
作者 冯辉 郑丽 +2 位作者 刘军 杨毅梅 曹雅明 《中国人兽共患病学报》 CAS CSCD 北大核心 2006年第4期360-362,293,共4页
目的分析我国疟疾混合流行区云南分离株间日疟原虫(P.v)传播阻断疫苗候选抗原Pvs28基因特点。方法收集云南省血样17份;提取疟原虫基因组DNA;PCR扩增Pvs28基因;基因测序;DnaSPversion4.0软件进行基因多态性分析。结果成功扩增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抗原多样性而发挥传播阻断作用,提示间日疟原虫传播阻断疫苗在我国具有良好的应用前景。 展开更多
关键词 间日疟原虫 传播阻断疫苗候选抗原 pvs 28 基因多态性
暂未订购
从UML状态图到PVS规范的自动转换、验证 被引量：8
12
作者 赖明志 尤晋元 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2122-2125,共4页
将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进... 将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则. 展开更多
关键词 UML状态图 pvs规范 自动转换 层次自动机模型 模型验证 统一建模语言
在线阅读 下载PDF
我国间日疟原虫传播阻断疫苗候选抗原Pvs48基因特点分析 被引量：2
13
作者 刘军 冯辉 +3 位作者 郑丽 凌静 朱晓彤 曹雅明 《中国人兽共患病学报》 CAS CSCD 北大核心 2006年第6期558-560,共3页
目的明确我国疟疾流行区间日疟原虫传播阻断疫苗候选抗原Pvs48基因特点。方法收集疟疾单纯流行区浙江、湖北两省间日疟患者血样,制备血样干滤纸片;提取疟原虫基因组DNA;聚合酶链反应(PCR)扩增Pvs48基因;Sanger双脱氧链终止法测序并分析... 目的明确我国疟疾流行区间日疟原虫传播阻断疫苗候选抗原Pvs48基因特点。方法收集疟疾单纯流行区浙江、湖北两省间日疟患者血样,制备血样干滤纸片;提取疟原虫基因组DNA;聚合酶链反应(PCR)扩增Pvs48基因;Sanger双脱氧链终止法测序并分析。结果成功扩增12例间日疟原虫分离株Pvs48全长基因。与间日疟原虫标准株SalⅠ比较,检测出6个错义突变位点,导致6处氨基酸置换和6种基因型。结论我国间日疟原虫传播阻断疫苗候选抗原Pvs48具有保守性。 展开更多
关键词 间日疟原虫 传播阻断疫苗候选抗原 pvs48
暂未订购
间日疟原虫中国湖北分离株传播阻断疫苗候选抗原Pvs28的基因多态性分析 被引量：2
14
作者 阎建忠 徐卫民 +2 位作者 刘英杰 郑丽 曹雅明 《寄生虫与医学昆虫学报》 CAS 2003年第4期193-197,共5页
从间日疟原虫感染患者血样制备的干滤纸片中提取寄生虫基因组DNA ,以实验室Sall株的Pvs2 8基因序列设计合成特异性引物 ,以各分离株基因组DNA为模板 ,采用PCR技术扩增间日疟原虫传播阻断疫苗候选抗原Pvs2 8基因全长 ,其大小为 6 96Bp的... 从间日疟原虫感染患者血样制备的干滤纸片中提取寄生虫基因组DNA ,以实验室Sall株的Pvs2 8基因序列设计合成特异性引物 ,以各分离株基因组DNA为模板 ,采用PCR技术扩增间日疟原虫传播阻断疫苗候选抗原Pvs2 8基因全长 ,其大小为 6 96Bp的片段 ,将PCR产物直接测序。所获得的序列用MacVector软件分析并以Sall株为标准进行突变比较。结果表明 ,该Pvs2 8基因在核苷酸水平共存在两种突变形式 ,即 3个点突变与 5～ 7个不同数目的重复片段。点突变情况与我们以前的研究相同 ,但重复片段数目 5和 7与以前报道有差异。本文是对我国间日疟原虫单纯流行区湖北省疟原虫分离株传播阻断疫苗候选抗原Pvs2 8基因多态性的首次报导 ,研究结果为我国间日疟原虫传播阻断疫苗的实际开发与应用提供了必需的前提依据。 展开更多
关键词 间日疟原虫 中国湖北分离株 传播阻断疫苗 候选抗原pvs28 基因多态性
暂未订购
PVS患者血浆及脑脊液中单胺类递质的变化及相关性研究 被引量：2
15
作者 胡学芳 王培东 +2 位作者 杨德功 张锡然 薛安 《中国应用生理学杂志》 CAS CSCD 北大核心 2002年第2期136-138,共3页
目的 :探讨持续性植物状态 (PVS)患者血浆和脑脊液 (CSF)中单胺类递质水平与PVS发病的关系。方法 :采用高压液相色谱 (HPLC)方法测定。结果 :PVS患者血浆中多巴胺 (DA)的含量 (μmol/L)为 1.95± 0 .99,较对照组(1.16± 0 .4 7... 目的 :探讨持续性植物状态 (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患者 血浆 脑脊液 单胺类递质 相关性
暂未订购
色素沉着绒毛结节增生性滑膜炎(PVS)的免疫学发现 被引量：1
16
作者 岳珍 王嘉芙 +2 位作者 邱续强 蒋海鹰 赵建新 《中国运动医学杂志》 CAS CSCD 北大核心 1993年第1期46-48,共3页
用免疫组化PAP法检测10例色素沉着绒毛结节增生性滑膜炎(PVS)滑膜中IgG、IgA、IgM及C_?,发现4例病人滑膜中有分泌IgG、IgA及IgM的浆细胞。其中1例病人间质中的胶原纤维上有IgG、IgA、IgM沉积。这表明PVS有局部免疫反应存在。后者可能是... 用免疫组化PAP法检测10例色素沉着绒毛结节增生性滑膜炎(PVS)滑膜中IgG、IgA、IgM及C_?,发现4例病人滑膜中有分泌IgG、IgA及IgM的浆细胞。其中1例病人间质中的胶原纤维上有IgG、IgA、IgM沉积。这表明PVS有局部免疫反应存在。后者可能是PVS的病因。 展开更多
关键词 pvs 滑膜炎 免疫学
原文传递
电针醒脑开窍穴治疗PVS患者32例临床观察 被引量：1
17
作者 陆爻忠 周建宏 +6 位作者 陆华 陈革 唐志放 吴卫江 蒋云召 徐杰 王泳 《江苏中医药》 CAS 北大核心 2005年第9期31-32,共2页
关键词 pvs 电针疗法 醒脑开窍
暂未订购
基于PVS的数据库安全策略形式化分析方法 被引量：1
18
作者 李昊 张敏 王榕 《中国科学技术大学学报》 CAS CSCD 北大核心 2013年第7期591-598,共8页
基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的... 基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞. 展开更多
关键词 形式化方法 数据库管理系统 pvs定理证明
在线阅读 下载PDF
PVS评估与差距分析——现代公共管理理念在兽医体系能力建设中的实践探析 被引量：1
19
作者 蔡丽娟 路平 +2 位作者 张衍海 郝峰强 袁丽萍 《中国动物检疫》 CAS 2013年第11期3-9,共7页
伴随全球化格局下世界政治经济社会自然环境发生的巨变,特别是"同一世界,同一健康"理念影响的深入,兽医工作的复杂程度显著增加。世界动物卫生组织(OIE)开展的兽医体系效能(PVS)评估和差距分析,意在帮助成员提升兽医体系能力... 伴随全球化格局下世界政治经济社会自然环境发生的巨变,特别是"同一世界,同一健康"理念影响的深入,兽医工作的复杂程度显著增加。世界动物卫生组织(OIE)开展的兽医体系效能(PVS)评估和差距分析,意在帮助成员提升兽医体系能力,实现保护全球动物卫生、兽医公共卫生、生态环境,保障动物源性食品供给与安全,减少贫困的职责目标。本文通过解析PVS评估和差距分析方法中蕴含的现代公共管理理念、原理和方法,探讨应用时可能出现的干扰因素,提出了我国实行良好兽医管理、完善兽医体系、强健履职能力、保障兽医工作成效全面提升的措施建议。 展开更多
关键词 公共管理 兽医体系 能力效能(pvs)评估 差距分析 绩效评价
在线阅读 下载PDF
超长整数运算的PVS规范与验证 被引量：1
20
作者 孙国栋 牛晋刚 《计算机工程与应用》 CSCD 北大核心 2015年第3期93-97,共5页
超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性,利用原型验证工具PVS对算法的正确性进行了证明。在介绍了超长整数的加法和减法算法并分析了其设... 超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性,利用原型验证工具PVS对算法的正确性进行了证明。在介绍了超长整数的加法和减法算法并分析了其设计思想之后,给出了超长整数及其算法的形式规范,通过把算法需要满足的性质描述为定理,将算法的一致性验证问题转化为逻辑定理证明的问题,在PVS定理证明器上完成了相关定理的证明,从而表明这些算法是满足设计需求的。 展开更多
关键词 超长整数运算 原型验证系统(pvs) 一致性验证 形式规范 定理证明
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 103 下一页 到第 页
使用帮助 返回顶部