等价条件

摘要： 利用权函数方法,讨论拟齐次核Hilbert型重积分不等式的最佳搭配参数,得到最佳搭配参数的若干等价条件及不等式最佳常数因子的表达公式.最后讨论其在奇异积分算子理论中的应用.

摘要： 函数中有一类综合性的问题是有解与恒成立问题,对于含有“或”与“且”的有解与恒成立问题更是其中的重点与难点.对于该类问题,很多学生在理解上存在一定的误差,要想很好的掌握去解决,更是存在一定的难度,在文[1]中,已对含绝对值的恒成立问题进行了研究.本文试图从更基础的角度出发,在理解存在量词与全称量词的基础上,得出各种形式的有解与恒成立问题的等价条件,进而对双重有解与恒成立问题的解析,使得对该类问题有系统与整体的认识.

摘要： 通过类比法,给出了二重Poisson Hopf扩张的定义.利用Poisson Hopf代数的二重Poisson Ore扩张,并借助于系数对比法,得到了二重Poisson Hopf扩张的等价条件.所得结果推广了Poisson Hopf扩张的若干结论.

摘要： 讨论K-g-fusion框架与其合成算子的关系.给出了K-g-fusion框架与K-框架的等价条件以及K-g-fusion框架在算子扰动下的保持稳定性的充要条件.所得结论推广了K-fusion框架中的相关结果.

摘要： 根据柯西—黎曼方程、柯西积分定理以及解析函数的幂级数表示,详细地分析了解析函数的六个等价条件,并给出了具体应用.

摘要： 利用实分析技巧及权函数方法,研究了具有准齐次核K(x,y)的Hilbert型级数不等式取最佳常数因子的等价条件,并讨论其在算子理论中的应用.

摘要： 含一个绝对值不等式的恒成立问题是教学中经常碰到的一类题型,对该类问题处理的方法很多,如图像法,或去绝对值,去绝对值有的可以通过零点分类,有的得不出零点,需要用到去绝对值的等价条件,但学生往往不清楚去绝对值的等价条件,随意去掉绝对值,导致结果错误,本文对去绝对值的等价变换的研究,试图厘清该类问题.

摘要： 基于重尾分布的定义,以指数分布与Pareto分布作为比较对象,提出了判断分布轻重的充分条件,以便更好地揭示重尾分布的本质特征.同时,针对非负连续型重尾分布,提出了相应判别分布轻重的一些准则.最后,以一些具体分布为例,利用判别准则进行分析,表明所给判别准则是可行的.

摘要： 研究微分方程和其对应的差分方程指数型二分性的条件,利用有界增长、基解有界增长以及基解负向和正向有界增长的概念,得到了这两种指数型二分性等价性的有关命题.

摘要： 在随机变量序列收敛性的判断中,考虑了单调递减趋于0的实数数列,得到了随机变量序列完全收敛的等价条件和两个充分条件。同时研究了序列的几乎必然收敛和依概率收敛,用例子说明了这些条件之间的相互关系。

摘要： 本文研究了在Hilbert空间中的线性发展方程的周期能控性问题,得到周期能控性的等价条件,并将此结果应用到边界受控的波方程和板方程中.

摘要： 在ω-分子格中引入ωT11/2分离性、ωδ-闭元、分子网的ωδ-收敛性、理想的ωδ-收敛性、(ω,ω1)δ-连续性、几乎(ω,ω1)δ-连续性和强(ω,ω1)δ-连续性等概念.系统地研究了ωT11/2分离性的特征,给出了ωT11/2分离性的若干等价条件.证明了ωT11/2分离性是可遗传的、(ω,ω1)δ-同胚不变的等重要性质.讨论了ωT1分离性、ωT11/2分离性和ωT2分离性之间的关系.

摘要： 在存储装置中存储换算系数，该换算系数用于校正关于对消费量进行计数的单位与货币价值之间的对应关系的结算单元之间的差异来将每种结算单元的货币价值的消费量转换为同一单位系统的计数值进行处理，从结算装置获取消费历史数据，该消费历史数据是按每种结算单元以单位数来表现用户的货币价值的消费量而得到的，根据消费历史数据中包含的各结算单元的消费量和换算系数来计算与每种结算单元的消费量对应的计数值，根据所获得的每种结算单元的计数值和规定的单价来计算第一业务商要向第二业务商收取的等价报酬。

摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

摘要： 本发明公开了一种基于矩阵等价的布尔函数仿射等价判定方法，包括：S1、对任意变量的两个布尔函数进行仿射等价判定；S2、根据布尔函数F2生成正交矩阵群和辛矩阵群，并得到正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元；S3、将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵，并通过遍历搜索空间得到布尔函数仿射等价中有序对(A，b)；S4、将所述步骤S1、S2和S3应用于组合逻辑电路、FPGA可编程逻辑阵列和纠错编码中。

摘要： 源代码等价性检查装置具有对变更前源代码和变更后源代码分别进行符号执行的符号执行计算部；使用符号执行计算部的符号执行结果,来生成变更前源代码与变更后源代码的等价性检查式的等价性检查式生成部；对由等价性检查式生成部生成的等价性检查式进行检查的等价性检查式检查部；在基于等价性检查式检查部的等价性检查式的检查结果为变更前源代码与变更后源代码非等价的情况下，生成用于使变更前源代码与变更后源代码等价的修正候选的修正候选生成部；以及使用基于等价性检查式检查部的检查结果和基于修正候选生成部的所述修正候选，来生成检查结果报告的检查结果生成部。

摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

摘要： 在存储装置中存储换算系数，该换算系数用于校正关于对消费量进行计数的单位与货币价值之间的对应关系的结算单元之间的差异来将每种结算单元的货币价值的消费量转换为同一单位系统的计数值进行处理，从结算装置获取消费历史数据，该消费历史数据是按每种结算单元以单位数来表现用户的货币价值的消费量而得到的，根据消费历史数据中包含的各结算单元的消费量和换算系数来计算与每种结算单元的消费量对应的计数值，根据所获得的每种结算单元的计数值和规定的单价来计算第一业务商要向第二业务商收取的等价报酬。

摘要： 本申请公开了一种基于互模拟等价的经济数据安全处理方法和装置，该方法包括：获取用于进行经济数据交互的网络中出现的多个待处理的安全事件，其中，所述安全事件用于指示所述网络中出现的对网络经济数据安全带来危害的事件；对所述多个待处理的安全事情进行分析，得到分析结果；根据每个待处理的安全事件对应的分析结果确定能够并发处理的安全事件；对能够并发处理的所述待处理的安全事件进行并发处理。通过本申请解决了现有技术中在处理并发任务和数据时所导致的问题，从而能够正确处理并发事件，降低了系统建模和验证的复杂性，节约了计算资源。

摘要： 公开了等价‑受主掺杂提高钛酸钡基陶瓷介电非线性性能的方法，方法中称量BaCO3、TiO2、ZrO2和MnCO3粉末，混合后研磨得到第一浆料；将第一浆料烘干后过筛，将得到的混合物预烧，得到第一粉料；将得到的第一粉料过筛后加入介质研磨得到第二浆料；将第二浆料烘干后加入PVA胶体过筛得到粒径位于60目‑100目之间的第二粉料；使用压片机将第二粉料压制成粗坯；将粗坯烧结得到钛酸钡基陶瓷样品。钛酸钡基陶瓷样品成分为Ba(Ti0.8‑xMnx)Zr0.2O3。

摘要： 本发明属于网络空间安全防护技术领域，特别涉及一种多功能等价执行体系统的异构度评估方法及装置，该方法包括将拟态系统建模为五元组形式，对功能等价执行体进行组件划分；计算任意两个功能等价执行体之间各个组件的异构度；根据不同类别的网络环境对不同组件类异构度进行权重分配；根据所处的网络环境和各个组件的异构度计算任意两个功能等价执行体之间的异构度；根据功能等价执行体之间的异构度计算出服务集的异构度。本发明利用加权调和平均数避免了局部最大值对整体安全性错误判断问题，再者，对所处的网络环境进行分类，来动态赋予不同组件类异构度不同的权重，提高了系统的动态性。

摘要： 本申请提供了一种检测等价语句的方法、装置、电子设备及计算机可读存储介质，涉及数据库领域。该方法包括：针对待匹配的语句，基于至少两种预设匹配方式将所述待匹配的SQL语句与至少一条预设SQL语句进行递进循环匹配；当基于所述至少两种预设匹配方式中的任一预设匹配方式匹配得到目标SQL语句时，结束所述递进循环匹配；当进行所述递进循环匹配失败时，确定所述至少一条预设SQL语句中不存在与所述待匹配的SQL语句等价的目标SQL语句。本申请避免了由于执行任一SQL语句得到相同的执行结果导致的重复执行等操作，减少了由于重复执行等操作导致的大量的资源消耗，同时，有利于提高SQL模型的运行效率。