首页> 中文会议>2014湖北省计算机学会学术年会 >连续傅里叶变换基础理论的高阶逻辑形式化

连续傅里叶变换基础理论的高阶逻辑形式化

页面导航

摘要
著录项
相似文献
相关主题

摘要

连续傅里叶变换(CFT)在数学和工程技术领域都有着广泛应用.利用高阶逻辑定理证明器HOL4,实现了对连续傅里叶变换定义及其常用运算性质的形式化,包括线性、频移、反转性、积分、时域一阶微分及高阶微分运算性质,为采用形式化方法分析相关系统奠定了基础.最后利用定理证明的方法对电阻电感电容(RLC)串联谐振电路的频率响应特性进行了验证,说明了CFT形式化的初步应用.

著录项

来源
《2014湖北省计算机学会学术年会》|2014年|31-36|共6页
会议地点宜昌
作者
LV Xing-li; 吕兴利; SHI Zhi-ping; 施智平; LI Xiao-juan; 李晓娟; GUAN Yong; 关永; YE Shi-wei; 叶世伟; ZHANG Jie; 张杰;
展开▼
作者单位

湖北省计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类傅里叶积分（傅里叶变换）;
关键词
连续傅里叶变换; 高阶逻辑定理; 形式化方法; 电阻电感电容; 串联谐振电路; 频率响应;
入库时间 2022-08-17 10:35:55

相似文献

中文文献
外文文献
专利

1. 连续傅里叶变换基础理论的高阶逻辑形式化 [J] . 吕兴利 ,施智平 ,李晓娟 . 计算机科学 . 2015,第004期
2. 函数极限的高阶逻辑形式化建模与验证 [J] . 赵春娜 ,赵刚 . 计算机学报 . 2020,第011期
3. 几何代数的高阶逻辑形式化研究 [J] . 李福林 ,黄利忠 . 数学学习与研究：教研版 . 2018,第006期
4. 函数矩阵及其微积分的高阶逻辑形式化 [J] . 杨秀梅 ,关永 ,施智平 . 计算机科学 . 2016,第011期
5. 几何代数的高阶逻辑形式化 [J] . 马莎 ,施智平 ,李黎明 . 软件学报 . 2016,第003期
6. BAN逻辑与N逻辑的形式化分析方法比较 [C] . 姚方伟 ,崔建双 . 信息系统协会中国分会第一届学术年会 . 2005
7. 面向高阶逻辑的形式化自动证明技术研究 [A] . 莫广帅 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号