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

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

帮助

条数/页：排序方式：
	基于启发式方法的带参系统形式化验证学位论文 OAI收割硕士, 北京: 中国科学院大学, 2016 段凯强 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2016/05/31 带参系统形式验证启发式方法流图
	伪布尔问题的启发式方法及其应用学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 于宝新 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2013/07/03 伪布尔问题启发式方法能耗估计问题
	柔性调度多目标优化的混合粒子群算法研究期刊论文 OAI收割组合机床与自动化加工技术, 2011, 期号: 11, 页码: 109-112 魏英姿; 冯艺君; 王洪伟收藏 \| 浏览/下载：18/0 \| 提交时间：2012/05/29 柔性作业车间调度多目标优化粒子群算法局域搜索启发式方法粒子群优化算法相结合机器总负载作业车间调度问题
	吴大猷论科学教育期刊论文 OAI收割物理通报, 2005, 期号: 1, 页码: 16-21 作者: 叶铭汉; 戴念祖收藏 \| 浏览/下载：27/0 \| 提交时间：2015/12/07 在以下几方面对吴大猷的科学教育思想作出简略叙述:(1)关于各级学校的科学教育目标或任务 (2)关于教学与教材改革 (3)关于灌注式和启发式教育 (4)论统考弊端及改进方法 (5)关于通才(素质)教育问题 (6)论大学教授和教授治校 (7)论大学特色和第一流大学 (8)论"学非所用".吴大猷的这些思想对台湾的整个教育品质的提升产生了非常深远的影响在今天也有其借鉴功用.
	基于反例搜索的启发式模型检测算法的研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 施小纯收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 形式化方法模型检测线性时序逻辑遗传算法启发式信息
	求解圆形Packing问题的一个启发式算法期刊论文 OAI收割计算机研究与发展, 2002, 卷号: 39, 期号: 4, 页码: 410-414 康雁; 黄文奇 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/29 Packing问题拟物法 NP难度启发式求解算法圆形启发式算法 PACKING PROBLEM 启发式方法适者生存快速求解科学技术计算实例拟物法计算机高效性重叠验证思想实践目标理论价值布局
	求解圆形packing问题的启发式方法学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 康雁收藏 \| 浏览/下载：29/0 \| 提交时间：2011/03/17 启发式方法拟物拟人法圆形packing问题计算复杂性
	产品设计活动调度问题的研究学位论文 OAI收割工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1998 高淑辉收藏 \| 浏览/下载：64/0 \| 提交时间：2015/09/02 并行工程产品设计活动调度建模启发式调度方法 Concurrent Engineering design activities scheduling modeling heuristic method