柔性制造系统中生产调度问题求解的一种符号算法

讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,避免了状态和搜索的显示枚举,实现了隐式高效操作,进而改善了算法的计算性能。仿真实验表明了算法的有效性。

基于韦伯分布函数的低复杂度变步长符号算法

针对OFDM系统中传统信道估计算法在冲击噪声环境中性能急剧下降的问题,提出了一种基于韦伯分布函数的顽健型变步长符号算法进行信道估计。在深入研究冲击噪声特性及韦伯分布函数性质的基础上,提出了采用估计误差绝对值的韦伯分布函数控制步长的低复杂度变步长符号算法。该算法在利用传统符号算法顽健性的基础上,采用估计误差的韦伯分布函数动态地改变迭代符号算法的步长,从而能够以较低的复杂度提高变步长符号算法在冲击噪声环境中的收敛速度。算法复杂度分析及仿真结果表明,在冲击噪声环境下所提算法相较于传统自适应滤波信道估计算法能够以更低的复杂度、更快的收敛速度达到相同的信道估计均方误差。

抗脉冲干扰的分布式仿射投影符号算法

递增式和扩散式仿射投影算法收敛较快,但在脉冲噪声环境下这两种分布式估计算法收敛性较差或容易发散.本文采用受网络节点的权值向量更新约束的后验误差向量l1范数最小化方法,提出了两种抗脉冲干扰的分布式估计算法,即递增式和扩散式仿射投影符号算法.仿真结果表明,与分布式仿射投影算法相比,分布式仿射投影符号算法在脉冲噪声环境下具有更好的鲁棒性.

素理想参数化的符号算法

Ｇａｏ等给出了素理想参数化的一种随机算法，Ｇａｌｏ等估计了这种算法的计算复杂度，并将此算法改进为确定性的算法，避免了上机实现时可能出现的“随机陷阱”．尽管如此，由于这种算法可能需要计算多次特征列，使复杂度提高，应用受到很大限制．本文给出了素理想参数化的一种符号算法．只需计算两次特征列，就能得到原理想的参数化．并同时可以确定“例外集”

宽线性动量符号算法及其在盲多用户检测中的应用

提出了宽线性符号算法,对其收敛性进行了分析,并将其扩展成宽线性动量符号算法.讨论了算法应用于码分多址系统多址干扰抵消的效果.仿真表明新算法的性能优于Y in(2003)及Schober(2004)所提出的算法的性能.

一类根式型函数全局优化的符号算法

为了提高形如g=m1u1+m2u2+…+mnun的根式型函数全局优化算法的效率,从根式型函数的有理化入手,讨论了这类根式型函数不等式成立的充要条件。这一充要条件成功地将形如上式的根式型不等式等价转化成了一组有理不等式。将这一条件用于此类根式型函数全局优化的符号算法中,有效地改进了原有的通用算法,从而达到了提高原算法在此类根式型函数上运算效率的目的。

生成Fibonacci数列的一个符号算法

本文基于牛顿迭代原理,提出一个生成Fibonacci数列的符号算法。文中对算法的导出进行了证明,最后对广义Fibonacci数列进行了讨论。

采用梯度平滑措施的自适应符号算法

以自适应回波对消为对象 ,讨论了两种自适应符号算法的梯度估计平滑方法。从理论上对其中一种平滑方案导出的自适应算法的性能进行了详尽的分析。在输入为联合高斯的情况下 ,给出了权值一阶矩和二阶矩的收敛特性公式。结果表明 ,与符号算法相比 ,平滑算法的收敛速度与符号算法基本一致 ,但稳态误差更小 ,自适应步长的取值范围更大。

基于指数函数的变步长仿射投影符号算法

现有的变步长仿射投影符号算法(Variable Step Size Affine Projection Sign Algorithm,VSS-APSA)收敛速度缓慢,在非稳定环境下性能严重衰减。为了解决这些问题,提出了一种基于指数函数的变步长仿射投影符号算法。通过使用修改后的误差函数作为步长函数,利用无噪先验误差的功率与步长的非线性关系对步长值进行迭代更新。仿真实验结果证明,与传统的变步长仿射投影符号算法相比,提出的算法具有更快的收敛速度、更小的稳态误差以及更高的稳定性。

计算微分方程对称的符号算法及其实现

对文〔4〕中计算微分方程 (组 )古典对称确定方程组的部分程序作了一些改进 ,使其更具实用性 ,提高了运算速度 ,实现了文〔3〕中提出的“部分计算”与信息反馈法的机械化 ,使输出结果更简洁 ,便于用吴 -微分特征列法〔3〕对确定方程组作进一步简化 .同时编制了计算微分方程(组 )非古典对称的程序 ,该程序具有通用性好 ,效率高等特点 .本文程序是由符号计算系统软件 Mathematica实现的 .作为算例给出了 m KDV方程的非古典对称及利用对称将 Jim bo-Miwa方程化成了常微分方程 ,说明了我们的算法、程序及对称理论的有效性 .

一类常微分方程在奇点处解的符号算法

借助于常微分方程(或微分算子)的牛顿多边形,本文给出了一类常微分方程在奇点处解的符号算法。此算法能使我们得到方程在奇点处的精确解。

一种利用符号算法的自适应图象位移估计算法

本文提出了一种利用符号算法(Sign Algorithm)的自适应图象位移估计算法,这种迭代算法能直接估计出运动图象序列中两祯目标图象的位移。本文还对算法的性能进行了详细的理论分析,得出估计方差与信噪比、图象相关函数等参数之间的定量关系式,以及由于坐标量化而引起的算法对图象特征的限制条件。理论分析和模拟表明,它具有较强的抗干扰能力和计算量少,便于实时实现等优点,可应用于成象跟踪和图象编码等领域。

复平面上微分方程多项式解的符号算法

将一种基于Ｌａｎｃｚｏｓτ方法的符号计算方法用于求解一些满足一定边界条件的摄动微分方程的精确多项式解。τ方法表达式中利用了符号Ｆａｂｅｒ多项式作为复平面上特定范围内的摄动项。此方法计算简便，且其精度优于同次的切比雪夫级数与Ｔａｙｌｏｒ级数。这里将以第一类Ｂｅｓｓｅｌ函数Ｊ０（ｚ）为例来介绍此方法。

用于DS/CDMA系统多用户检测的变步长符号算法

提出了一种新颖的变步长符号算法用于DS/CDMA系统的多用户检测。这种算法对盲平均符号算法的步长又一次采用二次最小均方误差算法,克服了盲平均符号算法受步长影响的缺点,并利用符号算法计算复杂度低的特点,加快了算法的收敛速度。仿真表明,这种算法能够自动迅速地适应环境的变化并且不受初始步长和学习率的影响,在性能上优于与其类似的自适应接收机。

网络最大流问题的一种新的符号ADD求解算法

通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。

约束满足问题求解的符号OBDD桶消元算法

桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。

网络最大流问题求解的符号ADD增广路径算法

本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法。与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善。实验结果表明,本文算法是切实有效的,且可处理更大规模的问题。

稳健的仿射投影符号自适应滤波算法

非高斯的冲击噪声在现实世界广泛存在,严重影响了基于l2范数优化准则的自适应滤波算法的性能。在各类自适应滤波算法中仿射投影符号算法(APSA)结合了仿射投影算法(APA)良好的收敛特性和符号算法对非高斯冲击噪声干扰的抑制能力,因而其在非高斯冲击噪声条件下具有良好的性能。但是该算法的步长选择是固定的,且未考虑系统稀疏特性,因而在参数选择和收敛速度方面有一定的局限性。将变步长的方法和比例矩阵的思想融合到一起,引入步长函数,提出了一种稳健的仿射投影符号自适应滤波算法—变步长的改进比例仿射投影符号算法(VSS-IPAPSA)。该算法不仅可以缓解收敛速度与稳态失调之间的矛盾,同时也可以增加其对系统的不同稀疏特性和噪声特性的适应性。理论分析和仿真实验结果验证了其稳健性和有效性。

加权约束满足问题的改进RDS符号代数决策图求解算法

加权约束满足问题(WCSP)是一类约束最优化问题.文中基于RDS思想,从减少RDS分解的子问题个数及提高各个子问题的求解效率入手,提出WCSP的改进RDS符号代数决策图(ADD)求解算法.通过改进最多约束变量的变量选择法,引入RDS变量引导原问题的子问题分解,进而减少RDS中分解的子问题个数.利用变量的后向度,进一步改进子问题的分解方法.为提高各个子问题的求解效率,利用桶消元算法并结合ADD操作消去子问题中的非RDS变量,进而减少子问题中的变量个数,提高深度优先分支界定法的下界.在大量随机生成的测试用例上的实验证明文中算法的优越性.