-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架,对垃圾收集器的安全性和正确性,以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
该平台在NI 教学实验虚拟仪器套件(ELVIS)基础上,根据ELVIS技术手册将原型实验板上的数字信 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文主要研究以下内容:(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先,文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
可编程控制器(PLC)是在计算机技术、通信技术和继电器控制技术的发展基础上开发出来的,现已广泛应用于 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
采用先进的双向互动通信技术、智能交互终端技术以及智能表计技术,为电网和用户之间的互动提供可靠的信息通 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文首先叙述了离散事件系统的仿真原理,详细论述了离散事件系统的仿真策略,为单片机系统仿真提供理论基础 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文设计了一套完整的数字化 T/R 组件框图、电路。并主要对大功率固态放大器和数字接收系统进行了硬件 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
虚拟仪器设计及实现的核心是软件的开发。本文在分析与研究虚拟仪器、虚拟仪器开发环境-LabVIEW、虚 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
利用Authorware课件制作软件和EWB电路仿真软件,快捷、方便地开发电子技术虚拟实验系统,是一 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
电子技术基础是电类各专业的一门重要的专业基础课,至今国内仍未有一部方便实用的多媒体网络课件。为此,我 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文应用Multisim仿真软件,以中等职业学校电类则专业国家规划指定教材《电子技术基础》为蓝本,贯 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
介绍了一种短距离无线通信技术—— 蓝牙在工业控制系统的应用实例。利用新华龙公 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文介绍了目前宽争无线接八技术酊发展现状,朗连了各宽幸无线接入技术的优缺点。井对wI.AN与棱心一络 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
论文系统地比较了几种常用短程无线接入技术和方法,介绍了蓝牙技术的分层协议体系结构,分析了蓝牙核心协议 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文详细阐述了系统硬件平台的构成,由于对应三种不同的射频接入技术,因此,针对不同的接入技术分别对应设 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
该红外数字图像显示系统具有小型化、低功耗、灵活性强等特点,能够广泛应用于国防科技中。 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
文中采用Dechirp信号处理的思想,给出了基于Chirp变换的宽带DRFM实现技术,该方法通过De ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
集摄像、程控交换、显示多项技术为一体的视频图像监控系统,实时、直观地反映了被监控对象的状态,为现代化 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
-
方案利用OBD及C/S网络架构,实现车辆信息远程搜集并形成后台数据系统,从而实现汽车信息的集中化管理 ...
by
谷宗卿|上传于 2015-06-17
|163次下载