您的位置： 专家智库 > >

张会萍

作品数：1 被引量：0H指数：0
供职机构：青岛科技大学信息科学技术学院更多>>
发文基金：山东省高等学校科技计划项目山东省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇安全苛求系统
  • 1篇安全性
  • 1篇PETRI网

机构

  • 1篇青岛科技大学

作者

  • 1篇曹玲
  • 1篇殷文文
  • 1篇江峰
  • 1篇杜军威
  • 1篇张会萍

传媒

  • 1篇山东大学学报...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于图形转换的组合状态安全性验证技术
2014年
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出了组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证。
杜军威江峰张会萍曹玲殷文文
关键词：PETRI网安全苛求系统
全选 清除 导出
共1页<1>
聚类工具0