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

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

帮助

条数/页：排序方式：
	塔中Ⅰ号气田东部碳酸盐岩储层的试井特征分析期刊论文 OAI收割天然气工业, 2012, 卷号: 32, 期号: 5, 页码: 36-38 作者: 温晓红; 邓继学; 苏敏文; 孙贺东收藏 \| 浏览/下载：21/0 \| 提交时间：2013/01/16 塔中Ⅰ号气田碳酸盐岩试井储集层类型生产能力特征动态描述
	基于信任度的网格虚拟组织访问控制模型期刊论文 OAI收割计算机科学, 2008, 卷号: 35, 期号: 12, 页码: 83-86 崔永瑞; 李明楚; 胡红钢; 任一支收藏 \| 浏览/下载：47/2 \| 提交时间：2011/06/10 TwBAC模型信任度虚拟组织访问控制信任度网格虚拟组织访问控制模型 Virtual Organizations Access Control model 组织成员信任关系管理模型上下文访问控制策略资源实体应用域管理分布式自治约束能力描述结合
	基于代数的软件过程建模系统的设计与实现期刊论文 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收割计算机科学, 2005, 卷号: 32.0, 期号: 007, 页码: 148 作者: 秦前付; 曹存根; 徐洸 \| 收藏 \| 浏览/下载：4/0 \| 提交时间：2023/12/04 作战计划效果评估图论系统评估计算方法仿真系统描述方式军事目标作战任务相互影响相互制约打击目标核心能力评估方法关系图图算法网络
	基于软件体系结构的Agent规约和演化期刊论文 OAI收割计算机研究与发展, 2002, 卷号: 39, 期号: 12, 页码: 1543-1549 詹剑锋; 程虎 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/07/29 Agent 软件体系结构软件体系结构描述语言规约演化迁移软件体系结构演化子类型关系结构描述语言类型化理论组合相互关联实体迁移扩充结构配置关系表达构造过程方法表达能力连接体翻译器多样性包装器组件要素