-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要研究以下内容：(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先，文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文深入研究了智能计算机辅助教学的理论基础；分析了辅助教学系统的现状和问题，对辅助教学的需求进行了详 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
对目前典型的无线传感器网络的路由协议进行分类研究和性能分析，设计并实现了在NS2环境下典型协议的仿真 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
系统的运行及相关工艺决策模块的验证表明，所开发的大型锻件的锻后热处理CAPP系统能实现大型锻件锻后热 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文设计了一套完整的数字化 T/R 组件框图、电路。并主要对大功率固态放大器和数字接收系统进行了硬件 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文针对模糊控制和神经网络控制的优缺点，将二者进行了结合，对VAV系统府儿J了模糊神经网络控制方法。 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
本文应用Multisim仿真软件，以中等职业学校电类则专业国家规划指定教材《电子技术基础》为蓝本，贯 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本系统可以准确快速地反映电机温度的变化状况,自动对电机温度数据进行有效地保存,改进了传统仪器测量的缺 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
协调器需要处理网络中的数据，不能启用 睡眠状态所以我们就采ZT100 ZT100 -EVB 作为 Z ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
电源是把电能从一台设备转换到另一台设备的元件、子系统或系统，其通常从交流(AC)电源转换成直流(DC ...
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次下载
-
集摄像、程控交换、显示多项技术为一体的视频图像监控系统，实时、直观地反映了被监控对象的状态，为现代化 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
-
文中设计了一种基于PC104和可编程逻辑阵列器件协同合作的导航计算机系统。系统主要包括数据采集模块和 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
方案利用OBD及C/S网络架构,实现车辆信息远程搜集并形成后台数据系统,从而实现汽车信息的集中化管理 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
与传统的滤波带宽共同空间模式方法相比,文中提出的方法充分考虑了被试在进行运动想象时发生事件相关去同步 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
电容降压型直流电源以体积小、成本低的特点，广泛应用于各类小功率电子设备中。针对传统电容降压型直流电源 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
畅学电子
