更新时间:-- | 阅读量: 35
陈建功,数学家,数学教育家。早年在浙江大学数学系任教20余年,后入复旦大学执教,曾任杭...引入勒贝格(Lebesgue)积分理论之后,可积分函数完全可以在一个零测度集上不加规定,于是傅里叶级数的概(即几乎处处)收敛问题便油然而生,并引起 ...
搜索到与“ Lebesgue积分”相关的文献共 1条
针对传统模型验证方法存在效率低和模型较为复杂的缺点,将Lebesgue积分的运算特征引入模型验证和测试,提出一种基于Lebesgue积分的形式化验证和测试方法。通过不等式计算、闭区间子集可积分性、多重...
《四川理工学院学报(社会科学版)》 2015年5期 关键词: "Lebesgue积分","PVS","形式化","反相积分器" 收藏
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved