【摘 要】
：
快速傅里叶变换（FFT）的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学
论文部分内容阅读
快速傅里叶变换（FFT）的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用形式化方法验证FFT电路的正确性具有极强的实用价值。形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进
其他文献
提出了一种新的鲁棒性数字图像盲水印处理方案。该方案先对载有版权信息的二值图像进行扩展、置乱等处理，生成水印；再对宿主图像进行小波多分辨率分解，将水印嵌入到小波的中频子
介绍了一种改进旋涂法——DDS涂膜法（Deposit-Dip-Spin-coating）,主要用来制备纳米粉体原子力显微镜（AFM）分析样品。DDS法在保证有足够多的纳米颗粒吸附在云母表面的同时,还增大
从最小二乘支持向量机的稀疏表达出发，构建高效的基于稀疏最小二乘支持向量机的网络入侵检测模型，提出了一种通过基于核空间近似策略的有效低秩逼近来有效减小原始训练样本集中
在制焦温度为1223-1773 K内,制备了慢速和快速神府煤焦,采用程序升温热重法研究了煤焦-CO2高温气化反应性。主要研究了升温速率、制焦温度和热解速率对煤焦反应性的影响,并对
针对实际工业过程数据中的非线性和冗余度问题，提出了一种基于峰度的非线性独立元分析方法。该方法根据互信息最小化原理提取独立分量，按峰度进行降维，去掉冗余数据，尽可能地保留
现有的盲分离算法绝大部分是独立分量分析法，然而在实际应用中，独立分量分析法有诸多的限制条件。针对该问题，本文提出一种基于独立因子分析法（Independent Factor Analysis，IFA）的
采用助熔剂预烧-共沉淀法制备初始荧光亮度较高的SrAl2O4：Eu^2＋,Dy^3＋发光粉体,并利用XRD、SEM、PL光谱等表征手段研究了预烧结过程与硼酸掺杂对发光粉体的结构与荧光性能的影响
针对频率选择性衰落信道下链路自适应技术的调制编码组合（MCS）选择问题，通过链路质量预测器分析相同数据传输率下采用不同MCS方案的多条链路质量，指出当信道的频率选择性衰落严重
提出了一种改进的模糊分类系统的建模方法,采用模糊C均值聚类完成初始模糊分类系统的设计。提出改进的模糊规则置信度计算方法,对隶属函数和模糊规则相似度进行检测,剔除模糊规则中的冗余信息,利用遗传算法进行模糊分类系统的优化,提高系统的精确性和解释性。仿真结果证明了方法的有效性,对纤维图像的分类结果显示,该方法能获得与手工分类基本一致的分类结果。