-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先，文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文深入研究了智能计算机辅助教学的理论基础；分析了辅助教学系统的现状和问题，对辅助教学的需求进行了详 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
系统的运行及相关工艺决策模块的验证表明，所开发的大型锻件的锻后热处理CAPP系统能实现大型锻件锻后热 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
针对传统过压/欠压、过频/欠频、相位突变、主动频率偏移孤岛检测方法的不足，提出了一种改进方法。将相位 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
从教学心理学出发，对电工学课程C舭课件的设计及应用中的一些心理问题作初步探索，以解决电工学课程教学中 ...
by
宝啦宝呀|上传于 2015-06-15
|163次下载
-
介绍了电工仪表多媒体课件研制的总体设计构想、功能模块框图以及课件的技术制作思路和应用特点，使用该课件 ...
by
宝啦宝呀|上传于 2015-06-03
|163次下载
-
以电力系统教学为研究对象，利用计箅机技术开发T电力系统潮流、稳定分析计算软件包。史章叙述了利用计算机 ...
by
宝啦宝呀|上传于 2015-06-01
|163次下载
-
本文研制了以ATMEGA88 为核心、上位机软件为辅助的笔记本智能电池监测仪。监测仪通过系统 ...
by
YYJ|上传于 2015-05-22
|163次下载
-
GPS数字中频信号源对于GPS接收机各种信号处理模块的设计、测试和算法验证都是至关重要的。传统的GP ...
by
YYJ|上传于 2015-05-08
|163次下载
-
本文所述的基于STC51单片机控制的电机调速系统的可靠性和抗干扰能力明显提高，是辅助教学的有效工具． ...
by
YYJ|上传于 2015-05-07
|163次下载
-
本文介绍了《电机与拖动基础》课件的开发背景，并对设计思想和主要内容进行了阐述，对开发方法从软件技术及 ...
by
宝啦宝呀|上传于 2015-05-21
|163次下载
-
以电力系统教学为研究对象，利用计箅机技术开发T电力系统潮流、稳定分析计算软件包。史章叙述了利用计算机 ...
by
宝啦宝呀|上传于 2015-05-20
|163次下载
-
反激变换器是辅助电源通常采用的电路拓扑.它的优点在于可以工作在非常广阔的输入电压范围,电路简单,元件 ...
by
凯瑞|上传于 2015-05-14
|163次下载
-
利用FIR滤波器抗噪性能好的特点，设计了一种提取语音特征向量的方法，该方法具有运算量小，运算效率高的 ...
by
畅学e|上传于 2015-05-09
|163次下载
-
随着课程改革的推进，作为专业基础课的电路原理面临既要减少课内学时，又要增加学生学习信息量的矛盾。为了 ...
by
宝啦宝呀|上传于 2015-05-08
|163次下载
-
介绍了一种采用语音录放集成电路（ISD33240）智能语音报警装置，该系统主要特点是采用直接存储（D ...
by
宝啦宝呀|上传于 2015-05-08
|163次下载
-
通过对逆变电源主电路的分析 , 提出一种负载调整性能好的准谐振零电流开关逆变电源电路 , 详细分析了 ...
by
A123|上传于 2015-05-07
|163次下载
-
MATLAB在工程计算、数据分析和计算机仿真等方面都具有强大的功能，可将其作为教学的辅助手段应用于课 ...
by
宝啦宝呀|上传于 2015-05-07
|163次下载
-
借助于MATLAB 语言强大的矩阵变换与运算功能 利用混合节点法编制含有理想电压源和受控源的大规模电 ...
by
宝啦宝呀|上传于 2015-05-07
|163次下载
畅学电子
