CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
时间敏感网络流量调度算法研究 学位论文
沈阳: 中国科学院沈阳自动化研究所, 2021
作者:  李庆
收藏  |  浏览/下载：9/0  |  提交时间：2021/06/12
线性析取约束优化算法理论与应用研究 学位论文
博士, 北京: 中国科学院大学, 2019
作者:  吕荫润
收藏  |  浏览/下载：38/0  |  提交时间：2019/06/12
基于GPU的可满足性问题求解算法的实现 学位论文
: 大连理工大学, 2018
作者:  崔帅飞
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/02
调查传播算法收敛的一个充分条件 期刊论文
2017, 卷号: 47, 期号: 12, 页码: 1646-1661
作者:  王晓峰;  许道云;  姜久雷;  唐延辉
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/31
面向无穷数据的形式模型综述 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
收藏  |  浏览/下载：10/0  |  提交时间：2016/12/09
抽象精化和可满足性结合的EFSM 模型测试用例优化生成 期刊论文
计算机学报, 2016, 卷号: 39, 页码: 2236-2252
作者:  陆公正[1];  缪淮扣[2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
基于时间自动机的嵌入式软件压缩与验证 期刊论文
计算机工程与设计, 2016, 卷号: 37, 页码: 1217-1223
作者:  任龙涛;  张超;  崔磊;  魏理豪;  周宽久
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/09
随机k-SAT的相变上下界 期刊论文
2016, 卷号: 33, 期号: 5, 页码: 86-90
作者:  李倩倩;  王以松;  冯仁艳;  张振鹏
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02
随机正则（k,r）-SAT问题的可满足临界 期刊论文
2016, 卷号: 27, 期号: 12, 页码: 2985-2993
作者:  周锦程;  许道云;  卢友军
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
RB模型实例集上置信传播算法的收敛性 期刊论文
2016, 卷号: 0, 期号: 11, 页码: 2712-2724
作者:  王晓峰;  许道云
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31

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