· 摘要: 随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间.提出一种基于图模型的验证方法,首先利用功能抽象的方法得出微处理器的图模型,然后由基于图模型功能覆盖的代码生成算法生成验证代码.我们将这种方法应用于一款DSP的功能验证,结果显示在很短的验证代码激励下得到了较高的代码覆盖率.
资源简介:提出一种基于电压电流双环控制的三相SVPWM 逆变器,分析了其两相同步旋转坐标系下的数学模型 并由此构建了系统的电压电流控制器。为了提高系统的动态响应特性及抗扰能力,电压外环包含了负载电流前馈 及输出滤波电容电流解耦,电流内环包含了输出电压前馈及输...
上传时间: 2013-12-05
上传用户:372825274
资源简介:Clark等人提出的广义预测控制自校正控制器是一种基于参数模型的预测控制算法,它采用了时段优化性能指标,结合辨识和自校正机制,从而克服自校正控制中存在的,本代码提供基于丢番图推导的单变量GPC程序
上传时间: 2014-11-17
上传用户:gonuiln
资源简介:一种基于JAKE模型的改进的瑞利衰落信道仿真
上传时间: 2015-04-28
上传用户:开怀常笑
资源简介:一种基于视觉模型的DCT数字水印算法 提出了一种水印系统与人眼视觉模型相结合的离散余弦变换数字水印算法。该算法利用了人眼视觉模型 (Hvs)来选取水印嵌入区域,使其既能够保证水印信息的鲁棒性又能够满足其不可见性。利用基于能量关系的算法进 行水印嵌...
上传时间: 2015-09-24
上传用户:rocketrevenge
资源简介:一种基于感知模型的盲水印算法 :根据Watson模型,结合仿射变换置乱技术和DCT量化系数奇偶特性,本文提出了一种在分块DCT中频交流系数中嵌 入有含义二值水印图像,以实现盲检测的水印方案。实验结果表明,该算法对于JPEG有损压缩、图像剪切等处理有很强的 ...
上传时间: 2013-12-16
上传用户:gundan
资源简介:提出了一种基于正弦模型的汉语普通话语音基音同步分析和合成算法
上传时间: 2013-12-19
上传用户:1079836864
资源简介:一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型。
上传时间: 2017-08-12
上传用户:xz85592677
资源简介:节点是网络系统的基本控制单元,论文提出了一种基于CPLD和多处理器结构的控制网络节点设计方案,它能够提高单节点并行处理能力,其模块化结构增强了节点的可靠性。
上传时间: 2013-08-31
上传用户:shanxiliuxu
资源简介:文章提出了一种基于Sobel算子和网格的二尺度彩色图像边缘检测方法.该方法将图像划分成预先设定大小的网格,在两个尺度上对图像进行分析,完成图像的边缘检测。首先用Sobel算子求得图像边缘,依据网格内含有边缘像素的数目以及连通情况将不同的网格分别处理。 ...
上传时间: 2013-12-05
上传用户:hxy200501
资源简介:一种基于CPLD和PC I总线的视频采集卡的设计方案
上传时间: 2013-08-24
上传用户:123啊
资源简介:TSPTM是一种用于经济模型估算和模拟的完整语言。它是一个用于经济估算的世界标准。虽然TSP主要由经济学家开发并发展,但它的设计并没仅把它限制在经济领域。任何由相同变量的重复观测得到的数据,都可用TSP分析
上传时间: 2015-04-19
上传用户:脚趾头
资源简介:一种基于uClinux嵌入式彩色液晶显示的实现,使用液晶时要参考的资料
上传时间: 2015-09-05
上传用户:wsf950131
资源简介:一种基于改进径向基神经网络的人脸图像识别方法
上传时间: 2013-12-20
上传用户:hopy
资源简介:给出了一种基于陀螺和四元数的EKF卫星姿态确定算法,非常实用
上传时间: 2014-01-16
上传用户:稀世之宝039
资源简介:介绍了一种基于开关阶跃响应算法的 参数自整定控制器,通过在实际温度控制系统的应用,与继电振荡 参数自整定算法以及 的 参数自整定模块进行分析比较,证明该算法在安全性及整定时间上明显优于其他两种算法。
上传时间: 2014-01-26
上传用户:x4587
资源简介:一种基于BP神经网络整定的PID控制的matlab源程序
上传时间: 2015-11-24
上传用户:kelimu
资源简介:研究了一种基于C8051F处理器以及LCD显示的多通道输入输出参数检测系统,采用总线型设计,通过I2C以及232/485串行接口实现与现场设备以及上位机(PC机)之间的通讯
上传时间: 2014-01-17
上传用户:2404
资源简介:一种基于CPLD和PC I总线的视频采集卡的设计方案
上传时间: 2014-01-21
上传用户:heart520beat
资源简介:利用遗传算法优化人工神经网络权值论文. 遗传算法(Genetic Algorithm-GA)是一种基于自然选择和基因遗传学原理的优化搜索方法。
上传时间: 2014-01-03
上传用户:wyc199288
资源简介:一种基于启发式算法(互信息熵)的粗糙集约简源代码
上传时间: 2013-12-11
上传用户:thinode
资源简介:嵌入式网关的设计与实现 一种vxWorks下网卡快速切换的实现方法 一种基于CS模式的TCP通信程序在Vxworks中设计与实现
上传时间: 2016-05-06
上传用户:qiao8960
资源简介:这是一篇关于一种基于无线蜂窝网络辅以同步卫星的TDOA定位的文献.
上传时间: 2014-10-30
上传用户:zhengzg
资源简介:该文详细分析了履带式机器人的受力特点, 提出了一种适于进行控制器设计的履带机器人模型, 并在此基础上, 按照反馈线性化的思想, 提出了一种履带式机器人稳定路径跟踪控制器的设计方法, 同时给出了方法的非奇异条件。该文提出的控制系统模型和路径跟踪方法, 为...
上传时间: 2016-06-10
上传用户:alan-ee
资源简介:一种基于分块 D C T的混沌半脆弱图像水印技术,半脆弱数字水印;混沌理论
上传时间: 2014-01-17
上传用户:gundan
资源简介:提出了装配机器人系统中一种基于视觉引导和超声测距的运动目标跟踪和抓取 方法。介绍了运动目标的跟踪原理,采用图像雅可比矩阵进行机器人运动控制,跟踪运动 的目标。利用视觉引导技术,获取目标在图像平面中的位置与方位,进行平面跟踪,然后 引导超声波...
上传时间: 2014-01-02
上传用户:rocketrevenge
资源简介:一种基于人工神经网络在线学习的自适应预测方法
上传时间: 2017-02-21
上传用户:1583060504
资源简介:一种基于FPGA和quartusII技术开发的彩色LED显示测试程序
上传时间: 2017-04-14
上传用户:13160677563
资源简介:一种基于最小均方算法的OFDM信道估计技术
上传时间: 2014-01-08
上传用户:gmh1314
资源简介:通用无线分组业务(GPRS) 是一种基于全球移动通信系统(GSM) 的无线分组交换技术, 提供 端到端的、广域的无线IP 连接, 具有永远在线等特点。介绍了基于GPRS 网络的数据终端单元 (DTU) 。该单元是由以ARM芯片S3C44B0X 和GPRS 模块G20 为核心的硬件和软件组成。...
上传时间: 2014-01-17
上传用户:manking0408
资源简介:本文主要论述了一种基于51单片机为核心控制器的数控直流电源的设计原理和实现方法。该电源具有电压可预置、可步进调整、输出的电压信号和预置的电流信号可同时显示功能。
上传时间: 2014-01-14
上传用户:王庆才