等价

摘要： 笔者进一步的理解,针对运动介质拓展的麦克斯韦方程组除P项之外的部分,是可以用非常规的伽利略变换重新定义电磁场的场强,来构造出的不具有显式协变性的方程组,也称赫兹方程。它们与标准的麦克斯韦方程组完全等价,只是场量定义不同所给出的方程组变形表达。赫兹方程与实验并不相符,只有把伽利略变换扩充成洛伦兹变换,经过相对论修正后才与实验相符合。

摘要： 研究自变量趋于无穷时一类无穷大的差的等价问题.当两个无穷大非等价时,利用极限运算法则得到它们的差能够逐项代换;当两个无穷大等价时,利用广义二项式定理,给出它们差的等价无穷小.通过实例讨论无穷大差的等价代换条件在极限求解中的应用,表明该方法能够有效地简化极限的计算.

摘要： 三角函数内容涉及的三角公式较多,其相关问题的解法也较为灵活,在感悟不同解法的同时,通过等价转化也可构造出形式不同、但本质相同的试题,在反复训练的基础上,加深学生对知识的理解。

摘要： 矩阵的等价、相似与合同在线性代数课程教学中占据非常关键的地位,但是学生学习过程中对这一部分的内容往往很难准确把握.为此,本文针对它们之间的区别和联系进行探讨,为学生对这些概念的理解提供一定的帮助.

摘要： 数与形是数学学科研究的两个主要对象,数离不开形,形也离不开数.一方面抽象的数学概念,复杂的数量关系,借助图形能够直观化、形象化、简单化;另一方面复杂的图形可以用数量关系来表示.基于此,教师围绕数与形展开研究,在数学教学中渗透数形结合思想,实现学生综合素养的培养.本文从初中课程教学改革要求出发,分析数形结合思想在教学实践中的应用意义,并查找当前教学中存在的问题,进而提出针对性的指导策略.

摘要： 文[1]对2015年全国高考北京卷第19题进行了本质探究和推广,得到了关于椭圆、双曲线的3个结论,读后觉得意犹未尽.本文先将这些结论拓展到抛物线的情形,再给出这些结论的等价变式及部分等价变式的推广.首先将[1]的这3个结论抄录如下.

摘要： 我喜欢你,请问你可以喜欢我吗?我喜欢的人不喜欢我,这大概是很多人恋爱路上的困境。其实,只要你能做到相似、等价、尊重,就能让你爱的人爱上你。

摘要： 利用随机几何,从干扰总量等价的意义上,将多层异构无线网络等价为单层网络,从而方便了多层网络的性能分析.随机等价包括两方面,一是在节点密度固定的条件下,将网络等价为一个具有均匀发送功率的单层网络;另一种等价是在节点功率固定的前提下,将多层网络等价为一个特定密度的单层网络.利用随机等价,能够将已有的一些基于单层网络的研究成果推广到多层网络,从而简化多层网络的性能分析,以适应未来日趋异构化的网络发展趋势.该文给出了多层混合网络中的串行干扰消除分析,和异构混合网络中的信干比的元分布分析.

摘要： 本文从定义、不变性及判别方法等几个方面,分别对矩阵的等价、相似、合同变换之间的区别和联系进行了探讨,并介绍了考研数学中的涉及这些变换的几道真题.

摘要： 我喜欢你,请问你可以喜欢我吗?我喜欢的人不喜欢我,这大概是很多人恋爱路上的困境.其实,只要你能做到相似、等价、尊重,就能让你爱的人爱上你.

摘要： 模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率.针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法.与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定.

摘要： 文章以一个具体例子表明：某些力做的功虽然与路径无关，但其沿闭合路径的功并不为零。最后阐明了原因。

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

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

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