CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
公平交换协议的信道可信度形式化验证方法 Formal Verification Method for Fair Exchange Protocol by Channel Credibility 期刊论文
2018, 卷号: 39, 期号: 2, 页码: 240
作者:  杨晋吉[1];  申涵瑞[1];  陈清亮[2]
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/13
基于MAP的单帧字符图像超分辨率重建 期刊论文
2015, 卷号: 43, 期号: [db:dc_citation_issue], 页码: 191
作者:  李展[1,2];  陈清亮[1];  彭青玉[1,2];  张庆丰[1,2];  李伟祥[1]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03
基于ATL的公平交换协议的形式化验证 期刊论文
2015, 卷号: 0, 期号: 19, 页码: 32
作者:  李群[1];  陈清亮[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/10
面向结构的基于学习的规划方法 期刊论文
2014, 卷号: 25, 期号: 8, 页码: 1743
作者:  陈蔼祥[1];  姜云飞[3];  柴啸龙[1];  边芮[2];  陈清亮[4]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/10
基于动态内存和状态管理的模型检测新方法 期刊论文
2011, 卷号: 38, 期号: 11, 页码: 191
作者:  吴立军[1];  骆翔宇[2];  陈清亮[3]
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/10
利用OBDD编码的快速二值图算法 Fast Operations on Binary Images Encoded by OBDDs 期刊论文
2009, 卷号: 3, 期号: 3, 页码: 303
作者:  吕关锋[1];  苏开乐[2];  陈清亮[3];  徐旭东[1]
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/13
多智能体协同的认知规范模型检测算法 Model Checking Algorithms for Epistemic Goals in Cooperative Multi-Agent Systems 期刊论文
2009, 卷号: 48, 期号: 1, 页码: 110
作者:  陈清亮[1];  朱可宜[1]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/13
通过诊断图分析的快速诊断算法 期刊论文
2009, 卷号: 32, 期号: 8, 页码: 1470
作者:  陈蔼祥[1];  陈清亮[2];  潘久辉[2];  姜云飞[3];  杨晋吉[4]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/06
SET证书申请协议在SPV下的自动化验证及改进 期刊论文
2008, 卷号: 31, 期号: 6, 页码: 1035
作者:  肖茵茵[1];  苏开乐[1,2];  岳伟亚[1];  陈清亮[3];  吕关锋[4]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06
国外研究型大学的学术管理模式对我国高校学术管理的启发 会议论文
Macau, China, 2011-03-05
作者:  甄艺[1];  陈清亮[1]
收藏  |  浏览/下载：0/0  |  提交时间：2019/12/13

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