CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
一种wandering B+ tree问题解决方法 期刊论文
计算机研究与发展, 2023, 卷号: 60, 期号: 3, 页码: 539
作者:  杨勇鹏;  蒋德钧
收藏  |  浏览/下载:1/0  |  提交时间:2024/05/20
log-structured storage system  block storage system  wandering B+ tree  IBT B+ tree  write amplification  日志结构存储系统  块存储系统  wandering B+ tree  IBT B+ tree  写放大  
基于元数据逻辑无关片断的结构完整性检测方法 期刊论文
计算机研究与发展, 2020, 卷号: 57.0, 期号: 009, 页码: 1961
作者:  赵晓非;  史忠植;  刘建伟
收藏  |  浏览/下载:18/0  |  提交时间:2023/12/04
逻辑无关片断  结构完整性  存储库系统  元对象设施  元数据  
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
一种基于约束依赖性分析的RDFS模式抽取方法 期刊论文
软件学报, 2020, 卷号: 000, 期号: 002, 页码: 344
作者:  赵晓非;  史忠植;  田东平;  刘建伟
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
RDFS(resource  description  framework  schema)  约束  本体抽取  依赖性分析  
基于事件属性的事件分类研究 期刊论文
中文信息学报, 2020, 卷号: 34, 期号: 10, 页码: 39
作者:  王亚;  曹存根
收藏  |  浏览/下载:1/0  |  提交时间:2024/05/20
semantic categorization of events  characteristic attribute  event frame  事件语义分类  特征属性  事件框架  
描述逻辑ALC中关于伪子概念极小改变的R-演算 期刊论文
软件学报, 2019, 卷号: 30.0, 期号: 012, 页码: 3683
作者:  王雨晖;  眭跃飞
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
描述逻辑  信念修正  R-演算  伪子概念  ■-极小改变  
面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者:  赵晓非;  史忠植;  冯志勇
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
分布式动态描述逻辑  异构桥规则  正则性  集中式推理  计算复杂度  
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
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
基于寄存器簇恢复的追踪信号选择方法 期刊论文
计算机学报, 2018, 卷号: 41.0, 期号: 010, 页码: 2318
作者:  程云;  李华伟;  王颖;  李晓维
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
追踪调试  追踪信号选择  状态恢复率  硅后调试  
基于事件驱动的MapReduce类流量产生方法与网络评测 期刊论文
计算机学报, 2018, 卷号: 41.0, 期号: 010, 页码: 2265
作者:  邵恩;  孙凝晖;  郭嘉梁;  元国军;  王展;  曹政
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
分布式系统  MapReduce  数据中心网络  事件驱动  大规模网络模拟