【摘 要】
：
快速傅立叶变换的应用领域非常广泛。其硬件实现方法多种多样，验证这些电路的正确性具有很强的实用价值。传统的电路正确性验证的方法是模拟。这种方法的主要缺点是随着参与运
【基金项目】
：
国家自然科学基金资助项目（60373075）.
论文部分内容阅读
快速傅立叶变换的应用领域非常广泛。其硬件实现方法多种多样，验证这些电路的正确性具有很强的实用价值。传统的电路正确性验证的方法是模拟。这种方法的主要缺点是随着参与运算的点数的增加，穷尽模拟全部输入情况所耗费的时间越来越长。甚至难以实现。而形式化方法使用纯数学手段证明电路的正确性，克服了传统方法的缺点。首先用重写系统给出了任意N=2^M点的基2的流水式快速傅里叶变换处理机的形式化模型．然后给出它的正确性验证，探索了验证处理复数的复杂电路正确性的方法。
其他文献
家电企业完全可以找到其他低风险方式来提高闲置流动资金的使用效率,对它们而言,如何增强赖以生存的主业盈利能力远比“打新股”重要。
基于微课的翻转课堂不仅可以提高课堂的教学效率,还能够充分发挥学生的主体地位,锻炼学生的综合数学能力。本文主要研究了基于微课的翻转课堂在高中数学教学中的应用,旨在提
<正>目的在逆向调强治疗计划的点剂量验证中,通常是将计划移植到带有电离室的体模的 CT 图象上,并计算出电离室空腔的平均剂量,以此作为该点的剂量用来与实测值进行比对,其数
作为新兴的课堂教学模式,思维导图的应用能够对学生思维发展起到有效促进的作用,在高中语文教学中应用实践力度也在不断加大。同时高中语文整本书阅读过程中,一方面学生在阅
词汇是语言的基础。作为初中英语教师,在课堂教学活动中,能够掌握并灵活运用各种词汇教学的策略、方法,有助于中小学生掌握新课程标准规定的词汇,并养成良好的词汇学习习惯,
提出基于HSMM模型的主机型入侵检测系统框架。以BSM审计数据作为数据源,提取正常主机行为的特权流系统调用序列,利用HSMM模型对正常主机行为进行建模,然后将当前主机行为与之
一个只有4种期货产品、30万客户、年交易量刚刚超过10万亿的期货交易所,投入远超过该所注册资金的巨资来更替原本运作正常的交易系统,上期所认为是未雨绸缪,但也让人质疑：真有
很多电影都有这样的场景：指挥官面对大屏幕和远在千里之外的前线将士进行即时会议，其效果就像面对面的交流，画面清晰，甚至连面部和眼睛的瞬间表情都那样的丰富传神。然而，现实世界
随着近年来信息技术的蓬勃发展,越来越多的新兴教学媒介和教学技术被应用在中学英语教学中来,在有效助力中学英语课堂教学高效化高质量发展的同时,不断提升中学学生对英语学
几何是初中数学的重要组成部分,其对于学生数学空间观念、推理能力的发展都有极大影响,在初中数学教学中,教师必须结合学生的现实情况,不断优化几何教学方式,使得学生可以更