摘要：信息传播算法求解可满足问题时有良好的有效性,使得难解区域变窄.然而,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.调查传播(survey propagation,SP)算法是最为有效的信息传播算法,对SP算法的收敛性研究是设计其他信息传播算法的重要基础,并为信息传播算法的广泛应用提供理论依据.为了分析SP算法的收敛性,通过对消息更新方程取双曲正切,将消息取值从[0,1]扩展为(-∞,∞),利用压缩映射原理给出了SP算法收敛的一个充分条件.基于随机3-SAT实例,给出了SP算法收敛的一个概率条件.最后,选取了随机3-SAT实例进行数值实验模拟,验证了该条件的有效性.

摘要：磨料喷射微细加工是利用高压气体为介质加速磨料对工件形成冲击、冲蚀作用而去除材料的一种特种加工方法 ,适用于零件微细结构的加工和零件的表面处理。本文主要分析了磨料喷射加工的原理 ,设计了一套原理性试验装置 ,通过实验观察分析了磨料喷射加工过程 ,分析了其加工特性 。