您的位置： 专家智库 > >

段鹏飞

作品数：1 被引量：1H指数：1
供职机构：东南大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇代数
  • 1篇动态逻辑
  • 1篇信息物理融合...
  • 1篇微分
  • 1篇微分代数

机构

  • 1篇东南大学

作者

  • 1篇周颖
  • 1篇李必信
  • 1篇翟小祥
  • 1篇段鹏飞

传媒

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

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于DATL的信息物理融合系统安全性建模与验证被引量：1
2017年
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模型的DAP和DATL语法,给出了DAP的迹语义和DATL语义,在继承d TL和DAL规则的基础上新增了6个规则.通过对飞机避撞系统安全性的规约和验证,检验了DATL的有效性.
周颖段鹏飞翟小祥李必信
关键词：信息物理融合系统
全选 清除 导出
共1页<1>
聚类工具0