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

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

条数/页： 排序方式：
基于路径约束求解的多目标状态激励生成方法 期刊论文  OAI收割
计算机学报, 2016, 卷号: 39.0, 期号: 009, 页码: 1829
作者:  周艳红;  王天成;  李华伟;  吕涛;  李晓维
  |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04
基于约束的测试用例生成中可扩展性问题研究 学位论文  OAI收割
中国科学院新疆理化技术研究所: 中国科学院大学, 2013
作者:  王轶
  |  收藏  |  浏览/下载：15/0  |  提交时间：2013/05/31
笔式服装工艺设计系统的研究与实现 期刊论文  OAI收割
信息化纵横, 2009, 卷号: 28, 期号: 8, 页码: 13-16
刘俊中; 樊银亭; 金鹏; 张瑢; 滕东兴
  |  收藏  |  浏览/下载：18/0  |  提交时间：2010/08/24
语义Web中的自动推理和主动规则终止性分析 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
徐贵红
  |  收藏  |  浏览/下载：29/0  |  提交时间：2011/03/17
回溯法求解多约束分配问题 期刊论文  OAI收割
江西师范大学学报（自然科学版）, 2008, 卷号: 32, 期号: 6, 页码: 729-732
王文发; 马燕; 李宏达
收藏  |  浏览/下载：65/4  |  提交时间：2011/06/10
基于约束满足的测试计划方法 期刊论文  OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 535-539
李悦; 李娟; 陈伟
  |  收藏  |  浏览/下载：13/0  |  提交时间：2011/06/10
基于约束求解的自动化软件测试研究 学位论文  OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
严俊
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17
约束问题求解 期刊论文  OAI收割
自动化学报, 2007, 卷号: 33, 期号: 2, 页码: 125-131
季晓慧; 张健
  |  收藏  |  浏览/下载：8/0  |  提交时间：2010/08/11
基于手绘草图的概念设计工具研究与设计 期刊论文  OAI收割
计算机应用研究, 2007, 卷号: 24, 期号: 1, 页码: 210-212,228
张超; 滕东兴; 戴国忠
  |  收藏  |  浏览/下载：19/0  |  提交时间：2010/06/01
基于几何约束求解的完备方法 期刊论文  OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 7, 页码: 828-839
林强; 高小山; 刘媛媛; 陈颖; 戴国忠
  |  收藏  |  浏览/下载：19/0  |  提交时间：2010/06/01