【摘 要】
：
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统
论文部分内容阅读
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述.
其他文献
对热湿交换过程进行质量与能量衡算,建立逆流板式蒸发冷却器传递过程的微分方程组。借鉴Braun的方法,引入空气湿球比热与湿球换热系数,对湿空气饱和线作线性化假设,推导得到
阅读,是运用语言文字获取信息、认识世界、发展思维、获得审美体验的重要途径。因此,它是幼小衔接最重要、最基础的内容。
转化是一种灵活的思维形式,它能从不同的角度和侧面去分析问题的数量关系,达到正确、迅速解题的目的。解答小学数学较条件比较隐蔽、数量关系错综复杂的应用题,灵活运用“转
本文以新时代为背景,深入探讨了河南省大学生互联网创业中遇到的问题和困难,进而提出科学有效的优化河南省大学生互联网创业的特有路径,从而提升河南省大学生互联网创业的能
新冠疫情期间,线上教学开启了最特殊的一学期。如何在线上教学中激发学生的思考,在不能出门的情况下让学生体验数学,并利用已学的数学知识和思维去思考实事,成为教学思考的一
“微”软件主要指新兴的网络软件,如“微信”“钉钉”“抖音”“QQ”等,这些软件功能颇多,资源丰富,深受当代小学生喜爱。疫情期间,“云课堂”成为师生教学互动的主要形式,教
语文是一门工具性和人文性很强的学科。语文学习不仅要掌握基础知识,更应重视人文发展。现在很多初中生冷漠、麻木,不懂得感恩,不明白孝敬。鉴于此,语文学科更应充分发挥人文
小学科学新课程标准的实施对科学课程的学业评价带来了新的契机,传统的测评试题难以针对学生科学素养的发展做出有效评价。只有围绕新的课程标准,将科学素养作为评价的主要内
随着经济和技术的迅速发展,多媒体开始应用于我国的教育领域,这其中就包括小学语文教学,并因其独特性有了突出的表现。将多媒体应用于小学语文教学具有明显的效果,在小学语文
现代教育心理学研究表明,学生的个别差异是客观存在的,主要有:认知方面的个别差异,包括智力和认识结构差异;性格类型的差异;气质类型的差异;能力方面的差异,包括一般能力和特