中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：14/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
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
Contrary description logic： Gentzen deduction system 期刊论文
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
收藏  |  浏览/下载：11/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
收藏  |  浏览/下载：10/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
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
形式概念分析  对应关系  描述逻辑  知识基础  背景模型  价值观念  逻辑语言  伽罗瓦