基于遗传算法和模拟退火算法的布局问题研究

文章在介绍遗传算法和模拟退火算法的基本理论及主要特点的基础上,提出了一个基于遗传算法和模拟退火算法的求解布局问题(矩形件排样优化)算法,并通过算例验证了该算法的有效性。

Survey Propagation:一种求解SAT的高效算法

Survey ProPagation是一种新生的SAT(CSP)算法。它基于统计物理的sPin glass 模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度。但sp算法在某些时候不收敛,或引导向错误的解。对此,G.Parisi提出一种复杂回溯(backtrack)算法,而作者在sp中加入简单回溯,也使一部分此类问题得到解决。

现场总线中一种基于时间的信息认证方案

信息认证是指对网络中传输信息可靠性及完整性的确认,它在各类网络环境下的控制系统、电子商务、电子政务等多个领域有着重要而广泛的应用。目前采用的主要技术手段是采用询问- 应答机制,通过消息认证码实现。本文介绍了几种现有的信息认证方案,并结合现场总线控制系统中数据信息小、实时性高的特点,提出了一个基于时间的信息认证方案。它使用时间和消 息认证码 MAC,实现控制双方的双向认证,在运算量、速度方面都要优于现有的方案。