等价式

摘要： 应用实分析技巧、权函数方法及参量化思想,给出一个一般非齐次核半离散Hilbert型不等式,同时讨论其等价形式及常数因子最佳性的充分必要条件,并给出若干应用特例.

摘要： 应用实分析技巧、权函数方法、参量化思想及Hermite-Hadamard不等式,给出一个较为精确的半离散一般非齐次核Hilbert型不等式,同时,讨论其等价形式及常数因子最佳性的等价描述,并给出等价式的算子表示及若干特例.

摘要： 引入独立参数,应用实分析的技巧及权函数方法,建立一个一般非齐次核逆向的Hilbert型积分不等式.提出了它的等价形式及联系逆式的常数因子最佳性与多参数的等价陈述.作为应用,给出若干特殊核的例子.

摘要： 引入恰当的参数,运用实分析方法以及权函数的技巧,获得2个与权函数估算及证明最佳常数因子有关的引理,并据此建立了几个关于带参数、最佳常数因子与Gamma函数有关的第二类非齐次核的Hardy型积分不等式的等价条件.同时,得到了几个关于第二类齐次核的Hardy型积分不等式的等价条件.

摘要： 引入指数函数中间变量,应用权函数及实分析技巧,建立一个具有最佳常数因子的全平面Hilbert型积分不等式,考虑了其等价式、算子表示、特例及齐次形式.

摘要： 通过引入独立参量与中间变量,应用权函数及实分析技巧,建立一个具有最佳常数因子的全平面非齐次核的Hilbert积分不等式,并讨论其等价式及特殊情形.

摘要： 本文将模糊机会约束规划的相关知识与经典的支持向量机的思想相结合,给出了模糊样本强模糊线性可分的定义,建立基于输入数据为梯形模糊数的支持向量机,并通过混合智能算法求解其清晰等价式.

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

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

摘要： 本发明公开了基于Storm的马尔可夫等价类模型分布式学习方法。包括以下步骤：步骤1，使用Storm框架创建集群的计算节点；步骤2，初始化节点创建初始马尔可夫等价类状态，并生成状态图元组；步骤3，搜索节点计算当前状态图元组的所有合法修改操作符，并应用于当前状态图元组上；步骤4，评分节点使用最小描述长度准则计算模型对数据集的拟合度评分；步骤5，输出节点判定状态图元组是否达到局部最优，最终得到最匹配网络流量数据的马尔可夫等价类模型。本发明在入侵检测系统的分类器模型训练问题上，充分利用了分布式存储给计算过程带来的加速优势，提高了入侵检测系统对网络流量数据的实时处理能力。

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

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

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

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

摘要： 一种基于等价谐振嵌入的音圈式执行器周期负载波动抑制方法，通过嵌入往复运动的等价谐振项，可实现对周期性扰动的灵敏追踪与精确补偿。无需额外获得负载参数，且采用在线估计的方法，更适合于快刀伺服、疲劳测试与机械臂末端执行器等负载工况变化较大的应用场景。

摘要： 本发明公开了一种基于等价输入干扰和重复控制原理的桥式吊车防摇控制方法，包括步骤1：利用同胚坐标变换原理简化吊车系统；步骤2：防摇控制系统原理设计；步骤3：设计状态观测器；步骤4：设计等价输入干扰估计器；步骤5：设计重复控制器。本发明提出基于等价输入干扰的控制器设计思路，仅需小车位移信息就能够保证吊车系统实现全局稳定控制。由于吊车水平移动的参考轨迹可以看成是一个加速‑匀速‑减速的周期信号，采用重复控制原理，能够大大提高跟踪精度，同时能够有效抑制外界周期性干扰对控制精度的影响。相对于传统PID控制方法，具有更好的适应性和鲁棒性，能够同时实现吊车的高精度定位和吊车防摇，大大的提高起重机的工作效率和安全性。

摘要： 本发明公开了一种基于关系代数的等价展开方法的分布式查询优化方法，包括发送请求、语言转化、构建查询树、分片优化、查询树分解、判断是否存在连接操作、效益计算和判断是否遍历完成，本发明结构科学合理，使用安全方便，通过利用SQL语言与关系代数的一致性，将传统的SQl语言转向了关系代数表达式，从而间接提升了分布式查询的效率，通过在构建查询树的过程中，对查询树进行了分解，更加符合了分布式系统的数据离散分布的特性，使得查询之间的数据耦合性降低，通信开销也得到了相应的降低，并通过MapReduce方法针对于连接过程加以优化，极大地减少了连接过程中各站点间的通信开销，并相应地缩短了通信时间，从而提高了查询效率。