极小化相关论文
计算理论作为理论计算机科学的基础内容之一,由自动机、形式语言、计算复杂性等方面构成.模糊计算理论就是基于模糊逻辑和模糊集合......
随着世界越来越信息化的发展,软件产品越来越多,遍布各行各业,软件质量的重要性也逐渐为人们所察觉,软件测试步入人们的视线。回归......
结构矩阵低秩逼近问题是数值代数和非线性优化领域研究的热点问题之一.它在资产配置、图像与信号处理、潜在语义分析、机器学习等......
众所周知，优化理论在经济学、力学、变分学以及其它科学领域都有着广泛的应用.凸极小化问题是优化领域中一类比较重要的组成部分.凸......
以空时编码为切入点,介绍一种空时编码简化译码算法,在极大似然算法的基础上,对配方简化译码算法进行了解析并利用配方法来推导新......
在Butcher根树理论基础上引入Runge-Kutta方法的阶条件,并通过误差常数极小化技术得到一个新的4阶方法.数值实验结果表明,新方法与......
期刊
实现将一个有限自动机极小化是一个困难的问题.通过零状态考虑了一类(r,t)阶存贮拟线性有限自动机极小化的判断方法,给出了极小线......
由输入存贮线性有限自动机的线性系数组成的矩阵得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机......
期刊
本文从不同的角度考虑OSV模型,提出一种基于全变差和H-1范数的图像分解变分模型.通过分析OSV模型的性质,给出该模型基于小波空间的......
该文在有限自动机的矩阵模型表示方法基础上，采用矩阵理论和布尔代数为工具，提出了一种有限自动机等价判定的新方法。该方法不仅有利......
WMN（wireless mesh network）络环境中，网络拓扑结构的改变或无线冲突的发生，都可能导致作为信任值评估证据的样本空间不一定完整和可靠......
首次提出分批排序问题中的复制法,并用其证明了分批排序中的极小化求和问题以及极小化极大问题的NP-完备性.......
1引言本文考虑非线性方程组ci(x)=0, i=1,2,…,m, (1.1)其中x∈Rn,ci:Rn→R,i=1,2,…,m.对于(1.1),现在主要有两种方法.一种是Newt......
1 引言互补问题在最优化中有着广泛的应用，例如线性规划中的对偶问题，非线性规划中求稳定点的KKT条件以及变分不等式的求解都可以转......
粗集公理化是粗集理论研究的一个重要部分,它的目标是获得可靠和极小的粗集公理组.以往文献在这一研究中取得了有意义的进展,给出......
证明Ｅε（ｕ，Ｇ）＝１／ｐ∫Ｇ│△↓ｕ│＾ｐ＋１／４ε＾ｐ∫Ｇ（１－│ｕ│＾２）２在集合Ｗ＾１，ｐｇ（Ｇ，Ｃ）中存在极小元ｕε在ε→０时，ｕε在Ｗ＾１，ｐ下收敛于ｐ调和映射ｕｐ。当ｐ→２时，ｕｐ在Ｃ＾１，α下收敛于谳和映射ｕ２。......
论文基于有限自动机的矩阵模型，并以矩阵理论和布尔代数为工具，给出了一种有限自动机极小化的新方法。该方法不仅有利于算法设计和计......
给出了格值自动机的同余和同态，从代数角度出发详细研究了同余和同态关系的代数性质，揭示了格值自动机的代数性质和取值格半群的紧密......
本文进一步研究了Kleene逻辑函数，得到了这类函数的特征性质，解决了这类函数的极小化问题。由于这类函数与正则三值逻辑函数的特殊关......
期刊
研究一般拟可微集合上拟可微函数的最优化问题, 给出问题的最速下降法, 并在一定的条件和inf驻点意义下证明其算法的收敛性.......
辅助函数法在求解多峰全局优化问题时通常存在参数敏感和难以求解高维问题的缺陷,针对这两类缺陷提出了一种智能辅助函数法.首先,......
提出格值Mealy自动机的概念，从代数角度出发详细研究此类自动机的性质，同时研究此类自动机的同余和同态，揭示此类自动机的代数性质和......
文章主要讨论了矩阵模型方法在有限自动机极小化方面的应用。希望通过文章的研究,可以为相关人士提供一定的参考和借鉴。......
一般认为当平底从动件凸轮廓线曲率半径大于零时，凸轮廓线不会失真。本文指出在凸轮廓线曲率半径全部大于零时，仍可发生失真，还指出了......
自动机状态极小化是寻求状态数较少的自动机，使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解，通......
研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了"NFA→FA"等价转换算法与"FA→GFA......
通过给定的单模式构造出相应的模式匹配自动机，集成单模式匹配自动机而得到多模式非确定型有穷自动机（NFA）。将非确定型自动机转化为......
研究一类二阶系统的周期解的存在性。给出了一些新的存在性条件，在这些新的条件下，通过使用最小作用原理获得了两个新的存在性定理。......
用广义相依上导数，描述了含不等式约束的集值向量极小化问题的最优性充分条件与Fritz-John型最优性必要条件。最后还用相依上导数描......
提出格值Moore机的概念，从代数角度出发详细研究此类自动机的性质，同时研究此类自动机的同余和同态，揭示此类自动机的代数性质和取值......
在定义Fuzzy正则语言、Fuzzy有理语言等的基础上，研究Fuzzy正则语言相关的一些性质，得到Fuzzy正则语言与Fuzzy有理语言间的对应关系，......
用最小二乘法拟合等离子体粒子能谱实验数据时，通常使拟合函数与实验能谱数据之间的误差平方和极小化。如果将能谱实验数据的对数拟......
在解决图像放大中的反问题时,Chambolle变分模型需要大量的计算迭代。针对这种不足,该文提出一类新的基于Besov空间的变分模型来解......
医学图像分割是医学图像处理中的一个关键技术,其任务就是从医学图像中提取感兴趣的目标——解剖组织,是服务于临床医生的计算机辅......
滚动时域状态估计（MHSE）方法的基本思想是：将控制系统的状态估计问题转化为有限时域内的优化问题,通过获得的优化 解对系统状态进行估......
法国南部马丁岬罗克布鲁诺的蓝色海岸线或许是世间最接近天堂的地方，这里异常宁静，空气清澈柔和，强烈的光线经过深邃的地中海平面的反......
对于确定型有穷状态自动机（DFA）,通过定义状态集上的等价关系≈Q,借助于等价关系,可以在平方时间内构造出接受相同语言的极小化自动......
目的梳理迄今为止多种主体密码起源及进化假说,研究突变危险性理论的本质内容、理论特点和优势并作相应评述。方法文献考证与概念......
主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念，并利用同余和同态关系研究了......
主要为了回避解析上和计算上的困难,用近似的或简单的降阶模型替代大型动态系统高阶模型的技术已经成为现代控制系统理论和设计中......
本文对包含Fletcher-Reeves共轭梯度法的一类无约束最优化方法的全局收敛性进行了研究.Fletcher-Reeves方法的某些性质在收敛性分......
