基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.     

酚酞片致过敏性休克一例

患者女,61岁,因反复腹痛,腹胀2年余,再发加重2 d,以"腹痛、腹胀查因"收住消化科.既往有慢性胃炎病史,无药物及食物过敏史.入院查体:T 37℃,BP 140/70 mm Hg,心肺查体无阳性体征,腹平软,脐周及左下腹压痛,无反跳痛及肌紧张,肝脾未及,未扪及包块,腹部移动性浊音阴性,肠鸣音3次/min.心电图示:窦性心律,正常心电图.超声:肝胆胰脾双肾未见异常.     

α1b干扰素联合苦参素治疗慢性乙型肝炎疗效观察

目的评价α1b干扰素联合苦参素治疗慢性乙肝的疗效。方法将88例慢性乙型肝炎患者随机分为两组．治疗组44例,应用α1b干扰素500万单位肌内注射,每日1次,2周后改为隔日1次,苦参素胶囊200mg,每日3次,疗程6个月;对照组44例,应用苦参素胶囊200mg,每日3次,疗程6个月,观察两组的肝功复常率、HBeAg阴转率及HBV DNA阴转率。结果治疗组与对照组比较其肝功复常率、HBeAg阴转率、HBV DNA阴转率分别为93．18％、63．64％、70．45％和86．36％、13．64％、11．36％。结论α1b干扰素联合苦参素治疗慢性乙肝有较好的疗效,其HBeAg阴转率及HBV DNA阴转率均明显优于单用苦参素组,但因本组例数少,值得临床进一步研究应用。     

大剂量泮托拉唑持续静滴治疗急性非静脉曲张性上消化道出血疗效观察

急性非静脉曲张性上消化道出血包括胃、十二指肠溃疡出血及急性糜烂性出血性胃炎、胃癌出血等,是上消化道出血的常见原因,是消化系统常见的急症,病情危重,病死率高,迅速有效的止血是治疗的关键。泮托拉唑为第3代质子泵抑制剂,目前已广泛地应用于上消化道出血的治疗。我院应用大剂量泮托拉唑持续静滴治疗急性非静脉曲张性上消化道出血取得了满意的疗效。现报道如下。     

早期肠内营养治疗急性胰腺炎的临床研究

目的分析早期肠内营养治疗急性胰腺炎的疗效。方法采取随机数字表法将我院在2016年3月至2017年6月收治的68例急性胰腺炎患者分为甲乙两组,各34例,分别给予早期肠内营养和肠外营养治疗,对比两组患者的疗效。结果甲组患者aPacHe-Ⅱ评分明显低于乙组,甲组患者并发症发生率(29.4%)明显低于乙组(55.9%),住院时间明显短于乙组,两组对比P0.05;两组患者病死率相比P 0.05。结论对急性胰腺炎患者给予早期肠内营养治疗可取得较好的疗效,能显著改善其预后情况,值得推广。     

兰索拉唑联合黛力新治疗慢性非萎缩性胃炎的疗效观察

目的探讨质子泵抑制剂兰索拉唑联合黛力新治疗慢性非萎缩性胃炎的临床疗效。方法 118例慢性非萎缩性胃炎的患者随机分为两组,对照组患者给予兰索拉唑治疗,治疗组患者给予兰索拉唑和黛力新治疗。疗程均为4周,分别予治疗后1周、4周通过症状及焦虑和抑郁评分表计分判断疗效。结果治疗4周后,对照组总有效率81.8%,治疗组总有效率91.7%,差异有统计学意义(P<0.05)。焦虑抑郁评分两组差异有统计学意义(P<0.05)。结论兰索拉唑联合黛力新是治疗慢性非萎缩性胃炎伴抑郁和(或)焦虑状态的有效方案。