共查询到20条相似文献,搜索用时 109 毫秒
1.
2.
《四川理工学院学报(自然科学版)》2015,(5):51-56
针对传统模型验证方法存在效率低和模型较为复杂的缺点,将Lebesgue积分的运算特征引入模型验证和测试,提出一种基于Lebesgue积分的形式化验证和测试方法。通过不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则以及极限定理等方面的形式化,实现Lebesgue积分的运算特征在PVS(Prototype Verification System)定理证明器中的形式化。以标准反相积分器为应用模型验证数学理论和公式推导的正确性,通过数理分析验证Lebesgue积分形式化定理库在计算机信息安全领域应用的正确性。测试结果证明了Lebesgue积分在PVS中进行形式化的可行性和有效性。 相似文献
3.
李伟 《集美大学学报(自然科学版)》2009,14(2)
在Mcshane积分的LSRS收敛定理中建立了M-积分的LSRS收敛定理,并证明了该定理的条件比Lebesgue积分的控制收敛定理条件弱.本文首先证明一个引理,进一步证明了定理1,由此阐述了Mcshane积分的LSRS收敛定理中的定理比Lebesgue积分中Vitali收敛定理条件更弱,从而使Vitali定理成为LSRS定理的推论. 相似文献
4.
刘家沛 《西安理工大学学报》1980,(3)
这篇文章给出了关于 Lebesgue 可和函数列{f_n(X)}具有等度的绝对连续积分的一个充要条件,因之而导出了一些重要的定理和结论,从而也有了关于{f_n(X)}可以积分号下取极限的一个充分条件。我们从考虑二个新函数列入手证明了一个等价命题,并指出等度绝对连续积分性这个条件作为积分号下取极限的充分条件为什么是可以减弱的。此外我们自然地也得到了定理,和 D.vitali定理。 相似文献
5.
为了有效解决函数系统建模、信号实时分析等数理支持领域验证与测试的定理证明形式化问题,设计并实现了利用Lebesgue积分的运算特征在PVS定理证明器中进行形式化证明与分析.主要对其分裂定理、不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则和极限定理等多个方面进行了形式化,且依据数学定理与推论形式化,说明Lebesgue积分在PVS中的形式化是可行的、有效的.以标准反相积分器为应用模型,对其通用电路原理与机制进行了形式化证明,通过数理分析测试了本文Lebesgue积分形式化定理库的正确性. 相似文献
6.
Lebesgue积分的一个附注 总被引:2,自引:2,他引:0
宋占奎 《西安科技大学学报》2001,21(3):298-300
首先阐释了Lebesgue积分的优越性,然后通过由Fatou定理对Lebesgue控制收敛定理的证明,表明了Lebesgue积分的三大著名定理Levi定理、Fatou定理和Lebesgue控制收敛定理均是彼此等价的.它们相互之间是可以构成一个循环证明的. 相似文献
7.
8.
宋占奎 《西安科技学院学报》2001,21(3):298-300
首先阐释了Lebesgue积分的优越性,然后通过由Fatou定理对Lebesgue控制收敛定理的证明,表明了Lebesgue积分的三大著名定理Levi定理、Fatou定理和Lebesgue控制收敛定理均是彼此等价的。它们相互之间是可以构成一个循环证明的。 相似文献
9.
10.
程锡友 《西北师范大学学报(自然科学版)》2007,43(4):25-27
基于Lebesgue积分极限定理、有理数的稠密性以及反向数学归纳法原理,给出了H(o)lder不等式的一种新证法. 相似文献
11.
单调收敛定理涉及到积分与极限交换顺序问题,因而在理论和应用上都很重要.本文将关于Riemann积分的单调收敛定理推广到Stieltjes积分的情形. 相似文献
12.
沈时仁 《华东师范大学学报(自然科学版)》1994,(2):12-21
在一定条件下,本文给出了无界随机集序列关于条件期望的弱上极限Fatou引理,由此还得到了无界随机集序列在K-M收敛性意义下的控制收敛定理和单调收敛定理。最后将上述结果应用于被积函数的图收敛性和积分原函数的收敛性。 相似文献
13.
14.
毛一波 《重庆文理学院学报(自然科学版)》2007,26(6):45-46
研究一类含参数数列的极限,针对参数的不同取值情况,结合单调有界定理和函数的单调性以及值域的判定得到该类数列的敛散结果. 相似文献
15.
张峰 《合肥学院学报(自然科学版)》2013,(4):7-12
在前人提出的扰动BFGS算法的基础上,结合谱尺度算法的思想,提出一种扰动谱尺度BFGS算法,建立算法的全局收敛性定理,本研究证明该扰动谱尺度BFGS算法在一定条件下采用单调Wolfe-Powell型线性搜索和非单调Wolfe-Powell型线性搜索均具有全局收敛性,同时还证明采用单调Wolfe-Powell型线性搜索具有2-线性收敛性. 相似文献
16.
用改进的算法证明了Hilbert空间中关于Lipschitzian单调算子的变分不等式一个强收敛定理,并推导了一个Hilbert空间中关于Lipschitzian伪压缩算子的已有结果.从而改进了近期相关结果. 相似文献
17.
二阶离散方程边值问题的加速单调迭代方法 总被引:1,自引:0,他引:1
王元明 《复旦学报(自然科学版)》2000,39(1):1-8,29
对一类二阶离散方程边值问题提出了一种加速单调迭代方法,这种方法给出了解的存在比较定理及计算算法,解的单词性改进了解的上解与下解,根据非线性函数的性质迭代具有二阶或几乎二阶的收敛率,数值结果显示了迭代序列的单调收敛性及迭代的收敛率. 相似文献
18.
本文研究了最近发展的非线性方程组的分裂型单调迭代法的收敛阶,获得了单调序列Q-超线性收敛的结果,完善了分裂型单调迭代方法的理论。 相似文献
19.
变分不等式的新的外梯度方法 总被引:2,自引:0,他引:2
本文引入了一个新的求解非扩张映射的不动点集和具有单调及Lipschitz连续映射的变分不等式的解集的公共元素的近似算法。这一算法是建立在外梯度方法和粘性逼近方法基础上的。在Hilbert空间上得到了这一算法产生序列的强收敛性定理。其内容如下:设C是实Hilbert空间H中的非空闭凸集,映射A:C→H是单调和k-Lipschitz连续的,S:C→H是非扩张映射满足Fix(S)∩VI(C,A)≠Ф,其中Fix(S)和VI(C,A)分别是S的不动点集和变分不等式的解集f:H→H是压缩映射,序列{xn}和{γn}由下列算法产生的:{x1=x∈C γn=Pc(xn-γnAxn) xn+1=αnf(xn)+βnxn+(1-αn-βn)SPc(xn-γnAγn),n=1,2,…,其中{γ},{αn}和{βn}是满足条件limαn n→∞=0和∑n=1^∞αn=∞,1〉lim n→∞ sup βn≥lim n→∞ inf βn〉0和limγn n→∞=0的数列,则{xn}和{yn}强收敛到w=PFix(S)∩VI(C,A)f(w),这里PFix(S)∩VI(C,A)f(w)表示f(w)在Fix(S)∩VI(C,A)上的投影。本文结果推广了文献中的一些著名结果。 相似文献
20.
混合优化算法的全局收敛性分析 总被引:2,自引:0,他引:2
目前混合优化算法主要是基于实验的经验分析,有关其全局收敛性的理论分析较少.基于单调有界序列的极限定理,从统一性角度提出并证明了混合优化算法全局收敛的多个充分条件,进而得到混合优化算法设计和分析的基本准则:采用独立运行的全局收敛子算法的混合优化算法是全局收敛的;采用周期性重启动或引入随机个体的策略在参与比较和保留精英的条件下可以保证改进型算法的全局收敛性;高效实用的混合优化算法应采用搜索效率较高的算法作为主体而以其他算法作为辅助策略. 相似文献