等价无穷小

摘要： 本文分别讨论了等价无穷小与等价无穷大在极限问题和判定反常积分的敛散性等方面的应用.

摘要： 在求解函数极限的过程中,选择正确的方法可以事半功倍,避免计算过程的繁琐,而利用等价无穷小是一种具有代表性的途径,具有快速、简便、适用性强等优点。因此,有必要探讨如何在函数极限中运用等价无穷小从而简化运算。本文主要基于函数极限知识和常用的等价无穷小,对等价无穷小的比较、代换定理及等价关系进行介绍,探究其在不同函数极限中的应用,并且辅以例题举证。

摘要： 泰勒公式是微积分理论的重要内容,本文首先应用泰勒展开式推导出函数代数和的等价无穷小,其次探索了函数代数和的等价无穷小在求极限上的应用,最后通过研究生入学考试试题给出了具体的应用与解题技巧.

摘要： 本文探讨了当一元变上限积分函数的上限为无穷小,且被积函数为两个无穷小的和(差)运算时,在满足一定条件下,分别对积分上限以及被积函数中的无穷小应用等价无穷小替换,则替换前后的积分是等价无穷小.

摘要： 本文给出了《泰勒公式在含三层复合函数的不定式极限计算中的应用》中不定式极限的一种简便计算方法,这种计算方法也适用于更一般的情况.

摘要： 利用泰勒公式和数学归纳法获得了几个n层的幂指函数的等价无穷小.

摘要： 本文尝试利用等价无穷小替换,来简化待定型幂指函数极限的计算.

摘要： 在高考不等式证明题中,掌握一些常用不等关系,将为学生寻找证明思路、探明证明方向起很大启示作用.本文试图通过对一类高考不等式证明题的归纳分析,探索素养导向下不等式证明的教学方式,使学生在发现和提出问题、分析和解决问题的过程中完成对知识的认知和建构,促使能力真正发展,实现素养真实落地.

摘要： 本文讨论了两个重要极限公式、洛必达法则以及等价无穷小代换在确定型和不定型幂指函数求极限过程中的应用,给出并证明了相关定理.最后通过实例验证了这些方法的有效性和实用性.

摘要： 等价无穷小替换是数学学习中一种常见且有效的求极限方法.针对和差运算中的等价无穷小,或是不易找到等价无穷小的函数,通过使用洛必达法则,结合连续函数的定义,构造具有初值条件的高阶微分方程,可以找到该函数在指定过程下的等价无穷小函数,从而应用到极限运算或其他计算当中.

摘要： 本发明公开了一种基于无穷小偶极子模型变形阵列天线远场方向图分析方法，包括变形阵列天线辐射单元的几何模型的确定和近场数据采集；无穷小偶极子初始模型以及优化模型的建立；利用量子粒子群算法优化得到实际辐射单元的无穷小偶极子模型；使用无穷小偶极子模型将各个辐射单元替代推导其之间的互导纳表达式；研究阵面变形对阵元间互导纳的影响并得出变形阵列天线的导纳矩阵；最后揭示各个辐射单元的实际激励值，计算变形阵列天线的远场方向图。本发明能够准确的分析变形阵列天线的辐射性能，对工程中实际阵列天线电性能的精确分析具有理论指导意义。

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

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

摘要： 本发明公开了一种基于无穷小偶极子模型变形阵列天线远场方向图分析方法，包括变形阵列天线辐射单元的几何模型的确定和近场数据采集；无穷小偶极子初始模型以及优化模型的建立；利用量子粒子群算法优化得到实际辐射单元的无穷小偶极子模型；使用无穷小偶极子模型将各个辐射单元替代推导其之间的互导纳表达式；研究阵面变形对阵元间互导纳的影响并得出变形阵列天线的导纳矩阵；最后揭示各个辐射单元的实际激励值，计算变形阵列天线的远场方向图。本发明能够准确的分析变形阵列天线的辐射性能，对工程中实际阵列天线电性能的精确分析具有理论指导意义。

摘要： 本发明公开了一种双馈风机单机无穷大系统的小干扰稳定性分析方法，它包括：步骤1、对单机无穷大系统的动态数学模型进行建模；步骤2、对系统的数学模型在平衡点处进行线性化处理；得出对应的状态矩阵；步骤3、获得系统特征值与模式类别，根据参与因子预测状态变量与模态关系；步骤4、根据系统参数或运行状态以及外部网络参数，计算不同特征值的大小以及模态变化；现有技术中针对风机并网系统的稳定性研究，存在的没有详细建立起系统中一些元件的模型如传动系统的模型以及控制系统的模型；没有在详细模型下对于系统中参数对于系统模态的影响进行研究等技术问题。

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

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

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

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

摘要： 本申请公开了一种基于互模拟等价的经济数据安全处理方法和装置，该方法包括：获取用于进行经济数据交互的网络中出现的多个待处理的安全事件，其中，所述安全事件用于指示所述网络中出现的对网络经济数据安全带来危害的事件；对所述多个待处理的安全事情进行分析，得到分析结果；根据每个待处理的安全事件对应的分析结果确定能够并发处理的安全事件；对能够并发处理的所述待处理的安全事件进行并发处理。通过本申请解决了现有技术中在处理并发任务和数据时所导致的问题，从而能够正确处理并发事件，降低了系统建模和验证的复杂性，节约了计算资源。