-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。此方法源于Hoare逻辑的程序推理以及耶鲁大学的认证汇编编程(CAP)，它首先需要...
-
本文主要研究以下内容：(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算法检测能力的影响，为了从理论上更准确的分析算法的检测能力，本文开展了对控制流错误检测算法检测能力的...
-
系统的运行及相关工艺决策模块的验证表明，所开发的大型锻件的锻后热处理CAPP系统能实现大型锻件锻后热处理工艺的辅助设计，工艺决策合理，并且具有良好的人机交互性界面，便于用户进行操作。
-
虚拟仪器设计及实现的核心是软件的开发。本文在分析与研究虚拟仪器、虚拟仪器开发环境-LabVIEW、虚拟仪器硬件系统的基础上，以NI ELVIS为硬件平台，运用LabVlEW编程语言，采用模块化设计方...
-
本文从教育学和电工教学法的角度，阐述了电工技术多媒体教学所应遵循的基本原则，并以多媒体教学课件开发利用为例，介绍了多媒体教学的实施方法和体会。
06-15 16:17by
宝啦宝呀 163次下载
-
实践教学是培养大学生电类工程能力的重要环节，本文介绍我们以培养人才为中心在电工实习基地建设；实践教学内容、方法和手段等方面进行的改革与实践。
06-15 16:14by
宝啦宝呀 163次下载
-
提出一种基2FFT的FPGA方法,完成了基于FPGA高精度浮点运算器的FFT的设计。利用VHDL语言描述了蝶形运算过程及地址产生单元,其仿真波形基本能正确的表示输出结果。
06-15 15:53by
一线蓝光 163次下载
-
随着数字图像处理技术的不断发展，以图像处理技术为主的交通视频监测技术的研究已成为智能交通系统的重要前沿研究领域。简要介绍智能交通系统、数字图像处理技术的特点，着重分析研究数字图像处理技术在智能交...
06-15 10:43by
一线蓝光 163次下载
-
本资料给读者提供了全英文版的用ADS1210和ADS1211ΔΣ转换器实现高速转换的设计技巧，供正在做相关毕业设计的读者们参考。
-
针对目前实验室管理中计算机技术的使用情况，结合南华大学电机学蜜验室管理现状，研制了电机学实验管理系统。文中介绍了电机学实验教学管理系统的实现基础、功能’数据录入．数据库丑安全性设计方法，...
05-21 16:01by
宝啦宝呀 163次下载
-
针对电气控制技能训练中，线路复杂，线路故障较多，而故障点的查找又较难的问题，本文提出了一种接线快、帮障少的接线方法。
05-21 15:53by
宝啦宝呀 163次下载
-
本设计给出了基于AVR单片机ATMEGA64来设计智能信息记录系统的软硬件设计方法，该方法通过外加液晶和USB接口，并通过U盘直接存储信息，然后在液晶上显示，从而完成对仪器的开关机时间等信号的智能存...
-
绍了对电声科学名词命名史及科学名词准确性讨论的意义，并以传声器为中心拓展开来进行了具体名词的讨论。
05-16 16:23by
宝啦宝呀 163次下载
-
绍了电子电路实验同网络教学系统的局域网组建、软件建设和所涉及的主要开发工具与技术，充分利用网络资源和现代技术更新实验教学手段的改革。
05-16 16:01by
宝啦宝呀 163次下载
-
“大学物理”课程是大学工科的公共基础课程。课程由于知识量大，教学目的和任务重。本文通过在面向电子电气工程专业的教学时，适当引用三个实例来提高学生的学习积极性并适时锻炼学生的研...
05-16 15:56by
宝啦宝呀 163次下载
-
随着电子技术和计算机技术的飞速发展，电子仿真软件在电子线路的教学中日益显得重要。它能为学生的学习创造一种自主、开放式的氛围，为学生搭建学习现代化设计技术的平台，从而更容易激发学生的技术创新欲望，大力...
05-16 15:50by
宝啦宝呀 163次下载
-
分析了高斯滤波最小频移键控(GMSK)调制解调存在的问题，研究了其原理与特点；详细阐述了其在移动通信中的数字实现方法；给出了用FPGA实现的框图和GMSK 数字解调方
-
热电偶最优化分段最小二乘拟合线性化处理方法
畅学电子
