【摘 要】
：
信息传播算法求解可满足问题时有良好的有效性,使得难解区域变窄.然而,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.调查传播(survey propagation,SP)算法是最为有效的信息传播算法,对SP算法的收敛性研究是设计其他信息传播算法的重要基础,并为信息传播算法的广泛应用提供理论依据.为了分析SP算法的收敛性,通过对消息更新方程取双曲正切,将消息取值从[0,1
论文部分内容阅读
信息传播算法求解可满足问题时有良好的有效性,使得难解区域变窄.然而,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.调查传播(survey propagation,SP)算法是最为有效的信息传播算法,对SP算法的收敛性研究是设计其他信息传播算法的重要基础,并为信息传播算法的广泛应用提供理论依据.为了分析SP算法的收敛性,通过对消息更新方程取双曲正切,将消息取值从[0,1]扩展为(-∞,∞),利用压缩映射原理给出了SP算法收敛的一个充分条件.基于随机3-SAT实例,给出了S
其他文献
近年来,等离子体在有机化合物解吸与离子化中的作用日益凸显,基于等离子体的各类有机质谱离子化新技术不断涌现.该类技术在灵敏度、分析速度上较传统的离子化方法有大幅度提升,使得它们在复杂样品原位分析中具有显著优势.本综述重点介绍等离子体离子化技术在近3年的最新进展,评述它们与本课题组近期开发的火焰离子化、碳纤维离子化技术在原理、装置及应用方面的异同和相互联系,并探讨这类技术的发展趋势.
本文基于微元电阻和积分中值定理导出了仅有3个待定参数的超深亚微米MOSFET的漏/源电阻模型,而这3个参数可以用多元线性回归方法得到.论文用数值模拟数据,拟合了衬底掺杂是1×10~(15)~1×10~(16)cm~(-3)、沟道长度是45～2000 nm的平面n MOSFET和n LDD-MOSFET的漏/源电阻模型的待定参数,得到了它们的半经验公式,最大误差仅有9.5%.漏/源电阻模型和它的半经
回旋管基于相对论电子回旋脉塞原理工作,可在毫米波–太赫兹频段产生高功率相干电磁辐射.脉冲磁体体积小巧,易产生强磁场,相比于超导磁体可极大地降低回旋管系统体积并提供电子回旋所需的强磁场,使回旋管在兼具小型化特性的同时其辐射频率有望突破1 THz.传统脉冲磁体回旋管通常采用开放腔式电路高Q值单频点工作,需要近似稳恒的磁场,使得脉冲磁体仅在峰值场强附近可用于支持回旋管工作,导致回旋管单脉冲工作时间极短,
本文提出了一种基于分层复杂性度量的形状描述方法 (简称HCMD),以应用于一般的形状图像检索任务.该方法属于基于区域的形状描述方法,不需要专门提取形状的边界完成特征抽取任务.本文的主要贡献是提出了一种分层的形状描述框架,基于该框架,形状沿各个方向被迭代地切割成小的区块,每一层级的形状区块被施以各种几何特性的度量,以刻画其形状复杂性.这种分层抽取形状复杂性特征的描述机制使得HCMD具有由粗到细的形状
本文讨论非PH(Pythagorean hodograph)曲线的一类五次OR曲线(curves with rational offsets)的构造方法.OR曲线是具有有理形式的等距线的一类参数曲线,在CAD中有着广泛的应用.本文采用参数曲线的复数表示形式,根据导矢曲线的因式分解的不同,将非PH曲线的五次OR曲线分为两种类型,并分别给出这两类曲线的构造方法.在给定C1连续的初始条件下,通过指定一个
本栏目新闻资讯从2016年10期起以全新模式呈现给读者。以国内、国际两个视点出发,多领域体会行业发展的魅力所在,进而思考行业激烈竞争态势的发展方向。丰富内容敬请关注和浏览,欢迎扫码参与!(温馨提示:此码扫描仅适用于安卓系统手机,苹果系统版即将推出,敬请期待!)