基于NS2的CSMA/CD协议的模拟及分析

NS2是目前学术界广泛使用的一种网络仿真软件,也常被用于计算机网络课程的教学中。在介绍NS2模拟网络运行的一般流程和一些常用的分析工具的基础上,描述了以太网MAC子层协议CSMA/CD的工作原理,实验模拟运行及对跟踪文件的分析说明了以太网的数据传送方式及性能影响因素,可以很好地用于计算机网络课程中以太网协议内容的教学。     

基于着色petri网的安全协议验证方法

设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．     

Internet路由技术的研究

Ｉｎｔｅｒｎｅｔ 内部路由技术是网络技术的关键技术。ＲＩＰ 和ＯＳＰＦ 是两种内部路由协议, 一种属于距离向量协议, 一种属于链路状态协议． 本文通过对这两种协议的分析比较说明了ＯＳＰＦ 取代ＲＩＰ 的原因．     

用串空间分析路由协议SGSR

用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。     

SSL协议与SET协议的分析与比较

电子商务安全问题的核心和关键是电子交易的安全性,目前电子商务交易中广泛使用的两种安全在线支付协议是安全套接层SSL协议和安全电子交易SET协议。其中,SEL协议已经得到了广泛的应用,而SET协议则是今后的发展趋势。本文首先对这两种协议的工作原理进行了分析和比较,同时对这两种协议各自存在的主要问题进行了深入探讨,并在此基础上提出对这两种协议的改进设想,阐明在未来一段时间里,必将由SET与SSL并存过渡到一种融合SET与SSL的新型安全协议。     

基于MATLAB扩展HL-2ADAS数据处理的两种方法及其比较

介绍了HL-2A DAS数据处理软件中，实现数据处理与图形功能扩展的两种方法．一种是以MATLAB作为主要平台，以C Builder作为接口工具实现数据的复杂处理与图像处理．另一种是用C Builder作为主要平台，调用MATLAB引擎实现数据与图像处理．这两种方法是以MATLAB为主要工具，从不同的角度入手，采用了不同的编程思想．分析了这两种程序开发策略在HL-2A DAS中的运用情况及性能比较．     

一种基于双协议栈转换机制的IPv6网络安全研究

探讨IPv4向IPv6网络过渡的主要技术,并重点提出了双栈技术的安全性,在向IPv6协议的转换过程中,传统的网络安全工具仍然不可或缺,但是它们都必须加以改进以适应IPv6协议的要求．提出了一种基于双栈转换机制的网络动态安全防御体系,并对其应用前景作了展望．     

铸造质量控制中的数理统计方法

数理统计分析是一种十分有效的质量分析和控制手段，生产中最重要的工具包括七种数理统计工具和新七种数理统计工具．以CY6140车床床身铸件的生产过程为例，介绍了如何在铸造生产中应用排列图、因果图找出铸件主要废品及产生废品的主要原因，用散布图判断变量相关性，用直方图判断工序状况并用控制图动态地判断工序波动情况．通过对这些生产实例的分析，介绍了统计方法在铸造生产质量控制中的基本应用．     

一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标．     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大     

多协议转换技术在烟草信息化中的应用

文章简要的分析了多协议转换系统的组成结构及其特点,着重探讨了在面临不断改变外部环境(条件)下的项目应用活动中,多协议转换系统作为硬件适应工具、学习工具和的主要应用,以及其促进烟草信息化发展方面的作用。     

CAN总线智能节点的小型网络设计

CAN总线是现今非常流行的一种现场总线技术,其主要工作在链路层和物理层,但在使用过程中还需要添加应用层协议来实现具体的功能.目前应用最为广泛的应用层协议是De-viceNet和CANopen,但是这些协议比较复杂,更适用于大型的节点网络.本文简单介绍了CAN总线的特点和技术规范,提出了一种适用于小型CAN节点网络的应用层协议的设计方法.     

基于Petri网的协议辅助设计工具的实现

研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．     

自动产生TTCN测试套以及对RIP协议的应用

对协议测试套的产生大部分都是手工寻找的，介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具，该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS．并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用．     

MATLAB在电力拖动自动控制系统教学中的应用探索

本文研究将MATLAB中的Simulink工具应用于电力拖动自动控制系统教学中,进行建模、分析和仿真。分别通过实例介绍了面向传递函数建模和面向电气结构图建模两种方法．探讨它们在自动控制系统动态性能分析、虚拟实验开发和课程设计等方面的应用。     

IRIS软件在计算机网络实验教学中的应用

IRIS软件是一款嗅探工具,能提供良好的监控和分析数据包平台.在计算机网络实验课教学中应用IRIS软件分析截获的数据包,辅助学生理解诸如网络体系结构、数据在网络中的传递、协议及报文格式等多种抽象概念,增加学生的实验兴趣,取得了较好的实验教学效果.     

微格教学综合评价系统设计与实现

信息监控和评价信息化是微格教学发展中的重要方面．使用数据库技术和现代软件技术设计和实现微格教学综合评价系统，并利用模糊综合评判的方法设计微格教学的评价体系，为微格教学提供了一种科学客观的评价方法．其中，详细阐述了C／S和B／S结合的系统综合体系结构和功能模型及实现方法．C／S结构主要用于计算和统计评价，B／S结构用于评价结果发布和信息查询．实践证明，应用混合体系结构开发和应用系统收到较好的效果．     

网络协议实验系统的设计和实现

计算机网络已成为高等院校计算机课程中非常重要的一门课程。文中结合现有高校授课过程中存在的问题,利用Sniffer协议分析技术,在构建一种新的基于Sniffer计算机网络协议分析模型基础上,系统通过截获各种协议数据包来进行计算机网络协议分析,确定网络故障、病毒等,给出了常用的网络实验的主要内容及使用的主要工具,并对其中的一个实验进行了详细说明。     

嵌入式WebServer中H1TrP协议的分析

嵌入式Web服务器开发过程中,超文本传输协议作为互联网上应用最为广泛的一种网络协议．为了在嵌入式系统中更好的处理Web服务器与浏览器应用,对HTTP协议进行了分析实现．     

SIP与H.323协议的比较

H.323和SIP是当前在VoIP技术领域中两种主要的信令控制协议。简要介绍了两种协议的框架结构,并对其特性从消息组成、呼叫控制等几个方面进行了比较。探讨了两种协议的实际应用情况。