V函数

摘要： 考虑随机因素的影响,研究了一类具有白噪声扰动的随机捕食-被捕食模型.首先通过构造适当的Lyapunov函数,应用It?公式以及随机微分方程的比较定理等方法,得到了系统全局正解的存在性;其次,研究了系统具有持久性和灭绝性的条件,并讨论了系统的平稳分布以及遍历性;最终给出了相应的数值模拟,验证了得到的结论.

摘要： 详细介绍了磁悬浮球系统的结构和工作原理,建立了系统的物理及相应的数学模型.利用系统的物理模型及系统的数学模型分析系统的稳定性及控制方案的选择,最后在MATLAB/Simulink环境下建立了系统仿真模型以研究控制系统的轨迹跟踪情况.其中,为了实现对磁悬浮球系统的快速,精准,稳定的轨迹跟踪控制,提出了基于两种不同V函数的Backstepping控制方法设计非线性控制器,并通过仿真实验分析对比两种控制方法在跟踪情况,对整体控制方案设计给予合理性建议.实验表明,两种控制器都可以稳定实现控制目标.

摘要： 文章通过选取江西地区生存在同一片水稻田中的水稻和水竹叶为研究对象.在生态系统中,当两种群生存在相同环境下时,彼此间会争夺资源、养分,从而产生竞争关系.我们以此建立数学模型,在理想的情况下,对模型中的平衡点进行稳定性研究,证明此系统存在平衡点,经Matlab软件进行数值模拟,证实结果与理论分析相吻合.

摘要： 艾滋病是具有严重危害性的传染病之一。本文研究了一类具有阶段结构和双线性发生率的HIV传播模型,利用谱半径的方法计算得到疾病消亡或持续存在的阈值,即基本再生数R0。进一步地,我们证明了当R00,并且由V函数法以及LaSalle不变原理得到了它的全局渐近稳定性;当R0>1时系统新增一个全局渐近稳定的地方病平衡点E*。在文章的最后我们进行了数值模拟来验证我们的理论结果。

摘要： 建立了受媒体报道影响的禽流感(H7N9)传播动力学模型,研究媒体报道对H7N9型禽流感传染病传播的影响,并得到了模型的基本再生数.再利用V函数、Dulac函数及极限方程理论等方法对此模型进行了稳定性分析.证明了当基本再生数不大于1时,无病平衡点全局渐近稳定;当基本再生数大于1时,地方病平衡点全局渐近稳定,发现可以通过媒体报道来控制H7N9禽流感的规模.

摘要： According to the reality,a dynamics model of the avian influenza transmission was established in the article to investigate the circumstances of infected human with latent period,and the basic reproduction number of model was obtained.The stability of the model had been analyzed by using V function and the limit equation theory.Proved that the disease free equilibrium was globally asymptotically stable if basic reproduction number was not larger than 1.The epidemic equilibrium was globally asymptotically stable if basic reproduction number was larger than 1.%根据实际情况,在禽流感模型中考虑了人类染病后具有潜伏阶段的情况,建立了禽类和人类间传染的禽流感传播模型,研究模型的全局性态.得到了模型的基本再生数,利用V函数、极限方程理论等方法对此模型进行了稳定性分析.证明了当基本再生数不大于1时,无病平衡点全局渐近稳定;当基本再生数大于1时,地方病平衡点全局渐近稳定.

摘要： 1892年,苏联著名的数学力学家李雅普诺夫[1](Lyapunov)给出的运动稳定性的严格数学定义具有划时代的意义,开创的判别稳定性的直接法(V函数法)已经成为常微分方程理论的重要分支.鉴于无需求出方程的解就可用来分析系统的稳定性这个极大的优越性,它受到众多科学家和学者的追捧[2-4].通过对Lyapunov稳定性以及V函数的构造的导出可以启发学生对常微分方程的理解和提高学习兴趣.

摘要： 建立具有饱和治疗率的 H7N9型禽流感模型，研究媒体报道和饱和治疗对禽流感传播的影响。定义模型的基本再生数，利用 V 函数、Dulac 函数和极限方程理论等对模型进行动力学性态的分析。证明当基本再生数小于等于1时，无病平衡点全局渐近稳定；当基本再生数大于1时，地方病平衡点全局渐近稳定。数值模拟验证了本文的理论结果。%The avian influenza(H7N9)model with saturated treatment rate is established,and the influence of media reports and saturated treatment on the spread of avian flu is investigated. The basic reproduction number of the model is obtained and the dynamic behavior is analyzed by using V function,Dulac function and the limit equation theory.The disease free equilibrium is globally asymptotically stable if the basic reproduction number is less than 1;The epidemic equilibrium is globally asymptotically stable if the reproduction number is larger than 1 .Fur-thermore,numerical simulation is verified the theoretical results.

摘要： 本文建立了具有媒体影响的H7N9型禽流感模型，研究了媒体报道对禽流感传播的影响。定义了模型的基本再生数，利用V函数及极限方程理论等方法对模型进行了动力学性态的分析。证明了当基本再生数小于R0＜1时，无病平衡点全局渐近稳定；当基本再生数大于R0＞1时，地方病平衡点全局渐近稳定。

摘要： 用多个V函数研究有界时滞大系统的稳定性,得到一些渐近稳定的代数充分准则.

摘要： 用多个V函数研究有界时滞大系统的稳定性,得到一些渐近稳定的代数充分准则.

摘要： 用多个V函数研究有界时滞大系统的稳定性,得到一些渐近稳定的代数充分准则.

摘要： 该文对一类广义非线性系统的渐近稳定性进行研究，得到了其零解渐近稳定性的充分条件。

摘要： 该文对一类广义非线性系统的渐近稳定性进行研究，得到了其零解渐近稳定性的充分条件。

摘要： 该文对一类广义非线性系统的渐近稳定性进行研究，得到了其零解渐近稳定性的充分条件。

摘要： 本发明公开了一种适用于虚函数和函数指针的静态函数调用图构建方法，其步骤包括：1获取源程序的中间代码；2获取中间代码中的关键信息，所述关键信息包括基本块顺序队列以及虚函数相关信息；3基于所述关键信息，对所述中间代码进行模拟执行，分析出所述中间代码中的函数调用指令调用的实际函数，同时记录下函数调用关系；4根据所述函数调用关系，构建出静态函数调用图。本发明能够全面的分析出虚函数、函数指针调用以及线程创建关系，而且能准确的分析出复杂的函数指针调用，从而能更好的帮助程序开发人员理解程序，同时提升依赖于函数调用图的静态分析方法的准确性。

摘要： 本发明提供一种高速且高精度地对归一化指数函数进行秘密计算的技术。根据份额([[u1]]，…，[[uJ]])来计算份额([[softmax(u1)]]，…，[[softmax(uJ)]])的秘密归一化指数函数计算系统包括：减法单元，计算份额([[u1‑u1]]，[[u2‑u1]]，…，[[uJ‑uJ]])；第一秘密批量映射计算单元，计算([[exp(u1‑u1)]]，[[exp(u2‑u1)]]，…，[[exp(uJ‑uJ)]])；加法单元，计算份额([[∑j＝1Jexp(uj‑u1)]]，…，[[∑j＝1Jexp(uj‑uJ)]])；及第二秘密批量映射计算单元，计算份额([[softmax(u1)]]，…，[softmax(uJ)]])。

摘要： 提供高速并且高精度地对S型函数进行秘密计算的技术。秘密S型函数计算系统将g(x)设为能秘密计算的函数，根据输入值x的份额[[x]]计算对于输入值x的S型函数的值的份额[[σ'(x)]]，包括：第一比较单元，生成第一比较结果[[c]]＝less_than([[x]],t1)；第二比较单元，生成第二比较结果[[d]]＝greater_than([[x]],t0)；第一逻辑计算单元，生成第一逻辑计算结果[[e]]＝not([[c]])；第二逻辑计算单元，生成第二逻辑计算结果[[k]]＝and([[c]],[[d]])或者[[k]]＝mul([[c]],[[d]])；以及函数值计算单元，计算份额[[σ'(x)]]＝mul([[k]],[[g(x)]])+[[e]]。

摘要： 一种秘密S型函数计算系统，将mapσ设为由表示S型函数σ(x)的定义域的参数(a0,…,ak‑1)和表示值域的参数(σ(a0),…,σ(ak‑1))(a0,…,ak‑1为满足a0k‑1的实数)定义的秘密批量映射，所述秘密S型函数计算系统由3个以上的秘密S型函数计算装置构成，从输入向量x→的份额[[x→]]，计算对于输入向量x→的S型函数的值y→的份额[[y→]]，所述秘密S型函数计算系统包含通过[[y→]]＝mapσ([[x→]])＝([[σ(af(0))]],…,[[σ(af(m‑1))]])计算份额[[y→]]的秘密批量映射计算单元，其中，f(i)是成为aj≤xij+1的j，0≤i≤m‑1。

摘要： 本发明公开了一种适用于虚函数和函数指针的静态函数调用图构建方法，其步骤包括：1获取源程序的中间代码；2获取中间代码中的关键信息，所述关键信息包括基本块顺序队列以及虚函数相关信息；3基于所述关键信息，对所述中间代码进行模拟执行，分析出所述中间代码中的函数调用指令调用的实际函数，同时记录下函数调用关系；4根据所述函数调用关系，构建出静态函数调用图。本发明能够全面的分析出虚函数、函数指针调用以及线程创建关系，而且能准确的分析出复杂的函数指针调用，从而能更好的帮助程序开发人员理解程序，同时提升依赖于函数调用图的静态分析方法的准确性。

摘要： 提供产生哈希函数的哈希函数系统及其方法。该系统包括消息接收装置，用于接收要计算其哈希值的消息；消息划分装置，将消息接收装置所接收到的消息划分为预定大小的消息块；多个压缩函数装置，每一个压缩函数装置由至少两个串行步函数装置列并行地构成，接收无符号常量作为初始链接变量和接收经消息划分装置划分出来的预定大小的消息块作为密钥，通过该至少两个串行步函数装置列进行迭代运算并将迭代运算结果与初始链接变量相加以输出链接变量；以及哈希函数级联装置，用于将最后一个压缩函数装置所产生的链接变量级联起来，作为消息接收装置所接收到消息的哈希值。并行步函数装置列相互作用，能够提供更高的安全性，可以完全抵抗普通攻击方法。

摘要： 本发明公开一种正交基底气泡函数要素数值分析方法及其装置，首先，通过第1取得部(202)取得分析对象的已知分析物理量(S401)。接下来，通过第2取得部(203)，取得各个要素的要素等级的匹配质量行列式(S402)。接下来对每一个要素积分气泡函数(S403)，并将步骤S403中积分得到的值代入到各个要素的要素等级的匹配质量行列式中，由此得出各个要素的要素等级的对角质量行列式(S404)。接下来，通过各个要素的要素等级的对角质量行列式的总和(合并)，计算出分析对象全区域的对角质量行列式(S405)。之后，计算出该对角质量行列式的逆行列式(S406)，根据分析对象的已知分析物理量、分析对象全区域的对角质量行列式、及其逆行列式，对分析对象的动作进行分析(S407)。

摘要： 本申请实施例公开了一种函数公式处理方法、函数公式处理设备及可读存储介质，用于提高函数公式注册的可实现性和效率的情况下，注册函数公式。本申请实施例方法包括：响应于目标表格的初始化请求，生成函数公式注册指令，将函数公式注册指令发送至公式业务代理组件，以调用公式业务代理组件获取目标函数公式列表；其中目标函数公式列表包括至少一个函数公式的公式信息，根据函数公式的公式信息，将函数公式注册至目标表格。

摘要： 本发明公开了一种图像处理中利用Moffat基函数构建局域点扩散函数的方法，步骤如下：S1、用Moffat基函数逐个拟合视场中每个点源所对应的点扩散函数PSF密度轮廓，得到N组模型参数；S2、计算N组模型参数的平均值，用平均值作为该视场中N个点源各阶Moffat基函数的模型参数；S3、先计算好视场中每个点扩散函数PSF的椭率，然后把圆对称的各阶Moffat基函数都挤压中每个点扩散函数PSF具有相同椭率的椭圆对称形状；S4、调整各阶Moffat基函数的系数，使由各阶基函数构成的目标函数达到与所有点源的PSF的最佳拟合状态。本发明更贴近于真实PSF，节约了计算量，简化参数个数，避免了过拟合的情况。

摘要： 本发明提出了一种基于普通函数和内核函数混合调用控制流图的智能主动软件防护方法，所述方法包括函数调用序列正常模式构建和程序异常判定两阶段。在函数调用序列正常模式构建阶段中，首先基于用户给定的软件功能列表、功能与源代码中入口函数的映射关系，通过静态分析软件的源代码，得到以功能为单位、代码块粒度的控制流图；紧接着，基于代码块粒度的控制流图生成普通函数和内核函数混合调用控制流图，并将上述混合控制流图转化为自动机，作为软件函数级粒度的调用序列正常模式。