论文部分内容阅读
Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明.
形式化方法——Z语言在西瓜棋中应用的研究
【摘 要】
：
Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需
【出 处】
：
科技广场
【发表日期】
：
2005年2期
其他文献
在介绍一种成本低、抗干扰能力强、能够自动准确抄表收费的电网管理系统的基础上,对系统的构成、设计原理和功能进行了分析,并对系统的设计方案进行了较详细的论述。该系统适
急性心肌梗死（AMI）是危害健康的心血管疾病之一。近年来青年（45岁以下）AMI的发病率不断增加，逐渐受到国内外临床医师的普遍关注。我们对同一时期内我科收治的青年AMI和老年AMI患者
目的探讨血尿酸水平与腔隙性脑梗死（LI）、动脉粥样硬化行血栓性脑梗死（ACI）患者危险性的关系。方法采用全自动化仪检测48例LI患者、44例ACI患者和47例高血压哦对照组患者的尿酸、
目的 探讨新生儿缺血缺氧性脑病(HIE)临床特征.方法 回顾分析2001年1月至2006年12月收治的HIE62例,对其临床表现与病因、辅助检查等相关因素进行分析.结果 显示全部病例均有
本文以共享窗口电影的方式来对Director背景音乐进行播放，通过设置全局变量的lingo脚本来对背景音乐进行控制。
随着多媒体技术和计算机网络技术的发展，网络教学已成为一种新型的教学方式。本文论述了网络环境下CAI课件的特点、系统设计和实现技术。
企业文化是企业特定的文化氛围，价值理念、思维方式与行为方式的统一体，是当代企业管理的最高层次。企业文化在企业管理中的提升作用，国企思想政治工作的裁体作用、品牌建设的升
浙中肿瘤专科医院由东阳市人民医院按三级肿瘤专科医院标准投资建设，2006年8月，经浙江省卫生厅批准成为浙中地区首家地市级肿瘤专科医院。
随着高职院校办学规模的不断扩大，学生素质参差不齐，学生来源更加复杂，道德实践的落实，德才兼备人才的铸造，都有赖于高职院校端正办学导向。我们必须正视高职院校思想道德教育的现