翟小祥

作品数：1被引量：1H指数：1
导出分析报告
供职机构：东南大学计算机科学与工程学院更多>>
发文主题：动态逻辑CPS微分代数微分规约更多>>
发文领域：自动化与计算机技术文化科学航空宇航科学技术更多>>
发文期刊：《东南大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DATL的信息物理融合系统安全性建模与验证被引量：1
《东南大学学报（自然科学版）》2017年第1期12-17,共6页周颖 段鹏飞 翟小祥 李必信 
国家自然科学基金资助项目(61572008)
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模...
关键词：信息物理融合系统 属性验证 微分时序动态逻辑 微分代数动态逻辑 微分代数时序动态逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部