论文部分内容阅读
约束可满足性问题是一大类常出现于现实应用中的复杂问题[1],因其繁多的约束务件而出名.本文针对一个经典的约束可满足性问题--斑马属谁问题,基于演化算法的框架进行求解.我们采用矩阵的表示方式,并设计了相应的杂交和变异算子.实验表明,演化算法能高效地解决该问题.
一个约束可满足性问题的演化算法求解
【摘 要】
：
约束可满足性问题是一大类常出现于现实应用中的复杂问题[1],因其繁多的约束务件而出名.本文针对一个经典的约束可满足性问题--斑马属谁问题,基于演化算法的框架进行求解.我
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金
其他文献
为提高查询和更新的效率,XML文档中的对象必须拥有顺序标识(OID).本文在Numbering sheme[1]的基础上提出了基于模式的顺序维护算法.新算法包括OID区间预留算法和OID维护算法
规则路径查询,其长度是任意的,这就意味着对数据库的任意多次访问,这样的代价是很昂贵的.我们采用视图重写技术,通过对某些经常使用的路径查询定义视图,从而减少了对某些高频
对胜利发电厂2号机组建立了热经济性状态方程,并以扰动顺序解除法为理论基础,完成了该机组变工况运行的经济性分析,得到了各种变工况扰动因素对机组经济性的具体影响大小数值
以往入侵检测系统中采用的进程检测方法并未对进程系统调用序列中产生的重复子序列进行处理.本文提出了一种进程系统调用重复子序列的压缩算法,在系统调用序列收集过程中找出
随着实时操作系统的广泛应用和Linux的迅速发展,人们更加关注实时Linux的开发问题.文中,我们讨论了调度策略、内核的可重入性、中断处理以及内存管理机制等关键问题.这些问题
WWW的迅速发展,使得开发新型的搜索引擎成为Web发展过程中亟待解决的问题之一.结合信息检索领域和人工智能领域最新的发展状况,本文提出了一种全新的解决方案--互联网智能元
本文介绍了基于Markov链的协议异常检测模型,此外,通过对MIT Lincoln实验室1999评估数据的分析,证明此模型的正确性和有效性.