王超
- 作品数：2 被引量：15H指数：2
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家教育部博士点基金广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于吴方法的不变式生成算法被引量：6
- 2012年
- 在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系统的能力;建立了基于吴方法的非线性不变式自动生成算法,该算法不使用加强的归纳条件,并可以直接处理约束方程.
- 周宁吴尽昭王超
- 关键词：吴方法
- 求解护士排班问题的变邻域搜索算法被引量：9
- 2013年
- 变邻域搜索算法是求解护士排班问题的一个有效算法,其扰动方法对算法性能有显著影响。为提高护士排班问题中护士的满意度,提出一个改进的变邻域搜索(IVNS)算法。该算法使用了三种邻域结构,而且当使用任意的邻域都不能进一步改进当前解时,设计了一个对当前最优解进行扰动的方法,即在排班期间内随机地选择两天,在不违反硬性约束的条件下选出一组值班护士并交换他们在这两天中的班次。在2010年举行的第一次全球护士排班大赛提供的一组公共测试集上与一个混合变邻域搜索(HVNS)算法进行了比较,在Sprint-early、Medium-early和Long-early组算例上的结果表明,IVNS算法的最优值至少不劣于HVNS,而平均值均优于HVNS;IVNS算法的最大方差为0.72,波动范围小,求解性能稳定。IVNS的扰动方案对现有方案的扰动较小,能有效跳出当前局部最优,增强变邻域搜索算法的优化能力,与HVNS算法相比,其求解性能更优。
- 王超董兴业
- 关键词：组合优化元启发式算法变邻域搜索护士排班
