集合识别问题的D序列和UIO序列的一种推导方法

集合识别方法是非确定性分布式系统相容性测试的一种新方法，是经典的状态识别方法的一种扩展，提出了在集合识别问题中使用的推导Ｄ序列和ＵＩＯ序列的方法。     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

感知实时车流信息的VANET路由仿真研究

车用自组织网络利用车辆间通讯来提高道路交通安全和效率,路由协议的性能至关重要。提出一种感知实时车流信息的路由协议,能够不依赖于基础设施,通过挖掘和汇聚车辆位置数据,实现城市道路上的车流密度估算,并给出车流自适应路径选择方法,动态产生及维护由多条道路连成的数据包传递路径。对车辆高密度和低密度场合下的仿真表明,在网络开销没有明显增长的情况下,协议可以获得较好的性能,数据包递送率达到83%以上,平均发送延迟限制在2秒以内。     

OSPFv3协议一致性测试序列的自动生成

由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

Internet面向用户的计帐方法

近年来ＣＥＲＮＥＴ有了长足的发展，越来越多的院校和科研部门连入了ＣＥＲＮＥＴ。网络计费是ＣＥＲＮＥＴ上一个十分迫切和关键的问题，目前已多种上计费系统，但大多数计费都是基于ＩＰ地址的，这种方法对于多人使用同一台计算机的情况，不能分别对每个用户来计帐，因此存在许多不方便之处，本提出了一种面向用户的计费方法，这种方法还可以有效防止ＩＰ地址的盗用。     

动态蒙古文网站建设中的若干问题研究

在蒙古语远程教育平台的建设中,可以通过蒙古语教学网站将教学资讯和优秀的教学资源及时地提供给老师与学生,达到提高教学水平的目的.动态蒙古语网站的建立由于其语种的特殊性存在着一些特有的问题需要解决.对动态蒙古文网站建设中的若干技术难题进行了探讨,给出了解决方案.     

软件压力测试流程

在金融、电信等领域 ,随着业务处理的集中化 ,中心服务器压力也在增加 ,在新软件使用前都要进行压力测试 .本文介绍了压力测试的概念 ,并提出压力测试实施的一般流程     

基于PC的IPv6网络平台及其测试的探讨

介绍了如何用普通的 PC机组建一个与路由无关的 IPv6网络 ,并在其上实践 IPv6协议 .说明了如何组建测试 IPv6协议所需的测试环境 ,并探讨协议的测试过程 .