一种新的安全协议形式化验证方法

形式化方法能有效检验安全协议的安全性 ,BAN类逻辑的发展极大地促进了这一领域的研究 ,但是现有的BAN类逻辑仍然存在许多问题 在分析现有BAN类逻辑的基础上 ,提出一种新的安全协议形式化验证方法 ,实现现有BAN类逻辑的验证功能 ,并使安全协议验证工作简单可行 ,便于实现机器自动验证

外资银行进入对我国银行市场结构和效率的影响分析

2006年12月11日,我国金融部门全面对外开放,外资银行进驻中国市场的速度和规模都有显著增加。如何使外资银行的进入更有效的提高我国银行部门的效率,是我国面临的重要问题之一。本文试图在前人研究的基础上,从我国银行业市场结构出发。

《金匮要略》痹证论治探析

机体因风、寒、湿三气杂至而成痹证。可分为风湿表实,风湿表虚,风湿阳虚,寒热错杂等证型,分别治以发汗,利小便,温阳化湿,寒热并用之法。用药应注意辛而不燥,补而不滞,走中寓守,散中有敛。

Ⅰ度或Ⅱ度冻伤民间疗法

北方冬春季节由于气候多变,人们不注意常会发生冻结性伤,易冻部位常为手、足、耳郭,冻伤程度大多为Ⅰ度或Ⅱ度.

宫外孕破裂伴失血性休克在手术室的救治体会

目的探讨宫外孕破裂的诊治。方法总结40例宫外孕破裂患者的抢救体会。结果本组病人无一例死亡,术后无一例心、肺、肾功能衰竭。7d左右都痊愈出院。结论医护人员在宫外孕破裂诊治过程中,必须要有丰富的临床经验,做到动作敏捷,反应迅速,以免造成患者不必要的损失。

胆道手术前后护理

胆道疾病直接影响肝脏功能,因此,胆道手术前后的护理显得尤其重要。本文就胆道手术前后的护理浅谈自己的认识和看法。

在松软岩层中施工大型码头门锁口工程的方法

介绍在松软岩层中施工大型码头锁口工程时,改变传统施工方法,而采用“先拱后墙”法,并取得成功。

食管静脉曲张出血三腔二囊管并药物治疗20例临床体会

目的研究肝硬化门脉高压症患者并发食管静脉曲张破裂出血的临床治疗。方法用者三腔二囊管填塞并口服心得安,静滴西咪替丁等,然后分组做对比观察治疗。结果治疗组止血有效率明显高于对照组。结论三腔二囊管填塞治疗EVB方法简便,效果确切,病人易接受,是首选的方法。为防止再出血,应长期口服心得安,静滴西咪替丁1～2周。

中药药浴治疗肛周湿疹９０例临床疗效观察

湿疹（eczcma）是由多种内外因素引起的一种具有明显渗出倾向的皮肤炎症反应。显然湿疹是皮肤科常见的疾病,但肛周湿疹往往不被人们所重视,我们在2006年6月-2009年7月对90例患者进行中药熏洗、坐浴,取得良好效果,现报告如下：

药物性急性胃粘膜病变30例分析

1993年以来，我院应用内镜诊断口服某些药物所致的急性胃粘膜病变30例，现报告如下。

针刺配合耳穴贴压法治疗酒渣鼻26例

酒渣鼻是一种以鼻部、鼻部两侧，眉间或颊部皮肤出现红斑、丘疹、脓疱为特征的炎症性皮肤病，是由于感染寄生虫-蠕形螨所致。采用针刺肺、胃经荥穴配合耳穴贴压法治疗了26例患者，取得较好的疗效。

脑卒中患者高血压的治疗40例临床分析

对40例并存高血压的脑卒中患者的病情进行综合分析发现，脑卒中患者的高血压由多种因毒铸成。它对脑卒中患者的康复起着举足轻重的作用。

正确对待老药新用

有些老药久考验，已成为临床医生所熟悉和掌握，但是，有些老药的新用途有的还了解不够，本作者通过多年的临床实践和有关资料证明，这些老药即经济且在它新的用途上效果好。