国家重点基础研究发展计划(2010CB328105)
- 作品数：14 被引量：226H指数：4
- 相关作者：林闯庞善臣董扬威田立勤杨明博更多>>
- 相关机构：清华大学山东科技大学华北科技学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术轻工技术与工程更多>>
- 基于DTN的空间网络互联服务研究综述被引量：32
- 2014年
- 空间通信需求的迅猛增长促使空间通信向网络化和天地一体化的方向不断发展.空间网络具有子网异构、网络拓扑不断变化、链路传输延迟大、链路误码率高等特点.TCP/IP网络协议族需要连续稳定的网络连接和较短的传输时延,空间网络不能满足这些条件,因此相关协议不能直接应用于空间网络.延迟/中断容忍网络(delay/disruption tolerant network,DTN)是一种通用的面向消息的覆盖层网络体系结构,能够适应空间网络的特点,是实现空间网络互联的有效连接方式.首先阐述了DTN应用于空间网络互联服务(space internetworking service,SIS)的体系结构,分析了组成要素和工作模式,包含协议栈构成、消息转发机制、命名与寻址机制等,介绍了支撑空间DTN应用的LTP(licklider transmissionprotocol)协议,并给出了火星探测场景实例;然后针对路由机制、安全机制和服务质量控制3个重点研究方向,阐述了关键技术和进展情况,分析了存在的问题和下一步的研究方向;然后介绍了相关的开发、实践和飞行验证项目;最后分析了在中国开展基于DTN的SIS研究及应用前景.
- 林闯董扬威单志广
- 关键词：路由服务质量
- 基于双滑动窗口的用户行为信任评估机制被引量：11
- 2010年
- 仅仅提供用户身份认证的安全控制已不能完全适应云计算等新型计算机网络应用,必须结合提供动态的行为可信的安全措施。该文借鉴社会信任的特性和计算机对信任评估的要求,提出较全面的评价用户行为信任的基本原则。然后给出一种基于行为证据的双滑动窗口的行为信任的量化评估机制。通过对滑动窗口的初始化,通过窗口的大小、窗口滑动的条件、过期信任和不信任记录在窗口位置的确定以及窗口内容的更新与替换来保证用户行为信任评估的可信性和可扩展性。最后根据信任的评估标准,用数据和理论分析证明了评估机制的可信性和可扩展性。与已有的主要信任评估算法相比较,该评估方法粒度细,信任评估对象不是服务提供者而是终端用户。
- 田立勤林闯
- 一种基于资源约束的工作流建模及分析方法被引量：4
- 2012年
- 资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.
- 庞善臣
- 关键词：资源约束工作流网完整性
- 一种基于不变量结构分解的工作流性能分析方法被引量：6
- 2010年
- 基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上,利用矩姆函数,建立了工作流的时间性能分析方法,所得结果为工作流模型分析和验证提供了理论基础和依据,并可有效降低工作流系统的分析复杂度,对于分析工作流系统处理业务实例的能力,提高业务处理效率有重要意义,给出的实例验证了算法的有效性.
- 庞善臣蒋昌俊
- 关键词：不变量多项式算法性能分析
- 内容分发网络中资源感知的服务节点选择问题被引量：1
- 2012年
- 提出了一种在内容分发网络中选取最优服务节点的方法.该方法权衡了服务性能和服务开销,根据实时测量的网络状况和服务节点工作状态,利用网络坐标方法预测服务开销,同时在网络坐标空间中,利用分层聚类思想组织各服务节点,使用户请求能在保证服务性能的前提下,自适应地定位到开销最小的服务节点.实验结果表明,该方法可有效提高资源定位准确度,减少服务开销且具有较好的时间特性.
- 惠雯林闯杨扬
- 关键词：内容分发网络资源定位分层聚类网络坐标
- 行为证据不全对无线传感器网络信任评估的影响与性质分析被引量：1
- 2010年
- 在无线传感器网络中单独基于节点身份认证的静态安全控制不能满足动态的安全需要,必须结合节点动态的行为可信确认才能更好地提供安全保障,因此基于行为可信的研究已经成为业界研究无线传感器网络的热点。在节点行为信任评估中,行为证据是行为评估的根本依据,但由于节点的行为是随机的,不确定的,因此能否获得证据也是随机的,不确定的,这就造成了节点行为证据不全、每次交往的行为价值不相等的现象,但目前在无线传感器网络的行为信任评估中很少考虑这个非常重要的现象。分析了节点交往中行为证据不全对信任评估带来的重要影响,论述了节点交往中证据不全与节点行为价值的关系,给出了不足填充法和权重扩展法等针对不同价值交往的节点信任评估策略。最后通过两个定理和两个性质证明了方法对节点行为信任评估的作用和性质,这为提高节点行为信任的价值可信度奠定了量化基础。
- 田立勤林闯
- 关键词：无线传感器网路
- 能源互联网与能源路由器被引量：164
- 2014年
- 日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联网式的能源互联网愿景,本文探讨了以能源路由器为核心交换装置的能源互联网实现模型,从能源路由器的实现目标,已有支撑技术和实现部署方式等方面分析了涉及的关键技术,并结合已有研究成果说明了该领域亟需突破的研究方向.
- 曹军威孟坤王继业杨明博陈震李文焯林闯
- 关键词：能源互联网可再生能源分布式能源微网
- LTP协议数据传输轮次
- 2015年
- Licklider协议(Licklider transmission protocol,LTP)是一种主要应用于空间网络的点到点传输协议,可用于空间网络相邻节点间的数据传输。LTP可靠传输通过返回确认和重传实现。空间网络节点间距离长,多个往返轮次的确认和重传过程造成极大的传输延迟。该文给出了一种传输轮次的形式化分析方法,其结果包含传输轮次的分布函数、期望和方差。另外提供了一种基于上下界的方法,给出了形式非常简洁的结论,其结果包含轮次期望的上下界和近似值。然后通过典型例子的仿真计算和比较验证了相关结论。
- 董扬威林闯
- 机载视频点播服务中的路由请求算法研究
- 2013年
- 机载视频点播中的路由选择问题是有效保证点播服务用户体验的重要技术之一。该问题可抽象为一个受控离散时间排队系统,包括一个分发器与一些VoD服务器。该系统可用马尔科夫决策过程进行建模。由于马尔科夫决策过程存在状态空间爆炸问题,因此给出了一种基于贪心策略的启发式算法。该启发式算法较为简单,且可以在线执行。最后进行了大量仿真实验,说明启发式算法较为有效。
- 万剑雄向旭东陈昕
- 可重写Petri网:位置可重写及性质分析被引量：3
- 2012年
- 针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.
- 庞善臣林闯
- 关键词：活性
