等价转换

摘要： 同角三角函数的基本关系式在三角函数求值、化简与证明中应用广泛,且问题解决又没有固定套路,于是,面对不能套用公式的问题往往无从下手.但我们可在识得公式真面目上,根据问题特征,活用“从繁到简、等价转换、左右归一、切弦互化、1的应用”这五招来巧解问题.

摘要： 集合作为一种数学语言和工具在数学问题中有着广泛的应用。在实施集合语言等价转换过程中,同学们容易忽视集合语言中的特殊情况而出现这样或那样的错误,下面分类剖析。

摘要： 2020年全国高中数学联赛一试压轴题是一道双曲线内接等腰直角三角形的解析几何题,此题体现了几何中的几种重要的变换——旋转、对称,在解析几何上体现了代数与几何间的等价转换,其中蕴含着重要的数学思想与方法.笔者对此题进行了一番研究,给出了一些解法与结论推广.

摘要： 增根是中学阶段解方程时的常见问题,本文结合高考题目与个人思考,重点阐述一下二次曲线联立为什么产生增根、两圆联立为什么不产生增根、如何对根进行取舍、增根的作用等问题.

摘要： 增根是中学阶段解方程时的常见问题,本文结合高考题目与个人思考,重点阐述一下二次曲线联立为什么产生增根、两圆联立为什么不产生增根、如何对根进行取舍、增根的作用等问题.

摘要： 增根是中学阶段解方程时的常见问题,本文结合高考题目与个人思考,重点阐述一下二次曲线联立为什么产生增根、两圆联立为什么不产生增根、如何对根进行取舍、增根的作用等问题.

摘要： 我们知道导函数存在零点,但令导函数为零后,出现一个超越方程,根本无法直接求解.这是一类问题,其解决的基本思路是:形式上虚设零点,通过运算、代换、等价转换等方式将超越式化为普通式,再进行求解.下面我们来看一个例子.

摘要： 增根是中学阶段解方程时的常见问题,本文结合高考题目与个人思考,重点阐述一下二次曲线联立为什么产生增根、两圆联立为什么不产生增根、如何对根进行取舍、增根的作用等问题.

摘要： 在语言学跨学科研究中,其他学科的方法、理论、概念移用于语言学研究主要有三种方式:辐射、借鉴和融合.从数理学科借用过来的概念"对偶性"同我国原用于写作的对偶方法融合在一起,发展为可用于对语言进行描写、分析的对偶性理论.用于语言研究的对偶性理论实现的必要条件是:在语言系统内有两个事物或对同一事物用两种不同视角做出的描述或实施的操作获得两个成对的元素,设为A-B;实现的充分条件是:A-B之间有对应性,这指的是A-B虽然分别处于不同的理论体系或处于其他系统的不同环节,但当对它们进行语言操作时会具有"同一"的结果,表现为二者是异质同构的,二者有对等、同一、互补等的关系,可在一定条件下作等价转换.这揭示了世界在看似不同的表象背后存在着一种更深层次的异质一致性.语言研究移植和借用其他学科的理论和概念,在研究的实践中一定要紧贴语言研究的实在性,这就叫语言学交叉学科研究中的"语言研究归省".

摘要： 不等式恒成立是高中数学重要的题型,不等式恒成立往往与函数的图象性质相关,常借助导数知识处理函数最值或图象,不等式恒成立渗透着函数与方程、等价转换、分类讨论、换元等思想方法,因其解法灵活多变,尤其是针对不同题型,学生往往难以找到适合解决问题的捷径,因而不等式恒成立常常作为压轴题出现。

摘要： 通过JX4光束法空三软件和PATB空三软件,介绍PATB空三工程向JX4光束法空三工程等价转换的实现方法,提高生产效率和成果精度.

摘要： 介绍了该研究的背景与意义，复杂系统关键之所在:时间序列与复杂网络之间等价转换然后在此基础上二者相互表征研究时间序列到网络转换二者转换的数学关系。

摘要： 在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理.用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明.

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

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

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

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

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

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

摘要： 本发明涉及信息安全技术领域，具体为一种将Java代码等价转换成C++代码的方法，将待APP进行解包后的dex文件记为集合B；遍历集合B中的dex文件中的所有类，并获取类名、函数名、机器码，并存储记作集合C；通过自定义llvm框架，将Java机器码转为C++代码，写入cpp文件中，对cpp进一步处理、编译，生成静态库文件，将静态库文件和预置基础库文件链接，得到动态库文件F，删除集合C中元素的机器码，修改函数标示，并将其打包得到集合G；将G、F回填至app中，至此Java代码转C++代码结束，本发明同现有技术相比，针对传统APP代码防护的安全强度不够的问题，通过新的技术手段来提升代码的安全强度。

摘要： 一种流量可示的等价转换装置，包括一个机体(1)，机体(1)分上下两部分，上部设置无线接收装置(2)、流速感应模块(3)、显示装置(4)、分析模块(5)，下部设置长形罩壳装置(6)，壳体表面设置功能按键(7)，使用时设定流量种类、包量多少、所需金额等相关数据，感应数据传至分析模块(5)进行比对，同时中控装置(8)将流量使用状态转化为金额数据；设置警示装置(9)，当使用状态超出设定范围时发出相应提示信息；机体(1)侧身设置可掰式USB接口(10)，收藏于长形罩壳装置(6)后方；携带便捷，可实行匹配性专用，有效监控流量的使用状况，表述直观数据，避免流量浪费或超出，具有较强的实用性。

摘要： 提供一种将马尔可夫网络等价转换为因子图的方法及系统，该方法包括下列步骤：输入待转换为因子图的马尔可夫网络；依次按转换规则1、2和3将马尔可夫网络等价转换为因子图；输出转换成的因子图。其中，转换规则1为：创建因子图的所有变量节点，它们分别对应于马尔可夫网络的所有随机变量节点；转换规则2为：创建因子图的所有因子节点即局部函数，它们分别对应于马尔可夫网络中表示的所有最大团势函数；转换规则3为：当且仅当因子图中某个变量是一个局部函数的自变量时，添加连接该变量节点与该局部函数即因子节点的无向边。本发明克服目前缺乏马尔可夫网络向因子图等价转换的完整、可实施技术方案的缺陷，方法及系统简单易行，应用前景广阔。

摘要： 提供一种将贝叶斯网络等价转换为因子图的方法及系统，该方法包括下列步骤：输入待转换为因子图的贝叶斯网络；依次按转换规则1、2和3将贝叶斯网络等价转换为因子图；输出转换成的因子图。其中，转换规则1为：创建因子图的所有变量节点，它们分别对应于贝叶斯网络的所有随机变量节点；转换规则2为：创建因子图的所有因子节点即局部函数，它们分别对应于贝叶斯网络中表示的所有局部条件分布；转换规则3为：当且仅当因子图中某个变量是一个局部函数的自变量时，添加连接该变量节点与该局部函数即因子节点的无向边。本发明克服目前缺乏贝叶斯网络向因子图等价转换的完整可实施技术方案的缺陷，方法简单易行、系统易于实现，具有广阔的应用前景。