基于超级P2P的网格GIS体系结构及其支撑环境

Grid-GIS是一个采用SOA思想,支持动态多功能集成的网格GIS系统.系统采用一种超级P2P的网格体系结构,实现GIS资源的分布式存储、查询处理和动态功能集成;根据领域本体知识和推理机制,实现基于语义的智能查询;基于文本相似性,可分领域注册GIS资源,实现资源的快速发现;根据系统的状态和任务之间的通信关系,改进成本约束的自适应调度算法,实现系统的动态调度和负载平衡;采用WS-security扩展实现网格的安全性,既可以保证网格的安全又可以实现与其他平台的兼容性.基于LAN做了一个数据共享和转换的试验系统,验证了系统的可行性和有效性.     

云计算环境中P2P计算的优化组织模型

P2P计算具有一些良好的特质,但是由于资源分布的任意性、互联网较大的延时、较低的有效带宽以及较高的数据传输代价,实际中目前的P2P计算效率受到了很大限制。对此问题以前的研究工作主要集中于在现行的P2P计算模型下,对一些机制进行改进。与这些先前工作不同,该研究提出了一个新的模型,它对P2P计算进行优化的组织,即将一些合适的P2P计算实例调度到适合的云计算节点上,并且以最优的方式来为其调度所需资源。更重要地,该文对优化组织过程进行了详细的数学分析和深入的理论建模,并同时对性能和代价进行了考虑。由于问题的解空间将随着问题规模的增长以指数速度扩张,因此提出了基于生物免疫思想的智能计算方法。实验验证了该算法的有效性和效率;并且与现行P2P计算模式进行对比实验的结果表明:该模型和方法为不同类型的P2P计算任务节省了运行时间和实际代价。     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

基于P2P流媒体的远程教育系统

针对传统的基于Web服务方式的远程教育系统存在的问题,提出了一种基于P2P流媒体技术的远程教育体系.对该系统的关键性技术进行了讨论,并对该系统的体系结构与系统实现进行了深入研究,在实际运行过程中取得了较好的效果.     

基于Pi-演算的Web服务可替换性验证

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.     

P2P网络资源共享中基于信誉的访问控制

在分析了传统的访问控制的基础上,针对P2P网络的特点,提出了基于信誉-角色的访问控制模型在P2P网络资源共享中的应用,研究了信誉的量化机制和信誉度的计算方法,最后给出了该访问控制模型的体系结构,并分析了该模型的优点.     

基于Agent的P2P网络流量监控与调整模型

本文提出了一种基于Agent的P2P网络流量监控与调整模型。该模型借鉴Agent的体系结构,在P2P网络中设置监控管理站点,通过Agent体系结构组织起来,对整个P2P网络进行流量监测,并对网络中的超负荷节点进行流量调整,重新组织网络的拓扑结构。该文实验采用VC对系统进行模拟分析,实验结果表明该方法对调整网络流量具有十分明显的效果,能够有效的调整系统节点的拓扑结构,在系统负荷过重的情况下,有效的减少系统开销,限制超负荷节点对网络带宽的消耗,提高对网络的利用率。在目前的P2P网络中,本文的网络流量监控与调整模型具有一定的推广和使用价值。     

中国地震减灾网格试验床计算网格平台的构建

研究构建中国地震减灾网格试验床的关键技术.基于OGSA和GT3体系结构,提出了计算网格平台的编程模型,分析了模型的网格Web应用层、网格Web服务器层和网格资源/服务层之间的关系.设计并实现了模型的关键组件,并给出了基于GSI的模型安全解决方案,最终构建了一个计算网格平台,并在平台上实现了云南地区的地震应力触发计算.计算结果表明,该平台满足网格计算的需求,并能提高计算效率.     

网格计算环境中的资源管理研究

现有的资源管理模型往往无法同时满足网格计算的动态性、可伸缩性和适应性需求.针对这个问题,提出了一种融合了Web计算技术、正统的网格计算技术和对等计算技术的资源管理模型.它将整个网格计算环境分为两级,在各个管理域内部可采用不同的管理策略和体系结构,体现了对遗留系统的适应性支持;各管理域之间的组织则采用对等计算模式,从而可适应网格计算环境的动态性和可伸缩性.在该模型中,标准化的互操作性通过万维网服务提供,以克服资源的异质性;动态资源部署采用基于XML的数据模型来描述资源信息,并通过软状态机制来解决分布式垃圾收集问题;动态资源发现克服了LDAP和关系性数据模型的限制,具有高度的灵活性和可扩展性.     

P2P网络主动免疫联防模型的研究

针对目前对等计算(P2P)网络中越来越严重的病毒传播和感染问题,结合生物免疫系统的工作原理和P2P网络自身的特点,提出一种新的P2P网络主动免疫联防模型.该模型将Peer节点局部免疫系统和以反病毒中心节点(ACP)主导的整体免疫防御体系有机结合在一起,从而对通过网络传播的恶意代码、病毒进行有效的、主动的控制和防御.详细的描述了P2P网络主动免疫联防模型的组成和运作流程,分析了模型中需要解决的关键问题,重点研究了ACP对病毒报告的应答机制和相应策略,并构建实验系统对此研究结果予以验证.     

一种基于P2P 网络技术的复合知识云模型

为了支持信息量和用户数均规模庞大的网络知识共享系统,必须采用先进的信息技术,云计算技术是理想的选择,但是仅采用云计算技术来构建知识共享系统还存在着一系列问题.文中将对等网络和云计算技术应用于大规模网络知识共享系统,提出了一种基于对等网络技术的复合知识云模型.模型本着平等、协作、分享、自由的互联网精神,并利用对等网络技术...     

一种新的基于P2P的电信海量数据分析业务模式

Internet环境中存在着大量的边缘节点.作为Internet主要建设者并拥有数量庞大数据业务用户的电信运营部门是否可以挖掘这些边缘节点蕴涵着的巨大的计算能力和信息资源,是一个值得深入研究的课题.基于P2P的对等思想,提出一种对电信运营部门具有参考价值的新的业务模式,即利用电信数据业务用户,在用户接入网络享受服务的同时,聚集广大用户闲置的计算资源来分析电信运营部门自身的海量数据.首先分析P2P技术对电信运营部门正面和负面影响,并选择适合电信运营部门采用的P2P网络拓扑结构;然后分析目前电信运营部门对海量数据分析的迫切需求,具体描述了基于P2P的电信海量数据分析业务,以及如何以电信为中介推广P2P应用;文章最后阐述了如何构建基于P2P的数据分析应用示范系统.     

基于电子票券和全局信誉度的P2P激励机制

为了解决对等计算(P2P)网络中存在的搭便车、公共悲剧、虚假文件、共谋以及不合作等问题,在分析对等节点类型和设定激励原则的基础上,提出了一种基于电子票券的P2P激励机制,并结合一种新的全局信誉度算法对节点行为进行调控.机制利用hash链技术并参考Payword思想设计了适用于P2P网络分布式支付行为的电子票券,并通过引入惩罚因子实现节点信誉度的评价方法.构建仿真实验环境对基于电子票券和全局信誉度的P2P激励机制展开了一系列实验.实验和分析结论表明,机制可有效遏制恶意节点,激励对等节点积极的、诚实地持续贡献自己的各种资源和进行协作,促使P2P网络逐渐演变为有序的任务协作和资源共享的运行环境.     

Adaptive Trust Management Framework in P2P Grid Computing

In P2P Grid computing systems, the authorization decision is often tackled by two different trust management methods： policy-based approach, where authorization are built on logical rules and verifiable properties encoded in signed credentials, and reputation-based approach, based on collecting, aggregating and disseminating reputation among the peers. However, the overhead caused by proof of compliance on authorization and the absence of certifying authorities may negate the strong and objective security advantages of policy-based approach, whilst vagueness, complexity and inaccurate characterization caused by reputation evolution may eliminate the quantitative and flexible advantages of reputation-based approach. We propose an adaptive trust management framework, which combines the merit of policy proof and reputation evolution such that authorization is aware of not only the strong and objective security traits, but also the calculability and the availability security traits. Finally, the framework of system is proposed.     

P systems with array objects and array rewriting rules

Array P systems were introduced by Paun Gh. which is linking the two areas of membrane computing and picture grammars. Puzzle grammars were introduced by us for generating connected picture arrays in the two-dimensional plane, motivated by the problem of tiling the plane. On the other hand, incorporating into arrays the developmental type of generation used in the well-known biologically motivated L systems, Siromoney and Siromoney proposed a very general rectangular array generating model, called extended controlled tabled L array system (ECTLAS). In this paper we introduce two variations of the array P system, called BPG array P system and parallel array P system. The former has in the regions array objects and basic puzzle grammar rules (BPG), which are a specific kind of puzzle grammar rules. In the latter, the regions have rectangular array objects and tables of context-free rules. We examine these two types of P systems for their array generative power.     

P systems with array objects and array rewriting rules

Array P systems were introduced by Paun Gh. which is linking the two areas of membrane computing and picture grammars. Puzzle grammars were introduced by us for generating connected picture arrays in the two-dimensional plane, motivated by the problem of tiling the plane. On the other hand, incorporating into arrays the developmental type of generation used in the well-known biologically motivated L systems, Siromoney and Siromoney proposed a very general rectangular array generating model, called extended controlled tabled L array system (ECTLAS). In this paper we introduce two variations of the array P system, called BPG array P system and parallel array P system. The former has in the regions array objects and basic puzzle grammar rules (BPG), which are a specific kind of puzzle grammar rules. In the latter, the regions have rectangular array objects and tables of context-free rules. We examine these two types of P systems for their array generative power.     

Maximally parallel attribute on P System: Properties and applications

In this paper, we investigate the maximally parallel attribute of P Systems. Some properties of P Systems are introduced, which are the filter property and the enumeration property. The two roperties are applied to solving the sorting problem and the Hamilton cycle problem, respectively.     

Maximally parallel attribute on P System: Properties and applications

In this paper, we investigate the maximally parallel attribute of P Systems. Some properties of P Systems are introduced, which are the filter property and the enumeration property. The two roperties are applied to solving the sorting problem and the Hamilton cycle problem, respectively.     

Maximally parallel attribute on P Systems: Properties and applications

In this paper, we investigate the maximally parallel attribute of P Systems. Some properties of P Systems are introduced, which are the filter property and the enumeration property. The two properties are applied to solving the sorting problem and the Hamilton cycle problem, respectively.