自动交替承托侧翻床分散和减少体压及预防褥疮的应用研究

目的：探讨自动交替承托侧翻床对受试者体压的影响及预防褥疮的临床效果。方法：以压力测定系统量测10例受试者平卧状态头、肩胛和骶尾部的压力分布．同时观察38例骨折患者皮肤灼热感、发红和褥疮发生率，以同期34例骨折患者用普通病床护理作对照。结果：该方法测得的压力均集中在头、肩和骶尾部，受试者交替承重时。头、肩、骶尾部介面最大压力分散，与平卧时比较，差异有极显著性（P〈0．01），最大压力值改变在30～80mmHg左右；实验组骨折患者受压处皮肤完好无损。无发红，无灼热，无褥疮，与对照组比较。差异有显著性（P〈0．05）。结论：自动交替承托侧翻床可使承托点变换．在褥疮好发的骨隆突部位因“桥枕”作用而使压力降低．实现体压均匀变换和分布，改善血液循环。达到预防褥疮的目的。

自动交替承托侧翻床防褥疮作用研究

[目的]评估自动交替承托侧翻床是否能成为长期卧床病人防褥疮的理想护理设备。[方法]用压力测定系统测量16例受测者仰卧位时头至臀部的压力分布,依照平卧承托Ⅰ、平卧承托Ⅱ交替切换承托点,检测承托点压力变化情况。[结果]测得的压力均集中在头枕区、肩胛区和骶尾区,且自动交替承托时,压力点有明显移动,压力值改变,压力值改变最大达10.87kPa;两种平卧承托位头枕区、肩胛区及骶尾区界面压力比较,均有统计学意义(均P<0.05)。[结论]应用该设备可使承托点变换而使卧床者消除背部压力点长时间集中,实现背部压力点变换,恢复原受压部位血循环,达到防褥疮目的。

一种自动交替歇运行电路

本文介绍了一种可以使双机组自动交替工作,又分别间歇工作的控制电路。主要用于具有备用机组的气泵等系统中,以解决因备而不用造成的死机问题。

亚对数空间限定的多墨水点交替式下推自动机的闭包属性

交替式下推自动机是并行计算的一种模型,它的空间计算复杂性研究对于解明并行算法的内存消耗具有重要意义。复杂性语言族的闭包属性反映了具有一定复杂性空间的并行计算模型之间的组合关系。论文研究仅有全称状态的交替式下推自动机的闭包属性,这些自动机均具有多个墨水点和亚对数限定的存储空间.通过设立巧妙的证人语言,本文使用反证法证明了具有有限多个墨水点的仅有全称状态的交替式下推自动机在星号、保持长度的同态、以及与正则语言的连结等运算下是不封闭的。

有无1墨水点亚对数空间限定交替式下推自动机之间的关系

该文引入 1墨水点 2方向交替式下推自动机 ,它是 1个具有额外能力的 2方向交替式下推自动机 ,能够用 1个墨水点在输入带上标记出最多 1个单元格。对具有 1个墨水点的和没有墨水点的亚对数空间限定交替式下推自动机之间的关系进行研究。实例证明了具有

一类交替的ω－有穷自动机

本文提出了一类交替的ω－有穷自动机（ω－ＵＡＦＡ），并采用了构造方法证明了ω－ＵＡＦＡ和简单的ω－ＵＡＦＡ在Ｃ＿１、Ｃ＿２、Ｃ＿５和Ｃ＿４接受条件下的等价性。

格值交替树自动机

交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.

住宅小区供水系统方案设计

结合某住宅小区的实际情况和规划设计,经过技术经济比较确定了供水方案。小区小高层区采用集中泵房竖向分区给水,配备高效全自动交替变频供水设备,节省了泵房一次性投资和能耗,同时提高了供水可靠性。

基于嵌套树的对等博弈应用研究

进行了软件系统性质验证研究。首先提出了用嵌套树表示软件程序的方法,以解决软件系统的抽象表示问题,该方法能在表示程序顺序结构的同时,更好地表示调用返回关系。然后定义了嵌套树上的μ-演算,以便将要验证的需求性质用公式表示,并把公式转化成非确定对等嵌套树自动机。最后将自动机与嵌套树结合,转化形成博弈图,并用对等博弈条件来判断博弈的输赢,这等同于检验验证公式是否在嵌套树上成立。相比直接验证,这种判定方法表达更为直观,且更有利于整个过程的自动化。研究表明,将嵌套树中的调用关系展开可形成概要标签树,嵌套树的对等博弈理论也可以应用到概要标签树中。

一款复合模切机控制系统的开发设计

复合模切机电气控制系统就是根据卡纸/瓦楞纸共机生产的结构特点和工艺要求,重新设计了传统模切机控制系统的平台和程序架构,除满足机器的功能需求和操作便利性外,还从设计角度提高了机器的安全性、可维护性和电气易装配性,并预留了将来连接自动物流系统的功能架构和扩展性。

APTL公式的可满足性检查工具

交替投影时序逻辑(alternating projection temporal logic,简称APTL)公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描述的性质,而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在验证系统是否满足所给的APTL公式所描述的性质之前需要检查公式的可满足性.根据检查APTL公式的可满足性的方法,开发实现了工具APTL2BCG.具体细节如下:首先,利用公式P的范式构造P的标记范式图(labeled normal form graph,简称LNFG);然后,将LNFG转化为广义的基于并发博弈结构的交替Büchi自动机(generalized alternating Büchi automaton over concurrent game structure,简称GBCG);最后,将GBCG转化为基于并发博弈结构的交替Büchi自动机(alternating Büchi automaton over concurrent game structure,简称BCG)并且化为最简形式并检查公式P的可满足性.

论形态音位学

1.问题的提出 1 自从乌瓦申1927年提出“形态音位”,特鲁别茨科伊1929年提出形态音位学以来,学术界一直意见纷纭,莫衷一是,令人觉得这些语言现象犹如一团理不清的乱麻。有人说这是“最有争议的语言和语言学领域”〔12,8〕有人甚至稍带夸张地说,形态音位学“是现代语言学中用得最混乱的术语,没有哪两种观点把它用于相同的意义”〔17,226—7〕。