中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	基于LoCMD的软件修改分析技术期刊论文 OAI收割软件学报, 2012, 卷号: 23, 期号: 6, 页码: 1368-1381 孙小兵; 李必信; 陶传奇 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2013/09/17 形式概念分析修改影响分析修改评估修改分析类与方法依赖格
	The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文 OAI收割中国科学：信息科学（英文版）, 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者: Ma Yue; Sui Yuefei; Cao Cungen \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 形式概念分析对应关系描述逻辑知识基础背景模型价值观念逻辑语言伽罗瓦
	运用属性探索构建完备描述逻辑本体期刊论文 OAI收割模式识别与人工智能, 2011, 卷号: 24, 期号: 1, 页码: 1-13 唐素勤; 蔡自兴; 王驹; 蒋运承 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/10/08 描述逻辑形式概念分析属性探索本体
	基于最大不动点模型的描述逻辑系统FLε的有穷基期刊论文 OAI收割计算机研究与发展, 2010, 卷号: 47, 期号: 9, 页码: 1514-1521 唐素勤; 蔡自兴; 王驹; 蒋运承 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/05/23 描述逻辑有穷基形式概念分析蕴含最大不动点
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications
	领域本体的形式分析学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 高颖收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 领域本体框架形式概念分析等价