汪国武
- 作品数：4 被引量：0H指数：0
- 供职机构：安徽工程大学计算机与信息学院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金安徽省优秀青年科技基金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 量化交替转换系统的模拟关系
- 2017年
- 在形式化方法中,交替转换系统是一种重要的刻画开放系统的形式化模型。为了满足对开放系统量化验证的需要,提出量化交替转换系统模型,引入一种量化模拟关系来衡量系统上状态之间的近似关系,并研究了这种模拟关系的基本性质。研究结果表明,量化模拟关系是交替转换系统上的模拟关系的自然扩展形式。
- 汪国武郦丽潘海玉
- 量化转换系统的格值语言包含关系
- 2016年
- 近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。
- 汪国武沈应兄潘海玉
- 关键词：形式化验证模糊自动机完备剩余格
- 带空移动的加权有限自动机量化等价及其转换
- 2016年
- 在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题,提出量化等价的概念,并研究如何将一个带空移动的加权有限自动机转换为一个与之量化等价的不带空移动的加权有限自动机。研究结果表明:这两者是量化等价的。
- 汪国武
- 关键词：形式化验证
- Java Web教学中应用机房授课的项目驱动教学
- 2017年
- 在Java Web课程教学过程中应用机房授课的项目驱动教学法,通过及时实践巩固所学的理论知识,激发学生的学习兴趣和主观能动性,培养学生自主学习的能力,项目驱动教学强化了理论在实际中的应用,提高学生分析问题和解决问题的能力。经过多年实践,取得了较好的教学效果。
- 汪国武汪军
- 关键词：机房授课项目驱动教学JAVAWEB教学改革
