-
随着微电子技术和电子设计自动化(EDA)技术的迅速发展,使得可编程逻辑器件凭借其高速的数据吞吐率和快 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架,对垃圾收集器的安全性和正确性,以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法,并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文设计了一套成本低廉,通过书写笔可以轻松、简便地输入信息并显示的装置,以单片机为微控制器,以32& ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本研究主要采用的是单因素两水平等组实验研究方法。笔者选取《汇编语言》课程中的“循环程序设 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文首先叙述了离散事件系统的仿真原理,详细论述了离散事件系统的仿真策略,为单片机系统仿真提供理论基础 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本系统结合西门子PLC、MOXA工业以太网冗余交换机、Kyvision网络管理软件构建分布式控制系统 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
该软件系统将文件操作、参数设置、编辑、编译、代码下载、实验演示、帮助信息(源程序、指令表等)等功能集 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
虚拟仪器设计及实现的核心是软件的开发。本文在分析与研究虚拟仪器、虚拟仪器开发环境-LabVIEW、虚 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
提出了基于Blackfin561处理器的JPEG2000图像压缩算法的编码优化方案。包括一些算法优化 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
结合传统的混沌映射,提出一种组合式混沌映射模型。给出了产生新的混沌扩频序列的方法。首先由给定初值代入 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
-
介绍一种基于单片机系统的采用“RAM 出让 ”方式实现的 DMA ...
by
宝啦宝呀|上传于 2015-06-16
|163次下载
-
阐述了利用数字信号处理器(DSP)实现指纹检测和处理模块板的实现方法在处理板中利用FPS200 指纹 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
设计了基于ADI公司D 芯片ADSP BF536和SHARP公司液晶模块I.Q104VIIX}52的 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
Linux是一个开放源代码的操作系统,具有易于定制、剪裁和高可移植性,目前被嵌入式领域广泛使用。本文 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
该文采用Ⅱ公司新推出的专用多媒体处理芯片聊s320DM643作为主控芯片。设计了一个实用的单通道的视 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
利用Vc6技术设计了一套集图像的实时采集、实时编码和实时解码为一体的H.263软件编解码演示系统,在 ...
by
宝啦宝呀|上传于 2015-06-16
|163次下载
-
为了实现AFDX以太网的冗余发送功能,文中通过研究AFDX以太网协议,分析AFDX冗余调度管理的概念 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
为全面管理仓库中储存的商品和货物,缩短库存信息流转时间,使企业的物料管理层次分明、井然有序,并为采购 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
采用一种具有双参数控制的结构实现并网运行和负序电流的消除,直流侧的电压控制环作为并网的基础控制,同时 ...
by
谷宗卿|上传于 2015-06-16
|163次下载