期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一种基于微分代数动态逻辑的CPS建模与验证方法 被引量:1
1
作者 陈乔乔 李必信 吉顺慧 《计算机研究与发展》 EI CSCD 北大核心 2013年第4期700-710,共11页
随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑... 随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑对系统安全性进行规约,最后依据微分代数动态逻辑推理规则对CPS进行安全性验证.通过对飞机空中避撞系统的实例研究,表明该方法能够有效地验证避撞策略的正确性,从而保证避撞系统的安全性. 展开更多
关键词 信息物理融合系统 微分代数动态逻辑 HybridUML 微分代数程序 验证
下载PDF
基于DATL的信息物理融合系统安全性建模与验证 被引量:1
2
作者 周颖 段鹏飞 +1 位作者 翟小祥 李必信 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2017年第1期12-17,共6页
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模... 为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模型的DAP和DATL语法,给出了DAP的迹语义和DATL语义,在继承d TL和DAL规则的基础上新增了6个规则.通过对飞机避撞系统安全性的规约和验证,检验了DATL的有效性. 展开更多
关键词 信息物理融合系统 属性验证 微分时序动态逻辑 微分代数动态逻辑 微分代数时序动态逻辑
下载PDF
A SURVEY ON SEMI-TENSOR PRODUCT OF MATRICES 被引量:14
3
作者 Daizhan CHENG Hongsheng QI Ancheng XUE 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2007年第2期304-322,共19页
Semi-tensor product of matrices is a generalization of conventional matrix product for the case when the two factor matrices do not meet the dimension matching condition. It was firstly proposed about ten years ago. S... Semi-tensor product of matrices is a generalization of conventional matrix product for the case when the two factor matrices do not meet the dimension matching condition. It was firstly proposed about ten years ago. Since then it has been developed and applied to several different fields. In this paper we will first give a brief introduction. Then give a survey on its applications to dynamic systems, to logic, to differential geometry, to abstract algebra, respectively. 展开更多
关键词 Abstract algebra differential geometry dynamic systems LOGIC semi-tensor product
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部