您的位置： 专家智库 > >

陈波

作品数：3 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
相关领域：理学自动化与计算机技术自然科学总论更多>>

合作作者

文献类型

  • 3篇国内会议论文

领域

  • 2篇自动化与计算...
  • 2篇理学
  • 1篇自然科学总论

主题

  • 1篇等价
  • 1篇等价关系
  • 1篇硬件
  • 1篇硬件系统
  • 1篇知识表示
  • 1篇泛系
  • 1篇泛系理论
  • 1篇高阶逻辑
  • 1篇PROMEL...
  • 1篇SYSTEM...
  • 1篇CFL
  • 1篇CHECKE...
  • 1篇FORMAT...
  • 1篇粗糙集
  • 1篇粗集
  • 1篇粗集模型

机构

  • 3篇兰州大学
  • 1篇兰州工业高等...

作者

  • 3篇陈波
  • 2篇李廉
  • 1篇林和
  • 1篇刘莹
  • 1篇吴孝军
  • 1篇章超
  • 1篇赵锡英
  • 1篇李永礼
  • 1篇李彩虹
  • 1篇王晓艳
  • 1篇孙守卿

传媒

  • 1篇第十一届中国...
  • 1篇中国电子学会...

年份

  • 1篇2006
  • 2篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
硬件系统SystemCFL模型的SPIN验证
1 引言随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新技术。形式化验证方法包括算法验证、属性验证和等价性验证等方法。我们的研究领域为属性验证。属...
李彩虹李廉章超孙守卿吴孝军陈波
关键词：SYSTEMC
文献传递
基于泛系的广义系统粗集模型
粗糙集理论是一种较新的软计算方法,同时也是粒度计算的三大主要模型之一,可以有效的分析和处理不完备信息.本文借助于泛系理论中的广义系统的概念,对粗集中的知识表示进行了扩充,并在此基础上提出知识的层次和相对性因子,从而建立一...
王晓艳刘莹陈波林和李永礼
关键词：粗糙集泛系理论知识表示
文献传递
高阶逻辑中关系理论的表示
一个集合上的数学关系可以简化一个代数系统.所以它是形式化方法中的一个重要概念.HOL系统是基于传统高阶逻辑的交互式定理证明环境.在HOL中可以方便的对一个系统及系统的性质进行描述,但是证明结果的正确性需要用户参与.本文给...
赵锡英李廉陈波李彩红
关键词：等价关系高阶逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0