非单调

摘要： 为避免罚函数和滤子的缺点,提高带有等式约束和半负定矩阵约束的非线性半定规划求解效率,本文通过二次半定子问题构建搜索方向,结合回溯线搜索技术和非单调充分下降性条件,提出了一种新的无罚函数无滤子的线搜索型序列半定规划算法.在合理的假设条件下,证明了新算法的适定性以及全局收敛性,最后通过初步的数值试验验证了新算法的有效性.

摘要： 2015年Ye和He提出了求解非单调变分不等式的二次投影算法。在对偶变分不等式解集非空的假设条件下,建立了该算法的收敛性分析。本文构造出了一个新的能严格分离当前迭代点与对偶变分不等式解集的超平面。利用该超平面所确定的半空间来缩小文献中的投影域的范围,这使得新算法比Ye和He的算法有更长的步长。证明了新算法所生成的点列具有全局收敛性。数值实验结果表明,在某些情况下新算法优于已有算法。

摘要： 投影算法是求解变分不等式问题的主要方法之一.目前,有关投影算法的研究通常需要假设映射是单调且Lipschitz连续的,然而在实际问题中,往往不满足这些假设条件.该文利用线搜索方法,提出了一种新的求解非单调变分不等式问题的二次投影算法.在一致连续假设下,证明了算法产生的迭代序列强收敛到变分不等式问题的解.数值实验结果表明了该文所提算法的有效性和优越性.

摘要： 对于无约束优化问题提出了一类新的结合自适应调节技术和非单调Armijo线搜索技术的锥模型信赖域算法,利用R-函数以变化的速率调节信赖域半径,使信赖域半径调节取决于问题本身,进而减少计算量.在适当的条件下,证明了此算法的全局收敛性.

摘要： 目前全国高考试卷虽有差异,但是高考数学压轴题型基本是一致的,差异只是难度上的差异,导数知识点的应用是必考内容。高考数学中导数压轴题考查的是考生的综合能力,其考查内容和方法远远超过课本,其涉及的基本概念主要有切线、单调性、非单调、极值、极值点、最值、恒成立等。

摘要： 该文对非线性方程组问题,通过将Levenberg-Marquardt方法与信赖域技巧、非单调技术、线搜索方法有效地结合在一起,给出一个新的信赖域算法并在适当假设下证明了该方法的全局收敛性,同时初步数值试验结果表明该算法是可行及有效的.

摘要： 该文对非线性方程组问题,通过将Levenberg-Marquardt方法与信赖域技巧、非单调技术、线搜索方法有效地结合在一起,给出一个新的信赖域算法并在适当假设下证明了该方法的全局收敛性,同时初步数值试验结果表明该算法是可行及有效的.

摘要： 求解极大极小问题的灵活非单调滤子方法与传统的滤子方法相比,对于试探步的可接受性,该方法具有更大的灵活性,而且与单调型方法相比,计算量更小.此外,还利用一个自适应参数来调整接受准则,从而在一定程度上避免了Maratos效应.在合理的假设下,该算法具有全局收敛性,并且通过数值实验验证了该方法的有效性.

摘要： 本文提出一种求解极小极大问题的非单调信赖域滤子法.该算法基于滤子技术,放松了试验点的可接受准则,与已有的求解极大极小问题的序列二次规划牛顿法(SQP)相比,我们的方法具有更大的灵活性.在适当的条件下,建立了全局收敛性.最后进行了数值实验.

摘要： 最近,Hedar和Fukushima等提出了一种用于求解无约束全局优化的DSSA算法,并通过数值试验证明了算法的鲁棒性和有效性.本文提出将非单调思想应用于全局优化中,并与DSSA结合形成一种被称为NMDSSA的非单调型模拟退火算法.数值试验表明,NMDSSA与DSSA算法相比具有更高的效率.

摘要： 随着Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的发展，大量Ｗｅｂ站点的建立需要一种方便、快速的自动生成工具。该文根据ＷＷＷ上的信息结构，实现了一个基于知识库，采用非单调推理的Ｗｅｂ站点自动生成系统，并给出了一个Ｗｅｂ站点生成过程的实例。

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

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

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

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

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

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

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

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

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

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