PVS相关论文
该文在已有研究基础上提出了一种新方法用于嵌入式实时系统的严格建模.该文通过构造面向对象语言UML与形式化方法PVS之间的转换桥......
研究目的脑血管周围间隙(PVS)的扩大与许多病症相关,包括衰老、痴呆、阿尔茨海默病、终末期肾病(ESRD)等。但目前的评估主要基于对......
目的 探讨HPLC法检测脑脊液中氨基酸类物质的方法,观察PVS患者脑脊液中氨基酸类神经递质的变化.方法28例PVS患者与15例对照病人分......
,Xingnao Kaiqiao acupuncture combined with Angong Niuhuang Wan for a patient under persistent vegeta
Persistent vegetative state (PVS) is a clinical condition wherein the cerebral cortex loses its function although brain ......
随着现代急救医学的发展及社会医疗保障的逐步完善,急症危重患者病死率已降低,相当一部分患者脱离濒死险境成为持续植物状态(PVS).......
...
目的:探讨对颅脑损伤PVS患者康复促醒技术的临床应用.方法:选择我科60例颅脑损伤PVS患者根据接受促醒康复治疗的时间先后分为早期......
"植物状态(VS)是一种特殊的意识障碍,持续性植物状态(PVS)是指VS持续1个月以上.其特征是患者睁眼若视,貌似清醒,但无任何意识活动,......
本文针对复杂多边形场景的漫游提出了一个新的预处理方法，并给出了相应的快速漫游算法．新方法在预处理阶段，把观察者可到达的空间分割......
期刊
Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models coul......
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for ......
针对六子棋比赛中基于棋型分析的评估函数比较复杂,因此搜索效率大大降低,六子棋是一种复杂度与象棋相当的博弈游戏。其复杂性主要......
香蕉是一种大型草本植物,多数品种没有种子或单性结实,通常以无性繁殖方式为主。由于其生殖特征,难以通过传统杂交育种的方法来进......
目的 观察高压氧结合综合康复治疗对促醒昏迷及持续性植物状态(PVS)的疗效.方法 选取我院2019年11月1号到2019年12月29号PVS患者30......
为了用户在数字化过程中能节省更多的投资，汤姆逊广播和媒体公司宣布了一系列新的产品，这些产品都是基于获得艾米奖的草谷Profile服......
目的：观察高压氧(HBO)治疗重型颅脑损伤后持续性植物状态(PVS)疗效。方法：随机分为观察组（药物治疗基础上再行高压氧治疗)与对照组(单......
目的探讨一套适合持续性植物状态患者的促醒康复护理方法.方法对持续性植物状态患者在采用药物、理疗及运动康复治疗的基础上,加强......
PVS软件是台达公司设计的机器视觉行业的图像处理软件,为农业自动化应用行业提供完整的机器视觉解决方案,以模块化的工具来帮助用......
目的:探讨高压氧综合治疗持续性植物状态(PVS)患者的疗效以及SPECT观察治疗前后脑血流的改变.方法:临床常规治疗的基础上对40例PVS......
针对传统模型验证方法存在效率低和模型较为复杂的缺点,将Lebesgue积分的运算特征引入模型验证和测试,提出一种基于Lebesgue积分的......
目的探讨外伤性持续植物状态的临床特点及治疗方法。方法对26例外伤性持续植物状态患者的临床表现、治疗方法及结果进行回顾性分析......
简单介绍电压型架空配电自动化系统的应用原理,分析、说明该系统特点,并结合广州供电分公司实际情况,讨论了应用中的常见问题.......
In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptle......
本文首先简介了时间自动机和时间Büchi自动机形式模型，结合时间化时序逻辑（Timed Temporal Logic）的语法和语义，利用定理证明器PV......
建筑物及室内物体是数字地球中的一种重要现象,在数字城市中占有十分重要的地位.建筑物室内漫游的算法,一直是个热点、难点.VRGIS......
纳米材料有着广泛的用途和巨大的市场.人们一直在力图寻求一种批量低价生产这种材料的方法,纳米相技术公司(Nanophase Technologie......
本文介绍了国际上通用的PVS兽医体系评估工具,并结合具体实例对我国动物卫生监督机构的运作现状、效能发挥、效能评估等特征进行了......
将UML（统一建模语言）图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径。PVS是一种通用高阶逻辑形......
形式化方法主要应用于安全性第一的系统的规范与形式验证.原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境.本......
马铃薯S病毒（PVS）是危害我国马铃薯的主要病毒之一。PVS是麝香石竹潜隐病毒属成员，主要通过蚜虫传播。关于该病毒的株系分化和变异，目......
给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强......
目的 探讨临床药物促醒性治疗的疗效预测方法，旨在建立脑电图反应性与颅脑手术后持续性植物状态（PVS）患者预后关系。方法 将40例PVS患......
目的观察应用经皮血管缝合器后,离床活动的安全时间,减少病人的痛苦及预防各种并发症的发生。方法119例心脏介入检查和治疗术后,应......
室性早搏(PVS)在临床上十分常见,现将我院1989年5月～2004年5月诊治的50例非器质性心脏病频发PVS者进行追踪观察后,对其临床意义及预......
安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要。本文提出了新的基于PVS的数据库安全策略模型分析......
患者男性，33岁。临床诊断：风心病；二尖瓣置换术后。心电图（图1）示：基本心律为窦性心动过速，V1导联P波为正负双向，还可见另一形态P’波，与前......
随着动态心电图（DCG）的广泛应用,室性心动过速（VT）的检出率明显升高,其发生形式也多种多样。根据VT始动时发生在心动周期的不同时相,可......
目的分析我国疟疾混合流行区云南分离株间日疟原虫（P．v）传播阻断疫苗候选抗原Pvs28基因特点。方法收集云南省血样17份；提取疟原虫基因......
2012年4月16日至20日，农业部与世界动物卫生组织（OIE）在北京联合举办兽医体系效能（PVS）评估培训班。农业部兽医局副局长张弘、OIE总部地......
本文从《OIE兽医体系效能评估工具》（OIE PVS Tool）最新版本中的关键词入手，指出要正确翻译、准确理解PVS Tool，将veterinary services......
高校计算机机房,承担了最重要的教学和实训任务。如何向师生提供一个高效稳定的系统和软件环境,一直是实训管理人员所面临的难题。......
在推导不同安装方式光伏发电系统辐射量理论计算的基础上,利用PVSYST软件对四川某光伏场址区域辐射量进行模拟计算,对比分析了最佳......
