QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 智能电网状态估计中错误数据注入攻击检测与防御方法 学位论文 沈阳: 中国科学院沈阳自动化研究所, 2021 作者:  裴超 收藏  |  浏览/下载：31/0  |  提交时间：2021/06/12 智能电网  状态估计  错误数据注入攻击  攻击检测  攻击防御   面向脑电情绪识别的领域自适应方法研究 学位论文 中国科学院自动化所: 中国科学院大学, 2021 作者:  王奕欣 收藏  |  浏览/下载：59/0  |  提交时间：2021/06/21 深度学习  迁移学习  领域自适应  情绪识别  脑机接口   信息物理系统软件的形式建模、验证与分析 学位论文 : 大连理工大学, 2018 作者:  侯刚 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/02 CPS软件  时间状态迁移矩阵  软件可信性保障  限界模型检测  扩展的确定与随机Petri网   基于层次化时间STM软件设计的形式化验证 期刊论文 计算机科学, 2014, 卷号: 41, 页码: 42-46 作者:  周宽久;  任龙涛;  王小龙;  勇嘉伟;  侯刚 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/09 层次化时间状态迁移矩阵  形式化验证  有界模型检测   基于层次化时间STM软件设计的形式化验证 会议论文 2013年全国理论计算机科学学术年会, 天津, 2013-10-11 作者:  周宽久;  任龙涛;  王小龙;  勇嘉伟;  侯刚 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/13 软件设计  形式化验证  层次化时间  状态迁移矩阵   桦木科植物的系统发育和地理分布 学位论文 : 中国科学院植物研究所, 1992 作者:  陈之端 收藏  |  浏览/下载：28/0  |  提交时间：2018/12/07 桦木科  分支分析  地理分布  进化  系统分类