等价无穷小量

摘要： 本文利用带Peano余项的泰勒公式、等价无穷小替换、L Hospital法则等经典方法,系统探讨了一类含幂指函数的0/0型不定式极限的求解,并给出了一系列相关的等价无穷小替换公式.

摘要： 本文总结竞赛中常出现的极限问题,并对根据题目的 特点分析求极限方法.

摘要： 通过对2018年(非数学类)的一道求极限问题分析,利用等价无穷小量理论将其结果推广到一般情况.

摘要： 深度剖析2018年全国研究生入学考试数学Ⅰ试题第十九题,证明了该题中的数列衰减,给出了该数列的一个衰减估计,并将这些结果推广到更一般的情形.

摘要： 等价无穷小量替换求极限是算法处理中的关键.以往研究只给出了对所求极限式中相乘或相除的无穷小量因式进行等价替换的充分条件,而忽视了极限式中存在相加或相减的无穷小量因式的情形.对此进行深入研究,表明:1)若两个无穷小量商的极限存在且不为-1或者为无穷大,则两者相加或相减时可以进行等价替换;2)若两个无穷小量保持同号,则两者相加或相减时可以进行等价替换;3)若存在子列使得两个无穷小量之和或之差为零,则两者相加或相减时不一定可以进行等价替换.

摘要： 本文提出了等价无穷小量代换的一个重要结论以及等价无穷小与泰勒公式的关系.

摘要： 利用等价无穷小替换原理求极限是数学分析中求极限的一个重要方法,本文将从分子分母中含无穷小量的乘积与和差,两个方面探讨无穷小量替换原理的应用,通过泰勒公式和麦克劳林级数进一步明确使用等价无穷小替换原理的内涵,熟练掌握替换无穷小量的条件、方法,以达到快速、准确求极限的目的 .

摘要： 文章介绍了一种求极限的新思路——搭桥法.一般在极限的计算中经常采用等价无穷小代换的方式来确定无穷小量的阶,但是当遇到等价无穷小量相减时不能用无穷小量直接代换来求解的,利用“搭桥”的方法将把不能直接用等价无穷小代换的和、差等极限问题,通过恒等变形,将问题转化为可以用等价无穷小代换的形式,从而简化极限的计算.

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

摘要： 本发明涉及一种最小量‑粉末计量设备(1)，尤其用于制药学或化学的应用，所述最小量‑粉末计量设备(1)用于计量小于1cm3的粉末体积，所述最小量‑粉末计量设备(1)包括由计量腔周壁(9)限定边界的计量腔(3)，所述计量腔(3)能与用于吸入粉末的负压源(28)连接以便给计量腔(3)填充待计量的粉末，其中，计量腔(3)配有过滤器件以便在吸入过程时将粉末阻挡在计量腔(3)中。按本发明规定，过滤器件包括至少一个构造在计量腔周壁(9)中的用于将粉末阻挡在计量腔(3)中的吸入口(12，13)，穿过所述吸入口(12，13)能给计量腔(3)施加负压。此外本发明涉及一种用于通过使用按本发明的最小量‑粉末计量设备(1)进行粉末‑最小量计量的方法。

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

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

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

摘要： 本发明涉及一种尤其是用于制药学或化学的应用的最小量‑粉末计量设备(1)，所述最小量‑粉末计量设备(1)用于计量小于1cm3，优选小于150mm3的粉末体积，所述最小量‑粉末计量设备(1)包括由周壁(9)限定边界的计量腔(3)，所述计量腔(3)能与用于吸入粉末的负压源(28)连接以便给计量腔(3)填充待计量的粉末，其中，计量腔(3)配有过滤器件以便在吸入过程时将粉末阻挡在计量腔(3)中。按本发明规定，过滤器件包括至少一个构造在周壁(9)中的用于将粉末阻挡在计量腔(3)中的吸入口(12，13)，穿过所述吸入口(12，13)能给计量腔(3)施加负压。此外本发明涉及一种用于通过使用按本发明的最小量‑粉末计量设备(1)进行粉末‑最小量计量的方法。

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

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

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

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