PNF技术对促进ICU获得性肌无力患者功能康复的影响研究

分析神经肌肉本体促进技术(PNF)技术对促进ICU获得性肌无力(ICU-AW)患者功能康复的影响。方法 2020.01-2022.12本院收治ICU-AW患者60例,结合随机数字表法分成对照组(常规康复治疗)、研究组(在对照组基础上采取PNF技术)各30例,观察两组医学研究委员会(MRC)、肢体功能评分(FMA)得分、呼吸机使用时间、ICU住院时间与有效率。结果 研究组MRC得分、FMA得分及有效率高于对照组,呼吸机使用及ICU住院时间短于对照组(P<0.05)。结论 PNF对促进ICU-AW患者功能康复效果理想,能促进其肢体运动功能和肌力恢复,加快其脱机进程,缩短其住院周期。

绳带辅助本体感觉神经肌肉促进技术训练联合绳带辅助脑机接口训练对脑卒中偏瘫上肢康复效果的随机对照试验

目的探讨绳带辅助本体感觉神经肌肉促进技术(PNF)训练联合绳带辅助脑机接口(BCI)训练在脑卒中偏瘫患者上肢康复中的应用效果。方法2022年3月至2023年2月,选取广西医科大学第二附属医院脑卒中偏瘫住院患者96例,随机分为常规组(n=32)、PNF组(n=32)和联合组(n=32)。各组均给予常规康复治疗,常规组给予上肢PNF训练,PNF组给予上肢绳带辅助PNF训练,联合组给予上肢绳带辅助PNF训练和上肢绳带辅助BCI训练,共4周。治疗前后,分别采用偏瘫上肢功能测试-香港版(FTHUE-HK)、Fugl-Meyer上肢功能评定(FMA-UE)和改良Barthel指数(MBI)进行评估。结果各组FTHUE-HK评分、MBI评分的组内效应(F>341.219,P<0.001)、组间效应(F>21.705,P<0.001)和交互效应(F>3.171,P<0.05)均显著;FMA-UE评分的组内效应(F=520.472,P<0.001)和组间效应(F=41.939,P<0.001)显著,交互效应不显著(P>0.05)。治疗后,各项指标均为联合组最优(P<0.05)。结论绳带辅助PNF训练联合绳带辅助脑机BCI训练能进一步促进脑卒中偏瘫上肢运动功能障碍患者的恢复,提高其日常生活能力。

前庭康复治疗对脑卒中Pusher综合征患者躯干控制及平衡功能的影响

目的:观察前庭康复治疗对脑卒中Pusher综合征患者躯干控制及平衡功能的影响。方法:选取2017年2月至2018年5月在广西医科大学第二附属医院住院治疗的脑卒中伴Pusher综合征患者40例,将患者分为观察组(20例)和对照组(20例)。两组均接受常规康复治疗,观察组同时接受前庭康复治疗。选用躯干控制试验(TCT)、Burke倾斜量表(BLS)、Fugl-Meyer量表中的平衡部分(FM-B)、改良Barthel指数(MBI)在治疗前、治疗4周后分别进行评定;同时记录开始治疗后患者达到Ⅱ级坐位平衡与Ⅱ级站立平衡所需时间。结果:治疗前,两组BLS、TCT、FM-B评分及MBI比较,差异均无统计学意义(均P>0.05);观察组治疗后BLS评分明显低于治疗前及对照组,TCT、FM-B评分及MBI明显高于治疗前及对照组(均P<0.05或P<0.01)。观察组患者达到Ⅱ级坐位平衡与Ⅱ级站立平衡所需的时间均明显短于对照组(均P<0.01)。结论:前庭康复治疗可有效改善脑卒中后Pusher综合征患者躯干控制和平衡功能,并能加快其恢复的进程,缩短治疗周期。

并行计算模型GAMMA概述

程序设计中的并行性可以区分为逻辑并行性和物理并行性,前者是一种程序构造工具,它通过任务复合来描述程序;后者涉及实现技术,它关心的是任务如何在处理器集合上的分配。本文将介绍一种新的并行计算摸型GAMMA,其使用多重集转换技术,允许在较高的抽象层次上开发逻辑并行性,已被证明是一种有效的并行程序构造方法。

本体感觉神经肌肉促进疗法技术联合早期康复训练对ICU获得性肌无力患者的治疗效果

目的 探讨本体感觉神经肌肉促进疗法(PNF)技术联合早期康复训练对ICU获得性肌无力(ICUAW)患者的治疗效果。方法 采用随机数字表法将60例ICUAW患者分为对照组和观察组,各30例。在常规支持治疗的基础上,给予对照组早期康复训练,给予观察组PNF技术联合早期康复训练,两组的治疗时间均为3周。比较两组患者治疗前后的英国医学研究理事会(MRC)评分总分、ICU患者生理机能测试(PFIT)量表评分,以及机械通气时间和ICU住院时间。结果 治疗后,两组患者的MRC评分总分和PFIT量表评分较治疗前提高,且观察组的上述评分高于对照组(P<0.05)。观察组的机械通气时间和ICU住院时间短于对照组(P<0.05)。结论 采用PNF技术联合早期康复训练可改善ICUAW患者的肌力和生理机能,缩短机械通气时间和ICU住院时间,效果优于单纯的早期康复训练。

线性逻辑、Petri网和并发计算

1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态逻辑(logic of situation),或者是一动作逻辑(logic of action),强调系统的动态特征与并发计算紧密相关。结构规则的去除自然在 LL 中导致了两种类型的连接词:乘性连接词和加性连接词,

性质继承的线性逻辑表示和推理

本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题.

线性逻辑导论

1.从古典逻辑到线性逻辑1986年,法国巴黎第七大学 J。Y.Gi-rard 教授在研究二阶λ-演算的指称语义时发现古典逻辑中的隐含连接词 A(?)B 可以分解成更基本的线性运算!A(?)B,在此基础上,一个与证明论及计算机科学密切相关的新型逻辑系统——线性逻辑(LL)诞生了。由于古典逻辑缺乏切实的方式把证明看成算法,因此是不可构造的,除了不存在任何非平凡的指称语义外,矢列演算中 Cut 的消去也不满足 CR 性质。为了避免这些缺点,

并发函数式语言CM的设计及实现

使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值，因此无需显式的并行结构来管理并行性，且可以非常方便地在并行计算机体系结构上实现，程序正确性的证明也相对简单。但一般说来在函数式语言并行实现过程中所开发的是细颗粒度的并行性，它的管理开销较大。本文在纯函数式语言Ｍｉｒａｎｄａ中引入两个并行进程构造子，它们的使用使得在粗颗粒度上管理并发进程的产生、执行、通讯、同步成为可能，从而提高了程序的执行效率。

软件规范

规范(specification)的目的是提供一个标准,用以引导和评价软件系统的设计、实现和维护。本文从术语“规范”的定义出发,讨论一个良好的软件规范必须具备的性质,分析了形式规范、半形式规范和非形式规范的优缺点,给出了一些典型的规范系统的分类及相互间的关系。

面向Agent的多范例语言I^＊的设计与实现

讨论在 I+上进一步引入刻划 agent间通信所必需的原语及基于 HTTP的中间件而形成的面向 agent的多范例语言 I* .在 I*中引入了一些处理 agent的原语 ,它们来自 Shoam的 AOP和Finin的 KQML.I*的实现策略是将 I*转换为 I+加上 KAPI提供的支持 agent间通信的库函数调用 .KAPI提供 agent间的传送和通信界面 ,支持的协议有 TCP/IP、HTTP。

PCC技术的应用和改进

随着基于Ｉｎｔｅｒｎｅｔ的分布式计算的兴起，如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一．由Ｎｅｃｕｌａ和Ｌｅｅ提出的自带证明代码（ＰＣＣ）概念被认为是一种可行的技术，文中研究ＰＣＣ技术所涉及的技术问题，分析比较了ＰＣＣ和其他安全技术的适应性，指出了该技术的优点和限制，提出了相应的改进措施，探讨了其在远程高性能并行计算及可移动代码迁移系统中应用的可能性．

非单调性和不一致性的处理——一个基于线性逻辑的方法

本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。

高阶GAMMA中并行复合算子的定义

讨论了高阶ＡＡＭＭＡ中并行复合算子的定义．用一个反例说明原先定义的缺陷，在给出修改后定义的同时，证明了新定义的正确性．

一个新的证明网定义及合理性

本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比，使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ），并且在证明所定义的证明网是可矢列化时更加自然和简单．

交互作用网理论分析

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.

线性逻辑和逻辑式程序设计

所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如 PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从证明论角度出发,研究 PROLOG 目标求解成功或失败的公理化,并说明对任一给定的程序 P,可定义一个线性理论 LT(P),关于该理论,PROLOG 目标求解是正确且完备的。

谐振治疗对脑卒中偏瘫上肢痉挛和运动功能的影响

目的:观察谐振治疗对脑卒中偏瘫上肢痉挛和运动功能的影响。方法:将60例脑卒中偏瘫上肢功能障碍患者随机分为治疗组和对照组各30例。2组均给予常规肢体康复功能训练,治疗组在常规训练同时给予谐振治疗。2组患者均于治疗前和治疗8周后分别给予改良Ashworth评级(MAS)、简化Fugl-Meyer运动功能评分(FMA)及改良Barthel指数(MBI)评分,比较2组疗效。结果:治疗后,2组MAS评级、FMA评分及MBI评分均较治疗前有改善(P<0.05),治疗组优于对照组(P<0.05)。结论:谐振治疗有助于减轻脑卒中患者偏瘫上肢痉挛及改善偏瘫上肢运动功能。

网格计算综述

网格计算是新型的分布计算技术,是解决复杂度越来越高的新应用的重要方法。文章简述了网格计算的定义、特点(grid computing)和基本结构,着重讨论了几个代表性的网格系统,分析了当前研究中存在的问题及发展趋势。

法舒地尔联合康复训练治疗脑梗死后血管性痴呆

目前，血管性痴呆尚无特效治疗，临床上多采用改善脑循环、促智药物及预防脑血管病复发药物，使其认知障碍尽可能保持稳定，针对性地康复训练对血管性痴呆的恢复具有一定的促进作用。盐酸法舒地尔属于新型的Rho激酶抑制剂，能够舒张血管平滑肌，改善缺血区血流量，有助于改善炎症反应，对血管性痴呆患者智能及日常生活能力有改善作用。本研究观察盐酸法舒地尔联合康复训练治疗脑梗死合并血管性痴呆的临床效果。