CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
无权访问的条目 学位论文
作者:  陈立民
Adobe PDF(3461Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/07/01
无权访问的条目 学位论文
作者:  陈立民
收藏  |  浏览/下载:0/0  |  提交时间:2011/07/01
基于动态描述逻辑DDL的动作理论 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203
作者:  常亮;  陈立民
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
动态描述逻辑  知识表示和推理  动作理论  智能主体  语义Web  
面向服务业的通用业务知识模型与逻辑表示 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 243
作者:  周平;  王卫民;  罗伟民;  陈其铭;  郑宇飞;  曹存根
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
通用业务模型  主题  动态描述逻辑  动作  
一种面向高性能计算机的超节点控制器的研究 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 1.0, 页码: 1
作者:  王凯;  陈飞;  李强;  李晓民;  安学军;  孙凝晖
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
高性能计算机  超节点控制器  全局地址空间  直接内存访问  远程读写  
基于动态描述逻辑的Web服务自动组合技术 期刊论文
高技术通讯, 2011, 卷号: 21.0, 期号: 1.0, 页码: 58
作者:  陈立民;  王竹晓;  史忠植
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
Web服务  Web服务自动组合wsc)  语义Web  描述逻辑(DL)  动态描述逻辑  (DDL)  
动态描述逻辑推理的并行计算技术 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2317
作者:  王竹晓;  胡宏;  陈立民;  史忠植
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
并行推理  动态描述逻辑  分布式动态描述逻辑  表算法  推理引擎