前言

近年来,随着互联网、移动网、物联网、社会网等网络技术的迅猛发展,“人‐机‐物”网络空间中网络规模不断膨胀、网络结构日益复杂、信息与数据也呈爆炸式增长。在此背景下,传统的技术手段在解决网络控制、资源管理、服务质量和异常检测等网络问题时会存在一定的局限性。而日趋成熟的大数据理论及方法,为解决这些问题提供了新的机遇,也吸引了网络科学研究者们的注意,并衍生出大数据驱动的网络科学研究这一新兴的研究领域。     

基于网络教育集成平台的安全系统的设计与实现

本文以网络教育系统集成为应用背景,阐述在支撑平台中实现的一个基于XML安全技术系统的设计方法、系统结构和功能模块,为开发其他应用系统提供了一个具有互操作性 、可移植性、可扩充性和可雏护性的安全平台。     

不可否认协议的Petri网建模与分析

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用．作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们．以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其他形式化方法无法描述的协议性质．使用该方法分析Zhou和Gollmann于1996年提出的一个公平不可否认协议,可以发现该协议的一个许多其他形式化方法不能发现的已知缺陷．     

基于Agent和蚁群算法的分布式服务发现

提出一种类似蚂蚁觅食活动的Agent服务发现机制.有两类Agent 合作寻找目标服务:Search Agent和Guide Agent.前者模拟蚂蚁的行为在网络上发现目标服务,后者管理一个由信息素和跳数组成的服务路由表,用以指导Search Agent的行进路线.动态变化的信息素可以让Search Agent感知到网络拓扑和服务资源的变化,而跳数可以让它们了解距离.路由选择中还使用语义相似度作为启发因子,用于提高召回率.Search Agent生命周期控制机制使查询流量负载成为可控的,并具有确定的上界.实验结果表明,该方法在大规模的分布式计算环境下具有良好的可扩展性和动态环境下的适应性.     

模糊Petri网在带权不精确知识表示和推理中的应用研究

Petri网是一种适合于描述异步并发事件的计算机系统模型 ,可以有效地对并行和并发系统进行形式化验证和行为分析 .以模糊 Petri网的基本定义为基础 ,讨论了带权模糊知识的模糊产生式系统表示法 ,建立了这种表示法与模糊 Petri网之间的映射关系和转换算法 ;在对模糊 Petri网进一步扩充的基础上 ,解决了与知识的模糊Petri网表示相关的几个问题 ;最后给出了模糊 Petri网中不确定性的计算方法和相应的不精确推理算法     

云计算环境下支持复杂查询的多维数据索引机制

针对云计算环境下分布式存储系统的数据索引不支持复杂查询的问题,提出了一种多维数据索引机制M-Index,采用金字塔技术(pyramid-technique)将数据的多维元数据描述成一维索引,在此基础上首次提出前缀二叉树(prefix binary tree,PBT)的概念,通过提取一维索引和PBT有效节点的前缀作为数据在存储系统中的主键.数据根据主键和一致性Hash机制发布到存储节点组成的覆盖网络.设计了基于M-Index的数据查询算法,将复杂查询请求转换成一维查询键值,有效支持多维查询和区间查询等复杂查询模式.理论分析和实验表明,M-Index在复杂查询模式下具有良好的查询效率和负载均衡.     

基于可信可控网络的流量工程与覆盖网路由的合作博弈模型

传统网络中的流量工程和覆盖网络路由之间存在的目标冲突问题严重影响了网络的效率和稳定性.针对该问题,文中在可信可控网络模型的基础上提出了流量工程与覆盖网路由合作博弈模型,将其转化为一个静态Nash讨价还价问题,给出了模型的帕累托最优解,并实现了对流量工程和覆盖网路由的一次性配置.与以往的解决方法相比,该模型的解具有帕累托最优性,提高了底层网络和覆盖网的性能;通过一次性完成对流量工程和覆盖网路由的配置,该模型完全避免了传统方法引起的路由翻动现象,提高了网络的稳定性.仿真实验结果表明,文中提出的方法优于解决同样问题的已有方法.     

基于排队Petri网的服务系统性能建模与分析方法

如何有效评估服务系统的性能表现是解决服务对动态网络环境适配性的关键.然而,基于互联网的服务系统的规模尺度和复杂程度不断提高,使得服务系统的性能建模和分析越来越困难.通过分析服务系统的执行过程,提出了一种基于排队Petri网的性能建模和分析方法.该方法将服务系统运行过程分为服务准备和服务提供两个阶段.服务准备阶段被建模为...     

基于策略的网络管理

现代企业网络出现一些新的特点和管理需求,本文在对此进行分析的基础上提出了基于策略的集成化网络管理模型,并详细地探讨了其工作原理及实现机理。     

一种可信可控的网络体系及协议结构

互联网体系架构正面临着严峻的安全和管理挑战,迫切需要具备可信性和可控性特征的新架构.已有的网络体系结构要么是基于边缘论和面向非连接的设计思想,导致分组传输路径不可控,要么是重新设计现有网络的体系架构,代价巨大.文中提出了一种可信可控的网络体系结构,其特征是在现有网络体系架构的基础上增加一个可信可控4层逻辑结构,从而实现网络组元及用户行为的可预期、可管理,它包括决策层、观测层、资源层和可信接口层4个层次;在明确新网络体系结构中网络控制对象为逻辑流的前提下,给出了一种包含感知与监测、理解与检测、判断与决策和控制及可达4个功能环节的闭环自反馈控制方法,确保网络系统可自诊断、自恢复地回归稳定态.同时指出具备跨层交互能力的可信接口层是新体系实现可信可控的关键,继而给出了位于该层的可信可控协议模型,并定义了确保协议执行可预期的协议基本功能;指出了逻辑流中信任流是协议的主要控制对象,并基于新体系结构下网络控制方法,通过融合信任管理和不可否认服务的方式给出了协议可信的控制方法.为验证协议模型和控制方法的有效性,给出了协议的具体实施方案,包括协议基本要素和协议两阶段执行过程.最后,给出了新体系与现有技术相比较所具备的优势,并对下一步工作进行了展望.