利用无私节点改善基于支付机制P2P应用的性能

P2P应用中引入支付机制能够激励用户共享自己的资源来换取他人的服务,但缺点是用户获取货币能力不均衡会导致一些用户难以获得服务.文中提出加入一定的无私节点来提供基本服务保障时间来改善网络可用性的思路,并采用排队论理论对加入无私节点的网络性能进行了建模分析,得出系统请求平均等待时间、请求分配比例、服务保障时间和无私节点比例之间的函数关系,对于评估和优化系统性能有一定的指导意义.     

利用不动点求解子句逻辑推演的Petri网模型

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.     

多服务器多队列系统调度方案的性能分析

本文讨论了多服务器多队列系统的调度、选择控制方案,并提供了这些方案的随机Petri网模型.这篇论文强调这些方案的设计和性能分析.为了掌握这类系统调度、选择控制方案的设计,我们讨论了方案性能优劣性的成因.本文的多服务器多队列系统模型、调度和选择控制方案和性能分析技术可以应用于这类系统的性能评价.     

一种区分服务综合方案的模型与性能分析

本文提出了一种将Internet网络分组传输延时和丢失控制的区分服务要求相结合的综合方案,它具有较强的通用性和灵活性.文章给出了PHB实现机制的一种基于随机Petri网模型的分析框架,并给出了性能指标的分析和数值结果.模型求解采用了一种分解、迭代的近似方法,可以有效降低求解复杂度.近似分析结果和模拟结果的比较证明,这种近似求解方法是可行的.     

基于动态缓冲阈值的Internet区分服务

该文提出了一种将Internet网络分组传输延时和丢失控制的区分服务要求合并在一起的综合方案.在这个方案中,分组丢失控制是基于动态缓冲阈值(dynamic buffer threshold,简称DBT)方案.在DBT方案中,缓冲控制阈值基于分组丢失行为而动态地变化.在静态缓冲阈值(static buffer threshold,简称SBT)方案中,分组丢失变化没有控制,丢失率变化大.对于缓冲控制阈值的确定,没有简明的数学表达方式.由于SBT不能随着传输突发特性的变化而变化,从而影响网络的系统性能.该文提出的DBT方案不但可以克服这些问题,而且可以确定和控制标志分组与非标志分组丢失率之间的比例关系.文章给出了所提出方案的随机Petri网性能模型、不同分组级别之间的丢失比例数学公式以及此方案重要性能的模拟和分析结果.     

基于非合作博弈的无线网络路由机制研究

无线网络因其分布性、独立性、移动性等特点,网络性能容易受到自私节点的影响.文中综述了无线网络中因自私节点的存在而带来的一些关键问题,特别对含有自私节点的无线环境中基于非合作博弈理论的路由机制进行了分析和研究.为了解决网络中自私节点的问题,目前研究人员主要提出了两种机制:基于信任度的机制和基于非合作博弈的激励机制.文中对上述两类机制进行了总结和分析,特别地,针对无线自组织网络和无线网状网络中各种激励机制进行了详细的研究.网络编码作为一种有效的技术有助于提高无线网络的性能,文中探讨了基于网络编码的优化埘含有自私节点的无线网络性能的影响.同时还分析了非合作无线网络中节点共谋的问题,最后提出了当前非合作无线网络研究中存在的理论挑战及潜在的热点方向.     

无线传感器网络的QoS体系结构

不同于传统互联网,作为涵盖了数据感知、处理和传输的复杂任务型网络,无线传感器网络面向应用的特点给服务质量(QoS)研究带来了许多新的挑战,需要针对QoS体系结构以及QoS指标间复杂关系的系统工作.文中首先提出了无线传感器网络中QoS指标的分层模型以及相应的规范化描述,然后分析了QoS指标的映射关系,最后提出了一个层次化的QpS体系结构,希望为无线传感器网络中QoS保障技术的系统性研究提供参考.     

基于空间优化的决策树算法*

通过增加一些规则来最终减少规则转换的冗余问题,并设计一种算法实现这种优化.在优化后的规则库、单维上用决策树方法查找,结果以位向量的方式存放,保持了算法的高速度,同时有效地节省了空间.     

前言

正智慧城市是当今世界城市发展的新理念和新模式,是新一代信息技术创新应用与城市经济社会发展深度融合的产物.智慧城市以物联网、云计算、移动互联网、大数据、遥感遥测、空间地理信息系统等新一代信息技术为基础,以物联化和互联化的方式动态获取、感知、分析和整合城市各方面数据,促进城市信息资源的网络化共享、集约化整合、协作化开发和高效化利用.发展智慧城市相关技术,能够促进现代