陈超
- 作品数：4 被引量：5H指数：2
- 供职机构：吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室更多>>
- 发文基金：国家自然科学基金吉林省科技发展计划基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于分割的超树分解方法
- 2013年
- 基于det-k-decomp算法,通过引入同构的概念和对separator选择空间的进一步限制,提出一类新的超树分解:分割的超树分解,并提出一种具有较小超树宽度的超树分解方法:基于分割的超树分解———sht-k-decomp,该算法能有效提高约束满足问题的求解效率.实验结果表明,sht-k-decomp算法多数情况下效率高于det-k-decomp算法.
- 王涛王瑞芹李占山陈超
- 关键词：人工智能约束满足问题
- 基于具有自适应与自学习能力的粒子群优化算法的车间调度算法被引量：3
- 2014年
- 针对车间调度问题,提出一种新的基于粒子群优化和模拟退火的混合算法.该算法将问题规模作为启发式信息,通过对模拟退火算法引入新的邻域搜索机制——多粒度搜索,并加入选择优化和淘汰更新机制,提高了算法的自适应性和自学习能力,降低了粒子群算法陷入局部最优的可能性.实验结果表明,该算法在最优解的求解能力上优于其他算法.
- 叶寒锋李占山陈超
- 关键词：车间调度粒子群优化自适应自学习
- 基于时序的离散事件系统的可诊断性被引量：2
- 2012年
- 提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可诊断性进行判定,得出几个判定性质,然后把这些性质运用到局部模型的可诊断性判定中,以避免同步操作的高复杂性;最后通过实例对可诊断性判定的过程进行分析。
- 李占山陈超叶寒锋
- 关键词：可诊断性
- 基于时序的离散事件系统的可诊断性
- 提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模，删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系，对受限局部模型的可诊...
- 李占山陈超叶寒锋
- 关键词：可诊断性
- 文献传递
