等价命题

摘要： 本文给出了一个三元四次对称多项式恒不小于零的充分条件的加强命题,并给出这个加强命题的两个等价命题,最后用两道例题展示了这三个命题的应用.

摘要： 线性子空间直和理论是数学专业高等代数课程的重要内容之一,也是难点之一,其中蕴含着线性空间分解思想,其在理论上和实际上有着重要的价值.许多教材对线性子空间直和问题进行了探讨,并给出了一些重要结论,但对于子空间直和等价命题的证明却不太详细.本文以线性子空间直和的相关概念为基础,叙述了子空间直和的5个等价命题,并证明了这5个命题彼此等价.

摘要： 广义逆矩阵是矩阵分析的基础之一,也是矩阵论的一个重要分支,广泛地应用于控制理论、系统识别和优化理论等领域.介绍了广义逆矩阵及广义逆矩阵A-的概念,研究了广义逆矩阵A-的存在性及其性质,并对广义逆矩阵A-的求法进行了探讨,给出了一种求广义逆矩阵A-的常用方法.

摘要： 数学课堂上,对一道正答率低的填空试题的解法展开探究,对学生采用换元法解题提出质疑并加以修正,寻找解决问题的等价命题,充分发挥试题的潜在价值,借以抛砖引玉,指导今后的教学实践.

摘要： 数学课堂上,对一道正答率低的填空试题的解法展开探究,对学生采用换元法解题提出质疑并加以修正,寻找解决问题的等价命题,充分发挥试题的潜在价值,借以抛砖引玉,指导今后的教学实践.

摘要： 非奇异M矩阵是一类特殊的M矩阵,它在应用中与M矩阵同等重要.主要研究M矩阵与非奇异M矩阵的一些重要特性,并给出了与M矩阵以及非奇异M矩阵彼此等价的几个命题,它们在数值分析、经济系统的投入产出分析、数理经济学中的一般均衡的稳定性、运筹学中线性互补问题等很多领域都具有重要的应用.

摘要： 将几个著名数论问题转化为计算2个有限集合交集元素的个数。对于给定整数集的2个有限子集,建立了一个计算他们交集元素个数的公式。作为该公式的一个应用例子,给出了Goldbach猜想的一个等价命题。

摘要： 解析函数包括单变量解析函数、多变量解析函数.本文讨论单变量解析函数的若干等价命题,进而讨论了多变量解析函数及解析映照等问题.

摘要： 利用导数解决不等式问题,实质上就是利用不等式与函数之间的紧密联系,将不等式的部分或全部投射到函数上,直接或等价变形后,结合不等式的结构特征,构造相应的函数,再运用导数知识来研究所构造的函数的单调性、极值和最值等,从而使问题得到解决.其中,审题至关重要,构造出适当的函数是解题的关键,合理转化找到等价命题是基本要求.

摘要： 利用导数解决不等式问题,实质上就是利用不等式与函数之间的紧密联系,将不等式的部分或全部投射到函数上,直接或等价变形后,结合不等式的结构特征,构造相应的函数,再运用导数知识来研究所构造的函数的单调性、极值和最值等,从而使问题得到解决.其中,审题至关重要,构造出适当的函数是解题的关键,合理转化找到等价命题是基本要求.

摘要： 利用交互式定理证明工具Coq,在公理化集合论体系下,给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引理、Hausdorff最大原则、最大原则、Zorn引理、良序原则等.本文从选择公理出发依次证明上述定理,最后又通过良序原则证明了选择公理,从而循环证明了选择公理与这些命题间的等价性.本文体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.

摘要： 本文讨论了关于Banach空间q-框架性质的四个等价命题,以这四个等价命题为基础而后进一步讨论了可对偶q-框架的充分必要条件,最后研究了p-Riesz基的对偶及可对偶q-框架的的稳定性.推广了关于Hilbert空间上框架的一些结论,得到了许多有意义的新结果.

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

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

摘要： 本发明公开了一种基于矩阵等价的布尔函数仿射等价判定方法，包括：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模型的运行效率。