检索结果-南通市图书馆

数字世界 2002年第1期 22-23页

作者：鲁咏

什么是协议协议是计算机通过网络通信所使用的语言。只有使用相同协议,计算机才能彼此通信。在计算机网络环境中存在多种协议,每种协议都能完成基本的通信任务,而它们又有着不同的目的,用于完成不同的任务。

关键词：计算机网络网络协议通信协议

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

网络协议并行实现系统

计算机工程 1998年第9期24卷 29-31页

作者：朱培栋卢锡城国防科技大学计算机系长沙410073

析网络协议并行实现的必要性，探讨端系统与互连设备并行协议系统的实现体系结构和开发途径，通过示例展示了协议并行化技术的应用前景。

关键词：数据并行网络协议并行实现系统计算机网络

在线全文

学校读者我要写书评

暂无评论

网络协议的自动生成技术

系统工程与电子技术 1998年第9期20卷 60-65页

作者：孙翱温锋何熙文徐承深陈星大连理工大学微电子中心

随着高速网络节点数目的迅猛增加以及网络拓扑结构和应用的日益复杂，传统的网络协议已成为系统通讯的主要瓶颈问题。虽然采用专用的协议能满足特定应用的需要，但开发时间和费用非常大。因此非常需要一种自动的网络生成环境。本文介绍... 详细信息

随着高速网络节点数目的迅猛增加以及网络拓扑结构和应用的日益复杂，传统的网络协议已成为系统通讯的主要瓶颈问题。虽然采用专用的协议能满足特定应用的需要，但开发时间和费用非常大。因此非常需要一种自动的网络生成环境。本文介绍目前应用的存根编译和运行适配技术，在分析两种方法的基础上，给出相应的运行结果和性能比较。

关键词：编辑程序网络协议自动生成技术计算机网络

对Linux操作系统中TCP/IP网络协议的IP层排队分析

在线全文

学校读者我要写书评

暂无评论

计算机学报 2001年第8期24卷 860-865页

作者：郭传雄郑少仁解放军理工大学通信工程学院南京210016

随着网络技术的快速发展 ,主机间的通信速率已提高到千兆数量级 ,同时多媒体应用还要求网络协议支持多种业务类型 .因此对传统的 TCP/ IP协议栈进行研究 ,找出它们是否适于支持高速通信及提供 Qo S保障 ,并给出相应的改进方法具有重要... 详细信息

随着网络技术的快速发展 ,主机间的通信速率已提高到千兆数量级 ,同时多媒体应用还要求网络协议支持多种业务类型 .因此对传统的 TCP/ IP协议栈进行研究 ,找出它们是否适于支持高速通信及提供 Qo S保障 ,并给出相应的改进方法具有重要的意义 .基于这样的思路该文对 L inux操作系统中的 TCP/ IP协议的 IP层排队进行了分析 ,提出了一种基于检测点的对 TCP/ IP协议栈 IP层排队进行检测的方法 .经实验发现在 10 0 M的网络速率下IP层的输入侧没有排队现象发生 ,在 IP层的输出侧的排队在大吞吐量时有周期性的变化现象 .因此在 L inux的TCP/ IP协议栈中仅需要在 IP层的输出侧引入相应的分组调度算法 (如 WFQ)以提供 Qo S支持 .

关键词： TCP/IP协议网络协议 IP层排队 Linux 操作系统

在线全文

学校读者我要写书评

暂无评论

一种网络协议的自适应控制方法

计算机学报 2004年第12期27卷 1612-1616页

作者：潘清李未马世龙张晓清孙凌云北京航空航天大学软件开发环境国家重点实验室装备指挥技术学院电子工程系北京101416 装备指挥技术学院电子工程系

网络服务器过载问题已经成为日益关注的问题 ,过载会引起服务器系统性能急剧下降 ,客户请求长时间得不到响应 .国内外已经提出很多有关网络服务器过载的解决方案 ,其中 ,比较有效的方案是引入线程机制 ,通过中断和查询相结合来解决这个... 详细信息

网络服务器过载问题已经成为日益关注的问题 ,过载会引起服务器系统性能急剧下降 ,客户请求长时间得不到响应 .国内外已经提出很多有关网络服务器过载的解决方案 ,其中 ,比较有效的方案是引入线程机制 ,通过中断和查询相结合来解决这个问题 .文章从改进传统的操作系统内核事件处理机制出发 ,在传统的事件处理机制中引入了反馈控制 ,提出了基于自适应的网络协议控制方法 ,该方法通过控制网络协议处理中的硬件中断和软件中断处理 ,不仅避免了系统接收活锁问题 ,同时 ,也避免了由于过量中断所造成的网络协议处理和应用软件“饥饿”的问题 .测试表明在过载情况下 ,UDP性能提高了 10 0 % ,TCP性能也得到了明显的改善 .与其它方法相比 ,这些方法中有些无法克服接收活锁的问题 ,另外一些方法由于采用了查询机制 ,产生了延迟和额外的开销 ,这就使得文章提出的方法在性能上比采用查询机制的方法更好 .

关键词：网络协议自适应控制方法中断控制操作系统

在线全文

学校读者我要写书评

暂无评论

时间自动机与网络协议验证

计算机工程 2006年第22期32卷 130-132页

作者：高冠龙周清雷郑州大学信息工程学院郑州450052

随着网络协议复杂性的增大,其自身的潜在错误变得更加重要。使用形式化的方法来描述和验证网络协议可以发现其中的潜在错误。时间自动机是形式化方法的一种,可以很好地应用于网络协议验证中。目前基于时间自动机已经开发出了多种自动验... 详细信息

随着网络协议复杂性的增大,其自身的潜在错误变得更加重要。使用形式化的方法来描述和验证网络协议可以发现其中的潜在错误。时间自动机是形式化方法的一种,可以很好地应用于网络协议验证中。目前基于时间自动机已经开发出了多种自动验证工具。文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。

关键词：时间自动机网络协议阱议验证

在线全文

学校读者我要写书评

暂无评论

从Woo-Lam协议到网络协议的抽象验证

计算机研究与发展 2001年第8期38卷 1005-1009页

作者：张磊桑田黄连生王新兵清华大学计算机科学与技术系北京100084

形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 .以 Woo- L am协议为例 ,通过逆向递推的方式得到了协议... 详细信息

形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 .以 Woo- L am协议为例 ,通过逆向递推的方式得到了协议的所有攻击路径 ,并以图的形式表示其关系 ,详尽分析了协议的漏洞 ,最后。

关键词：形式化方法加密推理逻辑网络协议 Woo-Lam协议

在线全文

学校读者我要写书评

暂无评论

高速网络协议的研究与发展

小型微型计算机系统 1998年第2期19卷 15-22页

作者：潘建平顾冠群东南大学计算机系

支撑网络协议的高速通信技术和计算技术的飞速发展及新型网络应用的不断出现，使得传统协议在功能和性能两个方面面临新的挑战。传统的网络协议，特别是运输层协议，无法满足新型应用复杂的通信需求，也无法反映高速网络多样的传输服务... 详细信息

支撑网络协议的高速通信技术和计算技术的飞速发展及新型网络应用的不断出现，使得传统协议在功能和性能两个方面面临新的挑战。传统的网络协议，特别是运输层协议，无法满足新型应用复杂的通信需求，也无法反映高速网络多样的传输服务，成为网络学术界新的研究热点。本文试图从历史的观点出发揭示网络协议发展的内在动力和未来趋势。

关键词：计算机网络网络协议运输层协议