等价性

摘要： 由命题A可推出命题B,反之,由命题B亦可推出命题A,称为A与B等价.数学解题就是将数学问题不断转化的过程,但要保证问题的等价性,稍有疏忽,往往致错.

摘要： 基于内积理论对线性矛盾方程组最小二乘解问题进行理论推导,将方程组系数矩阵的各列作为“基函数”在离散点的值,给出法方程组内积表示形式,证明最小二乘解的存在、唯一性.得到线性矛盾方程组系数矩阵列满秩是其最小二乘解存在、唯一的充分条件,两种理论(极值理论与内积理论)所得法方程组是等价的,算例显示用新方法易于求得法方程组.

摘要： 通过研究中点凸函数和一般凸函数这两种凸性定义的早期发展历史和凸性性质来探索两种凸性定义的等价性.结果表明,两种凸性定义不等价;但是,当函数满足连续、可微、半连续和有界这四个条件中的任何一个条件时,两种凸性定义等价.

摘要： 文章介绍了FPGA综合器中的状态机安全属性,对状态机安全属性的应用进行了说明,对状态机安全属性设置前后电路的差异性进行了分析,探索了不同设置下的电路功能.结果表明,通过综合器状态机安全属性设置,可改善逻辑电路对状态机无效状态的处理,提高状态机运行的可靠性.

摘要： “等价类”是一种重要的数学思想方法,它是“分类”方法的引申,分类后同一类中的对象就具有了某种等价性。张奠宙教授在《小学数学教材中的大道理——核心概念的理解与呈现》一书中提到了“等价类”思想,即用一个相等的准则,把彼此相等的对象归为一类,这也是现实世界中普遍存在的现象。

摘要： 大学物理中不同带电体的电场等价性,能够较好地训练物理学习者的分析和解决复杂实际问题的逻辑思维,从而提高物理知识的具体应用能力.本文首先讨论了均匀带电球冠面和与之相切的均匀带电平面在球面北极点的电场等价性,然后证明了均匀带电圆弧和与之相切的均匀带电直线在圆环顶点处的场强是不等价的,并且指出只有引入随角度变化的电荷线密度才能使两者等价.

摘要： 一、余弦定理的几种典型证明方法余弦定理的证明方法很多,基本上可以分为两类,一类是利用勾股定理给出的证明,另一类是不依赖勾股定理的证明.由于中学大部分证明都是从勾股定理出发或者实际上还是依赖勾股定理证明,以至于很多人以为余弦定理仅仅是勾股定理的推论.

摘要： 本质上说,数学问题解决就是对问题条件或结论不断转化,最终获得答案的过程.通过转换,能够把未知的、不熟悉的数学难题变为已知的、规范的,甚至是简单的数学问题来解决.值得关注的是,在问题转换的过程中充分保持转换的等价性至关重要.然而,在实际的问题解决中,不少解题者仍只关注对已知条件的处理,而下意识的默认其转换的等价性,在多个条件相互作用后,用所得运算结果代替原条件,导致条件的扩大或缩小.这种看似有条有理的推演,其实错在其中,并且往往难以通过复查发现,使解题者百思不得其解.

摘要： 信用卡诈骗罪中的选择要素错误是否影响主观归责,取决于不同的选择要素是否具有等价性.具体符合说和法定符合说在选择要素的等价性判断以及选择要素错误的处理上存在不足,并不完全符合我国的立法实际.由于选择要素的等价性是类型化意义上的等价性,因而在信用卡诈骗罪中的选择要素具有同质性的基础上,可以将其类型化为“非法持卡人信用卡诈骗”和“合法持卡人信用卡诈骗”两种类型.在非法持卡人信用卡诈骗的类型之内发生选择要素错误时,信用卡的真假只是判断可谴责性程度的客观资料,其并不影响主观归责;在非法持卡人信用卡诈骗与合法持卡人信用卡诈骗之间发生选择要素错误时,两者在不法上并非互斥关系,而是具有包容性的位阶关系,其主观归责应限制在合法持卡人信用卡诈骗的范围内.

摘要： 本文研究了在消费者收入信息不对称条件下,兼顾效率与公平的规制当局的递增阶梯定价设计问题,证明了在网络型资源领域中,递增阶梯定价与两部制定价菜单的等价性.研究发现,如果不考虑需求随机性,任一递增阶梯定价机制总存在与之等价的两部制菜单.鉴于两部制菜单在数学处理上的便利性,最优递增阶梯定价的设计问题可以过渡为最优两部制定价菜单的设计问题,从而极大地简化了最优递增阶梯定价的设计,也有利于评估和完善供电、供水和供气等网络型资源领域的阶梯定价改革效果.

摘要： 测听词表的等价性是言语测听信度的重要标志,本文对移动平台的闭合式测听词表的等价性进行了研究和评估.相应的实验方法和流程:选择10名听力正常人,每位受试者在4个不同给声强度顺序聆听20张字表.10个受试者被要求对每张字表在5dB、10dB、20dB、30dBHL这4个言语听力级上进行闭集测试,并以百分比记录10名受试者对各张字表的正确识别率.之后我们分别通过2套假设验证体系评价这20张词表的等价性.第一套体系核心为ANOVA检验+tukeyHSD检验,其效能和准确度较好,但是对数据的要求很高;第二套体系核心为Kruskal-Wallis检验+Nemenyi检验,适用性广、要求低但效能欠佳.最后基于保留最多词表的原则剔除不满足等价性的词表,并给出较为完整的P-I曲线,并且测准其线性部分的斜率.

摘要： 在电动汽车无线充电应用中,补偿网络须有较好的错位容忍度来应对原副边线圈的偏移错位.现有研究表明原边串-并联补偿拓扑相比于标准原边串联补偿拥有更好的错位性能.首先推导了原边串-并联补偿的等价原边串联补偿网络,通过错位过程中的阻抗分析,揭示了在错位过程中输出功率近似不变的本质原因.讨论了错位过程中的输入阻抗角以及软开关实现.最后,对同一平面扩展DD型非接触变压器采用"串并-并补偿"以及"等价串-并补偿"实验,验证了理论分析的正确性,结果表明原边串联补偿网络同样可以具备优良的错位性能.

摘要： 在电动汽车无线充电应用中,补偿网络须有较好的错位容忍度来应对原副边线圈的偏移错位.现有研究表明原边串-并联补偿拓扑相比于标准原边串联补偿拥有更好的错位性能.首先推导了原边串-并联补偿的等价原边串联补偿网络,通过错位过程中的阻抗分析,揭示了在错位过程中输出功率近似不变的本质原因.讨论了错位过程中的输入阻抗角以及软开关实现.最后,对同一平面扩展DD型非接触变压器采用“串并-并补偿”以及“等价串-并补偿”实验,验证了理论分析的正确性,结果表明原边串联补偿网络同样可以具备优良的错位性能.

摘要： 亲密关系的质量的高低如何鉴别?择偶时如何匹配高质量的婚姻关系?研究结果认为,双方的适合度可以从两性组合的对等性、契合性和成长性三维度效应进行分析.双方的婚恋资源组合的等价性效应决定着亲密关系的稳定性;双方身心特质组合的契合性决定当事人对亲密关系的主观感受;双方的成长性品质决定亲密关系的成长与发展趋势.所以,亲密关系的质量是双方匹配的等价性、契合性和成长性的函数.

摘要： 为了讨论光波模式数及黑体辐射的普朗克公式,首先通过波矢空间给出光波模式及光波模式数的表述,进而讨论给出了两种形式的普朗克公式.结果表明,两种形式普朗克公式是等价的,其分别是从波长和频率两个不同的方面对黑体辐射进行的描述,它们的本质是相同的.

摘要： 本文研究了多传感器噪声能量有界系统的序贯式融合滤波问题.依据不同的性能指标函数,给出了三类不同的序贯式H∞融合滤波方法.首先从序贯式融合滤波策略的直观理解出发给出了一类序贯式H∞融合滤波方法.然后,从集中式H∞融合滤波分析出发,给出了两类新的序贯式H∞融合滤波方法,其中得到一种与集中式H∞融合滤波结果等价的序贯式H∞融合滤波方法.最后的计算机仿真验证了三类序贯式H∞融合滤波方法的有效性,以及序贯滤波形式3与集中式H∞融合滤波方法的等价性.

摘要： 概括介绍了数字射线检测技术的主要方法，简要分析了从射线照相检验技术到数字射线检测技术的基本改变，讨论了等价性问题，并阐述了国外数字射线检测技术标准制定的情况。

摘要： 以基于RSA体制的盲签名方案为讨论对象,将数字签名方案中的强不可伪造性引进到一般的盲签名中,给出了强盲签名方案的定义并采用游戏归约调用证明方法,将强盲签名方案的强不可伪造性攻击游戏与具有唯一性的盲签名方案的唯一性证明进行比较进而归约调用,得出结论:强盲签名方案与具有唯一性的盲签名方案是等价的,从而给出了具有唯一性的盲签名方案的更一般化的定义和判定方法,解决了判定一个盲签名方案是否具有唯一性的公开问题.

摘要： 理论上探讨了包含N(N≥2)个物体的Hamilton流固系统的非定常动力学的基本问题.根据调和函数奇点理论,作者证明了在无耗散的二维流固系统中描述其动力学特性的能量型Lagrange框架和动量型框架是等价的.这意味着:每个柱体上的压力积分包含了N个柱体平动和转动加速度的全部信息;所有加速度通过附加质量和附加惯性矩耦合.这使得用刚体力学隔离体方案确定一个柱体的线或角加速度是不可能的.作者还将证明无法用Galilei相对性原理判定同一个保守的流固系统在不同的惯性系中的水动力学特性是否相同.

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

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

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

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

摘要： 本公开总体上描述了方法、软件和系统，包括用于定义和利用用于数据模型中数据元素的相关性和等价性以便提高查询效率的方法。在数据模型的设计时，通过计算机网络接收用于数据模型中数据元素的相关性和等价性。将相关性和等价性与数据模型一起存储在永久性存储装置中。通过计算机网络接收请求，所述请求要被执行以从与数据模型关联的数据库获得结果。利用接收的请求及相关性和等价性生成优化的查询。优化的查询相对于接收的请求进行了优化。

摘要： 本发明涉及超大规模集成电路设计验证技术领域，特别是组合电路的形式验证方法——等价性检验方法。该方法是以可满足性算法为引擎，增量地验证整个电路设计，所述方法具有两个阶段，第一阶段是确定两个电路内部的候选等价信号，并通过电路结构分析，对候选等价信号作静态筛选，第二阶段是通过子句分组实现增量可满足性方法，并验证每对候选信号的等价性。其主要特点在于：1)通过电路结构分析对电路内部的候选等价信号进行筛选，在验证过程中则动态地选择分割集中的等价信号，保证分割集中信号是相互独立的。2)通过对子句进行分组，来实现增量的可满足性算法，节省计算资源，提高算法性能和处理能力。

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

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

摘要： 本公开总体上描述了方法、软件和系统，包括用于定义和利用用于数据模型中数据元素的相关性和等价性以便提高查询效率的方法。在数据模型的设计时，通过计算机网络接收用于数据模型中数据元素的相关性和等价性。将相关性和等价性与数据模型一起存储在永久性存储装置中。通过计算机网络接收请求，所述请求要被执行以从与数据模型关联的数据库获得结果。利用接收的请求及相关性和等价性生成优化的查询。优化的查询相对于接收的请求进行了优化。

摘要： 本发明涉及超大规模集成电路设计验证技术领域，特别是组合电路的形式验证方法——等价性检验方法。该方法是以可满足性算法为引擎，增量地验证整个电路设计，所述方法具有两个阶段，第一阶段是确定两个电路内部的候选等价信号，并通过电路结构分析，对候选等价信号作静态筛选，第二阶段是通过子句分组实现增量可满足性方法，并验证每对候选信号的等价性。其主要特点在于：1)通过电路结构分析对电路内部的候选等价信号进行筛选，在验证过程中则动态地选择分割集中的等价信号，保证分割集中信号是相互独立的。2)通过对子句进行分组，来实现增量的可满足性算法，节省计算资源，提高算法性能和处理能力。