判断函数

摘要： 研究了一类五次哈密顿系统在五次扰动下的极限环分支.应用定性理论方法和数值计算方法得出该系统可以同时分支出4个极限环.使用数值模拟方法给出了4个极限环的具体位置,同时呈现了双尖点极限环.

摘要： 在高中课程"函数单调性"这一知识点中,有一种所谓函数单调性的判别方法——图像法.当然,用观察图像来判定函数单调性是不严谨的,例如,用观察图像的方法来判断函数■的单调性,若不依赖当代先进的技术支持,单凭肉眼观察草稿纸上一条近乎x轴的直线,可能会认为它没有单调性,但其实无论是用定义法或是导数法去判定,我们都可以轻松知道这是一个单调递增的函数.正如李白的那句诗:床前明月光,疑是地上霜.

摘要： 一、教学目标及重点、难点1.教学目标(1)了解方程的根与函数零点的概念,培养学生函数与方程的数学思想。(2)学生自主探究函数零点存在的条件,获得零点的存在性定理,培养学生数形结合及辩证思维的能力。(3)解决求零点,判断函数是否存在零点及零点个数的问题,提高学生应用知识的能力。2.教学重点函数零点的概念,方程的根与函数零点的关系,零点的存在性定理。

摘要： 对近几年的高考试题进行分析可以看出,关于导数的题目逐渐增多,并且导数知识与函数、几何图形、方程等知识都可以很好结合,对学生综合知识、分析能力有较高的要求.这就要求学生在数学学习中,需要充分了解导数的概念、意义,探索用导数解答相关问题的能力,以此促进学生综合发展.1用导数法判断函数增减性函数是高中数学中最为基础的知识点,但在很多时候,试题给出的函数表达式比较复杂,解题难度比较高.

摘要： 研究了一类五次哈密顿系统在三次扰动下的双尖点极限环.应用判定函数和数值计算方法得出该系统有3个极限环,给出了出现双尖点极限环的情况,应用数值模拟方法给出了各极限环的具体位置.

摘要： 研究了一类五次哈密顿系统在三次扰动下的双尖点极限环.应用判定函数和数值计算方法得出该系统有3个极限环,给出了出现双尖点极限环的情况,应用数值模拟方法给出了各极限环的具体位置.

摘要： 在数学课堂上开展变式教学,适当地改变命题中非本质的特征、改变问题的条件或结论、转换问题的形式或内容,能帮助学生掌握数学对象的本质属性.在教学中,教师应根据不同的内容、目标以及学生的实际情况开展变式教学,让学生通过讨论辨析,感悟数学对象的本质属性,培养学生的数学思维能力.一、加深学生对概念的理解有些数学概念较为复杂,学生难以理解其本质,这时,教师可以结合一些变式问题,引导学生通过辨析变式挖掘其内涵,把握其要点.在这个过程中,教师要围绕重难点知识进行变式教学.

摘要： 本发明公开了基于电磁环解并网递归函数的电网禁止环判断方法，通过零损耗支路邻接表和零损耗连通节点集的开关操作后拓扑修正分析过程，对开关操作后多次执行连通性判断，可以简化分析判断且增强灵活，性拓扑分析、拓扑修正时间大大提升。零损耗环路的提出以及零损耗环路的判断方法，将电网的拓扑分析避免了搜索跨越线路、跨越变压器，有效防止了搜索范围扩大，搜索边界无法截止带来的死循环过程，跨电压等级判断的准确性显著提高。本发明考虑到跨电压等级判断的实际情况，将传统的多次连通性判断问题合并成一次简单的连通性判断问题。本发明采用的连通性判断方法速度快，且原理简单，易于实现。

摘要： 本发明公开了一种基于奖励函数优化的多无人机分组协同判断方法，包括以下步骤：步骤一、计算可飞行路径长度区间；步骤二、构建协同矩阵M；步骤三、检验是否满足最大补偿率；步骤四、检验是否进防空圈；步骤五、构建决策矩阵D进行分组协同寻优。本发明方法灵巧，通过路径长度区间、最大补偿率、防空圈计算出每架无人机理论可飞行的路径长度，进而基于奖励函数寻优得到无人机分组协同的结果。在保证尽可能多的无人机协同的同时，又兼顾了总路径长度最短，提高了航路规划效率，方法扩展性好。

摘要： 本说明书一个或多个实施例提供一种结合事件函数类型和判断条件的收据存储方法和节点，该方法可以包括：第一区块链节点接收经过加密的调用智能合约的交易；第一区块链节点在可信执行环境中解密所述交易以获得所述智能合约，所述智能合约包含特殊事件函数；第一区块链节点在所述可信执行环境中执行所述智能合约，得到收据数据，所述收据数据包含对应于所述特殊事件函数的日志；第一区块链节点存储所述收据数据，使对应于所述特殊事件函数的日志中满足预设条件的至少一个日志字段以明文形式存储、所述收据数据的其余内容以密文形式存储。

摘要： 本发明公开了一种基于启发式能量函数法的电力系统暂态电压稳定性判断方法，该方法包括：构造包含发电机三阶模型，电动机简化一阶模型的结构保持型能量函数；判断主导负荷母线，对主导负荷母线除外的系统其余部分作戴维南等值，通过电动机的转矩平衡方程得到电压型主导不稳定平衡点的滑差初始值；以滑差初始值作为迭代初值，其余变量的初值为故障后稳定平衡点的值，通过牛顿‑拉夫逊法迭代得到电压型主导不稳定平衡点；将主导不稳定平衡点的值带入能量函数表达式，得到维持系统电压稳定的临界能量值，用于判断系统的暂态电压稳定性。该发明在结合所提出能量函数和得到的主导不稳定平衡点后，可以有效预测系统维持暂态电压稳定的极限切除时间。

摘要： 本发明涉及基于界函数的循环程序终止性判断方法，属于计算机程序验证领域，包含以下步骤：S1、遍历程序，查找程序中的循环程序，对该循环程序的循环区域进行均匀采样；S2、设定界函数模板，将界函数问题转化为线性二分类问题，求得映射关系；S3、依次将样本点映射关系进行分类，并打上标签，得到训练集；S4、将训练集通过分类器进行训练，得到分类超平面，进而得到候选的界函数；S5、将候选界函数结合不变式量词消去进行验证，验证循环程序终止性。本发明针对不能通过现有秩函数方法来证明其终止性的循环程序能够给出终止性判定结果，其结果更加具有完备性。

摘要： 本发明公开了基于电磁环解并网递归函数的电网禁止环判断方法，通过零损耗支路邻接表和零损耗连通节点集的开关操作后拓扑修正分析过程，对开关操作后多次执行连通性判断，可以简化分析判断且增强灵活，性拓扑分析、拓扑修正时间大大提升。零损耗环路的提出以及零损耗环路的判断方法，将电网的拓扑分析避免了搜索跨越线路、跨越变压器，有效防止了搜索范围扩大，搜索边界无法截止带来的死循环过程，跨电压等级判断的准确性显著提高。本发明考虑到跨电压等级判断的实际情况，将传统的多次连通性判断问题合并成一次简单的连通性判断问题。本发明采用的连通性判断方法速度快，且原理简单，易于实现。

摘要： 本发明公开了一种基于奖励函数优化的多无人机分组协同判断方法，包括以下步骤：步骤一、计算可飞行路径长度区间；步骤二、构建协同矩阵M；步骤三、检验是否满足最大补偿率；步骤四、检验是否进防空圈；步骤五、构建决策矩阵D进行分组协同寻优。本发明方法灵巧，通过路径长度区间、最大补偿率、防空圈计算出每架无人机理论可飞行的路径长度，进而基于奖励函数寻优得到无人机分组协同的结果。在保证尽可能多的无人机协同的同时，又兼顾了总路径长度最短，提高了航路规划效率，方法扩展性好。

摘要： 一种基于概率密度函数相似度的声发射到达时间判断方法，其特征在于：包括如下步骤：采集声发射信号；分割信号：原始声发射信号被分割成m个等时长的窗口；获取各个窗口段的相对频率直方图；获取每对相邻窗口段的相对频率直方图的箱‑箱距离；得到声发射到达时间：找到最小的箱‑箱距离所在的位置，这个位置为下降趋势的终点，选择拐点作为下降趋势的起点，拐点之后的第一个点即为到达时间。本发明具有能够便捷快速准确地获取所监测对象的信号到达时间，有助于开展后续的故障判定和故障定位工作的优点。

摘要： 本说明书一个或多个实施例提供一种结合事件函数类型和判断条件的收据存储方法和节点，该方法可以包括：第一区块链节点接收经过加密的调用智能合约的交易；第一区块链节点在可信执行环境中解密所述交易以获得所述智能合约，所述智能合约包含特殊事件函数；第一区块链节点在所述可信执行环境中执行所述智能合约，得到收据数据，所述收据数据包含对应于所述特殊事件函数的日志；第一区块链节点存储所述收据数据，使对应于所述特殊事件函数的日志中满足预设条件的至少一个日志字段以明文形式存储、所述收据数据的其余内容以密文形式存储。

摘要： 本发明公开了一种基于启发式能量函数法的电力系统暂态电压稳定性判断方法，该方法包括：构造包含发电机三阶模型，电动机简化一阶模型的结构保持型能量函数；判断主导负荷母线，对主导负荷母线除外的系统其余部分作戴维南等值，通过电动机的转矩平衡方程得到电压型主导不稳定平衡点的滑差初始值；以滑差初始值作为迭代初值，其余变量的初值为故障后稳定平衡点的值，通过牛顿‑拉夫逊法迭代得到电压型主导不稳定平衡点；将主导不稳定平衡点的值带入能量函数表达式，得到维持系统电压稳定的临界能量值，用于判断系统的暂态电压稳定性。该发明在结合所提出能量函数和得到的主导不稳定平衡点后，可以有效预测系统维持暂态电压稳定的极限切除时间。