中国科学院计算技术研究所机构知识库

浏览/检索结果: 共5条，第1-5条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	Fault tolerance on-chip:a reliable computing paradigm using self-test,self-diagnosis,and self-repair (3S)approach 期刊论文 中国科学:信息科学(英文版), 2018, 卷号: 61.0, 期号: 011, 页码: 112102 作者:  Xiaowei LI;  Guihai YAN;  Jing YE;  Ying WANG 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 fault  tolerance  on-chip  self-test  self-diagnosis  self-repair
	A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文 中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101 作者:  Li Wei;  Sui Yuefei 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订
	Contrary description logic： Gentzen deduction system 期刊论文 中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103 作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 描述逻辑  演绎系统  构造函数  金  语义
	A fast calculation strategy of density function in ISAF reconstruction algorithm 期刊论文 中国科学:信息科学(英文版), 2013, 页码: 092116 作者:  Wang Gongming;  Zhang Fa;  Chu Qi;  Fan Liya;  Sun Fei;  Liu Zhiyong 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
	The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文 中国科学：信息科学（英文版）, 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者:  Ma Yue;  Sui Yuefei;  Cao Cungen 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 形式概念分析  对应关系  描述逻辑  知识基础  背景模型  价值观念  逻辑语言  伽罗瓦