单调性

摘要： 该文研究一类Ornstein-Uhlenbeck算子的狄利克雷问题,通过运用Galerkin近似法、Minty法得到该类Ornstein-Uhlenbeck算子的狄利克雷问题弱解的存在唯一性,进而证明了其弱解的连续性.

摘要： 研究了半空间上带Hardy位势的分数阶Laplace方程的De Giorgi型边值问题.运用sliding方法,证明了解的单调性.

摘要： 在广义量词理论的基础上,充分利用直言命题具有Q(X, Z)这样的三分结构、亚氏量词的真值定义、亚氏量词的单调性与其三种否定量词单调性的可转换关系、亚氏量词no和some的对称性以及反三段论推理规则,仅仅把第一格AAA式三段论作为基础公理,就可以推导出其余23个有效的三段论,从而为亚氏三段论逻辑建立起极简的形式化公理系统。

摘要： 平面区域内的连续函数沿该区域内的任何连续曲线自然是连续的,但反之未必.本文证明:如果平面区域内的一个函数沿覆盖该区域的两相交可求长连续曲线族是连续的,并且沿其中一族曲线具有单调性,则该函数在该区域连续.

摘要： 一、题目呈现与分析题目(2020年高考全国Ⅰ卷第21题)已知函数f(x)=ex+ax2−x.(1)当a=1时,讨论f(x)的单调性;(2)当x≥0时,f(x)≥1/2x^(3)+1,求a的取值范围.题目结构清晰,知识方面主要考查函数的单调性,函数不等式恒成立,导数在函数中的应用等;思想方面主要考查函数与方程,分类讨论,转化与化归,数形结合等思想.

摘要： 利用导数研究函数的单调性和证明不等式问题是高考命题的热点.极值点偏移常作为不等式命题的切入点,以构造函数和放缩法作为主要解题策略,以压轴题形式出现,综合性强,难度大,对学生逻辑推理、数学运算等数学学科核心素养提出了更高要求,具有选拔性功能.

摘要： 作为高考压轴题,承担着选拔人才功能的导数与三角函数结合的试题,能考查学生综合能力和素养.新高考的考查已经不仅仅局限于基本知识和基本技能,更重视对学生综合核心素养和关键能力的考查,题目会更加灵活多变,富有创新性和综合性.在有限的题目里融入数学文化、生活实际,那么知识之间的融合必然会更加精彩,将不同的知识点融合交会,提高了难度,也考查了学生的综合素养.导数与三角函数的精彩交会将是继指数函数、对幂函数综合交会之后的又一题型,于是周期性、有界性和放缩就被融入进来,在这个过程中,单调性、最值、极值、零点、取值范围、恒成立和证明不等式等成了精彩交会的热点.

摘要： 在函数问题中,有一部分问题是利用函数的单调性构造出来的,如果能够将这类问题中隐藏的函数模型呈现出来,不仅会加快解题者解决问题的速度,更有助于看清问题的本质.一般而言,若F(x)≥0能够变形成f(g(x))≥f(h(x))的形式,则可利用f(x)的单调性得到g(x)≥h(x)(或g(x)≤h(x)),这种变形的方法称为同构变形.

摘要： 本文通过审视两则流行范围较广、选用频率较高的高三训练题,诊断、剖析其跟踪答案解析中的问题所在,加深复合函数的正确认识与深入理解,对引导学生准确掌握复合函数单调性、最值、极值等大有裨益.

摘要： 数学学科核心素养是为建立核心素养与课程教学间的内在联系,基于数学学科的本质凝练出的核心素养。它包括数学抽象、逻辑推理、数学建模、直观想象、数学运算和数据分析。本文以“函数单调性”为例,立足于在课堂教学中渗透数学核心素养的培养,给出了一个完整的教学设计。

摘要： 由于传统灰色预测模型只适应低增长，近指数序列的预测，于是文献提出通过计算级比偏差作为是否可以使用灰色预测模型的事前检验方法。基于这一事实文献研究了缩小级比偏差的变换。本文首先指出传统的级比偏差的定义及其比较原则只适用于两单调性相同序列之间的比较,而不适用于两单调性相反序列之间的比较;提出了两单调性相反序列之间的比较原则,然后针对新比较原则给出了改变单调性的序列变换能缩小级比偏差的判别方法,从而完善了级比偏差压缩变换的判别方法.

摘要： 本文概述了求解微分方程问题的双边逼近算法。讨论了该算法涉及到的单调性问题，并提出了判断单调性的矩阵方法，这种方法具有广泛的适用性。本文的最后部分，根据Clarkson不等式建立起该算法误差分析的模型。分析的结果表明，即使在精确解的信息知之甚少的情形下，也可以在一点处得到精确度足够满意的近似解。这种算法可以用数字来表示近似解的上边界和下边界。该算法计算工作量小，占用计算机的空间也较少。

摘要： 本文针对电压绝对平坦条件下的无损非线性有功潮流方程，研究单调运行模式变化下，输电元件潮流的单调性问题。从函数单调性概念出发，证明了只要运行模式变化按一定规律是单调的，输电元件有功潮流就是单调的，同时也证明了主宰通路区间的存在性，并给出了满足充分性的主宰通路区间。

摘要： 驾驶模拟系统能够再现真实道路交通系统,在进行与驾驶员相关的研究中具有明显的优势。首先简单介绍AutoSim驾驶模拟舱的基本构成和基本操作,分析驾驶模拟舱在驾驶员培训、交通工程、车辆工程、环境工程等领域可开展的工作,通过两个案例说明驾驶模拟技术在环境工程和交通工程领域的应用。已有研究表明驾驶模拟舱完全可以满足科研的基本需要,能够为安全的道路交通系统提供技术支撑。

摘要： 驾驶模拟系统能够再现真实道路交通系统,在进行与驾驶员相关的研究中具有明显的优势。首先简单介绍AutoSim驾驶模拟舱的基本构成和基本操作,分析驾驶模拟舱在驾驶员培训、交通工程、车辆工程、环境工程等领域可开展的工作,通过两个案例说明驾驶模拟技术在环境工程和交通工程领域的应用。已有研究表明驾驶模拟舱完全可以满足科研的基本需要,能够为安全的道路交通系统提供技术支撑。

摘要： 驾驶模拟系统能够再现真实道路交通系统,在进行与驾驶员相关的研究中具有明显的优势。首先简单介绍AutoSim驾驶模拟舱的基本构成和基本操作,分析驾驶模拟舱在驾驶员培训、交通工程、车辆工程、环境工程等领域可开展的工作,通过两个案例说明驾驶模拟技术在环境工程和交通工程领域的应用。已有研究表明驾驶模拟舱完全可以满足科研的基本需要,能够为安全的道路交通系统提供技术支撑。

摘要： 驾驶模拟系统能够再现真实道路交通系统,在进行与驾驶员相关的研究中具有明显的优势。首先简单介绍AutoSim驾驶模拟舱的基本构成和基本操作,分析驾驶模拟舱在驾驶员培训、交通工程、车辆工程、环境工程等领域可开展的工作,通过两个案例说明驾驶模拟技术在环境工程和交通工程领域的应用。已有研究表明驾驶模拟舱完全可以满足科研的基本需要,能够为安全的道路交通系统提供技术支撑。

摘要： 驾驶模拟系统能够再现真实道路交通系统,在进行与驾驶员相关的研究中具有明显的优势。首先简单介绍AutoSim驾驶模拟舱的基本构成和基本操作,分析驾驶模拟舱在驾驶员培训、交通工程、车辆工程、环境工程等领域可开展的工作,通过两个案例说明驾驶模拟技术在环境工程和交通工程领域的应用。已有研究表明驾驶模拟舱完全可以满足科研的基本需要,能够为安全的道路交通系统提供技术支撑。

摘要： 本文系统而简要概述了作者近三年来对灰色预测模型分类,并根据分类各自定义新级比偏差、新光滑度、光滑性新比较原则,从而获得各自的事前检验方法,各类级比偏差、新光滑度、光滑性比较原则之间的内在联系等系列研究结果。

摘要： 本文系统而简要概述了作者近三年来对灰色预测模型分类,并根据分类各自定义新级比偏差、新光滑度、光滑性新比较原则,从而获得各自的事前检验方法,各类级比偏差、新光滑度、光滑性比较原则之间的内在联系等系列研究结果。

摘要： 本发明公开一种基于映射单调性的合金晶粒尺寸的确定方法及确定系统。本发明采用相关性度量准则逐步筛选有效超声检测参数，然后以单调性最大为优化目标，根据最终筛选的有效超声检测参数集合建立晶粒尺寸软测量模型，使得在随着晶粒尺寸有序排列的情况下，有效超声检测参数不仅能够保持单调递增或单调递减的形式，同时能够实现样本集外测试的有效性。因此，采用本发明提供的确定方法及确定系统建立的晶粒尺寸软测量模型，测量精度高，单调性好，误差小，模型的结果图直观完整且有着稳定的评价效应。

摘要： 本发明属于雷达天线技术领域，具体是一种考虑函数单调性的天线罩电性能区间分析方法，特征是：它利用函数单调性来分析天线罩厚度误差因素下的透射系数变化区间，并采用多边形区间的Minkowski求和来分析远场，因而与现有的天线罩电性能区间分析方法相比，提高了区间分析的精度。它可用于分析不确定性因素下天线罩的电性能。

摘要： 本发明公开了一种语音识别任务中的保持注意力机制单调性方法，包括：通过神经网络模块，学习能够拟合注意力机制权重分布的高斯分布的参数，并进行数值计算，使之符合设定要求；将数值计算得到的参数值与注意力机制权重矩阵之间的均方误差作为单调性损失，并将所述单调性损失作为原本优化目标的正则项，得到最终的优化目标；基于所述最终的优化目标对语音识别框架进行训练。上述方法使得模型在训练和测试过程中都能保持良好的语音和文本的对齐关系，从而避免解码过长或重复解码的问题，提升模型稳定性，减少预测错误，尤其是插入错误。此外，该方法简单易实施，参数量小，只少量增加计算量。

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

摘要： 本发明属于雷达天线技术领域，具体是一种考虑函数单调性的天线罩电性能区间分析方法，特征是：它利用函数单调性来分析天线罩厚度误差因素下的透射系数变化区间，并采用多边形区间的Minkowski求和来分析远场，因而与现有的天线罩电性能区间分析方法相比，提高了区间分析的精度。它可用于分析不确定性因素下天线罩的电性能。

摘要： 本发明公开了一种均衡量及单调性可调、多峰的小型化微带均衡器，包括微波印制板、输入输出微带线、阻抗匹配传输线、高阻抗线、第一低阻抗线、第二低阻抗线、第一电阻、第二电阻、可调支线，以及用于键合的金丝；本发明的优点在于：实现均衡量可调的目的，能根据实际所需的均衡量进行更合理的补偿校正，获得带内平坦度更优的微波信号。

摘要： 本申请实施例属于人工智能领域，应用于序列语音合成领域中，涉及一种基于单调性约束函数进行序列语音合成的方法，包括获取待合成序列文本；基于编码器获取编码序列；通过解码器获取特征序列；通过具有单调性约束的注意力机制，获取各特征值对应的注意力权重值；将各特征值与其对应的注意力权重值进行加权平均，获取上下文向量；通过各特征值和其对应的上下文向量，实现序列语音合成。本申请还提供一种基于单调性约束函数进行序列语音合成的装置、计算机设备及存储介质。本申请相较于传统序列语音合成方法，训练合成过程简单，在保证注意力机制的单调性情况下提升了对齐速度、减少了对齐问题，也提高了合成稳定性。

摘要： 本发明公开了一种语音识别任务中的保持注意力机制单调性方法，包括：通过神经网络模块，学习能够拟合注意力机制权重分布的高斯分布的参数，并进行数值计算，使之符合设定要求；将数值计算得到的参数值与注意力机制权重矩阵之间的均方误差作为单调性损失，并将所述单调性损失作为原本优化目标的正则项，得到最终的优化目标；基于所述最终的优化目标对语音识别框架进行训练。上述方法使得模型在训练和测试过程中都能保持良好的语音和文本的对齐关系，从而避免解码过长或重复解码的问题，提升模型稳定性，减少预测错误，尤其是插入错误。此外，该方法简单易实施，参数量小，只少量增加计算量。

摘要： 本发明公开一种基于回波峰值单调性分析的图像识别草地方法，包括运动平台，所述的运动平台内部设置处理器，所述的运动平台底部安装与所述的处理器连接的特性频率为v的超声波发射模块和超声波接收模块，所述的处理器内部设置草地识别算法，包括以下步骤：(1)超声波发射模块发射一组超声波，处理器间隔ΔT时间后，将超声波接收模块输出信号进行AD采样转换为采样信号f(n)，采样时间间隔Δt=1/(N·v)；当采样次数达到x·N以后，结束采样过程；(2)比较出采样信号f(n)的最大值fmax，采样序号为nmax；(3)获取采样信号f(nmax+i·N)：满足|f(nmax+i·N)|>|f(nmax+i·N+N)|时，符合单调减规律；否则，不符合单调减规律；(4)如果f(n)不符合单调减规律，则判断为草地；否则，为非草地。

摘要： 本实用新型公开了一种均衡量及单调性可调、多峰的小型化微带均衡器，包括微波印制板、输入输出微带线、阻抗匹配传输线、高阻抗线、第一低阻抗线、第二低阻抗线、第一电阻、第二电阻、可调支线，以及用于键合的金丝；本实用新型的优点在于：实现均衡量可调的目的，能根据实际所需的均衡量进行更合理的补偿校正，获得带内平坦度更优的微波信号。