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

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

帮助

条数/页：排序方式：
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	名词-名词组合概念加工的范畴特异性学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2005 作者: 刘烨收藏 \| 浏览/下载：43/0 \| 提交时间：2011/12/24 组合概念概念组合范畴特异性语义表征语义加工
	特征类型在组合概念范畴效应中的作用期刊论文 OAI收割心理学报, 2005, 卷号: 37, 期号: 4, 页码: 450-457　作者: 刘烨; 傅小兰 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/01/11 组合概念解释策略范畴效应特征类型路径模型
	概念组合的理论模型期刊论文 OAI收割心理科学进展, 2005, 卷号: 13, 期号: 1, 页码: 17-26 作者: 刘烨; 傅小兰 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/01/11 组合概念概念组合关系图式语用学范畴特异性
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications
	中文新异组合概念的解释及影响因素期刊论文 OAI收割心理学报, 2004, 卷号: 36, 期号: 3, 页码: 265-273 作者: 刘烨; 傅小兰; 孙宇浩 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/01/11 组合概念概念组合子概念属性解释关系解释