等价定理

摘要： 奢侈观超越了功利主义和市场价值,调动了声望、礼品馈赠和慷慨的价值(这类价值难以归入经济范畴),还带来一些其他后果。奢侈的市场形式是否因为与贸易体系的紧密联系而不可否认地受到质疑?难道我们必须反对更过分意义上的奢侈品吗?鲍德里亚(Baudrillard)采取了类似立场:支配消费(包括今天的奢侈品消费,或者所有没有使用价值的商品的消费)的交换价值要么服从于市场等价定理(它与奢侈的纯粹铺张浪费相冲突),要么服从于社会区分规则,后者忽略了会导致慷慨和礼品馈赠的纯粹真正的奢侈的象征维度。

摘要： 为了得到更快的逼近速度,人们开始研究算子的拟中插式的逼近性质.在Orlicz空间中讨论左拟中插式Gamma算子的逼近性质,利用了Ditzian-Totik模与K-泛函的等价性、HSlder不等式、Cauchy-Schwarz不等式和Laguerre多项式等等工具得到了逼近的正、逆和等价定理,推广了左拟中插式Gamma算子在Lp空间中的逼近结果,改进了Gamma算子在Orlicz空间的逼近性质.%In order to reach better approximation degree,people start to study the quasiinterpolants of operators.In this paper,approximation properties of left quasi-interpolants Gamma operators are discussed by the tools of Ditizan-Totik modulus,K-functional,H(o)lder's inequality,Cauchy-Schwarz's inequality and Laguerre polynomials and so on.Then we obtain the direct,inverse and equivalence theorems which generalize the results of left quasi-interpolants Gamma operators in Lp space and improve the approximation properties of Gamma operators in Orlicz spaces.

摘要： 利用K泛函、连续模、凸函数的Jensen不等式、Hardy-Littlewood极大函数等工具,研究了Kantorovich型Bernstein-Stancu算子在Orlicz空间内的逼近问题,得到了逼近正定理和等价定理.%In this paper ,the approximation problem of the Kantorovich-Bernstein-Stancu Operator are studied in Orlicz Space .In function approximation theory ,by useing common methods and techniques and K-functional ,modulus of continuity ,the convex property of N-function ,Jensen inequality ,Hardy-Little-wood great function as tools to obtain approximation theorem and equivalence theorem .

摘要： 研究了一类新型Szasz-Kantorovich-Bezier算子在Orlicz空间内的逼近问题.在连续函数空间和Lp空间内研究算子逼近方法的基础上,利用函数逼近论中的常用方法和技巧以及K泛函、Ditzian-Totik模、Holder不等式、Cauchy不等式、凸函数的Jensen不等式等工具得到了该算子在Orlicz空间内的逼近正定理、逆定理和等价定理.由于Orlicz空间包含连续函数空间和Lp空间,其拓扑结构也比Lp空间复杂得多,所以本文的结果具有一定的拓展意义.

摘要： 在连续函数空间和Lp空间内研究算子逼近方法的基础上,利用一阶Ditzian-Totik积分模与不等式技巧研究了Bernstein-Durrmeyer-Bézier算子在Orlicz空间内的逼近性质.得到了Bernstein-Durrmeyer-Bézier算子在Orlicz空间内的逼近正定理和逼近等价定理.由于Orlicz空间比连续函数空间和Lp空间都“大”,其拓扑结构也比Lp空间复杂得多,所以本文的结果具有一定的拓展意义.

摘要： E-convex functions are the extension of convex functions and have important applications in the fields of analy⁃sis of convexity, optimization theory and mathematical programming in recent years. Firstly, by defining the convexity of func⁃tion in any set and properly partitioning the basic compositions of E-convex functions, we gave some new conclusions of E-convex sets and E-convex functions. Finally, we gained and proved one equivalent theorem of E-convex functions. All of these can, to a certain extent, enrich people's knowledge of E-convex function.%E-凸函数作为凸函数的推广，近年来在凸分析、优化理论及数学规划领域中都有着重要的应用。文章首先通过定义在任意集合上函数的凸性，对E-函数的基本成分进行适当的拆分，研究得出了E-凸集与E-凸函数的相关结论；最后得出并证明了关于E-凸函数的一个等价定理，在一定程度上可丰富人们对E-凸函数的认识。

摘要： 本文提出一套理论框架，用相容性、稳定性和收敛性来刻画和分析数值格式，证明了三者间的包含关系，并例证这套理论在数值格式分析中的应用．

摘要： 平面曲梁的纯弯曲过程是固体力学领域中的一个重要分支,但是由于曲梁初始曲率的存在,导致对其精确解析的复杂性。相对而言,直梁的平面弯曲及弹复过程却相对容易实现定量预测。为简化平面曲梁纯弯曲的理论分析模型,针对小曲率平面曲梁的小弯曲变形特点,通过引入曲梁截面弯曲应变的线性分布假设导出曲梁纯弯等价定理。基于板材的四点弯曲特点,同时依托于高精度的三坐标测量仪器,采用不同的板坯试样在不同的弯曲工艺条件下的试验验证该等价定理的可行性。最终试验结果表明,采用直梁弯曲的曲率叠加曲梁初始曲率的方式来代替曲梁弯曲后曲率值,最终结果的绝对误差小于5×10–5,相对误差不大于4.5%,完全满足工程精度的需求。

摘要： 严格定义了Markov相依风险模型.证明了该模型的一个等价定理,使得Markov相依风险模型中的诸过程之间的关系更清晰.获得了Markov相依风险模型的概率结构,构造性地证明了该模型的存在定理.

摘要： 利用外微分和外积的知识,给出并证明了曲面的Gauss方程在正交标架{r(u,v);e1(u,v),e2(u,v),e3(u,v)}及自然标架{r(u,v);ru,n}下的二次微分形式的等式与函数的等式的等价定理,以及曲面的Codazzi方程在正交标架及自然标架下的二次微分形式的等式与函数的等式的等价定理.

摘要： 本文研究了一类多目标条件风险值问题等价值定理,我们引入了多个损失函数在对应的置信水平下关于一人证券组合的α-VaR损失值(最小信用风险值)和α-VaR损失值(最小信用风险值对应的条件期望损失值或条件风险价值度量)概念,为了求得α-VaR损失值下的弱Pareto有效期,我们证明了它等价于求解另一个多目标规划问题的Pareto有效解,这样使得问题的求解变得简单.

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

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

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