中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共10条，第1-10条 帮助

条数/页： 排序方式：
约束优化难解问题的高效算法研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2019
作者:  王少将
  |  收藏  |  浏览/下载：22/0  |  提交时间：2019/06/27
多重中断驱动C程序的数据竞争检测 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2016
熊浩军
  |  收藏  |  浏览/下载：15/0  |  提交时间：2016/06/25
轨道车辆静态限界三维视觉测量系统 学位论文  OAI收割
硕士: 中国科学院沈阳自动化研究所, 2015
作者:  郭庆耀
收藏  |  浏览/下载：54/0  |  提交时间：2015/08/20
轨道车辆静态限界三维视觉测量系统 期刊论文  OAI收割
制造业自动化, 2015, 卷号: 37, 期号: 8, 页码: 86页
作者:  郭庆耀
收藏  |  浏览/下载：26/0  |  提交时间：2015/07/05
关于可满足性问题的一些研究及其在模型检测中的应用 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2010
陈伟
  |  收藏  |  浏览/下载：19/0  |  提交时间：2010/06/04
基于一阶迁移系统的限界模型检测工具实现 期刊论文  OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
收藏  |  浏览/下载：24/0  |  提交时间：2011/05/23
改进的以SMT为基础的实时系统限界模型检测 期刊论文  OAI收割
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  收藏  |  浏览/下载：25/0  |  提交时间：2011/05/23
基于一阶迁移系统的限界模型检测工具实现 学位论文  OAI收割
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
冯庆奎
  |  收藏  |  浏览/下载：13/0  |  提交时间：2009/06/12
线性整数规划的分支限界解法及其MATLAB实现 期刊论文  OAI收割
计算机工程, 2005, 卷号: 2005, 期号: 06, 页码: 20-21+24
王京辉,乔卫民
  |  收藏  |  浏览/下载：8/0  |  提交时间：2010/10/29
给定限界要求的联盟结构生成 期刊论文  OAI收割
计算机学报, 2001, 卷号: 24, 期号: 11, 页码: 1185-1190
胡山立; 石纯一
  |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29