CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
P-信息智能动态融合与信息规律状态智能识别 期刊论文
山东大学学报. 理学版, 2018, 卷号: 53, 期号: 2, 页码: 83-87
作者:  陈保会;  张凌;  史开泉
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/11
两类动态信息规律模型及其在信息伪装、风险识别中的应用 期刊论文
计算机科学, 2018, 卷号: 45, 期号: 9, 页码: 230-236
作者:  任雪芳;  张凌;  史开泉
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/11
两类动态信息模型及其应用 期刊论文
计算机科学, 2018, 卷号: 45, 期号: 11, 页码: 238-243
作者:  张凌;  任雪芳;  史开泉
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/11
CNF公式赋值空间上可满足解的概率性质 期刊论文
2018, 卷号: 12, 期号: 11, 页码: 1852-1861
作者:  莫孝玲;  许道云
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/02
基于符号模拟和变量划分的SAT算法 期刊论文
2015, 2015
闫炜; 吴尽昭; 高新岩
收藏  |  浏览/下载：3/0  |  提交时间：2017/06/19
最大不全k满足问题的局部搜索近似算法 期刊论文
计算机学报, 2015, 卷号: 38, 期号: 8, 页码: 1561-1573
作者:  咸爱勇;  朱大铭
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/17
使用逻辑锥分割的组合电路等价性验证 期刊论文
计算机工程与应用, 2012, 期号: 2, 页码: 61-66
作者:  岳园;  何安平
收藏  |  浏览/下载：2/0  |  提交时间：2016/07/15
从合取范式到析取范式的转换研究 期刊论文
计算机工程与应用, 2012, 卷号: 48, 页码: 15-17,29
作者:  智慧来[1];  智东杰[2];  刘宗田[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30
合取范式3可满足问题的局部搜索近似算法 期刊论文
计算机学报, 2010, 卷号: 33, 期号: 7, 页码: 1127-1139
作者:  朱大铭;  马绍汉;  张平平
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/26
带黑盒组合电路的等价性验证 期刊论文
微计算机信息, 2008, 期号: 26, 页码: 258-260
作者:  王瑞;  岳园;  张自强
收藏  |  浏览/下载：1/0  |  提交时间：2016/07/15

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