-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
该平台在NI 教学实验虚拟仪器套件（ELVIS）基础上，根据ELVIS技术手册将原型实验板上的数字信 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要研究以下内容：(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
首先介绍了自适应插值算法的基本原理，接着提出了优化设计的缩放引擎系统结构，并系统的论述了数据缓冲模块 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先，文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
介绍了采用高端嵌入式单片机ARM9和嵌入式Linux操作系统构成的电力负荷终端系统,以及该系统的整体 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文设计了一套成本低廉，通过书写笔可以轻松、简便地输入信息并显示的装置，以单片机为微控制器，以32& ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
概述调度LED电子显示屏的系统配置和硬件结构，详细地介绍了上位机、下位机的各项功能和软件设计方法。指 ...
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次下载
-
文中在研究开放源代码软件Asterisk平台的基础上,设计了 IVR系统框架。通过对基本服务流程和回 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本研究主要采用的是单因素两水平等组实验研究方法。笔者选取《汇编语言》课程中的“循环程序设 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
采用先进的双向互动通信技术、智能交互终端技术以及智能表计技术，为电网和用户之间的互动提供可靠的信息通 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文首先叙述了离散事件系统的仿真原理，详细论述了离散事件系统的仿真策略，为单片机系统仿真提供理论基础 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
对目前典型的无线传感器网络的路由协议进行分类研究和性能分析，设计并实现了在NS2环境下典型协议的仿真 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本系统结合西门子PLC、MOXA工业以太网冗余交换机、Kyvision网络管理软件构建分布式控制系统 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
系统的运行及相关工艺决策模块的验证表明，所开发的大型锻件的锻后热处理CAPP系统能实现大型锻件锻后热 ...
by
齐欣|上传于 2015-06-17
|163次下载
畅学电子
