Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

SBR工艺发展应用综述

关于SBR工艺的书籍和文章很多。本文在这些资料的基础上整理总结 ,对经典SBR工艺的应用进行了综述 ,归纳了经典SBR工艺的特点 ,介绍了各种新型SBR工艺。     

强耦合表面磁极化子的基态能量和有效质量

采用Landau-Pekar变分理论研究强耦合表面磁极化子的性质。分别计算了强耦合表面磁极化子的基态能量和有效质量，并讨化了表面磁极化子的基态能量，振动频率和有效质量随磁场的变化关系。对KCL晶体进行了数值计算，结果表明，强耦合表面磁极化子的振动频率和有效质量随磁场的增加而增加，基态能量随磁场的增加而减少。     

Congruences and ideals in pseudoeffect algebras

This paper is devoted to congruences and ideals in pseudoeffect algebras. Let I be a normal ideal in a pseudoeffect algebra E. We show that: (1) the relation ~ _I induced by I is a congruence if and only if for every a∈E, I∩ [0,a] is upper directed; (2) the relation ~ _I induced by I is a strong congruence if and only if I is a normal weak Riesz ideal in a pseudoeffect algebra E. Moreover, we introduce a stronger concept of congruence—namely Riesz strong congruence—and we prove that, if I is a normal weak Riesz ideal in a pseudoeffect algebra E, then ~ _I is a Riesz strong congruence and, conversely, if ~ is a Riesz strong congruence, then I = [0]_~ is a normal weak Riesz ideal, and ~ _I = ~. This work was supported by the National Natural Science Foundation of China (Grant No. 10271069).     

冷轧带肋钢筋现浇混凝土板开裂现象研究及探讨

本文总结了冷轧带肋钢筋在福州地区的应用情况,对现浇砼板裂缝现象进行现场调查,并探究其裂缝发生的机理,最后对高强带肋钢筋在砼楼板中的应用前景提出有益的建议和展望     

一种用于视频流的强鲁棒性数字水印方案

研究了视频流的水印嵌入和提取,为视频流提供版权保护。针对现阶段越来越多的视频流盗版现状,为了保护版权方的利益,提出了一种将版权方信息作为数字水印嵌入到视频流中的方法。通过该方法,在视频流中嵌入了不易破坏的版权方的信息,该信息可作为流媒体的追溯标记和证据。经实验证明:改进方案与其他数字水印方案相比,具有很强的鲁棒性,可抵抗视频的重复编码,抵抗分辨率缩放,抵抗一定程度的内容修改,支持水印的盲提取。     

基于强跟踪滤波器训练的前向神经网络及其在系统辨识中的应用研究*

给出基于强跟踪滤波器训练前向神经网络的新方法。由于强制残差序列保持相互正交,强跟踪滤波器相对扩展Kalman滤波的收敛速度更快,同时精度更高。最后通过系统辨识仿真实例验证该方法的有效性。     

强震动冲击环境下的网络异常信号检测仿真

强震动冲击环境下的网络异常信号检测,可保证网络安全稳定的运行.在强震动冲击环境下,网络异常信号检测过程中存在较强的振荡波动和随机噪声,使得真实的异常信号特征与振动信号的频率及其相似.传统的基于核数据的网络异常信号检测方法,针对强震动冲击环境下的干扰,无法提取稳定的异常网络信号特征,不能够准确完成网络信号特征的分类,使得获取的网络异常信号检测结果存在较大的偏差.提出了一种采用敏感性分析的网络异常信号检测方法,在强震动冲击环境下的影响,网络异常信号与振动信号相比,存在一定的异常敏感性,先采用频率敏感性的检测方法初步检测网络异常信号,塑造网络结构有限元模型和敏感性矩阵,最后通过粒子群算法的模糊神经网络,选择模糊优选模型函数作为激励函数,能够根据强震动冲击的强度来确定各个影响因子的隶属度,确定了异常信号发生和损伤的精确位置,实现了网络异常信号的精确检测.实验结果表明,改进方法比传统方法更具有优越性,在强震动冲击环境下具有较高的网络异常信号检测效率和精度.