-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文主要对基于web的辅助教学系统理论、方法及相关技术进行了探讨研究。首先，文章介绍了系统开发的背景 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
论文系统地比较了几种常用短程无线接入技术和方法，介绍了蓝牙技术的分层协议体系结构，分析了蓝牙核心协议 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
该文采用Ⅱ公司新推出的专用多媒体处理芯片聊s320DM643作为主控芯片。设计了一个实用的单通道的视 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
论述了云平台的整体安全解决方案。该方案分为应用级别安全、容器级别安全、网络级别安全等层次。着重阐述了 ...
by
宝啦宝呀|上传于 2015-06-16
|163次下载
-
研究了数字水印的基本原理和图像处理的基本知识，基于实现水印安全性，鲁棒性，不可见性的目的，采用一种基 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
随着现代社会汽车数量的日益增多，汽车防撞技术的研究已成为保障人民生命安全和提高运输业的关键。课题旨在 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
随着网络技术和多媒体技术的快速发展，各种视频服务日益普及，同时对安全的要求也越来越迫切。为此，针对目 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
针对飞机在地面的快速反应，安全升空和着陆能力，以及飞机刹车系统的性能等问题，将半实物仿真测试技术应用 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
深度包检测技术（DPI）已成为网络信息安全的研究重点。基于硬件实现模式匹配的DPI技术凭借其更强的处 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
为减轻护士的劳动强度、患者家属负担、保证输液安全，文中通过采用光电式、电容式、超声、力学、图像等液位 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
随着生物特征技术应用的日趋广泛，市场对门禁的安全性和可靠性的要求也越来越高。文章提出一种基于实时嵌入 ...
by
谷宗卿|上传于 2015-06-15
|163次下载
-
介绍一种集计算机、网络、射频卡技术于一体的“一卡通”邮政综合服务系统。邮政客 ...
by
宝啦宝呀|上传于 2015-06-15
|163次下载
-
针对企业办公网移动终端设备安全接入问题，研究了移动终端的安全接入技术，并构建了安全接入系统架构，实现 ...
by
宝啦宝呀|上传于 2015-06-15
|163次下载
-
本文综述了电机综合试验与检测平台的主要结构。从电气主回路系统、电气控制系统和测量子系统三个部分，讨论 ...
by
宝啦宝呀|上传于 2015-06-01
|163次下载
-
通信站机房和电源系统是通信网络的重要组成部分，对通信电路和设备的安全运行起着重要的作用。从实际需要出 ...
by
宝啦宝呀|上传于 2015-06-01
|163次下载
-
传统抄表方式存在着入户麻烦、费用过高、存在安全隐患等弊端,已经不适应现代物业管理的需要;因此,提出了 ...
by
宝啦宝呀|上传于 2015-05-26
|163次下载
-
基于DOCSIS 标准的增强型基线保密性接口（BPI+）采用56 bit DES 加密分组数据、采用 ...
by
宝啦宝呀|上传于 2015-05-11
|163次下载
-
根据人体手指静脉图像的结构特点，从安全和实用的角度出发，研制了一种基于电荷耦合器件(CCD)的手指静 ...
by
宝啦宝呀|上传于 2015-05-11
|163次下载
畅学电子
