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

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

帮助

条数/页：排序方式：
	一种用于异步电机效率优化的混合搜索方法期刊论文 OAI收割电机与控制学报, 2009, 卷号: 13, 期号: 3, 页码: 337-341 作者: 李延峰; 于海斌 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2010/11/29 异步电机效率优化搜索控制模糊搜索黄金分割法混合搜索
	基于搜索的面向路径字符串测试数据自动生成方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2008, 卷号: 20, 期号: 5, 页码: 671-677 赵瑞莲收藏 \| 浏览/下载：83/4 \| 提交时间：2011/06/10 路径测试数据生成字符串数据字符串间距离快速下降搜索算法搜索算法面向路径字符串测试数据生成方法数据自动生成目标函数遗传算法路径处理经济有效极小化成效率输入实验距离词表Character recognition Critical path analysis Data processing Functions Genetic algorithms Theorem proving
	部分搜索法提高GPS相位模糊度解算的效率和成功率期刊论文 OAI收割武汉大学学报(信息科学版), 2007, 期号: 2, 页码: 160-163 阳仁贵; 欧吉坤; 袁运斌收藏 \| 浏览/下载：21/0 \| 提交时间：2012/02/12 模糊度效率成功率部分搜索法
	空间碎片搜索数字化仿真系统的设计与实现期刊论文 OAI收割系统仿真学报, 2007, 卷号: 19, 期号: 24, 页码: 5680-5683,5687 王抒雁; 王宇心; 陈宏 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/01 UML 建模碎片搜索仿真空间碎片数字化仿真系统用例模型质量和效率可视化建模行为模型设计方法软件开发耦合关系面向对象可扩展性开发过程辅助作用适用性航天器证明识别平台
	结合搜索空间划分和抽象进行LTL模型检测期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/01 搜索空间划分求精抽象 LTL模型检测应用模型状态空间爆炸方法空间复杂度逐步求精数值实验检测工业系统障碍验证效率消减内存
	遗传算法的物理解释期刊论文 OAI收割数学的实践与认识, 2004, 卷号: 34, 期号: 2, 页码: 96-103 作者: 梁艳春; 聂义勇; 冯大鹏 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/11/29 遗传算法扰动算法物理解释搜索效率