您的位置： 专家智库 > >

肖冰冰

作品数：2 被引量：2H指数：1
供职机构：合肥工业大学计算机与信息学院安全关键工业测控技术教育部工程研究中心更多>>
发文基金：安徽省重点科研计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇逻辑验证
  • 1篇动态系统
  • 1篇人工智能
  • 1篇离散事件动态
  • 1篇离散事件动态...
  • 1篇规则库

机构

  • 2篇合肥工业大学

作者

  • 2篇肖冰冰
  • 1篇毕翔
  • 1篇张维勇

传媒

  • 1篇合肥工业大学...

年份

  • 2篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
规则化描述方法及其验证技术的研究与应用
随着信息处理、计算机、机器人等技术的发展，出现了一大批复杂的人造动态系统，这类系统不同子连续变量系统，它自身带有异步与并发特性，称之为离散事件动态系统。这类系统的特点是对象变量、状态数多，运行规则复杂，变更频繁。此时，面...
肖冰冰
关键词：离散事件动态系统人工智能规则库逻辑验证
文献传递
一种基于规则化描述方法的验证技术被引量：2
2010年
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法,并以皮带运输控制系统为实例进行了验证。
肖冰冰张维勇毕翔
关键词：逻辑验证
全选 清除 导出
共1页<1>
聚类工具0