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

计算机学报 2003年第9期26卷 1206-1210页

作者：吴清沈雪勤颜威利河北工业大学计算机科学与软件学院天津300130

在探索单尺度径向小波框架与径向基函数网络对函数逼近特性相似的基础上 ,构造了单尺度径向基小波网络 .针对在高维应用中出现的维数灾难 ,以减少其对维数的依赖性为出发点 ,实现了限制网络规模过大的方法 ,主要包括根据输入样本的时频... 详细信息

在探索单尺度径向小波框架与径向基函数网络对函数逼近特性相似的基础上 ,构造了单尺度径向基小波网络 .针对在高维应用中出现的维数灾难 ,以减少其对维数的依赖性为出发点 ,实现了限制网络规模过大的方法 ,主要包括根据输入样本的时频信息和小波的时频定位区间 ,采取多种措施自适应地从小波栅格中挑选恰当的小波基 ;根据输出样本信息 ,考虑权值的不同重要程度 ,利用自适应正交投影算法完成了网络结构大小及其连接权值的自动确定 .通过将该方法应用到脑电逆问题的求解实例中。

关键词：神经网络多维小波网络构造性算法函数逼近

来源：评论

学校读者我要写书评

暂无评论

整数标号的Brouwer不动点的构造性算法

引用

武汉化工学院学报 1996年第2期18卷 72-75页

作者：梁正礼

本文提出计算标准单纯形上连续自映射不动点的一种整数标号的变维数单纯重复开始算法，该算法给出了Ｂｒｏｕｗｅｒ不动点定理一个新的构造性证明。数值结果表明新的算法是行之有效的。

关键词：不动点整数标号算法构造性算法

来源：评论

学校读者我要写书评

暂无评论

微分代数的构造性算法及其在非线性系统中的应用

微分代数的构造性算法及其在非线性系统中的应用

引用

1992年中国控制与决策学术年会

作者：曹曙光陕西机械学院自动控制教研室

本文利用Ritt所提的微分代数的构造性方法,给出了Fliess所提的微分代数的构造性算法．这些算法可以给出分析和设计控制多项式系统由计算机实现的算法．算法的基本思路是从原系统方程出发,得出确定各种问题解的特征集．从特征集可得系统... 详细信息

本文利用Ritt所提的微分代数的构造性方法,给出了Fliess所提的微分代数的构造性算法．这些算法可以给出分析和设计控制多项式系统由计算机实现的算法．算法的基本思路是从原系统方程出发,得出确定各种问题解的特征集．从特征集可得系统的一组结构不变量,它们对应于控制仿射系统的线性秩,可逆性指标和微分输出秩,并且使得最小阶设计更为明显．

关键词：非线性系统微分代数构造性算法

来源：评论

学校读者我要写书评

暂无评论

复杂非线性系统的构造性算法、符号分析及其应用

复杂非线性系统的构造性算法、符号分析及其应用

引用

计算机作为数学领域研究的重要工具已成为二十一世纪数学发展的一个新趋势，并且逐步形成一门学科叫计算机数学。事实上，它在其他学科中也发挥着重要的作用。计算机广泛地用于机器证明与符号推理分析，在很多科学研究领域中越来越发挥... 详细信息

标准号: 1001381449

计算机作为数学领域研究的重要工具已成为二十一世纪数学发展的一个新趋势，并且逐步形成一门学科叫计算机数学。事实上，它在其他学科中也发挥着重要的作用。计算机广泛地用于机器证明与符号推理分析，在很多科学研究领域中越来越发挥着不可取代的作用。国际著名数学家吴文俊院士于上世纪七十年代后期开创了崭新的“数学机械化”研究领域，提出了数学机械化纲领.他创立了用机器证明几何定理的“吴方法”，实现了高效精确的几何定理自动推理证明。另外还提出了“吴消元法”，为代数与微分方程组结构确定与符号求解提供了完整的计算机数学理论和方法。非线性科学领域(如等离子体物理、海洋中冲击波、大气动力学、非线性光学、量子力学、流体力学、分子生物学、磁学、超导Josephson结、液晶、光孤立子通信系统等)出现了大量非线性微差分模型。非线性现象在很多科学领域发挥着越来越重要的作用，研究非线性现象并且将它们应用到实际中具有重要意义。该项目属于非线性科学、数学物理、计算机科学的等交叉领域，是非线性科学和符号分析相结合的前沿研究领域。内容涉及复杂非线性波、可积系统、对称分析、混沌控制与同步、符号分析等。受到国家重点基础研究计划、国家自然科学基金、全国优秀博士论文基金、中科院重要研究方向等多方资助。该项目自1997年起系统地研究了复杂非线性波的构造性算法，对称分析，可积系统，混沌广义型同步与控制和符号分析，取得了一系列在国际上有影响力的创新性成果。该项目系统深入地研究了复杂非线性系统的等共性基础理论问题和应用：a)提出了很多有效的构造性算法，建立了复杂非线性波系统与易解非线性系统之间的联系；b)系统地提出了非线性微分系统的非古典势解的理论，解决了近十年的难题；c)首次提出了复数域中含非线性色散项的广义Schrodinger方程，并证明具有包络compacton和spikon解；d)国际上率先建立了连续和离散混沌系统的广义同步和控制的符号-数值混合算法，并给出了软件包，在计算上自动推理。该项目的成果丰富了非线性系统的构造性研究的内容，促进了相关学科分支的建立和发展，深化了对构造性理论和应用的理解，在学术上总体达到了国际先进水平，部分处于国际领先地位。该项目在国际重要的SCI核心期刊上发表论文48篇，出版专著1部，主编论著1部(即将由美国Nova科学出版)，翻译Springer论著1部(即将由科学出版社出版)。研究工作曾获2008年中国科学院卢嘉锡青年人才奖、2005年全国优秀博士学位论文奖、2004年辽宁省优秀博士学位论文奖、2003年关肇直青年研究奖、2002年加拿大PIMS博士后研究基金、2001年日本复建奖学金和1999年宝钢优秀学生奖。该项目的理论、观点和结论得到国际同行专家的高度评价并激发专家深入的后续研究，被美国、意大利等国家和地区的同行大量正面评述和引用，其中SCI他人引用900多次，单篇SCI最高他人引用147次。

关键词：复杂非线性系统构造性算法计算机数学理论

来源：评论

学校读者我要写书评

暂无评论

基于商空间的构造性分层竞争网络算法

引用

微机发展 2005年第4期15卷 37-39页

作者：毛军军吴涛郑婷婷张铃安徽大学智能计算与信号处理重点实验室

构造性学习方法根据学习样本构造神经网络,有效地解决了神经网络结构难以确定和学习速度慢的问题。文中在此基础上,利用商空间的粒度原理和霍夫曼编码的思想,对样本分布极其不均匀的分类问题,构造分层竞争覆盖网络。实例表明这种算法可... 详细信息

构造性学习方法根据学习样本构造神经网络,有效地解决了神经网络结构难以确定和学习速度慢的问题。文中在此基础上,利用商空间的粒度原理和霍夫曼编码的思想,对样本分布极其不均匀的分类问题,构造分层竞争覆盖网络。实例表明这种算法可以进一步提高训练的速度和识别的精度,减少拒识样本。

关键词：神经网络构造性算法商空间理论霍夫曼编码

来源：评论

学校读者我要写书评

暂无评论

机器学习中的核覆盖算法

引用

计算机学报 2005年第8期28卷 1295-1301页

作者：吴涛张铃张燕平安徽大学智能计算与信号处理教育部重点实验室

基于统计学习理论的支持向量机(SVM)方法在样本空间或特征空间构造最优分类超平面解决了分类器的构造问题,但其本质是二分类的,且核函数中的参数难以确定,计算复杂性高.构造性学习算法根据训练样本构造性地设计分类网络,运行效率高,便... 详细信息

基于统计学习理论的支持向量机(SVM)方法在样本空间或特征空间构造最优分类超平面解决了分类器的构造问题,但其本质是二分类的,且核函数中的参数难以确定,计算复杂性高.构造性学习算法根据训练样本构造性地设计分类网络,运行效率高,便于处理多分类问题,但存在所得的分界面零乱、测试计算量大的缺点.该文将SVM中的核函数法与构造性学习的覆盖算法相融合,给出一种新的核覆盖算法.新算法克服了以上两种模型的缺点,具有运算速度快、精度高、鲁棒性强的优点.其次,文中给出风险误差上界与覆盖个数的关系.最后给出实验模拟,模拟结果证明了新方法的优越性.

关键词：核覆盖算法融合机器学习支持向量机构造性算法

来源：评论

学校读者我要写书评

暂无评论

染缸排产建模及优化算法研究

染缸排产建模及优化算法研究

引用

作者：隗千千北京交通大学

学位级别：硕士

印染加工是纺织工业产业链中最重要的环节之一。由于染色加工工序耗时长、约束限制多且随机性高,因此染缸排产工作非常繁琐且技术性较强。人工排产不仅耗费大量的人力物力,排产计划的质量也难以把控,最重要的是人工排产已经成为企业上... 详细信息

印染加工是纺织工业产业链中最重要的环节之一。由于染色加工工序耗时长、约束限制多且随机性高,因此染缸排产工作非常繁琐且技术性较强。人工排产不仅耗费大量的人力物力,排产计划的质量也难以把控,最重要的是人工排产已经成为企业上层信息管理系统和底层生产控制系统之间的断层。随着纺织工业的发展,生产需求不断变化,现有的研究成果已经不能很好地满足应用需求。研究合理的染缸排产模型、设计有效的智能优化算法,不仅有助于提高企业效益、降低生产能耗,对实现染纱车间的自动化生产、排产计划的智能调控也很重要。因此,本文从实际需求出发,重点研究染缸排产问题模型及其优化算法。主要工作及成果如下:首先,结合具体问题背景,总结印染生产流程及特点,扩展了现有的染缸排产模型。以洗缸成本、染缸切换成本和延误代价为优化目标,增加了产品禁荧光约束、染缸维护时间约束、进出缸并发约束、头缸约束和拆缸约束五个约束条件,建立了染缸排产约束模型。然后,以产品为基本调度单位,基于构造性方法设计了滑动时间窗启发式调度算法,按照规则顺序对产品进行分批及批次调度。在产品分批时,对普通产品(原计划中的产品)和增量产品分别处理。普通产品使用拆缸和拼缸两种方式划分批次,而增量产品直接获取原计划中的分批方案。在调度批次时,调整批次所用染缸及加工时间,生成产品的可行调度方案。通过数值实验,检验了滑动时间窗启发式调度算法的高效性,相对于人工排产结果,求解质量更高。最后,为了进一步优化调度结果,对理想状态下的产品批次调度优化做了探索性研究。在无并发约束的条件下,以染缸的批次序列为基本调度单位,建立了基于列生成的批次调度模型,并设计了分支定价算法求解。在求解过程中,根据问题特点分别提出了算法的几个关键问题的解决方案,其中价格子问题设计了两种求解算法,分别为基于改进贪心搜索和基于变邻域搜索的价格子问题算法。结合数值实验,对模型及算法的可行性进行了验证,分析了两种价格子问题求解算法。结果表明,大部分算例的目标值均有明显优化,并且在可接受的时间内,基于变邻域搜索的价格子问题算法的优化效果更好。

关键词：染缸排产构造性算法列生成分支定价贪心搜索变邻域搜索

来源：评论

学校读者我要写书评

暂无评论

微分几何定理证明中最简单辅助条件的计算

引用

兰州大学学报（自然科学版） 2003年第1期39卷 20-23页

作者：王继民李廉北京大学计算机科学技术系北京100871 兰州大学信息科学与工程学院甘肃兰州730000

在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单... 详细信息

在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单辅助条件的构造性算法 .

关键词：微分几何定理机器证明吴方法 Rosenfeld—Gr6bner算法辅助条件构造性算法

来源：评论

学校读者我要写书评

暂无评论

一类非负矩阵的逆谱问题

引用

中北大学学报（自然科学版） 2016年第2期37卷 109-111页

作者：雷英杰谭迎新中北大学理学院山西太原030051 中北大学化工与环境工程学院山西太原030051

给定一个n元复数组σ={λ_1;λ_2,…,λ_n},其中L={λ_2,…,λ_n}在复数共轭下保持封闭性质.非负矩阵的逆谱问题就是确定n阶非负矩阵以σ为谱的充要条件.如果存在非负矩阵A以σ为谱,就称σ是可以实现的,或A实现σ.本文意在刻画λ_1和L... 详细信息

给定一个n元复数组σ={λ_1;λ_2,…,λ_n},其中L={λ_2,…,λ_n}在复数共轭下保持封闭性质.非负矩阵的逆谱问题就是确定n阶非负矩阵以σ为谱的充要条件.如果存在非负矩阵A以σ为谱,就称σ是可以实现的,或A实现σ.本文意在刻画λ_1和L的特征,使得σ={λ_1;L}可以被一个n阶非负矩阵实现,其中λ_1为可实现矩阵的perron特征值,主要方法是Brauer秩1扰动定理及行和相同的实矩阵的性质,得到具有复数谱集的若干可解条件,同时也结合具体实例证实了所给算法的有效性和实用性.

关键词：非负矩阵特征值逆谱问题构造性算法

来源：评论

学校读者我要写书评

暂无评论

旅行商问题基于参考点的相邻插入法及其改进

引用

计算机工程与应用 2002年第20期38卷 63-65页

作者：童行行王凌何京芮清华大学自动化系北京100084

旅行商问题(Traveling Salesman Prblem,TSP)是典型的 NP-hard 问题。通过对已有以最近插入法为代表的构造性算法的分析,提出了一种具有多项式时间性能的基于参考点的相邻插入法及其改进策略,其时间复杂度分别为O(n2)和O(n3),同时基于... 详细信息

旅行商问题(Traveling Salesman Prblem,TSP)是典型的 NP-hard 问题。通过对已有以最近插入法为代表的构造性算法的分析,提出了一种具有多项式时间性能的基于参考点的相邻插入法及其改进策略,其时间复杂度分别为O(n2)和O(n3),同时基于典型算例的仿真研究验证所提出算法的有效性和高效性。

关键词：旅行商问题参考点相邻插入法构造性算法多项式时间算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：