验证语言
共 56 篇文章
验证语言 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 56 篇文章，持续更新中。
机器人运动学的旋量表述
用李群知识和旋量理论描述了串联机器人的刚体运动，建立了机器人运动学关系的算法，并利用软件Mathematiea进行了算法的实现；选取了具有代表性的串联机器人进行了运动学关系的分析，对算法和程序进行了验证；最后将运动学关系式的旋量指数积方法与传统的D-H参数方法进行了比较分析，从运动学参数的几何描述以及运动学关系式对后期分析的影响2个方面分别阐述了旋量指数<br />
积描述方法的优势。<br />
基于MDK RTX 的COrtex-M3 多任务应用设计
基于MDK RTX 的COrtex—M3 多任务应用设计<br />
武汉理工大学 方安平 武永谊<br />
摘要：本文描述了如何在Cortex—M3 上使用MDK RL—RTX 的方法，并给出了一个简单的多任务应用设计。<br />
关键词：MDK RTX，Cortex，嵌入式，ARM， STM32F103VB<br />
1 MDK RL—RT
AN-1064了解AD9548的输入基准监控器
<p>
</p>
<div>
如AD9548数据手册所述，AD9548的输入端最多可支持八个独立参考时钟信号。八路输入各有一个专用参考监控器，判断输入参考信号的周期是否满足用户要求。图1是参考监控器和必要支持元件的框图。参考监控器测量输入参考信号的周期，并声明信号是过慢还是过快，即表示参考信号有误。该信息保存在参考状态寄存器内(各参考监控器具有用户可读取的专用状态寄存器)。虽然参考
CMOS绿色模式AC_DC控制器振荡器电路
采用电流模脉宽调制控制方案的电池充电芯片设计,锯齿波信号的线性度较好,当负载电路减小时,自动进入Burst Mode状态提高系统的效率。整个电路基于1.0 μm 40 V CMOS工艺设计,通过Hspice完成了整体电路前仿真验证和后仿真,仿真结果表明,振荡电路的性能较好,可广泛应用在PWM等各种电子电路中。<br />
<img alt="" src="http://dl.eeworm.c
雷达信号综合分选方法研究
<span id="LbZY">为了能够从同时存在常规PRI信号和复杂PRI信号并带有脉冲信号干扰或丢失的环境中正确分选出雷达信号，本文提出了一种序列差值直方图法（SDIF）与修正PRI变换法相结合的雷达信号分选方法，经过matlab仿真验证，该方法有着很好的分选效果。</span><br />
<br />
基于Multisim的计数器设计仿真
<span id="LbZY">计数器是常用的时序逻辑电路器件，文中介绍了以四位同步二进制集成计数器74LS161和异步二-五-十模值计数器74LS290为主要芯片，设计实现了任意模值计数器电路，并用Multisim软件进行了仿真。仿真验证了设计的正确性和可靠性，设计与仿真结果表明，中规模集成计数器可有效实现任意模值计数功能，并且虚拟仿真为电子电路的设计与开发提高了效率。<br />
<img a
MT-009 数据转换器代码——您能解译这些代码吗？
模数转换器(ADC)将模拟量——现实世界中绝大部分现象的特征——转换为数字语言，以便用于信息处理、计算、数据传输和控制系统。数模转换器(DAC)则用于将发送或存储的数据，或者数字处理的结果，再转换为现实世界的变量，以便控制、显示信息或进一步进行模拟处理
基于EEMD的故障微弱信号特征提取研究
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">总体平均经验模式分解（EEMD）方法是一种先进的时频分析方法，非常适合于对非平稳故障微弱信号的分析处理。文中介绍了EEMD方法的原理与算法实现步骤，重点
FPU加法器的设计与实现
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 20.909090042114258px; ">浮点运算器的核心运算部件是浮点加法器，它是实现浮点指令各种运算的基础，其设计优化对于提高浮点运算的速度和精度相当关键。文
对非整周期正弦波形信噪比计算方法的研究
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">以双音多频信号为例，通过运用快速傅里叶变换和Hanning窗等数学方法，分析了信号频率，电平和相位之间的关系，推导出了计算非整周期正弦波形信噪比的算法，解决了数字信号处理中非整周期正弦波形信噪比计算精度低下的问题。以C
一种面向瞬时故障的容错技术的形式化方法
<span id="LbZY">软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形
串行数模转换TLC2543硬件及c语言
数控电流源 ad转换部分
一种DDS任意波形发生器的ROM优化方法
<span style="color: rgb(102, 102, 102); font-family: 宋体, Arial, Helvetica, sans-serif; line-height: 25px;">提出了一种改进的基于直接频率合成技术（DDS）的任意波形发生器在现场可编程门阵列（FPGA）上的实现方法。首先将三角波、正弦波、方波和升/降锯齿波的波形数据写入片外存储器，当调用时再将相
基于选择进位32位加法器的硬件电路实现
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 20.99431800842285px;">为了缩短加法电路运行时间，提高FPGA运行效率，利用选择进位算法和差额分组算法用硬件电路实现32位加法器，差额分组中的加法单
指纹图像分割与增强算法的研究
<span id="LbZY">在研究和分析指纹图像的强度场和方向场原理基础上，根据人眼的视觉原理，提出一种指纹图像分割与增强的方法。按照指纹图像前景色梯度大，背景色梯度小，可以将指纹前景色很好的分割出来。并且通过纹线方向进行滤波增强处理，可以得到良好的效果。对随机抽取的指纹图像分割和增强的实验证明，取得了满意的结果。此方法的优点是将指纹纹线断裂处很好的连接，可以广泛应用于指纹图像的预处理过程当中
三态门总线传输电路的Multisim仿真方案
<span id="LbZY">基于探索仿真三态门总线传输电路的目的，采用Multisim10仿真软件对总线连接的三态门分时轮流工作时的波形进行了仿真实验测试，给出了仿真实验方案，即用Multisim仿真软件构成环形计数器产生各个三态门的控制信号、用脉冲信号源产生各个三态门不同输入数据信号，用Multisim仿真软件中的逻辑分析仪多踪同步显示各个三态门的控制信号、数据输入信号及总线输出信号波形，结
高超声速飞行器的轨迹设计与仿真研究
<span id="LbZY">针对高超声速飞行器高速度、高升限、远巡航距离的特点，以高超声速巡航导弹X-43A为研究对象，对其动力学特性进行分析研究，建立飞行轨迹仿真所需要的气动模型、动力模型以及质量模型；并模拟高超声速巡航导弹X-43A试飞试验的飞行轨迹，建立各飞行段弹道仿真模型，构造飞行轨迹并进行仿真验证。仿真结果表明，所得到的轨迹符合高超声速飞行器的实际飞行情况，验证了该轨迹设计方法的可行
RC桥式振荡电路性能研究与仿真
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">针对RC桥式低频信号振荡器的性能和应用，对振荡电路的基本结构及性能指标进行探讨，分别从选频网络、稳幅环节及频率可调三个方面对电路性能进行改进，并结合仿真
相敏检波电路鉴相特性的仿真研究
<P>分析了调幅信号和载波信号之间的相位差与调制信号的极性的对应关系,得出了相敏检波电路输出电压的极性与调制信号的极性有对应关系的结论。为了验证相敏检波电路的这一特性,给出3 个电路方案,分别选用理想元件和实际元件,采用Multisim 对其进行仿真实验,直观形象地演示了相敏检波电路的鉴相特性,是传统的实际操作实验所不可比拟的。<BR>关键词:相敏检波;鉴相特性;Multisim;电路仿真</P>
基于FPGA的MSK调制器设计与实现
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">介绍了MSK信号的优点，并分析了其实现原理，提出一种MSK高性能数字调制器的FPGA实现方案；采用自顶向下的设计思想，将系统分成串/并变换器、差分编码器、数控振荡器、移相器、乘法电路和加法电路等6大模块，重点论述了串/