中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
云环境下网络感知的虚拟机分配问题的求解方法 期刊论文
吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455
作者:  吕帅;  徐玥;  张桐搏;  李广力;  池策
收藏  |  浏览/下载：22/0  |  提交时间：2023/12/04
computer software  virtual machine assignment  cloud computing  satisfiability  计算机软件  虚拟机分配  云计算  可满足性  
面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者:  赵晓非;  史忠植;  冯志勇
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
分布式动态描述逻辑  异构桥规则  正则性  集中式推理  计算复杂度  
A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
逻辑之间的语义忠实语义满翻译 期刊论文
软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1626
作者:  申宇铭;  马越;  曹存根;  眭跃飞;  王驹
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
翻译  语义忠实语义满翻译  逻辑同义性  
基于SAT的快速电路时延计算 期刊论文
计算机辅助设计与图形学学报, 2011, 卷号: 23.0, 期号: 003, 页码: 480
作者:  何子键;  吕涛;  李华伟;  李晓维
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
可满足性  电路时延  电路展开  
基于动态描述逻辑的语义Web服务匹配研究 期刊论文
计算机研究与发展, 2008, 卷号: 45.0, 期号: 012, 页码: 2102
作者:  彭晖;  陈立民;  常亮;  史忠植
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
语义Web服务  服务匹配  描述逻辑  动态描述逻辑  动作  
动态描述逻辑的Tableau判定算法 期刊论文
计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896
作者:  常亮;  史忠植;  邱莉榕;  林芬
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
动态描述逻辑  动作理论  可满足性问题  Tableau算法  可判定性  
基于增量可满足性的等价性检验方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者:  李光辉;  李晓维
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点  
一个适于形式验证的ATPG引擎 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者:  李光辉;  邵明;  李晓维
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
组合电路  测试产生  形式验证  二叉判决图  布尔可满足性  
验证包含黑盒的电路设计的有效方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 006, 页码: 796
作者:  李光辉;  邵明;  李晓椎
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
超大规模集成电路设计  错误检测  层次化验证  黑盒验证方法  合取范式