-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
介绍了采用高端嵌入式单片机ARM9和嵌入式Linux操作系统构成的电力负荷终端系统,以及该系统的整体 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
概述调度LED电子显示屏的系统配置和硬件结构，详细地介绍了上位机、下位机的各项功能和软件设计方法。指 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
文中在研究开放源代码软件Asterisk平台的基础上,设计了 IVR系统框架。通过对基本服务流程和回 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文首先叙述了离散事件系统的仿真原理，详细论述了离散事件系统的仿真策略，为单片机系统仿真提供理论基础 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本系统结合西门子PLC、MOXA工业以太网冗余交换机、Kyvision网络管理软件构建分布式控制系统 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
该软件系统将文件操作、参数设置、编辑、编译、代码下载、实验演示、帮助信息(源程序、指令表等)等功能集 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
该文介绍了单片机+SPC3的从站接口的软硬件设计方法，并通过组态软件+CP5611卡的方式和串口模拟 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
虚拟仪器设计及实现的核心是软件的开发。本文在分析与研究虚拟仪器、虚拟仪器开发环境-LabVIEW、虚 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
利用Authorware课件制作软件和EWB电路仿真软件，快捷、方便地开发电子技术虚拟实验系统，是一 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文应用Multisim仿真软件，以中等职业学校电类则专业国家规划指定教材《电子技术基础》为蓝本，贯 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
介绍了一种短距离无线通信技术—— 蓝牙在工业控制系统的应用实例。利用新华龙公 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文详细阐述了系统硬件平台的构成，由于对应三种不同的射频接入技术，因此，针对不同的接入技术分别对应设 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
讨论了一个分布式监控系统的软件设计。给出了系统结构、冗余设计及软件设计要点。 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
-
文中使用医学影像挂片协议对医学影像显示系统进行软件架构,并采用Visual C++、VTK及DCMT ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
通过降低OpenGL建立复杂三维模型的难度,减少建模的工作量。通过利用专业建模软件3DS Max的优 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
文中设计了一种基于PC104和可编程逻辑阵列器件协同合作的导航计算机系统。系统主要包括数据采集模块和 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
介绍一种功率测量专用数字信号处理器的实时仿真系统，其仿真速度高、实时性强、且成本低廉，具备了软件模拟 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
-
硬件部分采用数据采集、信息管理、过程优化3层网络结构;软件部分采用Wincc和Step7分别实现系统 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
畅学电子
