您的位置: 专家智库 > >

国家重点基础研究发展计划(2010CB328105)

作品数:14 被引量:222H指数:4
相关作者:林闯庞善臣董扬威田立勤杨明博更多>>
相关机构:清华大学山东科技大学华北科技学院更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金中国博士后科学基金更多>>
相关领域:自动化与计算机技术电子电信航空宇航科学技术轻工技术与工程更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 3篇电子电信
  • 1篇航空宇航科学...

主题

  • 3篇网络
  • 3篇路由
  • 2篇性质分析
  • 2篇工作流
  • 1篇点播
  • 1篇点播服务
  • 1篇多项式
  • 1篇多项式算法
  • 1篇信任评估
  • 1篇性能分析
  • 1篇用户
  • 1篇用户行为
  • 1篇再生能源
  • 1篇容忍
  • 1篇视频
  • 1篇视频点播
  • 1篇数据抽象
  • 1篇数据传输
  • 1篇贪心
  • 1篇内容分发网

机构

  • 10篇清华大学
  • 3篇山东科技大学
  • 2篇北京科技大学
  • 2篇华北科技学院
  • 1篇国家电网公司
  • 1篇北京信息科技...
  • 1篇同济大学
  • 1篇中国科学院软...
  • 1篇国家信息中心
  • 1篇密歇根大学

作者

  • 8篇林闯
  • 3篇庞善臣
  • 2篇董扬威
  • 2篇田立勤
  • 1篇惠雯
  • 1篇陈震
  • 1篇曹军威
  • 1篇陈昕
  • 1篇杨扬
  • 1篇向旭东
  • 1篇孟坤
  • 1篇王继业
  • 1篇杨明博
  • 1篇单志广
  • 1篇蒋昌俊
  • 1篇万剑雄
  • 1篇时磊
  • 1篇廖琦

传媒

  • 2篇清华大学学报...
  • 2篇计算机学报
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机辅助设...
  • 1篇电光与控制
  • 1篇北京邮电大学...
  • 1篇计算机科学
  • 1篇中国科学:信...
  • 1篇Fronti...

年份

  • 1篇2016
  • 1篇2015
  • 2篇2014
  • 2篇2013
  • 3篇2012
  • 3篇2010
14 条 记 录,以下是 1-10
排序方式:
基于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网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.
庞善臣
关键词:资源约束工作流网完整性
内容分发网络中资源感知的服务节点选择问题被引量:1
2012年
提出了一种在内容分发网络中选取最优服务节点的方法.该方法权衡了服务性能和服务开销,根据实时测量的网络状况和服务节点工作状态,利用网络坐标方法预测服务开销,同时在网络坐标空间中,利用分层聚类思想组织各服务节点,使用户请求能在保证服务性能的前提下,自适应地定位到开销最小的服务节点.实验结果表明,该方法可有效提高资源定位准确度,减少服务开销且具有较好的时间特性.
惠雯林闯杨扬
关键词:内容分发网络资源定位分层聚类网络坐标
行为证据不全对无线传感器网络信任评估的影响与性质分析被引量:1
2010年
在无线传感器网络中单独基于节点身份认证的静态安全控制不能满足动态的安全需要,必须结合节点动态的行为可信确认才能更好地提供安全保障,因此基于行为可信的研究已经成为业界研究无线传感器网络的热点。在节点行为信任评估中,行为证据是行为评估的根本依据,但由于节点的行为是随机的,不确定的,因此能否获得证据也是随机的,不确定的,这就造成了节点行为证据不全、每次交往的行为价值不相等的现象,但目前在无线传感器网络的行为信任评估中很少考虑这个非常重要的现象。分析了节点交往中行为证据不全对信任评估带来的重要影响,论述了节点交往中证据不全与节点行为价值的关系,给出了不足填充法和权重扩展法等针对不同价值交往的节点信任评估策略。最后通过两个定理和两个性质证明了方法对节点行为信任评估的作用和性质,这为提高节点行为信任的价值可信度奠定了量化基础。
田立勤林闯
关键词:无线传感器网路
机载视频点播服务中的路由请求算法研究
2013年
机载视频点播中的路由选择问题是有效保证点播服务用户体验的重要技术之一。该问题可抽象为一个受控离散时间排队系统,包括一个分发器与一些VoD服务器。该系统可用马尔科夫决策过程进行建模。由于马尔科夫决策过程存在状态空间爆炸问题,因此给出了一种基于贪心策略的启发式算法。该启发式算法较为简单,且可以在线执行。最后进行了大量仿真实验,说明启发式算法较为有效。
万剑雄向旭东陈昕
可重写Petri网:位置可重写及性质分析被引量:3
2012年
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.
庞善臣林闯
关键词:活性
Joint study on VMs deployment, assignment and migration in geographically distributed data centers
2016年
Enterprises build private clouds to provide IT re- sources for geographically distributed subsidiaries or prod- uct divisions. Public cloud providers like Amazon lease their platforms to enterprise users, thus, enterprises can also rent a number of virtual machines (VMs) from their data centers in the service provider networks. Unfortunately, the network cannot always guarantee stable connectivity for their clients to access the VMs or low-latency transfer among data centers. Usually, both latency and bandwidth are in unstable network environment. Being affected by background traffics, the net- work status can be volatile. To reduce the latency uncertainty of client accesses, enterprises should consider the network status when they deploy data centers or rent virtual data cen- ters from cloud providers. In this paper, we first develop a data center deployment and assignment scheme for an enter- prise to meet its users' requirements under uncertain network status. To accommodate to the changes of the network status and users' demands, a VMs migration-based redeployment scheme is adopted. These two schemes work in a joint way, and lay out a framework to help enterprises make better use of private or public clouds.
Chuang LINMin YAOYin LI
基于变换的大图点边可视化综述被引量:4
2013年
大图可视化是信息可视化领域的前沿课题之一,也是在线社会网络、信息安全、电子商务等热点行业大数据分析的重要支撑技术.基于变换的大图点边可视化方法由于其具有在线处理时间短、可视复杂度低、交互方法灵活多样等优点,近年来在学术界与实际商用系统中得到广泛重视与应用.文中从图可视化的基本概念及其在大图上的关键挑战出发,梳理了基于变换的大图点边可视化方法的典型分类与主要流程;通过详述3类基于变换的大图点边可视化典型方法(图数据抽象、视图变换与视角转换),阐明了不同方案的优缺点与适用场景,并进一步指出了未来工作的可行方向与潜在难点.
时磊廖琦林闯
一种基于不变量结构分解的工作流性能分析方法被引量:6
2010年
基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上,利用矩姆函数,建立了工作流的时间性能分析方法,所得结果为工作流模型分析和验证提供了理论基础和依据,并可有效降低工作流系统的分析复杂度,对于分析工作流系统处理业务实例的能力,提高业务处理效率有重要意义,给出的实例验证了算法的有效性.
庞善臣蒋昌俊
关键词:不变量多项式算法性能分析
共2页<12>
聚类工具0