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

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

帮助

条数/页：排序方式：
	地球科学知识图谱比较分析与启示：构建方法与内容视角期刊论文 OAI收割高校地质学报, 2023, 卷号: 29, 期号: 03, 页码: 382-394 作者: 诸云强; 孙凯; 李威蓉; 王曙; 宋佳 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2023/07/11 地学知识图谱地学知识地学本体形式化表达人工智能
	知识驱动下的水文模型参数智能化设置方法中文期刊论文 OAI收割 2016 作者: 江净超; 余洁; 秦承志; 刘军志; 李润奎收藏 \| 浏览/下载：27/0 \| 提交时间：2016/12/27 水文模型参数设置知识驱动知识形式化表达知识推理 TOPMODEL
	知识驱动下的水文模型参数智能化设置方法中文期刊论文 OAI收割 2016 作者: 江净超; 余洁; 秦承志; 刘军志; 李润奎 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2017/11/07 水文模型参数设置知识驱动知识形式化表达知识推理 TOPMODEL
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications
	基于PLIB标准面向零件族的零件库信息模型及其表达期刊论文 OAI收割计算机辅助设计与图形学学报, 2002, 卷号: 14, 期号: 6, 页码: 598-602 操云甫; 李峰; 韩永生; 戴国忠 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/29 PLIB标准信息模型,零件库,零件族标准零件族零件库信息模型资源共享应用系统信息表达物理文件数据格式数据表达企业瓶颈问题集成实现供应渠道形式化零部件供应链法兰盘描述交换