国家教育部博士点基金(20090009110006)
- 作品数:5 被引量:14H指数:2
- 相关作者:黄勇曲良东何登旭邓辉吴尽昭更多>>
- 相关机构:广西民族大学北京交通大学更多>>
- 发文基金:国家教育部博士点基金国家自然科学基金广西壮族自治区自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 线性半代数变迁系统的近似互模拟等价被引量:1
- 2013年
- 针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。
- 邓辉吴尽昭
- 关键词:计算机软件特征列奇异值分解
- 自适应改进和声—单纯形进化算法研究被引量:4
- 2013年
- 针对和声搜索算法的不足,提出了一种自适应改进和声—单纯形进化算法(AIHSEA)。通过在新算法中加入变异策略对和声微调进行改进来增强算法的鲁棒性;适时执行单纯形算子增加群体搜索的方向性来加快搜索;采用自适应参数HMCR、PAR和BW调节全局和局部搜索。采用六个标准的优化算法测试函数对AIHSEA进行测试,并与HS、IHS和GHS算法进行对比,仿真结果表明AIHSEA算法具有较强的精确寻优和跳出局部最优的能力。
- 曲良东何登旭黄勇
- 关键词:和声搜索算法单纯形法全局优化
- 多项式程序模型的互模拟等价被引量:1
- 2011年
- 针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题.最后给出并发程序的相关实例.
- 邓辉吴尽昭
- 关键词:互模拟等价非确定性并发
- 虚拟机系统在计算机教学中的应用初探被引量:6
- 2012年
- 计算机课程种类多、工程性强,计算机实验环境配置复杂,实验要求多样,导致教师和学生花费了大量精力来准备课程、调试实验和维护实验.虚拟机系统可以非常方便地虚拟课程演示或上机实验需要的操作系统和实验环境,支持这种虚拟系统环境的导入导出,其传播和分发也非常便捷.在计算机教学中应用虚拟机系统,可以极大地降低教师的备课、调试和维护成本,可以良好地调动学生的积极性和增加其学习兴趣,是一种非常值得推广的教学方式.
- 何安平
- 关键词:计算机教学虚拟机系统穿插教学
- 自适应改进和声模式搜索算法被引量:2
- 2014年
- 由于基本和声搜索算法存在不足,本文提出一种自适应改进和声模式搜索算法(AIHPS).在新算法中加入变异策略对和声微调进行改进,来增强算法的鲁棒性;适时执行模式搜索来增加和声搜索的方向性,来加快搜索;利用自适应参数HMCR、PAR和BW调节全局和局部搜索.利用6个标准的优化算法测试函数对AIHPS算法进行测试,并与HS、IHS和GHS等多个算法进行实验对比,实验结果表明新算法具有跳出局部最优和较强的精确寻优能力.
- 曲良东何登旭黄勇
- 关键词:和声搜索算法全局优化自适应