A Hybrid Formal Description Method Based on FSM,CSP and ADT for Communication Protocol

1.INTRODVCTIOWWiththedevelopmentofcomputernetworksandthedistributionofcomputersystems,thecomplexityandvarietyofcommunicationprotocolsandserviceshavebeengreatlyincreasedandsohavetheneedsofformaltechniquesforspecifying,validating,implementingandtestingprotocols.Moreattentionhasbeenfocusedonthissubjectofdevelopingformalmethodswhichaidtheprocessofprotocoldesign,andmuchworkontheformaltechniquesandtheiruseforprotocoldesign,implementationandtestinghasbeenp.erformedinrecentyears(SeeTable1)[2,31.T…     

中件TCP/IP网络接口实现

中件是网络环境中一系列分布式服务软件的集合,提供比操作系统和网络系统服务本身更简单和有效的应用程序接口（ＡＰＩ）。论述了中件的概念,讨论了如何在Ｗｉｎ３２环境下,采用ＶＣ通过ＭＦＣ调用、ＶＢ通过ＡｃｔｉｖｅＸ控件、Ｄｅｌｐｈｉ通过ＶＣＬ（ＶｉｓｕａｌＣｏｍｐｏｎｅｎｔＬｉｂｒａｒｙ）可视元件等多种途径实现中件对ＴＣＰ／ＩＰ网络的接口。     

Internet路由技术的研究

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

基于OSPF路由协议的GGSN应用

为了降低连接3G核心网和外部的数据网络的网关GGSN的数据包路由和转发的系统复杂度,本文提出了一种针对GGSN中路由和转发模块分离策略,通过对OSPF协议和网络拓扑路径的修改,实现了二者的分离;另外对Flooding过程的修改减少网络的流量,高可用性实现也达到了系统的无缝切换。实现证明,上述策略应用符合GGSN的功能需求,并且是有效的     

半双工信道上TCP/IP协议性能仿真

通过电台组网通信在特殊场合具有十分重要的应用价值。电台一般采用半双工方式通信,这种环境下TCP/IP的适用性及其性能值得研究。NS是网络模拟常用的工具,但它本身并不包含半双工链路模型。文中首先讨论在NS网络仿真软件中对半双工链路的建模,进而研究TCP/IP在半双工信道上的性能。模拟实验结果表明:只要解决半双工信道的信息冲突问题,TCP/IP在半双工链路上运行是完全可行的。     

基于MIDP的HTTP协议编程及其应用

文章介绍了一种HTTP网络协议在J2ME中的实现方法,并在此基础上设计了一个手机天气预报查询应用程序。文中对该程序设计中所涉及到的各种类库及主要接口和对象都进行了详细介绍,所开发的程序能够较好地实时获取网络上的24、48、72小时天气预报数据,最后给出了程序在仿真器与手机运行情况。     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

协议一致性测试数据包的构造与解析

数据包的构造与解析是协议一致性测试中的关键技术。在对协议一致性测试原理、特点和流程进行分析的基础上,定义协议一致性测试中的相关概念,建立协议一致性测试中的相关规则,提出一种数据包的构造、发送、捕获和解析的方法,设计数据包构造、发送、捕获和解析算法并对其进行分析。数据包构造算法可依据协议标准规定的消息格式,为每个数据包字段依次赋值;数据包发送算法是通过网络适配器,根据待发送数据包的名称、类型和发送序列,实施数据包的发送;数据包捕获与解析算法是通过网络适配器捕获原始数据包,设置并编译过滤规则,对捕获到的数据包按照协议标准说明进行解析,与预期构造的数据包进行比对。由于设置了过滤规则,有针对性地捕获数据包,因而,提高了数据包的捕获准确率。     

A Secure and Pragmatic Routing Protocol for Mobile Ad hoc Networks

An ad hoc network is a group of wireless mobile computers （or nodes）, in which individual nodes cooperate by forwarding packets for each other to allow nodes to communicate beyond direct wireless transmission range. Because of node mobility and power limitations, the network topology changes frequently. Routing protocol plays an important role in the ad hoc network. A recent trend in ad hoc network routing is the reactive on-demand philosophy where routes are established only when required. As an optimization for the current Dynamic Source Routing Protocol, a secure and pragmatic routes selection scheme based on Reputation Systems was proposed. We design the Secure and Pragmatic Routing protocol and implement simulation models using GloMoSim. Simulation results show that the Secure and Pragmatic Routing protocol provides better experimental results on packet delivery ratio, power consumption and system throughput than Dynamic Source Routing Protocol.     

言语运动分析软件(MSP)的参数研究

近年来,计算机技术飞速发展,通过计算机的言语分析软件对动态病理言语评估更具有客观性和稳定性.文章介绍美国Kay公司生产的言语运动分析软件(MSP),该程序能够提取有关言语障碍的声学参数,将患者的语音通过软件分析处理,与正常人标准样本对比,总结出带有图形和数值信息的综合性报告,从而达到评估动态病理言语的目的,为临床诊断和治疗提供了依据.