VRML的计算机组装实验探析

社会经济的快速发展,科学技术水平的逐步提升,促进了计算机发展和运用领域空间的逐渐扩大。在计算机组装过程中,由于计算机的硬件更新周期比较长,导致计算机的组装水平很难提升。当前,在计算机组装中运用VRML虚拟实验系统,可以对计算机的硬件实现虚拟仿真、实验,对于提升计算机的组装水平有着重大意义。本文主要对VRML的计算机组装实验进行了探析。

基于Canetti-Krawczyk模型的IEEE 802.11i四步握手协议分析

对Canetti-Krawczyk模型进行深入研究,抽象并形式化IEEE802.11i协议的四步握手协议。依据Canetti-Krawczyk模型中在AM下的安全性定义,利用其理论进行形式化分析,得出四步握手协议在AM下的SK安全的结论。提出对于UC下的安全性和协议可用性将是下一步研究目标。

大学生网络信息安全教育探析

互联网技术的发展,新媒体的不断涌现,网络信息安全已成为社会关注的问题。高校作为学生接触社会的基础,其网络信息安全教育关乎着学生的价值观、道德观的树立。所以高校应重视大学生的网络信息安全教育工作,保证学生接触的网络信息是积极向上的。本文主要对大学生网络信息安全教育中存在的问题进行了分析,并提出了相应的解决措施。

浅谈网络数据存储技术及其应用

现在网络已经在人们的生活中得到普及,选择良好的数据存储方式已经越来越重要。目前存储已经从主机系统中脱离出来发展成为了一个独立的系统。网络数据存储技术的发展目标就是低成本、高智能。本文就将对现在出现的网络存储技术进行深入分析,分别研究传统的网络数据存储技术和现代化网络数据存储技术的运用。

容错局域网通信功能的设计与实现

本文提出了一种在网络工作站实时通信中实现容错的理论,详细叙述了设计方法,并对其可靠性、实时性、并行性等问题进行了分析.

一个故障容错系统的设计及实现

本文提出了多路自动切换容错系统的一般概念,并对容错系统的可靠性及平均无故障时间进行了分析、计算,实现了二路自动切换容错系统.

基于标准门的BDD构造

一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.