中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 11)

Items/Page:    Sort:
基于树状线性规划搜索的单调速率优化设计 [期刊论文]
软件学报, 2015-01-01, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
  |  
 
基于粒子群优化的测试数据生成及其实证分析 [期刊论文]
计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 4, 页码: 824-837
毛澄映; 喻新欣; 薛云志

 
面向城市交通网络的一种新型动态路径寻优方法 [期刊论文]
Acta Electronica Sinica, 2012-01-01, 卷号: 40, 期号: 10, 页码: 2062-2067
曹政才; 韩丁富; 王永吉

 
程序正确性逻辑验证的一些探讨 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-29
薛涛
  |  
 
基于搜索的面向路径字符串测试数据自动生成方法 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 5, 页码: 671-677
赵瑞莲
  |  
 
基于SCC空性检测中状态空间的缩减方法 [期刊论文]
计算机学报, 2008-01-01, 卷号: 31, 期号: 6, 页码: 979-988
晏荣杰; 张文亮; 唐稚松
  |  
 
家居设计系统中基于辅助射线的房间搜索算法 [期刊论文]
计算机工程与应用, 2005-01-01, 卷号: 41, 期号: 9, 页码: 189-191,196
周明骏; 滕东兴; 戴国忠; 骆国程
  |  
 
基于FR-TS法的企业过程模型并行优化技术研究 [期刊论文]
系统工程与电子技术, 2003-01-01, 卷号: 25, 期号: 4, 页码: 435-439
谭文安; 赵建民; 王勤
  |  
 
一个基于填充函数变换的对称TSP问题的局部搜索算法 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 7, 页码: 701-707
朱文兴; 傅清祥

 
宽带接入网络拓扑搜索算法研究 [期刊论文]
计算机工程与设计, 2002-01-01, 卷号: 23, 期号: 11, 页码: 82-85
孙波; 吴继峰; 卫东华

 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace