-
借助于近年SAT求解算法的研究成果，基于SAT的测试向量自动生成成为了研究热点。本文介绍了数字电路的 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文研究数字电路进化设计的优化算法，在遗传算法的基础上进行了大胆改进和创新，优化了传统遗传算法，并提 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文首先介绍了模拟电路故障诊断研究的目的和意义，并对模拟电路故障诊断的历史和现状进行了阐述。研究了信 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文在对谐波补偿的一般理论和有源电力滤波器的工作原理进行深入分析的基础之上，从模拟电子技术的角度出发 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文首先综述了模拟电路故障诊断的研究现状，然后以基于智能信息处理技术的模拟电路故障诊断为核心，对模拟 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文就神经网络在非线性模拟电路故障诊断中的应用进行了深入的研究，以模糊神经网络为主要研究对象，并对 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文提出了基于主成分分析和极限学习机的模拟电路故障识别方法。首先对电路进行故障特征提取，将输出信号的 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文利用面向对象技术和解释执行技术模拟指令集的模拟，使模拟器在设计结构上支持对不同类型处理器指令集的 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
针对现有网络教学系统存在的缺陷，依据现代教育理论，利用现有信息技术，研究Web环境下的具有个性化教学 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
该平台在NI 教学实验虚拟仪器套件（ELVIS）基础上，根据ELVIS技术手册将原型实验板上的数字信 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要研究以下内容：(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
首先介绍了自适应插值算法的基本原理，接着提出了优化设计的缩放引擎系统结构，并系统的论述了数据缓冲模块 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先，文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文设计了一套成本低廉，通过书写笔可以轻松、简便地输入信息并显示的装置，以单片机为微控制器，以32& ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
概述调度LED电子显示屏的系统配置和硬件结构，详细地介绍了上位机、下位机的各项功能和软件设计方法。指 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文深入研究了智能计算机辅助教学的理论基础；分析了辅助教学系统的现状和问题，对辅助教学的需求进行了详 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
可编程控制器（PLC）是在计算机技术、通信技术和继电器控制技术的发展基础上开发出来的，现已广泛应用于 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文在深入分析汇编语言学习难点的基础上，提出了基于Web的汇编语言学习支撑平台。然后，根据具体的应用 ...
by
齐欣|上传于 2015-06-17
|163次下载
畅学电子
