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

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

帮助

条数/页：排序方式：
	重大科技基础设施预先研究管理解析及思考期刊论文 OAI收割科技管理研究, 2019, 期号: 2, 页码: 31-36 作者: 樊潇潇; 李泽霞; 宋伟; 陈娟 \| 收藏 \| 浏览/下载：62/0 \| 提交时间：2019/03/06 重大科技基础设施预先研究概念研究工程技术验证
	地理实体概念及其位置关系的获取和验证期刊论文 OAI收割计算机科学, 2007, 卷号: 34.0, 期号: 012, 页码: 151 作者: 姜琳; 李宇; 卢汉; 曹存根 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 文本知识获取地理实体概念获取位置关系获取知识验证
	基于Web语料的概念获取系统的研究与实现期刊论文 OAI收割计算机科学, 2007, 卷号: 34.0, 期号: 002, 页码: 161 作者: 余蕾; 曹存根 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 中文信息处理知识获取概念获取概念验证
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications