中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
一种基于约束依赖性分析的RDFS模式抽取方法 期刊论文
软件学报, 2020, 卷号: 000, 期号: 002, 页码: 344
作者:  赵晓非;  史忠植;  田东平;  刘建伟
收藏  |  浏览/下载：7/0  |  提交时间：2023/12/04
RDFS(resource  description  framework  schema)  约束  本体抽取  依赖性分析  
链式桥规则导致的D3L知识传播及推理 期刊论文
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419
作者:  赵晓非;  田东平;  史颖欢;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
分布式动态描述逻辑（D3L）  知识传播  合取映射  链式桥规则  
D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570
作者:  赵晓非;  田东平;  张文波;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
分布式动态描述逻辑  知识传播  组合一致性  分布式推理  Tableaux推理算法  distributed  dynamic  description  logics  （D3L）  
基于动态描述逻辑的语义Web服务组合 期刊论文
计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468
作者:  常亮;  刘进;  古天龙;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
语义Web服务  服务组合  动态描述逻辑  动作理论  规划问题  
可判定的时序动态描述逻辑 期刊论文
软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524
作者:  常亮;  史忠植;  古天龙;  王晓峰
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
动态描述逻辑  分支时序逻辑  知识表示和推理  动作理论  Tableau判定算法  
基于信息熵的PCP综合决策模型研究 期刊论文
小型微型计算机系统, 2007, 卷号: 28.0, 期号: 1.0, 页码: 79
作者:  丁世飞;  王启田;  纪召军;  孙克强;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
信息熵  客观熵权  主成分投影  土地质量  综合决策  
一种基于工作流的软件需求分析方法 期刊论文
计算机工程与应用, 2002, 卷号: 38.0, 期号: 017, 页码: 106
作者:  张志勇;  田启家;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
工作流  软件需求分析方法  数据流  工作流图  软件工程  
协商支持系统中的模型管理框架 期刊论文
计算机科学, 2002, 卷号: 29.0, 期号: 010, 页码: 107
作者:  王泊;  史佩雯;  田启家;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
Internet  协商支持系统  模型管理框架  电子商务  决策模型  决策支持系统