等价形式

摘要： 在一些不等式问题所给出的条件中,“已知正数a,b,c满足abc=a+b+c+2”出现的频率较高.本文首先给出“abc=a+b+c+2”的几个等价形式,然后探究以“abc=a+b+c+2”或它的等价形式为条件的一些不等式问题,最后探究“abc=a+b+c+2”的几何背景,仅供参考.

摘要： 对斯坦纳-莱莫定理的历史作简要回顾,给出一般性的推广,并研究了它的若干等价形式.通过构造函数而给出一种新的证明(包括一般形式的).

摘要： 文[1]中杨学枝老师用向量方法得到了圆内接四边形中的一个有趣的恒等式,即(略有变形):定理1[1]如图1,⊙O的内接凸四边形ABCD中|AB|=a,|BC|=b,|CD|=c,|DA|=d,P为空间中任意一点,则ad|PC|^(2)+bc|PA|^(2)/ad+bc=ab|PD|^(2)+cd|PB|^(2)/ab+cd.

摘要： 引入多个独立参量及指数函数,运用估算权函数及实分析的技巧,建立了一个核为(eax+by+1)2+λ/1(λ＞0,a,b≠0)的全平面Hilbert型积分,并证明了其常数因子是最佳值并考虑了其等价形式.

摘要： 引入独立参量及运用估算权函数的方法,建立了一个新的半平面Hilbert型积分不等式;进一步引入指数函数为中间变量,得到了一个全平面的Hilbert型积分.作为应用,考虑了它们的等价形式及常数因子的最佳性.

摘要： 通过引入独立参量,运用估算权函数的方法及实分析的技巧,以三角函数为中间变量,建立一个新的全平面Hilbert型积分不等式.并进一步考虑了其常数因子的最佳值性,等价形式与逆式以便应用.

摘要： 本文给出了第二类r-块置换因子循环矩阵的概念以及等价形式,并对相关问题进行探究。

摘要： 通过引入参数λ,应用权系数的方法,对一个含有混核的Hilbert型不等式进行研究,得到了它的正向和逆向不等式的推广,以及不等式的等价形式,同时证明了不等式的常数为最佳值.

摘要： 引入独立参量,运用估算权函数的方法及实分析的技巧,建立一个具有最佳常数因子的HiIbert型积分不等式.作为应用,考虑了其等价形式及δ=1时的非齐次形式.

摘要： 本文结合实例介绍利用八种函数的单调性来证明不等式,供大家参考.一、善用一次函数的单调性证明不等式例1已知实数x,y,z满足｜x｜x＋y＋z.证明待证不等式x（yz-1）＋2-yz＆0.选定x为主元,设f（x）=（yz-1）x＋2-y-z.因为｜y｜0,

摘要： 本文在更一般的情况下考虑了MPEC的等价问题,我们分别给出了一般互补约束的等价形式,KT条件约束的等价形式以及不动点约束的等价形式.其中C(x)是一般的闭凸集或是由有限多等式和不等式给出的闭凸集.本文得到的结果对已有的结果进行了扩展.

摘要： 本文提出了分式绝对值几何规划这一新的概念,并运用参数化的方法和转化为符号规划的途径,将分式绝对值几何规划,化为易于求解的等价形式,并提出了两种求解的方法.

摘要： 基于不确定理论研究了带有不确定生产成本的配送中心选址问题.从最小化总成本出发,假设生产成本服从不确定分布,应用方差和熵,提出了该问题的均值-方差-熵模型.随后,基于Hamiki的结论给出了该模型的等价形式.最后,通过一个数值例子说明了该模型的有效性.

摘要： 首先,在正则剩余格中引入模糊理想基的概念,介绍了模糊理想基的一些重要性质,并且利用这些性质,给出了模糊理想基的三种等价形式;其次,结合具体实例讨论了模糊理想基与模糊理想的关系;最后,给出由模糊集生成模糊理想基及由模糊理想基生成模糊理想的方法.

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

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

摘要： 本发明提供一种尽管为简单的构造，也可进行高精度的分注处理的变形式分注管、变形式分注装置及变形式分注处理方法。其具有：两个以上的变形式分注管，具有可在由壁面所包围的内部收纳液体及气体并且在其壁部的一部分具有可变形的变形壁面的收纳部、以及与该收纳部连通并且可供由于该变形壁面的变形所导致的上述内部的膨服及收缩而被抽吸排出的液体流入流出的口部；以及分注头，用来支持一个或两个以上的该变形式分注管，并通过使该变形式分注管的变形壁面变形，来进行液体相对于该变形式分注管的抽吸排出。

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