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

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

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

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

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

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

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

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

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

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

Internet面向用户的计帐方法

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

用路由软件组建BGP4+协议一致性测试平台

IPV 6协议是下一代互联网协议.BGP 4 协议是支持IPV 6的多协议扩展的外部网关路由选择协议.简要介绍了BGP 4 协议和路由软件Zebra.对BGP 4 协议一致性测试平台的结构进行讨论,给出了一个用路由软件Zebra组建支持IPV 6的BGP 4 协议一致性测试平台的例子.     

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

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

基于GPRS和数据库的油田远程监控系统的设计与实现

油田远程监控系统可以实时采集油井的各项专业数据并分析显示抽油机井的工作状态.该系统的硬件部分负责采集油井的各项实时数据并将这些信息经无线网络发送给具有固定IP地址的监控中心,监控中心的服务器端软件将采集回来的数据解析到数据库,同时分析油井所处的各种状态.监控系统的客户端软件将服务器端分析出的数据以用户需要的方式组合并显示.该系统是一种集传感器应用技术、计算机数据采集处理技术、GPRS通信技术于一体的高新技术产品.