CORC

在结果中检索

CORC

浏览/检索结果: 共28条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于AADL和Simulink/Stateflow的混成系统图形化建模与仿真 学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者:  占浩澜
收藏  |  浏览/下载：11/0  |  提交时间：2020/06/17
安全攸关嵌入式系统代码自动生成技术研究 学位论文
博士, 北京: 中国科学院大学, 2018
作者:  严高高
收藏  |  浏览/下载：15/0  |  提交时间：2018/06/13
基于可能性时空混成自动机的CPS软件建模 期刊论文
2018, 卷号: 41, 期号: 5, 页码: 173
作者:  彭姣[1];  耿生玲[1,2];  童英华[1,2];  宫海彦[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
混成型生态防护系统探究及在防治坡面落石灾害的应用方案 期刊论文
2017, 卷号: 0, 期号: 1, 页码: 30-39
作者:  刘四昌;  陈紫云;  徐华
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/13
基于可能性混成自动机的CPS建模方法 期刊论文
2016, 卷号: 21, 期号: 1, 页码: 101
作者:  陈娜[1,2];  耿生玲[1];  李永明[3];  张胜礼[3,4]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
混成CSP的概率与随机扩充 学位论文
硕士, 北京: 中国科学院大学, 2015
彭宇
收藏  |  浏览/下载：13/0  |  提交时间：2015/06/26
基于微分动态逻辑的数字化反应堆控制系统建模与验证方法 期刊论文
中国安全生产科学技术, 2015, 卷号: 11, 期号: 5, 页码: 40-44
作者:  刘杰;  阳小华;  刘华;  吴取劲;  陈星
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/27
基于不变式的混成系统分析、验证和设计方法研究 学位论文
博士, 北京: 中国科学院大学, 2014
赵恒军
收藏  |  浏览/下载：13/0  |  提交时间：2014/05/28
基于 Craig 插值的线性混成系统符号化模型检测 期刊论文
电子学报, 2014, 卷号: 42, 页码: 1338-1346
作者:  Chen, Zu-Xi[1];  Xu, Zhong-Wei[2];  Huo, Wei-Wei[3];  Yu, Gang[4]
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30
CTCS-3级列车运行控制系统的形式建模 学位论文
硕士, 北京: 中国科学院研究生院, 2012
权曌
收藏  |  浏览/下载：24/0  |  提交时间：2012/05/31

©版权所有 ©2017 CSpace - Powered by CSpace