非单调技术

摘要： 低秩矩阵恢复问题作为一类在图像处理和信号数据分析等领域中都十分重要的问题已被广泛研究.本文在交替方向算法的框架下,应用非单调技术,提出一种求解低秩矩阵恢复问题的新算法.该算法在每一步迭代过程中,首先利用一步带有变步长梯度算法同时更新低秩部分的两块变量,然后采用非单调技术更新稀疏部分的变量.在一定的假设条件下,本文证明了新算法的全局收敛性.最后通过解决随机低秩矩阵恢复问题和视频前景背景分离的实例验证新算法的有效性,同时也显示非单调技术极大改善了算法的效率.

摘要： 混合折线信赖域算法中加入非单调技术,使算法对信赖域的半径有自动调节功能的同时增加了运算效率,得到一种非单调混合折线算法,一定条件下,对算法的总体收敛性进行了证明,数值试验结果表明新算法是有效性。

摘要： 混合折线信赖域算法中加入非单调技术,使算法对信赖域的半径有自动调节功能的同时增加了运算效率,得到一种非单调混合折线算法,一定条件下,对算法的总体收敛性进行了证明,数值试验结果表明新算法是有效性.

摘要： 针对序列二次规划(SQP)算法在处理结构复杂、非线性程度较大的半无限极大极小离散化问题时计算效率较低的不足,提出一种非单调序列二次约束二次规划(SQCQP)算法,并在适当的条件下证明算法的收敛性.数值实验结果表明,在离散水平为100的情形下,非单调类SQCQP算法在减少迭代次数和计算时间等方面均优于SQP算法.

摘要： 本文研究了半无限minimax问题.利用积极集识别技术结合非单调有限记忆序列二次规划(SQP)方法来求解半无限minimax问题.在适当的条件下证明了算法的收敛性.数值结果表明新算法在降低求解规模和迭代次数等方面均优于采用Armijo型线搜索的SQP方法.

摘要： 本文将新提出的自适应信赖域半径[1]与非单调技术[2]相结合,提出了一种新的非单调自适应信赖域方法。

摘要： 本文将新提出的自适应信赖域半径[1]与非单调技术[2]相结合,提出了一种新的非单调自适应信赖域方法.

摘要： 本文给出一个修正的非单调线搜索策略,并结合该策略提出一个求解无约束优化问题的超记忆梯度算法.该算法的主要特点是:在每一次迭代中,它所产生的搜索方向总是满足充分下降条件.这一特性不依赖于目标函数的凸性以及方法所采用的线搜索策略.在较弱的条件下,该方法具有全局收敛和局部R-线性收敛性.数值实验表明了该方法的有效性.

摘要： 本文结合目前流行的非单调技术,将其应用于锥模型信赖域算法中,提出一种新的非单调无约束优化算法,与传统非单调信赖域算法相比,该算法不仅不需要重解子问题,而且充分利用了迭代函数的信息,并且每一步迭代保证Hesse的正定性,一定条件下,证明了该算法的收敛性.

摘要： 本文通过引入非单调投影梯度信赖域方法解决有界约束半光滑欠定方程组.基于简单有界约束非线性优化问题构建信赖子问题,半光滑高斯牛顿步在可行域投影得到投影高斯牛顿的试探步,获得新的搜索方向,结合非单调线搜索技术得到回代步,获得新的步长.在合理的条件下,证明算法具有全局和局部收敛性.最后,数值试验表明算法的可行性和有效性.

摘要： 本文通过引入非单调投影梯度信赖域方法解决有界约束半光滑欠定方程组.基于简单有界约束非线性优化问题构建信赖子问题,半光滑高斯牛顿步在可行域投影得到投影高斯牛顿的试探步,获得新的搜索方向,结合非单调线搜索技术得到回代步,获得新的步长.在合理的条件下,证明算法具有全局和局部收敛性.最后,数值试验表明算法的可行性和有效性.

摘要： 本文通过引入非单调投影梯度信赖域方法解决有界约束半光滑欠定方程组.基于简单有界约束非线性优化问题构建信赖子问题,半光滑高斯牛顿步在可行域投影得到投影高斯牛顿的试探步,获得新的搜索方向,结合非单调线搜索技术得到回代步,获得新的步长.在合理的条件下,证明算法具有全局和局部收敛性.最后,数值试验表明算法的可行性和有效性.

摘要： 本文通过引入非单调投影梯度信赖域方法解决有界约束半光滑欠定方程组.基于简单有界约束非线性优化问题构建信赖子问题,半光滑高斯牛顿步在可行域投影得到投影高斯牛顿的试探步,获得新的搜索方向,结合非单调线搜索技术得到回代步,获得新的步长.在合理的条件下,证明算法具有全局和局部收敛性.最后,数值试验表明算法的可行性和有效性.

摘要： 本文通过引入非单调投影梯度信赖域方法解决有界约束半光滑欠定方程组.基于简单有界约束非线性优化问题构建信赖子问题,半光滑高斯牛顿步在可行域投影得到投影高斯牛顿的试探步,获得新的搜索方向,结合非单调线搜索技术得到回代步,获得新的步长.在合理的条件下,证明算法具有全局和局部收敛性.最后,数值试验表明算法的可行性和有效性.

摘要： 本文通过引入非单调投影梯度信赖域方法解决有界约束半光滑欠定方程组.基于简单有界约束非线性优化问题构建信赖子问题,半光滑高斯牛顿步在可行域投影得到投影高斯牛顿的试探步,获得新的搜索方向,结合非单调线搜索技术得到回代步,获得新的步长.在合理的条件下,证明算法具有全局和局部收敛性.最后,数值试验表明算法的可行性和有效性.

摘要： 本发明的目的是提供一种基于非单调搜索技术的全波形反演方法及系统，方法包括：首先按照设定频组范围将多尺度反演频率划分N个频组；其次采用非单调搜索技术结合初始步长，根据所述地震观测数据和初始速度模型确定第j频组对应的下次迭代的速度模型；然后判断j是否大于N；如果j大于N，则将第j频组对应的下次迭代的速度模型作为最优速度模型输出；最后基于所述最优速度模型进行地震成像。本发明将非单调搜索技术与初始步长相结合确定步长，该方法既能够在保证反演计算效率的前提下，获得高精度的反演结果；又能够在初始速度模型较差的时候，一定程度上保证反演的全局收敛性，获得较好的反演结果。

摘要： 一种单调计数器包括多个级，所述多个级分别对应于所述单调计数器的多个计数位元。该多个级中的至少一个是包括多个非易失性双稳态触发器的非易失性双稳态触发器计数器，每一非易失性双稳态触发器包括一对非易失性存储胞元。

摘要： 本发明公开了一种原子结构弛豫的非单调线搜索方法及装置，使用BB步长作为试探步长，从而能够充分利用其优越于SD的局部收敛速度，以及使用非单调线搜索策略来判定试探位置是否被接受，减少调用线搜索算法的次数，从而极大地减少线搜索带来的昂贵开销。

摘要： 本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

摘要： 为期望状态配置(“DSC”)提供用于非单调最终收敛的技术。在一些情况下，如果不首先远离期望状态移动，则DSC不能朝向期望状态移动。例如，需要使用较新版本替换但是当前正在执行(期望的“操作”状态)的文件在没有首先停止的情况下不能进行替换。但是停止在相对于期望状态的错误方向上移动，这是为了使服务操作。为了能够向前移动而进行的这种移动远离是传统DSC系统导致故障的一个问题。这个问题的解决方案是非单调最终收敛(“NMEC”)，其使得DSC系统能够通过在需要以便最终达到期望状态的情况下进一步远离期望状态移动来配置目标系统以达到期望状态。

摘要： 本发明的目的是提供一种基于非单调搜索技术的全波形反演方法及系统，方法包括：首先按照设定频组范围将多尺度反演频率划分N个频组；其次采用非单调搜索技术结合初始步长，根据所述地震观测数据和初始速度模型确定第j频组对应的下次迭代的速度模型；然后判断j是否大于N；如果j大于N，则将第j频组对应的下次迭代的速度模型作为最优速度模型输出；最后基于所述最优速度模型进行地震成像。本发明将非单调搜索技术与初始步长相结合确定步长，该方法既能够在保证反演计算效率的前提下，获得高精度的反演结果；又能够在初始速度模型较差的时候，一定程度上保证反演的全局收敛性，获得较好的反演结果。

摘要： 本发明公开了一种原子结构弛豫的非单调线搜索方法及装置，使用BB步长作为试探步长，从而能够充分利用其优越于SD的局部收敛速度，以及使用非单调线搜索策略来判定试探位置是否被接受，减少调用线搜索算法的次数，从而极大地减少线搜索带来的昂贵开销。

摘要： 本发明公开了一种具有非单调变化电阻态的忆阻器在碰撞预测中的应用，该忆阻器的介电层材质为可光调控的介电材料；在光信号刺激下，忆阻器的电阻态呈现非单调变化。本发明利用忆阻器对光强大小具有电学响应性，通过光照产生的瞬态焦耳热对CF的几何形状的改变实现忆阻器电阻态的动态调控，从而识别出运动光源的远近，并对即将发生的碰撞行为进行预测，有效的将光学信号的感知和处理整合在单一忆阻器中，解决由于现有移动机器人的计算体系复杂引起的一系列问题。此外，本发明基于忆阻器焦耳热效应构建的碰撞预测方法同时具有成本低、稳定性高、操作简单等优点，因此具有良好的应用前景，能广泛应用于移动机器人系统的智能碰撞预测。

摘要： 本发明公开了一种非单调推理在逻辑动作语言系统刻画中的知识表示方法。该方法对多种经典逻辑动作语言进行抽象刻画与性质表示，在统一的特性空间下，给出这些语言的最小特征集。该方法包括逻辑动作语言在回答集逻辑程序语法下的系统化自动翻译、确定性语义特性约束集合构建、稳定模型语义映射与一致性验证三部分内容。逻辑动作语言利用本发明能够系统性地表示与分析逻辑动作语言，并提高针对不同逻辑动作语言系统的知识表示与推理的适用性和效率。

摘要： 本发明公开了一种基于随机计算的非单调函数近似计算装置，包括输入移位单元、特殊值生成单元、随机比特流生成单元、取反选择单元、逻辑运算单元和计数器单元。输入移位单元将输入自变量x的高m位取出，作为特殊值生成单元的输入，特殊值生成单元通过组合逻辑映射得到装置需要的特殊值，随机比特流生成单元将特殊值转换为随机比特流，逻辑运算单元对随机比特流进行按位逻辑运算并输出相应的结果比特流，计数器单元统计结果比特流中“1”的个数以得到输出结果。本发明的装置能实现基于随机计算原理近似计算非单调函数，在保持较高精度的同时，极大地降低了硬件架构的功耗和面积开销。