基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在
/dl/202483.html
标签: NSPK
上传时间: 2021-01-13
上传用户:lanyin
本文研究了在复杂背景下红外图像的背景和噪声抑制算法,并且完成了硬件实现,主要包括以下内容: 1.通过对实际红外图像的背景和噪声特性的研究分析,设计改进了一种基于加权广义次序统计滤波器的背景抑制的算法。红外图像的噪声通常为脉冲噪声,具有高频特性;而红外图像的背景变换比较缓慢,其频谱成分多集中在低频区域, ...
/dl/202517.html
上传时间: 2021-01-14
上传用户:zzq834743788
随着国民经济的飞速发展,传统的电机已无法满足当前工程的要求,其作用也由过去简单的起停控制、提供动力上升到要求对其速度、位置、转矩等进行精确的控制,并能实现快速加速、减速、反转以及准确停止等,使被驱动的机械运动符合于集的要求。在集成电路、现代电子技术及控制理论飞速发展的今天,电机控制技术也得到了飞快的 ...
/dl/202532.html
标签: FPGA
上传时间: 2021-01-14
上传用户:sigunyd
本设计使用AT89C51系列高速单片机作为主控制模块,利用简单的外围电路来驱动64×16的点阵LED显示屏。利用AT89C51系列高速单片机本身强大的功能,可以很方便的实现单片机与PC机间的数据传输及存储,并能利用软件方便的进行显示内容的多样变化,另一方面点阵显示屏广泛的应用于医院、机场、银行等公共场所,所以本设计具有很 ...
/dl/202544.html
上传时间: 2021-01-14
上传用户:lpg_happy
UWB脉冲超宽带是近几年来兴起的短距离无线通信技术。它采用非常窄的脉冲传输数据,具有诸多优点,如系统简单、传输速率高、功耗低、安全性高、多径分辨能力强、定位精确等。DS-UWB是脉冲超宽带的一种,信息码经过伪随机序列扩频后再对发射脉冲进行调制。同步问题是通信接收技术的一个关键问题,适用于DS-UWB的同步技术是目 ...
/dl/202624.html
上传时间: 2021-01-16
上传用户:wcp19640116
模糊控制是智能控制的重要组成部分,它能对那些不能建立精确数学模型的场合进行有效的控制;近年来,FPGA及EDA技术发展迅速。本论文就是要结合这两种先进技术,在一块FPGA芯片上实现一个双输入单输出的模糊控制器,并尝试将ADC和DAC集成在该芯片中,以简化系统设计。 首先阐述了模糊控制的理论基础,重点介绍了双输入单输出 ...
/dl/202632.html
标签: FPGA
上传时间: 2021-01-16
上传用户:gongpigu321
介绍了光突发交换网的原理与体系结构,论述了基于简单网络管理协议的光突发交换网络管理的实现,其中包括网络管理的模型与体系结构,管理端与嵌入式代理端开发工具的选择,光突发交换网的核心节点与边缘节点管
/dl/202642.html
上传时间: 2021-01-16
上传用户:mtsjh
由于成本、系统功耗和面市时间等原因,许多通讯、视频和图像系统已无法简单地用现有DSP处理器来实现,现场可编程门阵列(FPGA)尤其适合于乘法和累加(MAC)等重复性的DSP任务。并且,由于在性能、成本、灵活性和功耗等方面的优势,基于FPGA的信号处理器已广泛应用于各种信号处理领域。FPGA提供了极强的灵活性,可让设计者开发 ...
/dl/202647.html
上传时间: 2021-01-16
上传用户:lbq123
码分多址(CDMA)通信方式以其特有的抗干扰性、多址能力和多径分集能力,而成为第三代移动通信系统的主要技术。其中Rake接收技术是CDMA系统中的一项关键技术。随着通信技术的迅猛发展,Rake接收技术以其有效的抗衰落的能力一直是人们研究的热点。人们不断的对传统的Rake接收机进行改进,获得性能更佳的Rake接收机。FPGA技术的 ...
/dl/202651.html
上传时间: 2021-01-16
上传用户:Lyren_Lee
近年来微光、红外、X光图像传感器在军事、科研、工农业生产、医疗卫生等领域的应用越来越为广泛,但由于这些成像器件自身的物理缺陷,视觉效果很不理想,往往需要对图像进行适当的处理,以得到适合人眼观察或机器识别的图像。因此,市场急需大量高效的实时图像处理器能够在传感器后端对这类图像进行处理。而FPGA的出现,恰 ...
/dl/202656.html
上传时间: 2021-01-16
上传用户:edwards0307