基于时间自动机的AADL端到端流规约验证方法

体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具,可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而,AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果,尤其是对于资源动态分配的实时系统。为解决结果不精确的问题,可结合基于系统有穷状态空间遍历的模型检验方法。首先,将实时系统AADL模型转换为时间自动机(TA)模型,以TA为理论体系进行模型检验。其次,基于反应链的需求分类定义端到端延迟需求表达模式。最后,给出对应需求模式的观察者模型,与系统模型并行组合,优化模型验证的时空资源消耗。

应用Delphi开发视频语音聊天软件

微软为程序开发人员提供了一个专门用于视频捕捉的VFWSDK(Videofor Windows SDK)软件包,用它在开发视频聊天软件更是事半功倍,本文介绍的就是如何利用Delphi,在VFW的基础上开发一个简单实用视频聊天软件。

开展优质护理示范工程活动对患者满意度调查的影响

目的探讨开展＂优质护理服务示范工程活动＂（以下简称＂活动＂）对患者满意度的影响。方法选择丰都县人民医院2010年3~12月开展和未开展＂活动＂病区各2个的840例住院患者作为调查对象,采用卫生部统一制定的住院患者满意度调查表,比较开展和未开展＂活动＂患者满意度情况。结果开展＂活动＂后各项护理措施（包括生活护理）较前明显完善,住院患者总体满意度提高。结论开展＂活动＂有利于提高患者对临床工作的满意度,缩短了患者平均住院日,发现安全隐患,将医疗纠纷消除在萌芽状态之中,减少医疗纠纷的发生,同时也提高了护理人员的自身价值。

WAP-8294A类抗生素及其高效合成的研究进展

WAP-8294A是从Lysobacter sp.发酵液中分离得到的环状脂肽类抗生素。其主要产物WAP-8294A2(lotilibcin)对耐甲氧西林金黄色葡萄球菌(MRSA)具有强抑制活性,该类化合物通过选择性识别存在于革兰阳性细菌细胞质膜中的甲基萘醌(MK),破坏细胞膜来杀死细胞,但其低产量限制了工业化生产。本文综述了近年来WAP-8294A类抗生素的研究进展,重点介绍了该类化合物的起源及生物合成;活性靶点及其构效关系;产量提高策略。为后续探索WAP-8294A类抗生素大规模生产的最适条件及设计其高活性衍生物奠定基础。

阴道炎患者由门诊专科护士行阴道塞药治疗效果观察

阴道炎症是妇科常见病,各年龄均可发病,一般分为非特异性、真菌性、阴道毛滴虫性及老年性4种。19世纪80年代以来,女性生殖道炎症在世界广泛进行,发患者数逐年增加。在美国每年有1 200万女性生殖道炎症患者[1],近几年我国患病率也有上升趋势,约占妇科门诊患者的1/3左右[2]。其治疗口服用药的同时辅以阴道用药,阴道局部用药非常重要,因此,规范阴道塞药,对提高治愈率,降低复发率具有重要意义,从而提高女性患者的生活质量[3]。

健康教育干预对肺结核患者知识认知程度及生存质量的影响

于肺结核患者护理中采用健康教育干预,研究干预后患者的疾病知识认知度以及对患者生存质量的影响作用。方法:以我院在近一年内收治的肺结核患者60例为研究对象,进行对照研究,比较两组患者对肺结核的认知率以及生存质量(生理功能、心理功能、独立能力、社会能力)。结果:观察组患者对肺结核的认知率为96.7%(29/30),对照组患者的对肺结核的认知率为73.3%(22/30),差异有统计学意义(P<0.05);观察组患者的生理功能、心理功能、独立能力、社会能力评分分别为:(33.62±8.29)分,(23.64±6.45)分,(30.54±6.23)分,(23.79±6.42)分,优于对照组患者P<0.05,差异具有统计学意义。结论:采用健康教育干预模式护理肺结核患者,患者能够深层次了解肺结核,从而提升其治疗依从性,提升生存质量,值得推广。