已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 学位论文 作者: 蒲宇宁 Adobe PDF(4620Kb)  |  收藏  |  浏览/下载:2/1  |  提交时间:2016/07/01 |
| 一种wandering B+ tree问题解决方法 期刊论文 计算机研究与发展, 2023, 卷号: 60, 期号: 3, 页码: 539 作者: 杨勇鹏; 蒋德钧 收藏  |  浏览/下载:6/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 作者: 赵晓非; 史忠植; 刘建伟 收藏  |  浏览/下载:23/0  |  提交时间:2023/12/04 逻辑无关片断 结构完整性 存储库系统 元对象设施 元数据 |
| L3-值命题逻辑的R-演算 期刊论文 计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164 作者: 曹存根; 胡岚曦; 眭跃飞 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 信念修正 R-演算 余矢列式 Gentzen推理系统 非单调性 |
| 一种基于约束依赖性分析的RDFS模式抽取方法 期刊论文 软件学报, 2020, 卷号: 000, 期号: 002, 页码: 344 作者: 赵晓非; 史忠植; 田东平; 刘建伟 收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04 RDFS(resource description framework schema) 约束 本体抽取 依赖性分析 |
| 基于事件属性的事件分类研究 期刊论文 中文信息学报, 2020, 卷号: 34, 期号: 10, 页码: 39 作者: 王亚; 曹存根 收藏  |  浏览/下载:5/0  |  提交时间:2024/05/20 semantic categorization of events characteristic attribute event frame 事件语义分类 特征属性 事件框架 |
| 描述逻辑ALC中关于伪子概念极小改变的R-演算 期刊论文 软件学报, 2019, 卷号: 30.0, 期号: 012, 页码: 3683 作者: 王雨晖; 眭跃飞 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 描述逻辑 信念修正 R-演算 伪子概念 ■-极小改变 |
| 无权访问的条目 学位论文 作者: 罗法蕾 Adobe PDF(7641Kb)  |  收藏  |  浏览/下载:1/0  |  提交时间:2018/12/26 |
| 无权访问的条目 学位论文 作者: 覃力 Adobe PDF(6411Kb)  |  收藏  |  浏览/下载:5/0  |  提交时间:2019/01/16 |
| 无权访问的条目 学位论文 作者: 马崇亚 Adobe PDF(2416Kb)  |  收藏  |  浏览/下载:1/0  |  提交时间:2019/01/16 |