-
本文利用面向对象技术和解释执行技术模拟指令集的模拟，使模拟器在设计结构上支持对不同类型处理器指令集的 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要研究以下内容：(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先，文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文设计了一套成本低廉，通过书写笔可以轻松、简便地输入信息并显示的装置，以单片机为微控制器，以32& ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文深入研究了智能计算机辅助教学的理论基础；分析了辅助教学系统的现状和问题，对辅助教学的需求进行了详 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
可编程控制器（PLC）是在计算机技术、通信技术和继电器控制技术的发展基础上开发出来的，现已广泛应用于 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文在深入分析汇编语言学习难点的基础上，提出了基于Web的汇编语言学习支撑平台。然后，根据具体的应用 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
有许多可综合状态机的Verilog代码描述风格,不同代码描述风格经综合后得到电路的物理实现在速度和面 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本研究主要采用的是单因素两水平等组实验研究方法。笔者选取《汇编语言》课程中的“循环程序设 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文首先叙述了离散事件系统的仿真原理，详细论述了离散事件系统的仿真策略，为单片机系统仿真提供理论基础 ...
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次下载
-
通过降低OpenGL建立复杂三维模型的难度,减少建模的工作量。通过利用专业建模软件3DS Max的优 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
文中设计了一种基于PC104和可编程逻辑阵列器件协同合作的导航计算机系统。系统主要包括数据采集模块和 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
通过解析法,对电流调节器、转速调节器和张力调节器的硬件进行设计,并用Matlab m文件进行编程实验 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
提出了一种改进的基于直接频率合成技术(DDS)的任意波形发生器在现场可编程门阵列(FPGA)上的实现 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
畅学电子
