一种移动数据库的事件检测方法研究

移动数据库中,大量的事件分布在不同的结点上,产生的事件具有分布、并发、异步、随机的特点,事件源通常是移动主机,事件的到达因网络连接的不稳定以及移动主机的移动而发生时延、失序的情况.本文提出了一种新的检测方法,能够高效地进行分布式检测、并发异步事件的检测、失序事件的检测以及断接检测、移动检测.     

移动数据库高效事件检测方法研究

移动数据库中,大量的事件分布在不同的结点上,产生的事件具有分布、并发、异步、随机的特点,事件源通常是移动主机,事件的到达因网络连接的不稳定以及移动主机的移动而发生时延、失序的情况.本文提出了一种新的检测方法,能够高效地进行分布式检测、并发异步事件的检测、失序事件的检测以及断接检测、移动检测.     

移动数据库中的事件检测*

为了有效检测移动计算环境中的事件,提出了基于Petri网的事件检测方式CCPN.该方式能直观灵活地建模事件,支持异步并发事件的检测以及时序事件的检测;讨论了主机断接以及移动情况下的事件检测.     

基于移动代理入侵检测模型的研究

本文提出一种基于代理的入侵检测系统采用了移动代理和多代理合作技术,解决了传统的检测系统数据量过大、对入侵事件反应不及时的问题,它的移动代理技术,起到了主机负载均衡的效果。这个入侵检测系统采用了特征匹配和数据统计相结合的方式对入侵事件进行检测,大大降低了误警率。该检测系统由代理系统、存储系统、控制系统、分析系统和响应系统六部分组成,具有良好的分布性能和可扩展性。它将基于网络和基于主机的入侵检测系统有机地结合在一起,提供集成化的检测、报告和响应功能。     

移动数据库中的事件及描述

在移动计算环境中,移动主机具有移动性,移动主机与无线网络的连接状态具有多样性.这些特性要求服务于移动主机的移动数据库系统作出反应和相应的处理.在建立一个主动数据库ECA(event condition action)规则系统模型的基础上,对各种移动事件进行定义,给出了事件的时态逻辑描述,为主动数据库的事件触发提供了新的事件空间,为移动数据库系统的主动处理提供了有效的支持.     

用Petri网描述CORBA事件服务

CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范．本文利用Petri网模型可表现系统分布、并发、异步等特性来描述CORBA事件服务，不仅能反映CORBA事件服务的静态行为，也反映其动态行为，为CORBA事件服务建立了形式化的模型．     

PTIR:一个用于检测恶意主机攻击的记录协议

移动代理作为一种分布计算和移动计算的支撑技术，得到广泛研究。但由于移动代理的迁移执行，引起一全新安全问题：如何保护遭主机攻击的移动代理？即恶意主机问题，从检测恶意主机攻击的角度出发，人们提出了基于参考状态（reference states)的方法，但目前所提出方法的开销都比较大。认为只需记录移动代理在各主机运行时的输入和运行后的结果即可，基于此，提出新的检测恶意主机攻击的协议PTIR(a protocol tracing inputs and results to detect malicious host‘s attacks)，比较分析表明，新协议的检测开销有较大降低。     

基于Petri网的异步并发系统建模方法及应用研究

从Petri网的角度，异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序，与是否同时或是否有统一的时间控制没有关系，异步并发系统具有对称性、自返性而不具备传递性。其建模过程涉及到变迁发生的条件、结果以及是否存在冲突、冲撞等问题。用异步并发系统的建模方法改进Linux系统的队列数据结构，用Visobjnet＋＋软件进行模拟，并编程测试，得到了比原结构更高的效率。     

PCC技术在移动Agent系统安全中的应用初探

1 引言移动代码指可以在一台或多台远程主机上而不仅限于在源主机上运行的程序。从Java applet、ActiveX程序直至90年代中期提出的移动Agent技术均属于这一范畴。其思想是化远程调用为本地执行,从而具有减少网络负载、避免网络延时、动态适应、异步自主执行、支持异构体系、健壮性和容错性等优点。可以说,代码的可移动性是对传统非分布环境中可编程性的很大扩展。然而,高效与灵活的增长并非不无代价:分布式环境中代码的移动使安全威胁增多,安全保护更为复杂,安全课题也更为重要。     

基于移动Agent的分布式入侵检测模型构建

该文分析了入侵检测系统的基本状况以及移动代理的特点,指出了目前入侵检测系统存在的不足,提出了基于移动代理的分布式入侵检测模型(MADIDS)。此入侵检测系统中,引入了移动代理技术,使得入侵检测系统能够跨平台使用;将基于网络和基于主机的检测结合起来,配置了多个检测部件处理;并将所有配置信息存放在数据库中,从而,实现了数据和处理的分离、数据收集、入侵检测和实时响应的分布化。     

基于Mobile Agent聚类挖掘算法研究

Mobile Agent技术是随着网络应用的日益深入而发展起来的一项新兴技术。Mobile Agent技术的智能性和移动性,不仅降低了网络负载,而且提高了通信效率;此外,其支持异步自主交互、支持断连操作,具有安全性、并行性,具有学习、容错、智能化路由能力等优点,使得Mobile Agent技术在复杂的分布式问题求解方面表现出非凡的优势,因此,将Mobile Agent技术应用于数据挖掘系统中,具有很好的研究及应用前景。     

Experiences of Using Generative Communications to Support Adaptive Mobile Applications

Attention has recently begun to focus on the use of asynchronous paradigms to support adaptive mobile applications. To investigate this issue the authors have developed an asynchronous distributed systems platform based on the tuple space paradigm [19] coupled with extensions to support operation in mobile environments. This paper presents our experiences of developing and using this platform. The benefits of the tuple space approach are highlighted and we discuss in some detail the design, implementation and performance of our platform. We subsequently focus on the critical issues of the tuple space API and the level of support for adaptation which can be provided without compromising the elegance and simplicity of the paradigm. The paper concludes with an analysis of the suitability of platforms based on the tuple space paradigm for use in mobile environments.     

超分布超并行智能处理的异步异质竞争行波方法

本文讨论超分布超并行智能处理的竞争行波方法中最一般的情形异步异质行波。同步均质和异步叠加方法都是本文方法的特例。提出了基于异步异质竞争行波的并行算法和性质。     

A technique of state space search based on unfolding

Unfoldings of Petri nets provide a method of searching the state space of concurrent systems without considering all possible interleavings of concurrent events. A procedure is given for constructing the unfolding of a Petri net, terminating the construction when it is sufficient to represent all reachable markings. This procedure is applied to hazard and deadlock detection in asynchronous circuits. Examples are given of scalable systems with exponential size state spaces, but polynomial size unfoldings, including a distributed mutual exclusion ring circuit.School of Computer Science, Carnegie Mellon University     

支持时间无关激活的分布对象中间件异步模型

时间无关的异步激活方式对于大规模分布式应用、移动应用和企业应用集成都具有重要意义．目前的分布对象中间件虽然支持回调和轮询两种异步机制，但是都不支持时间无关的异步激活方式．针对这一问题，本文基于国防科学技术大学计算机学院在分布对象中间件Starbus平台异步模型方面的研究成果，提出了一种新的异步模型RAAM(Router Agent based Asynchronous Model)，该模型能够支持消息的异步传递和时间无关的激活方式，同时对消息的服务质量提供了很好的支持．在自主研发的分布计算平台Starbus异步子系统中实现了RAAM模型，并与相关工作进行了比较．     

基于移动Agent的数据传输的研究和实现

移动Agent技术作为一种源于智能代理的分布式计算技术,与传统的分布式技术相比,具有明显的优势：能大大减轻网络负载、能以异步方式自主运行、能动态配置以适应网络变化等。文章提出了一种应用移动Agent的分布式数据传输系统模型,该模型以移动Agcnt为组织单元,综合了分布式思想和基于移动Agent的思想,对目前一些分布式网络系统所存在网络通信负载过重等问题进行了改进。最后,利用网络仿真工具NS2对系统进行了分析和测试。     

Group communication in partitionable systems: specification andalgorithms

Gives a formal specification and an implementation for a partitionable group communication service in asynchronous distributed systems. Our specification is motivated by the requirements for building “partition-aware” applications that can continue operating without blocking in multiple concurrent partitions and can reconfigure themselves dynamically when partitions merge. The specified service guarantees liveness and excludes trivial solutions, it constitutes a useful basis for building realistic partition-aware applications, and it is implementable in practical asynchronous distributed systems where certain stability conditions hold