形式验证
共 74 篇文章
形式验证 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 74 篇文章，持续更新中。
电感和磁珠的区别及应用场合和作用
<P style="WORD-BREAK: break-all; LINE-HEIGHT: 16.7pt"><FONT face=宋体>磁珠由氧磁体组成，电感由磁心和线圈组成，磁珠把交流信号转化为热能，电感把交流存储起来，缓慢的释放出去。<p></p></FONT></P>
<P style="WORD-BREAK: break-all; LINE-HEIGHT: 16.7pt"><FONT fa
电磁导波激励脉冲群最佳重复频率确定
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 20.909090042114258px; ">电磁导波检测技术因其非接触耦合的特性已被广泛应用于各种金属管道无损检测领域中，但导波的激励脉冲群重复频率的确定长久以来却
MEMS传感器的静止带宽测试
<div>
对于采用MEMS加速度计和陀螺仪的工业系统而言，优化带宽可能是关键考虑因素。这代表着精度(噪声)与响应时间之间的一种经典权衡。虽然多数MEMS传感器制造商都会给出典型带宽指标，往往还需要验证传感器或整个系统的实际带宽。在确定加速度计和陀螺仪的带宽特性时，一般需要使用振动台或其他机械激励源。要精确确定特性，需要全面了解应用于受测器件(DUT)的运动。在此过程中需要管理多种潜在误差源。在
数字钟实验电路的设计与仿真
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">基于Multisim 10 软件对数字钟电路进行设计和仿真。采用555定时器产生秒时钟信号，用时钟信号驱动计数电路进行计数，将计数结果进行译码，最终在L
差分数据传输有何区别
<div>
隔离器的主要功能是通过电气隔离栅传送某种形式的信息，同时阻止电流。隔离器采用绝缘材料制造，可以阻止电流，隔离栅两端都有耦合元件。信息通常在传输通过隔离栅之前由耦合元件编码。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/829019-121211153131R6.jpg" style="width: 496px; heigh
ADV7511 HDCP 1.1使能_禁用选项
<div>
ADV7511 HDMI®发送器支持HDCP 1.1特性；然而，业界对如何正确实现HDCP 1.1的某些特性，特别是增强链路验证(Pj校验)，存在一些误解。由于对实现方法存在不同的解释，ADI公司给ADV7511增加了一个HDCP 1.1特性禁用选项。版本ID(主寄存器映射的寄存器0x00) 为0x14的ADV7511器件提供此选项。在以前版本的ADV7511中，如果接收器在
用于图像分类的有偏特征采样方法
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">为了模拟图像分类任务中待分类目标的可能分布，使特征采样点尽可能集中于目标区域，基于Yang的有偏采样算法提出了一种改进的有偏采样算法。原算法将目标基于区域特征出现的概率和显著图结合起来，计算用于特征采样的概率分布图，使
基于NSCT域各向异性双变量萎缩图像去噪
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">提出了一种用各向异性双变量拉普拉斯函数模型去模拟NSCT域的系数的图像去噪算法，这种各向异性双边拉普拉斯模型不仅考虑了NSCT系数相邻尺度间的父子关系，
基于新型CCCII的电流模式积分电路
介绍了广泛应用于各种电流模式电路的第二代电流控制电流传输器原件的跨导线性环特性和端口特性，以及其基本组成共源共栅电流镜，并提出了基于共源共栅电流镜的新型COMS电流传输器。在此基础上，设计了基于电流控制电流传输器的电流模式积分电路，并利用Hspice软件进行输入为正弦波和方波时的输出波形的仿真验证。<br />
<img alt="" src="http://dl.eeworm.com/ele/i
通信系统中数字上变频技术的研究与设计
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">为了将通信系统中数字基带信号调制到中频信号上，采用数字上变频技术，通过对数字I、Q两路基带信号进行FIR成形滤波、半带插值滤波、数字混频处理得到正交调制
一种弱耦合非对称渐变线定向耦合器的快速设计
<span id="LbZY">给出了一种快速设计任意弱耦合非对称渐变线定向耦合器的方法，以线性渐变为基础，通过仿真优化获取最优渐变，摆脱了传统方法中的复杂运算。为改善定向耦合器在频率高端的定向性，在结构上引入了锯齿加载。设计了一个带宽为0.5GHz到20GHz，耦合度为-25dB的定向耦合器，利用三维电磁仿真软件HFSS进行了结果验证。</span><br />
<br />
<br />
基于映射函数收缩算法的图像去噪方法
文中讨论了图像的高斯加性噪声模型和图像的稀疏性表示，提出了利用映射函数来描述图像的去噪过程，通过求解映射函数和利用映射函数对加噪图像的小波变换子带系数进行变换，达到了降低图像噪声并使加噪图像逼近原始图像的目的。经过实验比较，验证了本文算法的可行性和鲁棒性。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/31-13031216311DA.jp
匹配傅里叶变换快速算法及在雷达信号处理中应用
<span id="LbZY">为了减小匹配傅里叶变换分析的计算量，提出了一种基于快速傅里叶变换的快速算法。根据匹配傅里叶变换的分解将积分形式转化为离散形式，推导出快速算法表达式。该算法与直接的数值离散匹配傅里叶变换算法相比较，计算量大大减少。同时给出了其在雷达信号处理中线性调频信号的检测与参数估计的应用。理论及计算机仿真结果表明了该算法的有效性和精确性，有良好的工程应用前景。</span><br
微波滤波器设计的新观点
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px;">根据三角级数展开理论，将理想滤波器特性曲线做级数展开，然后用单节微带线逼近展开式中的一项或多项，级联后逼近理想的滤波器特性曲线。该方法避免了传统滤波器设计
电路分析基础-ppt教程
<P>第一章 基 础 知 识<BR>由电阻、电容、电感等集中参数元件组成的电路称为集中电路。<BR>1.1 电路与电路模型<BR>1.2 电路分析的基本变量<BR>1.3 电阻元件和独立电源元件<BR>1.4 基尔霍夫定律<BR>1.5 受 控 源<BR>1.6 两类约束和KCL，KVL方程
数字预失真(DPD)算法研发工具和验证方案
在无线通信系统全面进入3G并开始迈向 4G的过程中，使用数字预失真技术（Digital Pre-distortion，以下简称DPD）对发射机的功放进行线性化是一门关键技术。功率放大器是通信系统中影响系统性能和覆盖范围的关键部件，非线性是功放的固有特性。非线性会引起频谱增长(spectral re-growth)，从而造成邻道干扰，使带外杂散达不到协议标准规定的要求。非线性也会造成带内失真，带来系
流水线ADC的行为级仿真
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">行为级仿真是提高流水线（Pipeline）ADC设计效率的重要手段。建立精确的行为级模型是进行行为级仿真的关键。本文采用基于电路宏模型技术的运算放大器模型，构建了流水线ADC的行为级模型并进行仿真。为验证提出模型的精度
一种适用于射频集成电路的抗击穿LDMOS设计
<span id="LbZY">提出了一种具有深阱结构的RF LDMOS，该结构改善了表面电场分布，从而提高了器件的击穿电压。通过silvaco器件模拟软件对该结构进行验证，并对器件的掺杂浓度、阱宽、阱深、栅长进行优化，结果表明，在保证LDMOS器件参数不变的条件下，采用深阱工艺可使其击穿电压提升50%以上。<br />
<img alt="" src="http://dl.eeworm.com/
理解和应用数字电位器
描述了数字电位器工作原理、特点、分类及广泛应用，阐述了与机械电位器相比，数字电位器的优点，同时也描述了数字电位器AD5272内部电路结构，在此基础上进一步提出了对数字电位器AD5272应用电路系统的设计。结果表明，在低成本的前提下，将数字电位器的性能及应用充分展示，同时验证了数字电位器更为经济实用。<br />
<img alt="" src="http://dl.eeworm.com/ele/i
BUCK电路的环路计算补偿仿真
本示例从简单的BUCK电路入手，详细说明了如何进行电源环路的计算和补偿，并通过saber仿真验证环路补偿的合理性。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/177094-120424150643210.jpg" />