大规模设备协同中的时间建模与验证

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.     

IPv6网络拓扑发现方法研究

近年来依据IPv4定义的有限地址空间正在阻碍互联网的进一步发展,IPv6作为下一版本的互联网协议,为互联网的普及与深化发展提供了基本条件,其在技术上的日益成熟,也在全球范围内开始了实际的应用与部署,而获取IPv6骨干网络中路由器级别的拓扑信息,是对它实施有效管理的基础。论文论述了在通常网络中实现骨干网络拓扑发现的方法,针对当前IPv6网络的特性,借鉴IPv4骨干网络拓扑发现中的基本原理,并作了适当的补充和修改,提出了根据IPv6网络隧道技术以及IPv6网络地理拓扑信息的获取相结合的分布式网络拓扑发现新方法。论文最后对该方法的实现和结果进行了初步的分析和总结。