潘海玉
- 作品数：15 被引量：28H指数：4
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 基于模糊逻辑的几类Kripke结构之间的关系被引量：3
- 2013年
- 根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。
- 潘海玉张敏陈仪香
- 关键词：KRIPKE结构形式化验证模糊逻辑计算树逻辑
- 不确定型模糊Kripke结构的计算树逻辑模型检测被引量：9
- 2018年
- 本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词?_(sup),?_(inf)和_(sup),_(inf),分别用于替换存在量词?和任意量词.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式?_(sup)pUq,_(sup)pUq,?_(inf)pUq和_(inf)pUq分别给出时间复杂度为对数多项式时间的改进算法.
- 范艳焕李永明潘海玉
- 关键词：计算树逻辑模糊逻辑KRIPKE结构时态逻辑
- 模糊推理三I算法的连续性和逼近性被引量：3
- 2008年
- 三I算法是一种新的模糊推理方法,可以作为传统的模糊推理方法的修改和补充。系统地研究了三I支持度算法和反向三I支持度算法的连续性问题,并指出了基于一些常用的蕴涵算子的三I算法具有逼近性。此结果对构建模糊控制系统和模糊专家系统时选用三I推理算法具有一定的指导作用。
- 潘海玉裴道武黄阿敏
- 关键词：三I算法模糊推理模糊专家系统
- 量化交替转换系统的模拟关系
- 2017年
- 在形式化方法中,交替转换系统是一种重要的刻画开放系统的形式化模型。为了满足对开放系统量化验证的需要,提出量化交替转换系统模型,引入一种量化模拟关系来衡量系统上状态之间的近似关系,并研究了这种模拟关系的基本性质。研究结果表明,量化模拟关系是交替转换系统上的模拟关系的自然扩展形式。
- 汪国武郦丽潘海玉
- 量化转换系统的格值语言包含关系
- 2016年
- 近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。
- 汪国武沈应兄潘海玉
- 关键词：形式化验证模糊自动机完备剩余格
- 大数据下系统行为的智能分析研究
- 孙玲芳朱辉生周爱平潘海玉于航李生
- 所属科学技术领域：数据挖掘与人工智能。主要科技内容：作为继云计算、物联网之后IT产业又一次颠覆性的技术革命，大数据得到了世界各国的高度重视，各国政府均从国家战略层面推出了大数据分析的研究规划。大数据分析的前沿研究方向主要...
- 关键词：
- 《数据结构》课程教学改革探索
- 2014年
- 数据结构课程是计算机类相关专业重要的核心专业课之一,本文针对数据结构课程教学过程中存在的问题,就如何改革教学内容,加强实践实验教学,引入案例分析与设计,在激发学生学习兴趣的同时,培养学生主动学习意识和创新意识,取得了良好的教学效果.
- 潘海玉严楠
- 关键词：数据结构教学改革教学方法
- 不确定型多值Kripke结构的模型检测被引量：1
- 2016年
- 多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结构的规范语言,给出一种多项式时间的模型检测算法。研究结果表明本文提出的模型检测技术适用于具有不确定行为的多值系统的自动验证。
- 郦丽沈应兄潘海玉
- 关键词：计算树逻辑模糊自动机DEMORGAN代数
- 基于一族蕴涵算子的对偶三I算法
- 2009年
- 三I算法是一种新的模糊推理方法,是传统的模糊推理方法的修改和补充。三I表达式取最小值时的最优解算法(即对偶三I算法)是三I算法思想的延伸和完善。本文针对蕴涵算子族Ip,讨论了FMP和FMT问题的对偶三I算法,给出了相应的计算公式,从而也进一步促进了对三I算法的研究。
- 潘海玉裴道武
- 关键词：模糊逻辑模糊推理
- 状态转换系统的格值量化验证方法研究
- 形式化方法是使用数学方法确保计算机软硬件系统的正确性和可靠性.经典的形式化描述和验证方法是在二值逻辑上展开的.近年来,大家开始关注非二值情形的形式化描述和验证方法研究,逐步形成了量化描述和验证方法,包括数值和非数值的形式...
- 潘海玉
- 关键词：形式化验证时间自动机时态逻辑KRIPKE结构完备剩余格
- 文献传递
