国家教育部博士点基金(20090009110006)

作品数：5被引量：14H指数：2
导出分析报告
相关作者：黄勇曲良东何登旭邓辉吴尽昭更多>>
相关机构：广西民族大学北京交通大学更多>>
相关期刊：《北京交通大学学报》《计算机应用研究》《小型微型计算机系统》《吉林大学学报（工学版）》更多>>
相关主题：和声搜索算法和声全局优化互模拟等价穿插教学更多>>
相关领域：自动化与计算机技术文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自适应改进和声模式搜索算法被引量：2
《小型微型计算机系统》2014年第1期189-192,共4页曲良东 何登旭 黄勇 
国家自然科学基金项目(60873118;60973147)资助;教育部博士点基金项目(20090009110006)资助;广西重点实验室项目(HCIC201105)资助;广西科学研究与技术开发项目(桂科攻11107006-30)资助;广西自然科学基金项目(2010GXNSFB013052)资助;广西高等学校科研项目(201204LX085)资助;中国-东盟研究中心项目(20120139)资助;广西民族大学科研项目(2011MDQN041)资助
由于基本和声搜索算法存在不足,本文提出一种自适应改进和声模式搜索算法(AIHPS).在新算法中加入变异策略对和声微调进行改进,来增强算法的鲁棒性;适时执行模式搜索来增加和声搜索的方向性,来加快搜索;利用自适应参数HMCR、PAR和BW调节...
关键词：和声搜索算法 模式搜索算法 局部优化 全局优化 自适应 
线性半代数变迁系统的近似互模拟等价被引量：1
《吉林大学学报（工学版）》2013年第4期1052-1058,共7页邓辉 吴尽昭 
国家自然科学基金项目(60973147;60873118);高等学校博士学科点专项科研基金项目(20090009110006);广西自然科学基金项目(2011GXNSFA018154);广西壮族自治区主席科技基金项目(10169-1);广西教育厅科研项目(201012MS274)
针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在...
关键词：计算机软件 近似互模拟 线性半代数变迁系统 特征列 奇异值分解 并发通信程序 
自适应改进和声—单纯形进化算法研究被引量：4
《计算机应用研究》2013年第3期676-678,共3页曲良东 何登旭 黄勇 
国家自然科学基金资助项目(60873118;60973147);国家教育部博士点基金项目(20090009110006);广西科学研究与技术开发项目(栏科次11107006-30);广西自然科学基金资助项目(2010GXNSFB013052);广西重点实验室项目(HCIC201105);中国-东盟研究中心项目(20120139);广西高等学校科研项目(201204LX085);广西民族大学科研资助项目(2011MDQN041)
针对和声搜索算法的不足,提出了一种自适应改进和声—单纯形进化算法(AIHSEA)。通过在新算法中加入变异策略对和声微调进行改进来增强算法的鲁棒性;适时执行单纯形算子增加群体搜索的方向性来加快搜索;采用自适应参数HMCR、PAR和BW调节...
关键词：和声搜索算法 单纯形法 局部优化 全局优化 自适应 
虚拟机系统在计算机教学中的应用初探被引量：6
《广西民族大学学报（自然科学版）》2012年第2期94-97,共4页何安平 
国家自然科学基金(60873118;60973147);教育部博士点基金(20090009110006);广西自然科学基金(2011GXNSFA018154);广西区主席科技资金(10169-1);广西教育厅科研资助项目(201012MS274)
计算机课程种类多、工程性强,计算机实验环境配置复杂,实验要求多样,导致教师和学生花费了大量精力来准备课程、调试实验和维护实验.虚拟机系统可以非常方便地虚拟课程演示或上机实验需要的操作系统和实验环境,支持这种虚拟系统环境的...
关键词：计算机教学 虚拟机系统 寄生操作系统 虚拟系统环境 穿插教学 
多项式程序模型的互模拟等价被引量：1
《北京交通大学学报》2011年第5期73-77,88,共6页邓辉 吴尽昭 
国家自然科学基金资助项目(60973147;60873118);教育部博士点基金项目资助(20090009110006)
针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式...
关键词：互模拟等价 多项式程序模型 非确定性 并发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部