王向云
- 作品数：9 被引量：30H指数：3
- 供职机构：天津师范大学计算机与信息工程学院更多>>
- 发文基金：国家自然科学基金天津市高等学校科技发展基金计划项目国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术文化科学更多>>
- 区间值模糊推理的三Ⅰ算法被引量：17
- 2003年
- 模糊推理在控制和人工智能等领域已得到了广泛的应用,但其理论基础还不完善.王国俊教授提出的模糊命题逻辑的形式演绎系统和三 算法为模糊推理奠定了严格的逻辑基础.本文把三 算法用于区间值模糊推理,并且指出一般模糊推理是在区间退化为点时的特殊区间值模糊推理.从而把一般模糊推理纳入于区间值模糊推理的框架之内.
- 王向云
- 关键词：模糊推理区间值模糊推理人工智能
- 区间值模糊推理的三Ⅰ算法
- 该文主要内容如下:第一部分作为预备基础,利用伴随的性质给出一类蕴涵算子的模糊推理的三Ⅰ算法公式.第二部分把三Ⅰ算法用于区间值模糊推理.指出一般的模糊推理是在区间退化为点时的特殊区间值模糊推理.第三部分证明了P-良好状态的...
- 王向云
- 关键词：模糊推理区间值模糊推理逻辑系统
- 文献传递
- 一种基于监控理论的软件设计方法:状态性质变换方法被引量：2
- 2007年
- 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。
- 王向云张文辉王鹏李永超蔡开元
- 关键词：反应式系统软件设计离散事件动态系统
- 基于DES监督控制理论的安全关键系统设计研究被引量：1
- 2006年
- 以矿井水泵的操控系统为实例研究对象,通过对该实例的分析与设计,来阐述如何将离散事件系统(DiscreteEventSystem)的监督控制理论应用于安全关键系统的设计,从而为系统的可靠性设计探索新的方法。
- 王鹏王向云蔡开元
- 关键词：离散事件系统监督控制安全关键系统系统设计自动机
- 区间值模糊推理的FOOL方法的细致化被引量：10
- 2001年
- 给出了FMP的三I解的一般形式 ,证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理 .在分析了规则后件相对于前件的敏感性的基础上提出了 p 敏感参数概念 ,从而定义了 p 综合距离与 ( p θ)相对激活度 .将关于区间值模糊推理的FOOL方法细致化为 ( p θ)算法 。
- 王国俊王向云宋建社
- 关键词：区间值模糊推理单调性存在性
- 基于监控理论的EFSM设计方法被引量：1
- 2009年
- 随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。
- 王向云赵雷蔡开元
- 关键词：形式化方法离散事件系统
- 增量式软件设计方法的条件
- 2008年
- 增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法。首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软件需求的继承性,得到增量式软件设计的一个充分条件:当已经设计的软件需求具有继承性时,可以对新的软件需求采用增量式设计。
- 王向云蔡开元王三民
- 关键词：继承性
- 赋值为R_0-模糊集的逻辑系统被引量：3
- 2001年
- 研究了赋值为 R0 -模糊集逻辑系统 W X 的语义理论 ,得到了若干结果 ,特别是对 W X 而言 ,F(S)中的α-重言式类只有 1 / 2
- 王向云
- 关键词：模糊逻辑R0-代数Α-重言式
- 离散数学线上线下混合式教学改革与实践
- 2024年
- 线上线下混合式教学是一种基于互联网技术和建构主义理论的新型教学模式,近几年已成为高校教学改革的热点方向。而在实践中,一些学生的学习主动性未能被有效激发。以离散数学课程为例,采用“SPOC+雨课堂+微信公众平台”的教学模式,丰富教育资源,制订融入伴随式评价理念的课程评价方案。教学实践表明,课程改革方案的整体教学效果良好,激发了学生的学习积极性,提高了学生的建模分析能力、自主学习能力。
- 梁妍张桂芸王浩丽王向云王全来
- 关键词：混合式教学离散数学
