论文部分内容阅读
本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方法的特点也作了一些介绍。
分布式实时处理形式开发技术导论
【摘 要】
：
本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方
【机 构】
：
华中理工大学计算机系,华中理工大学计算机系武汉430074,武汉430074
【出 处】
：
计算机科学
【发表日期】
：
1995年6期
【基金项目】
：
国家自然科学基金
其他文献
患者，女，36岁，因右侧腋窝肿块伴疼痛半月，加重5天入院。患者人院前半月出现右肩部沉重不适，右腋窝疼痛并触及一肿块，似小枣样大小，质地较硬，活动度差，明显触痛。患者以往健康，否认传染
目的探讨护理干预对短暂性脑缺血疗效影响。方法将80例短暂性脑缺血分为对照组和治疗组,对照组采用药物治疗和常规护理,治疗组在药物治疗和常规护理的基础上,对短暂性脑缺血
目的比较非洛地平、卡托普利，倍他乐克分别联合用药对老年高血压病的疗效。方法90例患者分为非洛地平和卡托普利（Ⅰ组），非洛地平和倍他乐克（Ⅱ组），卡托普利和倍他乐克（Ⅲ组）3组，观察偶
病例1，某男，6岁，以发热就诊。既往无青霉素过敏病史，过敏体质，易感冒，全身经常有过敏性皮疹出现，以春季多见。以青霉素钠480万单位联合哌拉西林钠2．0g加入5％葡萄糖氯化钠溶液250ml，静脉
目的探讨血浆脑利钠肽浓度在慢性充血性心力衰竭时的变化及临床诊断价值。方法对120例慢性心力衰竭患者（CHF组，NYHA心功能Ⅱ～Ⅳ级）及110例健康体检者（正常对照组），于入院即刻、治疗2
目的探讨长期住院精神病患者的藏药行为发生率及相关因素。方法对109例长期住院精神病患者藏药行为及相关因素进行调查。结果长期住院精神病患者的藏药行为发生率为11．9％，其与精
目的探讨舒利迭治疗慢性阻塞性肺病的作用。方法选择100例慢性阻塞性肺病（COPD）患者为研究对象，并随机分为试验组和对照组。两组均予以常规治疗，试验组在常规治疗基础上加舒利迭
目的探讨TACE术后患者下地活动的合适时间。方法运用观察和问卷调查法,对167例行TACE术的患者术后不同下地活动时间与术后并发症、不舒适感及第1次排尿时间的关系进行研究。
超声造影是近年来发展很快的新技术，对肝内病变特别是微小病灶的检出率较前明显提高。本研究应用新型造影剂SonoVue，探讨超声造影在肝脏各种局灶病变的诊断价值。现就54例进行
目的探讨辛伐他汀对不稳定型心绞痛患者纤溶活性的疗效。方法不稳定性心绞痛患者61例随机分为两组,常规组所有患者在无禁忌证的情况下均口服阿斯匹林、β受体阻滞剂、硝酸酯