检索结果-内蒙古大学图书馆

符号算法

引用

沪东技术情报 1991年第3期 25-36页

作者：施嘉屏

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机集成制造系统 2007年第2期13卷 338-344页

作者：古天龙熊太平赵岭忠桂林电子科技大学计算机系广西桂林541004

讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,... 详细信息

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

关键词：赋时Petri网柔性制造系统调度有序二叉决策图符号算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子学报 2016年第7期44卷 1555-1560页

作者：倪锦根马兰申苏州大学电子信息学院江苏苏州215006

递增式和扩散式仿射投影算法收敛较快,但在脉冲噪声环境下这两种分布式估计算法收敛性较差或容易发散.本文采用受网络节点的权值向量更新约束的后验误差向量l1范数最小化方法,提出了两种抗脉冲干扰的分布式估计算法,即递增式和扩散式仿... 详细信息

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

关键词：自适应网络仿射投影符号算法分布式估计

来源：评论

学校读者我要写书评

暂无评论

稳健变步长符号算法在稀疏信道估计中的应用

引用

北京邮电大学学报 2017年第3期40卷 110-113,120页

作者：曲桦杨跃赵季红王伟华西安交通大学软件学院西安710049 西安交通大学电子信息工程学院西安710049

基于自适应滤波的传统稀疏信道估计方法大多基于高斯噪声模型的假设,当环境噪声包含冲击噪声时,信道估计性能将严重恶化.为了解决冲击噪声环境下的稀疏信道估计问题,提出了一种基于梯度向量混合范数的稳健变步长符号算法.仿真结果表明,... 详细信息

基于自适应滤波的传统稀疏信道估计方法大多基于高斯噪声模型的假设,当环境噪声包含冲击噪声时,信道估计性能将严重恶化.为了解决冲击噪声环境下的稀疏信道估计问题,提出了一种基于梯度向量混合范数的稳健变步长符号算法.仿真结果表明,提出的算法在高斯噪声和冲击噪声环境下达到了预期的效果.

关键词：稀疏信道估计冲击噪声变步长符号算法

来源：评论

学校读者我要写书评

暂无评论

符号算法在φ-混和输入情况下的收敛性

引用

系统科学与数学 2004年第1期24卷 129-137页

作者：张艳霞中国科学院数学与系统科学研究院北京100080

本文在*** 2000年文章结果的基础上,用符号算法(SA)考察了一类自适应辨识系统。证明了在输入和噪声信号是φ-混合情况下,对充分小的步长和任意初始权向量,权数偏离的绝对均值具有时间平均渐进收敛性。

关键词：符号算法自适应辨识系统 SA φ-混和输入收敛性权数偏离

来源：评论

学校读者我要写书评

暂无评论

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

引用

四川大学学报（工程科学版） 2008年第6期40卷 140-143页

作者：徐嘉中国科学院成都计算机应用研究所四川成都610041

为了提高形如g=m1u1+m2u2+…+mnun的根式型函数全局优化算法的效率,从根式型函数的有理化入手,讨论了这类根式型函数不等式成立的充要条件。这一充要条件成功地将形如上式的根式型不等式等价转化成了一组有理不等式。将这一条件用于此... 详细信息

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

关键词：全局优化符号算法根式函数差分代换

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子学报 1991年第4期19卷 47-52页

作者：李玉峰北京遥感设备研究所

本文提出了一种利用符号算法(Sign Algorithm)的自适应图象位移估计算法,这种迭代算法能直接估计出运动图象序列中两祯目标图象的位移。本文还对算法的性能进行了详细的理论分析,得出估计方差与信噪比、图象相关函数等参数之间的定量关... 详细信息

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

关键词：图象位移估计符号算法算法

来源：评论

学校读者我要写书评

暂无评论

素理想参数化的符号算法

引用

兰州大学学报（自然科学版） 1999年第2期35卷 30-36页

作者：牛熠李廉东莞理工学院电子系兰州大学计算机系

Ｇａｏ等给出了素理想参数化的一种随机算法，Ｇａｌｏ等估计了这种算法的计算复杂度，并将此算法改进为确定性的算法，避免了上机实现时可能出现的“随机陷阱”．尽管如此，由于这种算法可能需要计算多次特征列，使复杂度提高，应用受... 详细信息

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

关键词：素理想例外集符号计算符号算法参数化

来源：评论

学校读者我要写书评

暂无评论

约束满足问题的符号算法及其在装配规划中的应用研究

约束满足问题的符号算法及其在装配规划中的应用研究

引用

作者：徐周波西安电子科技大学

学位级别：博士

约束满足问题（CSP）是人工智能和计算机科学领域的一个重要研究课题，现实生活中的大量问题均可以适当地描述成一个CSP。由于受组合复杂性问题的制约，传统的CSP求解算法无法高效地求解大规模CSP。采用隐式的符号表示和操作技术是缓减... 详细信息

约束满足问题（CSP）是人工智能和计算机科学领域的一个重要研究课题，现实生活中的大量问题均可以适当地描述成一个CSP。由于受组合复杂性问题的制约，传统的CSP求解算法无法高效地求解大规模CSP。采用隐式的符号表示和操作技术是缓减乃至克服组合爆炸问题的一种可行策略。装配序列规划是产品设计生产过程中的重要环节，它极大地影响着装配成本及生产周期。装配序列规划的目标是求解满足各种装配约束条件的可行装配序列，通过适当描述，可将装配序列规划问题转化为约束满足问题。本文以有序二叉决策图和代数决策图为基础，对约束满足问题的符号求解技术进行了探索和研究；在此基础上，对装配序列规划问题的约束求解技术进行了研究。论文主要研究结果包括： 1.对经典约束满足问题进行了研究。通过建立变量和变量域的二进制编码，以及约束的布尔特征函数表示，给出了经典CSP的有序二叉决策图（OBDD）描述。将经典CSP中的约束按变量在约束图中的度进行归类，结合问题归约法，提出了一种新的求解经典CSP的符号OBDD算法。为进一步提高算法的执行效率，结合桶消元算法，提出了经典CSP求解的符号OBDD桶消元算法。通过与传统桶消元算法和符号直接求解算法的实验对比，结果表明本文提出的两种符号算法均扩大了问题的求解规模，并提高了算法的执行效率。 2.对加权约束满足问题（WCSP）进行了研究。通过对变量和变量域值的二进制编码，将WCSP转换成伪布尔函数表示，进而给出了WCSP的代数决策图（ADD）描述。在此基础上，将ADD的符号操作技术与分支定界搜索算法以及桶消元算法相结合，引入结点一致性预处理技术，在静态变量序的情况下给出了求解WCSP的符号ADD算法。为了进一步提高该算法的搜索下界，通过引入有向弧一致性计数技术，给出了另一种符号ADD求解算法。对大量随机生成的测试用例进行实验分析，结果表明本文提出的两种符号算法在性能上明显优于带有结点一致性或存在有向弧一致性技术的具有前向检查功能的深度优先分支定界搜索算法。 3.对装配体模型及装配序列的符号OBDD表示进行了研究。通过对装配体中零件的二进制编码，基于符号OBDD技术，给出了装配体联结图和Gottipolu装配体模型的OBDD描述。建立了装配状态和装配任务的布尔函数表示，给出了装配序列的符号OBDD表示。建立了从装配序列的AND/OR图模型到OBDD表示的转换规则，给出了AND/OR图的符号OBDD表示。通过与装配序列表示的与或图模型、有向图模型的实验对比，结果表明，装配序列的符号OBDD表示具有较高的存储效率，适合于复杂装配体的可行装配序列的描述。 4.基于拆卸法对装配序列规划问题进行了研究。通过对无向图的OBDD表示的重新分析，给出了装配联接图的新的OBDD表示和移动向量函数的共享二叉决策图（SBDD）表示。针对无向图G，给出了求解图G的顶点子集的导出子图的符号OBDD技术和判定图G的连通性的符号OBDD技术，并在此基础上，基于Sharafat递归收缩算法的思想，给出了求解无向图G的所有割集的符号OBDD算法。基于装配联接图和移动向量函数的新的符号表示模型，将符号OBDD割集算法与装配序列的割集分解法相结合，利用OBDD的符号操作实现装配操作的几何可行性分析，给出了装配序列的符号OBDD分解算法。通过装配体实验验证了基于分解法的装配序列的符号OBDD算法的正确性和可行性。 5.基于装配法对装配序列规划问题进行了研究。以装配联接图和移动向量函数为装配体模型，给出了装配联接图的SBDD表示，移动向量函数的OBDD表示。建立了装配序列规划问题的CSP模型，将装配序列规划问题描述成为一个CSP问题。将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题，利用回溯算法对CSP问题进行符号OBDD求解，给出了基于CSP模型的装配序列生成的符号OBDD算法。通过装配体实验验证了基于CSP模型的可行装配序列的符号OBDD生成技术的正确性和可行性。

关键词：约束满足问题装配体模型装配序列生成符号算法有序二叉决策图

来源：评论

学校读者我要写书评

暂无评论

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

引用

内蒙古大学学报（自然科学版） 2002年第2期33卷 209-213页

作者：吕卓生朝鲁大连理工大学数学系辽宁大连116024 内蒙古工业大学基础部内蒙古呼和浩特010026

对文〔4〕中计算微分方程 (组 )古典对称确定方程组的部分程序作了一些改进 ,使其更具实用性 ,提高了运算速度 ,实现了文〔3〕中提出的“部分计算”与信息反馈法的机械化 ,使输出结果更简洁 ,便于用吴 -微分特征列法〔3〕对确定方程组... 详细信息

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

关键词：微分方程对称理论确定方程组符号计算非古典对称偏微分方程符号算法 mKOV方程

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：