基于断言的模拟矢量自动生成方法
·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,...
矢量数据技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,...
·摘要: 本文运用矢量控制并结合空间电压矢量调制技术,开发了以TI公司的电机控制专用DSP芯片TMS320LF2407为核心的、低成本、调速性能好的变频调速系统,设计了控制系统的软件部分,给出了矢量控制系统软件流程和各子模块的具...
· 摘要: 介绍了利用MATLAB/SIMULINK来建立空间矢量PWM的无速度传感器矢量控制系统仿真模型的方法,并进行了实际仿真,仿真结果证明该系统具有超调量小、稳定性好、调速范围宽、响应速度快等优点,且模型直观,不...
矢量控制由于实现了励磁电流和转矩电流的解耦控制,而具有优良的动态性能。为了提高矢量控制系统的控制性能,提高系统对参数变化的鲁棒性,需要对电机参数进行离线和在线的辨识。本文将探讨如何在实验平台上实现矢量控制系统的参数自提交和转子电阻自适应,并...
数据统计描述 第一节 数据分析中常用的统计量及其分布 第二节 频数变量数据特征描述 第三节 综述变量数据特征的描述 第四节 数据分析过程的记录与重现
在分析常用的计算最大Lyapunov指数小数据量法的基础上,研究了混沌吸引子时间轨道的不可逆特性,提出基于后向搜索和双向搜索计算最大Lyapunov指数的推广小数据量法通用经验公式。数值仿真表明
小数据量法计算 Lyapunov 指数的 Matlab 程序 - (mex 函数,超快)