形式验证
共 74 篇文章
形式验证 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 74 篇文章，持续更新中。
基于AD9959的高精度多通道雷达信号源设计
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">现代相控阵雷达为了保证空间功率合成精度需要高精度的雷达信号，设计实现了一种以AD9959为核心的高精度多通道雷达信号源。信号源利用多片AD9959产生3
一种载波同步锁相环设计方案
<p>
研究了一种利用corid 算法的矢量及旋转模式对载波同步中相位偏移进行估计并校正的方法.设计并实现了基于corid 算法的数字锁相环.通过仿真验证了设计的有效性和高效性.</p>
<p>
<img alt="" src="http://dl.eeworm.com/ele/img/177094-1202091A23D44.jpg" style="width: 488px; height:
一种便携式光谱采集系统的设计与实现
<span id="LbZY">为了快速有效地判断化学物质中的微量成分，并粗略估计成分的含量，提出一种便携式分光光度计的设计方案，对该方案的光谱采集系统进行了设计与讨论。与传统的分光光度计设计方案相比，该方案采用线阵CCD器件代替传统的光电管来实现光电信号的转换，易于提高系统的运行速度并减少系统体积；利用FIFO（先入先出队列）可以实现高速数据输出设备与低速控制器的数据交换。本系统可以选择LCD液
基于EWB平台的基尔霍夫定律仿真实验
仿真使用EWB人为设置故障,模拟电路可能发生断路、短路等现象时的状态,完整表达定理的适用范围,通过传统验证和仿真软件的对比,让两者匹配到最佳状况。实验显示,使用EWB对电路可实现全面仿真,为真实实验的设计和调试奠定了基础。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/177094-120222112416331.jpg" style="w
磁珠的原理及应用
<P><FONT face=宋体>由于电磁兼容的迫切要求，电磁干扰</FONT>(EMI)<FONT face=宋体>抑制元件获得了广泛的应用。然而实际应用中的电磁兼容问题十分复杂，单单依靠理论知识是完全不够的，它更依赖于广大电子工程师的实际经验。为了更好地解决电子产品的电磁兼容性这一问题，还要考虑接地、</FONT> <FONT face=宋体>电路与</FONT>PCB<FONT face=宋
基于System Generator的数字下变频设计
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px;">Xilinx公司推出的DSP设计开发工具System Generator是在Matlab环境中进行建模，是DSP高层系统设计与Xilinx FPGA之间实
一种基于卡尔曼滤波的船载伺服系统随机误差处理方法
<span id="LbZY">针对测量船伺服系统存在随机误差的情况，为提高角误差的精度，基于著名的Singer模型建立了航天测量船伺服系统卡尔曼滤波算法，并通过计算机进行了实际测量数据的仿真实验。从实验仿真结果分析可看出，采用提出的算法，能够较大程度的减小角误差电压含有的随机误差，验证了本方法的有效性，达到了提高测量船测控精度的目的。<br />
<img alt="" src="http://
低功耗高速跟随器的设计
提出了一种应用于CSTN-LCD系统中低功耗、高转换速率的跟随器的实现方案。基于GSMC±9V的0.18 μm CMOS高压工艺SPICE模型的仿真结果表明，在典型的转角下，打开2个辅助模块时，静态功耗约为35 μA；关掉辅助模块时，主放大器的静态功耗为24 μA。有外接1 μF的大电容时，屏幕上的充放电时间为10 μs；没有外接1μF的大电容时，屏幕上的充放电时间为13μs。验证表明，该跟随器能
数据多路转换器在LED显示驱动器上增加光标功能
<span style="color: rgb(51, 51, 51); font-family: Arial, Tahoma, Simsun; line-height: 22px; background-color: rgb(247, 247, 247); ">转换器是指将一种信号转换成另一种信号的装置。信号是信息存在的形式或载体。在自动化仪表设备和自动控制系统中，常将一种信号转换成另一种与标准
基于新型CCCII电流模式二阶带通滤波器设计
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">针对传统第二代电流传输器（CCII）电压跟随不理想的问题，提出了新型第二代电流传输器（CCCII）并通过采用新型第二代电流传输器（CCCII）构成二阶电
基于ADS的C波段的低噪声放大器仿真设计
<span id="LbZY">低噪声放大器是接收机中最重要的模块之一，文中采用了低噪声、较高关联增益、PHEMT技术设计的ATF-35176晶体管，设计了一种应用于5.5~6.5 GHz频段的低噪声放大器。为了获得较高的增益，该电路采用三级级联放大结构形式，并通过ADS软件对电路的增益、噪声系数、驻波比、稳定系数等特性进行了研究设计，最终得到LNA在该频段内增益大于32.8 dB，噪声小于1.5
SIMATIC WinCC V6.0 SP3 实现工厂智能的
<P>SIMATIC WinCC V6.0 SP3 增加了一些重要的系统功能，可通过工厂智能选<BR>件，实现过程可视化和过程优化：<BR>l 数据评估功能实现在线分析<BR>- 分析过程值归档的统计函数<BR>- 曲线线条宽度、工具提示以及对数形式表示都可自由组态<BR>- 消息顺序列表可以按栏标题<BR>进行分类<BR>l WinCC/Web Navigator V6.1<BR>- 基本过程控
整流滤波电容的设计与选用方法研究
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">整流滤波电路是直流稳压电源设备中常用电路，其中滤波电容的设计选取，直接影响到纹波电压的大小，关系到输出直流电压的质量。本文通过在设定条件下，依据整流滤波
过采样法提高A_D分辨率和信噪比
介绍一种简便的方法, 只用软件就可以将转换器位数提高, 并且还能同时提高采样系统的信噪比。通过实际验证, 证明该方法是成功的。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/177094-120319153A0462.jpg" />
数字电路设计中部分常见问题解析
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 20.909090042114258px; ">借助一个双向计时器的设计电路，以举例的形式对数字电路设计中3个方面的常见问题进行了较为详尽地分析，并提出了一些见解，即针
一种带振幅调节的晶体振荡器
<span id="LbZY">设计了一种带振幅控制的晶体振荡器，用于32 768 Hz的实时时钟。振幅调节环采用源接地振荡器形式来得到高的频率稳定性和低的功耗。使用MOS管电阻有效的减小了版图面积。电路在0.35 μm、5 V CMOS工艺上实现，仿真和测试结果都能满足设计要求。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/31-
差压流量计的计算
<p>
差压式流量计的测量原理是基于流体的机械能相互转换的原理。在水平管道中流动的流体，具有动压能和静压能（位能相等），在一定条件下，这两种形式的能量可以相互转换，但能量总和不变。</p>
集成运算放大器的应用
<BR>实验八 集成运算放大器<BR>一、实验目的<BR>1．学习集成运算放大器的使用方法。<BR>2．掌握集成运算放大器的几种基本运算方法。<BR>二、预习内容及要求<BR>集成运算放大器是具有高开环放大倍数的多级直接耦合放大电路。在它外部接上负反馈支路和一定的外围元件便可组成不同运算形式的电路。本实验只对反相比例、同相比例、反相加法和积分运算进行应用研究。<BR>1．图1是反相比例运算原理图。
基于CORDIC算法的高速ODDFS电路设计
<span id="LbZY">为了满足现代高速通信中频率快速转换的需求，基于坐标旋转数字计算（CORDIC，Coordinate Rotation Digital Computer）算法完成正交直接数字频率合成（ODDFS，Orthogonal Direct Digital Frequency Synthesizer）电路设计方案。采用MATLAB和Xilinx System Generator
Multisim温度扫描分析在模拟电子技术的应用
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">为了讨论温度对模拟电子电路的影响，采用Multisim10仿真软件中的温度扫描分析进行仿真，分析了温度对放大电路的静态工作点以及输出波形的影响，同时验证