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

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

帮助

条数/页：排序方式：
	与人共融——机器人技术发展的新趋势期刊论文 OAI收割机器人产业, 2015, 期号: 5, 页码: 74-80 作者: 何玉庆; 赵忆文; 韩建达; 于海斌; 王越超收藏 \| 浏览/下载：31/0 \| 提交时间：2016/09/11 机器人机构技术发展高端制造业国家科技创新工业机器人语言理解能力示教盒自主能力自主机器人交互技术
	面向Web2.0的测试管理工具设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 24, 页码: 6231-6235,6239 周n?陈伟 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/06/10 Web2.0 测试管理工具 AJAX web service 软件生命周期测试管理管理工具用户主导软件设计工具设计新技术应用协同操作项目网络服务时代设计理念接口技术交互能力工具操作定制功能并行管理新模式适应性独占性
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互