【摘 要】
：
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时
【基金项目】
：
国家教育部重点项目资助 ;武汉大学自强科技创新基金资助
论文部分内容阅读
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 .本文还通过实例说明了该算法在多视点需求工程中的应用
其他文献
介绍家用燃气千衣机和电干衣机的工作原理，对二者进行试验研究。采用除湿速率、除湿能耗比、单位热能除湿量、能源效率和一次能源效率共5个指标，分析比较二者的性能随负载干质
中日甲午战争是近代东北亚国际关系的重大转折张秀兰１８９４～１８９５年的中日甲午战争，不仅是中国近代历史上的重大事件。而且成为东北亚国际关系发生重大变化的转折点。甲午战前，英国和俄国的
目的：探讨POEMS综合征的误诊原因，以减少临床误诊误治。方法：2003—2005年该科收治2例POEMS综合合征，并结合收集的88例POEMS综合征患者临床资料进行分析。结果：POEMS综合征为一少
<正>《语文课程标准》把"写字"的总目标定位为"能正确工整地写汉字,并有一定的速度"。在写字教学实践中,老师们普遍在如何写的漂亮、美观上要求较高。其实,作为小学写字教学
建立了用高氯酸非水滴定法测定γ-（2,3环氧丙氧）丙基三甲氧基硅烷（GPTMS）的新方法,探讨了吸水剂（醋酸酐）、分散剂、亲核试剂（四乙基溴化铵）等条件对滴定结果的影响,并用电位滴定法对
通过实测代表性管段的地下水渗入量,确定了上海市排水系统的管段渗入量的范围.结合发达国家的允许渗入量指标,对上海市排水系统的状况进行了评析,为改善高地下水位地区排水系
本文介绍了热泵系统的节能特性,对比各类干衣机的能耗状况,阐述了将热泵技术应用到干衣机上的特点和优势。
目的总结护士对出院患者护理电话随访(简称电话随访)的经验体会。方法对出院患者进行电话随访,并随机抽取100例进行问卷调查分析。结果患者依从性、对护士角色的认知及满意度
目的 :了解在举证责任倒置的新形势下护士的证据意识状况。方法 :用自行设计的调查表 ,对 2 0 0名护理人员进行问卷调查。结果 :护士的证据意识仍较薄弱 ,难以应对举证责任倒
一个国家的环境政策是国家保护环境的大致方针,直接关系到这个国家的环境立法和环境管理,更直接影响到这个国家的整体环境状况,不同类型的环境政策对企业也产生了各方面的影