云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=微分代数程序 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

一种基于微分代数动态逻辑的CPS建模与验证方法被引量：1: 《计算机研究与发展》2013年第4期700-710,共11页陈乔乔李必信吉顺慧; 国家自然科学基金项目(60973149);高等学校博士学科点专项科研基金项目(20100092110022);江苏省高校科研成果产业化推进项目(JHB2011-3); 随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑...; 关键词：信息物理融合系统微分代数动态逻辑 HybridUML 微分代数程序验证

全选清除导出

共1页<1>