面向对象程序设计语言EIFFEL的程序正确性验证工具

本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。

面向现代汉语动态流通语料库的html To xml转换工具的设计和实现

分析了目前HTML与XML格式的特点及现有的html to xml转换软件的不足,给出面向现代汉语动态流通语料库的html To xml软件的设计和实现过程.编码过程利用面向对象思想,使用Java编程语言,可以实现跨平台运行.用测试用例对软件做了相应测试,达到了预期效果.

对象式程序的正确性验证方法研究

介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．

急性脑血管病意识障碍81例临床治疗体会

目的:了解急性脑血管病意识障碍的发病规律、临床特点、诊断、治疗、预后,为防治提供依据、积累经验。方法:对我院2004年1月—2008年12月内科收治的232例脑血管病中81例出现意识障碍患者进行统计、研究、分析。结果:81例中嗜睡、意识恍惚14例(占17.28%),昏睡28例(占34.56%),昏迷36例(占44.4%),醒状昏迷1例(占1.23%),治愈34例(占42%),好转21例(占26%),死亡26例(占32%);出血性脑卒中意识障碍35例中死亡16例(占45.71%);缺血性脑卒中意识障碍46例中死亡10例(占21.73%)。结论:急性脑血管病意识障碍发病有逐年上升的趋势,秋末冬初发病率高,主要发病年龄(41～70)岁,出血性脑血管病意识障碍率高、早、死亡率高,缺血性脑血管病出现意识障碍率低、迟,死亡率低。意识障碍除可作为病情判断外,也是估计预后的主要依据。脑血管病与冠心病同为全身性血管退行性疾患。654-Ⅱ对脑血栓患者控制脑水肿,缓解病情有积极意义。

浅析部队5G移动通信发展趋势与若干关键技术

随着4G移动通信技术的普及,人们的生活信息传递越加的便利。在移动通信技术逐渐研发的基础上,4G移动通信模式将用于部队发展需求,因此,对于5G移动通信的研发切实可行。基于此,在本文中针对部队5G移动通信发展趋势进行分析,并且介绍部队5G移动通信关键技术。

硝普钠治疗扩张型心肌病心力衰竭40例疗效分析

目的:观察硝普钠治疗扩张型心肌病(DCM)心力衰竭的疗效。方法:80例DCM患者随机分为治疗组40例和对照组40例,患者均给予休息、吸氧、利尿剂、地高辛、血管紧张素转换酶抑制剂(Angiotensin-converting enzyme inhibition,ACEI)类药物常规处理,存在心律失常,给予相应的抗心律失常治疗,治疗组加用硝普钠。结果:治疗组与对照组相比,其左室射血分数(EF)、心输出量(CO)显著提高,心脏舒张功能指标E峰与A峰比值(E/A)显著上升(P<0.01),心肌耗氧量明显下降。结论:硝普钠治疗扩张型心肌病心力衰竭疗效明显,安全可靠。

41例不稳定型心绞痛的治疗与分析

目的分析研究低分子肝素治疗不稳定型心绞痛的机制和效果。方法在常规应用抗心绞痛药物的基础上加用低分子肝素。结果显效31例，占75．6％；有效8例，占19．5％；无效2例，占．4_9％。总有效率为95．1％（39例）。结论低分子肝素治疗不稳定型心绞痛，疗效显著。

血栓通注射液治疗急性脑梗死的疗效观察

目的观察血栓通注射液治疗急性脑梗死的疗效。方法将80例急性脑梗死患者随机分成两组,治疗组采用血栓通注射液450mg静脉滴注,1次/d,14 d为1个疗程,对照组采用丹参注射液20m l静脉滴注,1次/d,14d为1个疗程,其余治疗相同,比较治疗前后神经功能缺损评分及血液流变学。结果两组有效率、神经功能缺损评分、血液流变学比较均有显著性差异。结论血栓通注射液治疗急性脑梗死有较好的疗效。