【摘要】针对传统模型验证方法存在效率低和模型较为复杂的缺点,将Lebesgue积分的运算特征引入模型验证和测试,提出一种基于Lebesgue积分的形式化验证和测试方法。通过不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则以及极限定理等方面的形式化,实现Lebes-gue积分的运算特征在PVS( Prototype Verification System)定理证明器中的形式化。以标准反相积分器为应用模型验证数学理论和公式推导的正确性,通过数理分析验证Lebesgue积分形式化定理库在计算机信息安全颌域应用的正确性。测试结果证明了Lebesgue积分在PVS中进行形式化的可行性和有效性。
【关键词】
《吐鲁番》 2015-11-09
《吐鲁番》 2015-11-09
《中国卫生产业》 2015-11-09
《人生与伴侣》 2015-11-09
《考试与评价》 2015-11-10
《中国司法鉴定》 2015-11-10
《中国司法鉴定》 2015-11-10
《宁波职业技术学院学报》 2015-11-10
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点