|
|||||
|
|
| Lebesgue积分在PVS中的证明分析 | |
| 作者姓名： | 王彩 高晓琴 |
| 作者单位： | 成都东软学院计算机科学与技术系;四川工商职业技术学院信息工程系; |
| 摘 要： | 为了有效解决函数系统建模、信号实时分析等数理支持领域验证与测试的定理证明形式化问题,设计并实现了利用Lebesgue积分的运算特征在PVS定理证明器中进行形式化证明与分析.主要对其分裂定理、不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则和极限定理等多个方面进行了形式化,且依据数学定理与推论形式化,说明Lebesgue积分在PVS中的形式化是可行的、有效的.以标准反相积分器为应用模型,对其通用电路原理与机制进行了形式化证明,通过数理分析测试了本文Lebesgue积分形式化定理库的正确性. |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《西南师范大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《西南师范大学学报(自然科学版)》下载全文 | |