等价转化

摘要： 文章对问题呈现的两种解法进行分析,找出错解的原因.通过深入探究得到问题的另一解法,再将问题一般化,然后从数与形两个方面使得一般化的问题得到完美解决.最后,还得到更具一般性的结论.

摘要： 平面向量作为高中数学的重要工具,它将代数和几何紧密联系起来.有关向量的试题可以从代数和几何两个角度思考,再辅以数学思想方法才能突破难题,仅在纯向量知识间思考问题,难以奏效.

摘要： 数学是一门充满联系的学科,我们应该抓住一切可能的联系进行联想与转化.引导学生学会联想和等价转化是提高解题能力和认识数学思维特征的重要方法.联想的前提是观察结构形式,把握结构特征,观察是指有目的、有计划、较持久的知觉过程,观察具有目的性、客观性、敏锐性、精细性和全面性.解题分析起步于对问题的有效感知与观察,只要善于变换角度,仔细观察,抓住结构特征,联想大脑里已存在的知识与技能信息,才能较快地形成解题方案.

摘要： 从多元制约的方程组有解问题转化为单变量的方程有解问题,需关注方程组多元制约关系是否释放.在方程组多元制约关系释放的情形下,应对单变量方程加以条件制约,使单变量方程的解真实反映原多元方程组的解.

摘要： 1引言数学思想方法相比较于数学基础知识,具有更高的内涵层次和观念性的地位.而数形结合思想,有效实现代数问题与几何问题的等价转化,借助几何直观的分析与代数抽象的探索,寻找更为简单快捷破解问题的方法,从而使得问题得以巧妙破解.

摘要： 由命题A可推出命题B,反之,由命题B亦可推出命题A,称为A与B等价.数学解题就是将数学问题不断转化的过程,但要保证问题的等价性,稍有疏忽,往往致错.

摘要： 自从2021年江苏高三学生高考首次使用全国新课标卷以来,江苏高考进入了新的时代.从《中国高考评价体系》以及《普通高中数学课程标准》来看,新高考与老高考相比,更加强调思维,强调本质,对学生的能力素养等要求较高.因此,如何提升学生的关键能力和学科素养就摆到了老师们的面前.本文选取了一个重要但又易被忽略的思想方法———“算两次”,从新高考角度来阐述培养学生关键能力和学科素养的重要性.

摘要： 点评:本题考查了曲线的切线问题其实质是导数的几何意义,其常规思路为:先设出切点横坐标x_(0),利用导数的几何意义求得切线方程,根据切线经过原点得到关于x_(0)的方程,根据此方程应有两个不同的实数根(此处可作两条切线等价转化方程有两解),求得a的取值范围.

摘要： 将所证明的不等式等价转化为其反向的不等式是证明不等式的一种策略和方法.本文举出若干例子说明之.

摘要： 处理双变量的存在性与任意性问题,需要先准确理解全称量词"任意"与特称量词"存在"的含义;其次,最关键的是熟练掌握此类问题的求解策略——等价转化。等价转化涉及以下三点:一是将问题转化为两个函数值域的包含关系;二是将问题转化为两个函数值域的交集非空;三是将问题转化为在给定区间上两个函数的最值之间的大小关系。

摘要： 研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。

摘要： "不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.

摘要： "不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.

摘要： "不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.

摘要： "不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.

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

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

摘要： 本发明涉及高炉煤气脱硫技术领域，具体涉及一种高炉煤气有机硫转化装置及转化方法、一种有机硫转化催化剂再生方法。该转化装置包括：含有气体分布器和至少一个催化剂床层的反应器、喷淋再生系统、至少一个集液包，所述催化剂床层包括有机硫转化催化剂床层，所述喷淋再生系统用于对所述催化剂床层进行清洗和/或再生，所述集液包用于收集所述高炉煤气中水分和可选的对所述催化剂床层进行清洗和/或再生的液体；其中，所述催化剂床层的高度与反应器的直径比为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％。