CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
混成系统的安全控制器合成与分析 学位论文
博士, 北京: 中国科学院大学, 2021
作者:  白云军
收藏  |  浏览/下载：19/0  |  提交时间：2021/06/21
基于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
作者:  吴强
收藏  |  浏览/下载：31/0  |  提交时间：2016/12/23
混成型生态防护系统探究及在防治坡面落石灾害的应用方案 期刊论文
2017, 卷号: 0, 期号: 1, 页码: 30-39
作者:  刘四昌;  陈紫云;  徐华
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/13
基于WPSO的电力系统暂态稳定紧急控制 期刊论文
2016, 2016
王义红; 秦晓辉; 周勤勇; 王一兵; WANG Yi-hong; QIN Xiao-hui; ZHOU Qin-yong; WANG Yi-bing
收藏  |  浏览/下载：3/0
基于可能性混成自动机的CPS建模方法 期刊论文
2016, 卷号: 21, 期号: 1, 页码: 101
作者:  陈娜[1,2];  耿生玲[1];  李永明[3];  张胜礼[3,4]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
混成CSP的概率与随机扩充 学位论文
硕士, 北京: 中国科学院大学, 2015
彭宇
收藏  |  浏览/下载：12/0  |  提交时间：2015/06/26
基于微分动态逻辑的数字化反应堆控制系统建模与验证方法 期刊论文
中国安全生产科学技术, 2015, 卷号: 11, 期号: 5, 页码: 40-44
作者:  刘杰;  阳小华;  刘华;  吴取劲;  陈星
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/27

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