收敛率

摘要： 提出一种修正的拟边值正则化方法求解一类抛物型方程逆时反问题.首先,在滤子正则化框架下说明了该修正的拟边值正则化方法本质是经典的Tikhonov正则化方法.然后,基于对初值函数的先验假设,采用特征函数展开法,分别证明了在正则化参数先验选取策略与后验选取策略下正则化解的收敛率.最后,借助有限元插值技术,设计出易于并行的反演算法,并通过数值算例验证了反演算法的有效性.

摘要： 论文探究了过滤函数在基于独立连续映射法复合材料层合板拓扑优化数学模型建立和求解中的作用以及幂函数形式过滤函数不同参数对优化收敛率的影响,引入幂函数形式过滤函数,建立了位移约束下以质量最小为目标函数的拓扑优化数学模型,推导了目标函数和约束函数的灵敏度计算公式,采用序列二次规划算法求解。结果表明:幂函数形式过滤函数的参数不同,优化收敛率亦不同,选择合适的参数可提高收敛率。同时,提高收敛率可降低映射反演结果对给定替换阈值的依赖程度,减少连续解与离散解目标函数的差值,提升结果的可靠性。

摘要： 该文研究了振荡Robin混合边值齐次化问题解的收敛率.该工作的困难之处在于Robin边值上出现的振荡因子以及边界交叉项的处理.该文利用对偶方法巧妙得对振荡积分进行了估计.文中建立了解的H1和L2收敛率,所得结果明显地依赖于维数.该文可以视为将对偶方法和光滑算子,延拓到处理振荡Robin混合边值问题的情形.

摘要： 为了计算M-矩阵线性方程组的解,本文基于M-矩阵的性质以及矩阵分析技巧,提出了一类非定常迭代法以计算方程组的解,并给出了相应的收敛性分析.理论分析表明,该方法具有二次收敛率.数值实验表明,新方法是可行的,而且在一定情况下也是较为有效的.

摘要： 该文研究了2m阶椭圆方程在Dirichlet-Neumann混合边界条件下的齐次化问题解的收敛率.文中主要使用了光滑算子,这就避免了对混合边界重叠项进行估计.该文建立了Hm0和L2空间下的收敛率估计.该项工作还将光滑算子的使用推广到了高阶方程混合边界条件的情形.

摘要： 同时求解负二项分布的参数(r,p)的极大似然估计并不是一件容易的事情,该文利用Tian、Huang和Xu提出的组装分解技术来导出负二项分布中关于未知参数(r,p)的极大似然估计的MM算法迭代式,并给出该方法的收敛率的计算公式.随机模拟的结果表明(r,p)的MM迭代结果收敛到其极大似然估计,并且随着样本容量的增加,估计的准确性和精确性以及估计的速度均有显著提高.

摘要： 为降低黄土V级围岩浅埋隧道围岩出现较大变形和坍塌的风险,保证安全施工,研究了黄土隧道不同埋深段围岩的收敛变形特性。通过高精度数显收敛计获取了五个不同埋深断面隧道开挖后20天的收敛数据,考虑了温度变化对数显收敛计钢尺读数的影响,利用数理统计的方法分析了不同断面隧道收敛率和累积收敛值。结果表明:各量测断面的收敛率先降低后趋于稳定,收敛率存在负值现象,埋深越大,其出现的概率越大;随着隧道埋深增加,最大累积收敛值急剧降低,并逐渐趋于稳定。

摘要： 采用无网格径向基函数法分析考虑剪切效应的梁板模型的纯弯曲问题.该方法利用径向基函数作为近似试函数,基于配点法离散方程,通过最小二乘法进行求解.数值算例表明,采用厚梁板模型分析很薄的梁板问题时,最小二乘径向基函数配点法能够消除传统方法求解存在的剪切锁闭现象,而且,该方法还具有易于离散、精度高、收敛率高和计算高效等优点.

摘要： 在执行机构饱和约束下,针对机动滑翔飞行器高空横侧向大机动姿态控制问题,研究了在保证系统稳定的同时提高响应快速性方法.采用两步法补偿设计思路,第一步不考虑饱和设计反演控制器保证鲁棒性,第二步考虑饱和约束,利用Antiwindup补偿方法减小饱和对性能带来的影响.在标准Antiwindup方法中,误差收敛速率往往被忽略, 系统快速性常常达不到设计要求.为了提高加入补偿后系统的误差收敛速率,对现存的一种基于线性矩阵不等式的 Antiwindup设计方法进行改进,并运用比较原理证明了改进后受控闭环系统稳定且李雅普诺夫函数收敛速率有确定的 下界,从而保证了误差收敛速率下界.与以往方法相比,该方法保证了对系统快速性的最低要求,为解决饱和系统稳 定性与快速性的矛盾提供了一条有效途径.较大侧滑角下的倾侧角机动仿真结果表明,所设计的抗饱和控制器可以在 恶劣的飞行环境下稳定完成倾侧角大机动的任务,相比于标准Antiwindup设计方法,该方法快速性有所提高.

摘要： 在执行机构饱和约束下,针对机动滑翔飞行器高空横侧向大机动姿态控制问题,研究了在保证系统稳定的同时提高响应快速性方法.采用两步法补偿设计思路,第一步不考虑饱和设计反演控制器保证鲁棒性,第二步考虑饱和约束,利用Antiwindup补偿方法减小饱和对性能带来的影响.在标准Antiwindup方法中,误差收敛速率往往被忽略, 系统快速性常常达不到设计要求.为了提高加入补偿后系统的误差收敛速率,对现存的一种基于线性矩阵不等式的 Antiwindup设计方法进行改进,并运用比较原理证明了改进后受控闭环系统稳定且李雅普诺夫函数收敛速率有确定的 下界,从而保证了误差收敛速率下界.与以往方法相比,该方法保证了对系统快速性的最低要求,为解决饱和系统稳 定性与快速性的矛盾提供了一条有效途径.较大侧滑角下的倾侧角机动仿真结果表明,所设计的抗饱和控制器可以在 恶劣的飞行环境下稳定完成倾侧角大机动的任务,相比于标准Antiwindup设计方法,该方法快速性有所提高.

摘要： 在执行机构饱和约束下,针对机动滑翔飞行器高空横侧向大机动姿态控制问题,研究了在保证系统稳定的同时提高响应快速性方法.采用两步法补偿设计思路,第一步不考虑饱和设计反演控制器保证鲁棒性,第二步考虑饱和约束,利用Antiwindup补偿方法减小饱和对性能带来的影响.在标准Antiwindup方法中,误差收敛速率往往被忽略, 系统快速性常常达不到设计要求.为了提高加入补偿后系统的误差收敛速率,对现存的一种基于线性矩阵不等式的 Antiwindup设计方法进行改进,并运用比较原理证明了改进后受控闭环系统稳定且李雅普诺夫函数收敛速率有确定的 下界,从而保证了误差收敛速率下界.与以往方法相比,该方法保证了对系统快速性的最低要求,为解决饱和系统稳 定性与快速性的矛盾提供了一条有效途径.较大侧滑角下的倾侧角机动仿真结果表明,所设计的抗饱和控制器可以在 恶劣的飞行环境下稳定完成倾侧角大机动的任务,相比于标准Antiwindup设计方法,该方法快速性有所提高.

摘要： 在执行机构饱和约束下,针对机动滑翔飞行器高空横侧向大机动姿态控制问题,研究了在保证系统稳定的同时提高响应快速性方法.采用两步法补偿设计思路,第一步不考虑饱和设计反演控制器保证鲁棒性,第二步考虑饱和约束,利用Antiwindup补偿方法减小饱和对性能带来的影响.在标准Antiwindup方法中,误差收敛速率往往被忽略, 系统快速性常常达不到设计要求.为了提高加入补偿后系统的误差收敛速率,对现存的一种基于线性矩阵不等式的 Antiwindup设计方法进行改进,并运用比较原理证明了改进后受控闭环系统稳定且李雅普诺夫函数收敛速率有确定的 下界,从而保证了误差收敛速率下界.与以往方法相比,该方法保证了对系统快速性的最低要求,为解决饱和系统稳 定性与快速性的矛盾提供了一条有效途径.较大侧滑角下的倾侧角机动仿真结果表明,所设计的抗饱和控制器可以在 恶劣的飞行环境下稳定完成倾侧角大机动的任务,相比于标准Antiwindup设计方法,该方法快速性有所提高.

摘要： 在执行机构饱和约束下,针对机动滑翔飞行器高空横侧向大机动姿态控制问题,研究了在保证系统稳定的同时提高响应快速性方法.采用两步法补偿设计思路,第一步不考虑饱和设计反演控制器保证鲁棒性,第二步考虑饱和约束,利用Antiwindup补偿方法减小饱和对性能带来的影响.在标准Antiwindup方法中,误差收敛速率往往被忽略, 系统快速性常常达不到设计要求.为了提高加入补偿后系统的误差收敛速率,对现存的一种基于线性矩阵不等式的 Antiwindup设计方法进行改进,并运用比较原理证明了改进后受控闭环系统稳定且李雅普诺夫函数收敛速率有确定的 下界,从而保证了误差收敛速率下界.与以往方法相比,该方法保证了对系统快速性的最低要求,为解决饱和系统稳 定性与快速性的矛盾提供了一条有效途径.较大侧滑角下的倾侧角机动仿真结果表明,所设计的抗饱和控制器可以在 恶劣的飞行环境下稳定完成倾侧角大机动的任务,相比于标准Antiwindup设计方法,该方法快速性有所提高.

摘要： 在执行机构饱和约束下,针对机动滑翔飞行器高空横侧向大机动姿态控制问题,研究了在保证系统稳定的同时提高响应快速性方法.采用两步法补偿设计思路,第一步不考虑饱和设计反演控制器保证鲁棒性,第二步考虑饱和约束,利用Antiwindup补偿方法减小饱和对性能带来的影响.在标准Antiwindup方法中,误差收敛速率往往被忽略, 系统快速性常常达不到设计要求.为了提高加入补偿后系统的误差收敛速率,对现存的一种基于线性矩阵不等式的 Antiwindup设计方法进行改进,并运用比较原理证明了改进后受控闭环系统稳定且李雅普诺夫函数收敛速率有确定的 下界,从而保证了误差收敛速率下界.与以往方法相比,该方法保证了对系统快速性的最低要求,为解决饱和系统稳 定性与快速性的矛盾提供了一条有效途径.较大侧滑角下的倾侧角机动仿真结果表明,所设计的抗饱和控制器可以在 恶劣的飞行环境下稳定完成倾侧角大机动的任务,相比于标准Antiwindup设计方法,该方法快速性有所提高.

摘要： 本发明公开了一种缩短芯片代码覆盖率收敛时间的验证方法及装置，该方法包括通过预设的激励回归对芯片代码进行仿真计算，确定无覆盖率的待测点；接收第一操作指令，基于所述第一操作指令编写待测点对应的断言，断言用以表征待测点所表示的输入状态无法达到；构建形式化环境，在形式化环境中运行断言，判断断言的运行结果；根据运行结果反向补充待测点的输入状态假设，并基于输入状态假设生成测试激励进行仿真验证。本发明实现了通过形式化验证工具构建形式化环境来进行断言证明，基于断言证明结果产生作为输入状态假设的反例，进而形成测试激励，从而减少芯片代码验证过程中与设计人员的交流时间，且缩短了芯片代码验证过程中的覆盖率收敛时间。

摘要： 本发明公开了一种对覆盖率进行数据挖掘加速验证收敛的方法，其实现过程为：通过对验证覆盖率的数据进行时域分析以及与激励相关性的分析，对激励产生机制进行优化调整，使激励能更有效命中验证点，加速验证的收敛。该对覆盖率进行数据挖掘加速验证收敛的方法与现有技术相比，通过对验证覆盖率的数据进行时域分析以及与激励相关性的分析，对激励产生机制进行优化调整，使激励能更有效命中验证点，加速验证的收敛。本方法能极大提高逻辑验证的效率，缩短芯片开发周期，实用性高，易于推广。

摘要： 本发明公开利用功能覆盖率负反馈加速UVM验证收敛的方法，属于计算机辅助设计领域，在UVM验证平台中创建与被测对象DUT对应的功能覆盖率检测器，对功能覆盖率进行动态采样，并依据验证平台具体需求对动态采样信息进行分拣，提取有效数据信息，并将此信息传递给激励产生端；激励产生端，UVM的sequence中接收有效数据信息，根据有效数据信息对约束控制进行分组，设置约束开关，方便验证平台依据功能覆盖率动态采样信对约束开关进行控制，动态调整UVM的sequence产生所使用的约束；本发明缩短了UVM验证环境要达到验证收敛所需的激励数量以及验证时间，提高了逻辑代码开发验证的效率。

摘要： 本申请公开了一种代码覆盖率的收敛方法、系统及装置，该方案应用于芯片前端验证技术领域。从包含上一次回归测试中所有的测试用例的总代码覆盖率的数据库文件中获取每个测试用例的预设类型的贡献值，预设类型的贡献值为测试用例在上一次回归测试中所覆盖的预设类型的代码覆盖点的数量占预设类型的代码覆盖点的总数量的比重；在下一次回归测试中启动预设类型的贡献值未达到对应的预设达标值的测试用例。通过判断测试用例的预设类型的贡献值是否达到预设达标值来筛选下一次回归测试中启动的测试用例，去除已达到预设达标值的测试用例，一方面节省了回归测试所耗费的时间，另一方面加快了总代码覆盖率的收敛，提高回归测试的有效性。

摘要： 本申请提供一种基于形式化验证快速收敛覆盖率的验证方法及装置，DUT为amba总线的协议转换模块，如AHB2APB模块、AXI2AHB模块或AXI2APB模块等。针对能够覆盖的DUT行为，利用形式化仿真器穷举输入信号的行为并生成测试激励，基于统一覆盖率的验证结果分析，如果验证结果达不到要求，将结果反馈给验证计划，使得验证平台更容易建立、覆盖率更容易收敛，通过形式化验证避免了在验证至覆盖率较高后的验证效率降低，缩短了覆盖率收敛时间，提高了验证效率。

摘要： 本发明公开了一种缩短芯片代码覆盖率收敛时间的验证方法及装置，该方法包括通过预设的激励回归对芯片代码进行仿真计算，确定无覆盖率的待测点；接收第一操作指令，基于所述第一操作指令编写待测点对应的断言，断言用以表征待测点所表示的输入状态无法达到；构建形式化环境，在形式化环境中运行断言，判断断言的运行结果；根据运行结果反向补充待测点的输入状态假设，并基于输入状态假设生成测试激励进行仿真验证。本发明实现了通过形式化验证工具构建形式化环境来进行断言证明，基于断言证明结果产生作为输入状态假设的反例，进而形成测试激励，从而减少芯片代码验证过程中与设计人员的交流时间，且缩短了芯片代码验证过程中的覆盖率收敛时间。

摘要： 公开了用于使用多个域来计算媒体项目的触达率的系统、方法和存储介质。在一些实现方式中，一种计算触达率的方法包括：从第一跨媒体小组接收第一数据集，该第一数据集指示媒体项目被能够访问第一设备类型和包括第二设备类型的一个或多个其他设备类型的用户接触的次数；使用第一数据集确定第一触达率；从第二跨媒体小组接收第二数据集，该第二数据集指示媒体项目被能够访问第二设备类型和包括第一设备类型的一个或多个其他设备类型的用户接触的次数；使用第二数据集确定第二触达率；从第一小组接收第三数据集，该第三数据集指示用户在第一设备类型和第二设备类型上消费媒体项目的次数；从第三数据集确定与第一设备类型和第二设备类型相关联的第三触达率；使用第一触达率和第三触达率来估计仅第一设备类型的触达率；使用第二触达率和第三触达率来估计仅第二设备类型的触达率；并估计总触达率。

摘要： 本发明提供一种基于遗传算法的覆盖率收敛方法，该方法应用于覆盖率驱动验证中，对待测芯片进行功能验证，获得初始功能覆盖率，当初始功能覆盖率小于预设覆盖率时，利用遗传算法修改该一组约束，利用修改后的一组约束分别对待测芯片设计进行功能验证，获得修改后的一组约束分别对应的新的功能覆盖率，选取最大的功能覆盖率，而后利用遗传算法继续对该一组约束进行修改，每一次对一组约束进行修改之后，均利用修改后的一组约束分别对待测芯片设计进行功能验证，获得新的功能覆盖率，选取每一次获得的新的功能覆盖率中最大的功能覆盖率，将所有最大的功能覆盖率与初始功能覆盖率合并，直至达到预设功能覆盖率。

摘要： 本发明公开了一种快速收敛的覆盖率驱动验证方法，属于集成电路设计技术领域。它包括制定验证计划、搭建覆盖率驱动的验证平台、嵌入断言、运行测试向量仿真、分析覆盖率和反复迭代测试等步骤。本发明采用新型的覆盖率驱动验证平台，验证平台增加了功能覆盖率的反馈机制，能够根据每次仿真后的覆盖率值来控制下一次的随机变量的生成，通过记录当前的功能覆盖信息，并据此来约束随机变量的生成，以减少随机种子的重复配置，避免功能点的过度覆盖，从而快速达到覆盖率收敛的目的。

摘要： 本发明公开了一种基于感知谱收敛率的语音识别方法，包括以下步骤：对语音信号进行多频带划分，得到分频带语音信号；通过对分频带语音信号分帧、作傅里叶变换、计算频谱图的峰值之和和动态范围并进行非线性压缩得到语音信号的感知谱收敛率；将感知谱收敛率分为训练集和测试集，使用训练集训练分类器得到训练完成的分类器，将测试集输入训练完成的分类器进行语音识别。本发明通过多频带划分使语音信号具有听觉感知特性，通过直接对语音信号提取感知谱收敛率，保证实时性的同时克服了提取特征时依赖基音周期、无法度量高维混沌特性的问题，能够更加准确地表征语音信号的非线性特性，提高语音识别的准确率。