函数列

摘要： 定义了函数列的统计半α收敛和统计半一致收敛,证明在统计极限函数连续的条件下,函数列的统计半α收敛与统计半一致收敛相互等价.

摘要： 问题问题15(供题者:南京大学梅加强)对于[0,+∞)上的函数f_(0),当n≥0时,递归地定义一列函数如下:f_(n+1)(x)=12∫^(1)_(0)f_(n)(tx)ln^(2)(1-t)dt,x∈(0,+∞).试就以下两种情形分别研究函数列{f n}的极限:(i)f_(0)是[0,+∞)上的单调函数.(ii)f_(0)(x)=sin1/x(x∈(0,+∞)).问题16(供题者:复旦大学严金海)实数集ℝ上是否有满足如下条件的函数?若有请给出例子,若没有请给出证明:x 0∈ℝ,成立lim x→x_(0)f(x)=∞.

摘要： 在一致收敛函数列极限函数的可积性基础上,获得一致收敛函数列极限函数的无穷积分性质与瑕积分收敛的充分条件,并进一步研究了一致收敛的函数项级数和函数的无穷积分与瑕积分收敛的充分条件。

摘要： 函数项级数是数学分析教学中的重点、难点内容,函数列是学习函数项级数的基础,也是定义函数项级数收敛性、一致收敛性的基础.根据函数列的定义、收敛点、收敛性、一致收敛性,使用数学软件mathematica作图,并通过实例使用数值和图形分析的方法,分析函数列的一致收敛性与不一致收敛行作图,从而使学生能够更加直观清楚地理解该知识点,提升教学效果.

摘要： 学生函数列及函数项级数一致收敛概念的前概念主要包括错误概念意向和错误心理表征;根据概念转变学习理论,函数列及函数项级数一致收敛概念的教学采取如下途径:恰当设例,引发学习者认知冲突;分析原因,建构整体一致的心理表征;大胆推测,构建科学概念内涵;回归本源,完善理论架构.

摘要： 假若一个以点积为自变量的多项式不是再生核,则它无法在机器学习的核方法中使用.解决此问题的办法之一是匹配另外一个点积的多项式,使两者乘积成为再生核.在一定条件下,通过解一系列的不等式,得到匹配多项式存在的充分必要条件,并探讨与此条件相关的数列和生成函数列的性质.

摘要： 在有限维空间中函数列的定义区域有界且下界恒大于零的假设下,证明了该类函数列极限存在的条件,并进一步得到与该函数列有关的一类积分数列的极限存在性条件;最后,给出了一个与第九届中国大学生数学竞赛预赛(数学类)第六题有联系的例子说明所得结论的应用.

摘要： 首先探讨了闭区间上非负连续函数列积分构成的数列极限问题,给出了极限值与函数最值有关的结论.然后利用此结论,研究了闭区间上非负连续函数列积分的第一积分中值定理“中间点”构成数列的单调性与敛散性,得到了一系列结论.

摘要： 本文通过不动点理论的思想方法讨论了函数列的性质,并用来解决一类数列问题.最后我们总结了解该类问题的一般思想方法.

摘要： 利用递归数列{an}:a2=a1+k,an+2=an+1+kan和{bn}:bn+1=1+k/bn的通项公式求出函数f(x)=ax+b/cx+d(c≠0,ad-bc≠0)的n次迭代式,并利用其n次迭代式判断出其收敛性,得到其收敛的充要条件并严格证明,然后举例说明其优越性.

摘要： 函数列、函数级数及含参变量积分是分析学中的重要内容,文中探讨了三者在一致收敛判别法上的一致性,阐述了函数列、函数级数及含参变量积分在连续性、积分次序可交换性、导数次序可交换性等性质上具有的一致性.

摘要： 本发明公开了一种适用于虚函数和函数指针的静态函数调用图构建方法，其步骤包括：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，节约了计算量，简化参数个数，避免了过拟合的情况。

摘要： 本发明公开了一种对动态链接库中虚表函数列表的提取方法，其具体操作如下：对RTTI结构中的目标函数进行定位并提取RTTI所提供的类型信息；对所获取的RTTI结构类型信息进行解析，在还原结构体后，就能够以结构化的方式访问任何需要的字段和信息，其中便包含了虚表及其类型名，最后进行格式化输出即可。本发明通过从虚表的实现机制入手，对程序的数据进行搜索，从而提出了可以批量导出程序虚表函数的方法。基于此方法，测试人员可以快速获得程序内的虚表函数进行下一步工作，从而大大节省工作时间，提升工作效率。