等价转化思想

摘要： 立体几何体积问题是高考的重要考点,此类题目题设条件隐蔽性强,学生常因空间想象能力弱,不会灵活应用等价转化思想解决问题,从而造成思维受阻,难以求解的局面。等价转化是数学中重要的思想方法,对于该类问题有着良好的解题效果,但因其有多样性与灵活性的特点,没有一个统一的标准模式,使很多学生在实际应用中捉襟见肘。

摘要： 高考对复数的考查主要围绕“基本概念、复数代数形式的四则运算、复数加减法的几何意义”等展开,凸显基本运算能力与“等价转化思想”和“数形结合思想”的具体应用。

摘要： 函数的单调性主要围绕“确定函数的单调区间,由单调区间确定参数范围,单调性的应用”等展开,凸显等价转化思想的具体应用。

摘要： 含绝对值不等式问题不仅是初中数学的内容,也是高中数学中的重要知识点,在高考试题中经常与函数、方程、平面几何知识、柯西不等式等结合起来查查.解答含绝对不等式问题的基本思路是,利用等价转化思想,将绝对值符号去掉,进而将绝对值不等式转换为普通不等式进行解答.以下总结了几点解答含绝对值不等式问题的技巧,希望能够帮助同学们更好地解答这类题型.

摘要： 解答高中数学习题时,引导学生运用一些解题思想,可使其少走弯路,快速得出正确结果,促进学生解题能力的提升.其中等价转化思想在解答数学习题中较为常用.为提高学生应用该思想的意识与能力,授课中既要注重讲解该思想的一些理论知识,又要讲解相关例题,给其更好的应用于解题中提供参考.

摘要： 解答高中数学习题时,引导学生运用一些解题思想,可使其少走弯路,快速得出正确结果,促进学生解题能力的提升.其中等价转化思想在解答数学习题中较为常用.为提高学生应用该思想的意识与能力,授课中既要注重讲解该思想的一些理论知识,又要讲解相关例题,给其更好的应用于解题中提供参考.

摘要： 函数的零点问题是近年来高考中的高频考点,往往与函数的性质、导数等知识交汇在一起,侧重考查考生的等价转化能力、数形结合能力,需要具备直观想象、数学抽象、数学运算等数学素养.含参函数的零点问题要求根据含参函数的零点情况,求解参数的取值范围.笔者以一道典型题目为例来探讨一下含参函数零点问题的多种解法.

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

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

摘要： 本发明涉及高炉煤气脱硫技术领域，具体涉及一种高炉煤气有机硫转化装置及转化方法、一种有机硫转化催化剂再生方法。该转化装置包括：含有气体分布器和至少一个催化剂床层的反应器、喷淋再生系统、至少一个集液包，所述催化剂床层包括有机硫转化催化剂床层，所述喷淋再生系统用于对所述催化剂床层进行清洗和/或再生，所述集液包用于收集所述高炉煤气中水分和可选的对所述催化剂床层进行清洗和/或再生的液体；其中，所述催化剂床层的高度与反应器的直径比为0.1‑2：1。本发明提供的转化装置能够显著降低高炉煤气通过催化剂床层的压力降，提高有机硫的转化效率，同时实现有机硫转化催化剂原位再生，从而保证高炉煤气转化装置长期稳定运转。

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

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

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

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

摘要： 本发明公开了一种利用高温一段转化气预热换热式转化的轻烃制取合成气转化装置，包括换热式转化炉、方箱式一段炉以及热量回收系统，所述方箱式一段炉由辐射段和对流段组成，对流段的混合气出口与换热式转化炉的管程连通，换热式转化气出口与方箱式一段炉的辐射段相连，辐射段的一段高温转化气出口与换热式转化炉的壳程连通，所述一段转化气出口与热量回收系统相连。本发明的换热式转化炉转化所需热量全部由方箱式一段炉出口高温一段转化气提供，在降低方箱式一段炉辐射段转化负荷的同时，也减少了方箱式一段炉对流段的负荷，可最大限度地降低烃类燃料气的使用，从而降低合成气的生产成本，同时也减少了方箱式一段炉烟气的排放量，具有一定的环保优势。

摘要： 本发明涉及高炉煤气脱硫技术领域，具体涉及一种高炉煤气有机硫转化装置及转化方法、一种有机硫转化催化剂再生方法。该转化装置包括：含有气体分布器和至少一个催化剂床层的反应器、喷淋再生系统、至少一个集液包，所述催化剂床层包括有机硫转化催化剂床层，所述喷淋再生系统用于对所述催化剂床层进行清洗和/或再生，所述集液包用于收集所述高炉煤气中水分和可选的对所述催化剂床层进行清洗和/或再生的液体；其中，所述催化剂床层的高度与反应器的直径比为0.1‑2：1。本发明提供的转化装置能够显著降低高炉煤气通过催化剂床层的压力降，提高有机硫的转化效率，同时实现有机硫转化催化剂原位再生，从而保证高炉煤气转化装置长期稳定运转。

摘要： 本发明涉及一种加氢转化催化剂，以催化剂的重量为基准，其组成包括：改性Y分子筛含0.1～4％，无定型硅铝30～60％，粘结剂5～40％，加氢金属含量为25～35％；所述改性Y分子筛为小晶粒介孔改性Y分子筛，晶体粒径小于500nm，其骨架的氧化硅与氧化铝的摩尔比为20‑60，氧化钠含量＜0.1wt％，晶胞参数2.430～2.435nm，相对结晶度60‑100％，介孔化指数M为1.7～5.0。该加氢转化催化剂应用于蜡油原料的加氢转化过程，可提高加氢转化后尾油的粘度指数，粘度指数提高幅度△VI大于等于40，280°C以上馏分转化率小于等于35％。