基于对象的并发模型

为了研究和发展分布式人工智能,探讨一种新的计算模型,利用面向对象技术提出了一个基于对象的并发模型(OBCM).讨论了它的两种通讯机制,即同步和异步通讯方式,异步通讯方式又分为过去型消息传递和将来型消息传递,而同步通讯方式则包括现在型消息传递和等待方式.证明了它们可归约为过去型消息传递和等待状态.另外,OBCM为了增强其表达能力,提供了响应目的地机制.在OBCM中,对象的独立自治特点对模拟分布式问题求解尤为适用.最后以一个分布式问题求解的具体实例说明了OBCM的思想.     

基于CORBA环境的分布对象中间件异步轮询模型及算法研究

针对基于CORBA环境的分布对象中间件异步消息传递机制中的时间解耦问题进行研究.在分析了现有的CORBA中间件消息传递模型异步机制的基础上,提出了一种基于时间解耦的异步轮询模型,详细设计了该模型消息传递机制中的核心算法,并就算法的正确性进行分析与验证.     

多处理机系统中进程通讯机制的研究和实现

本文讨论了我们在实验多处理机系统(MPSCU)中研制的进程通讯机制(IPC),详细讨论了通讯原语的语义、通讯协议和进程通讯机制的实现。这种基于消息传递的进程通讯机制,能实现进程之间同步和异步通讯,以及“一对一”、“一对多”和“多对多”的通讯方式。     

基于消息中间件的网络报税系统的设计与实现

对于网络报税系统提出了一种基于消息中间件技术的数据传输框架模型 ,申报数据以 XML形式存储 ,消息传输提供同步和异步两种消息传递机制 ,数据交换中心内、外网采用基于私有协议消息传递设计方法。模型具有很高的安全性和可靠性、良好的复用性与扩展性 ,并能很好解决跨平台的问题     

基于消息传递的移动EJB对象强迁移构件模型的研究

移动计算环境下的Agent对象迁移包括强迁移和弱迁移技术。在特定的多环境中，一个重要的问题是合理地为移动Agent对象实现异地迁移计算提供有效的管理和支持，目前使用的支持系统有基于传统解释语言的、基于CORBA平台的和基于Java语言的。在移动Agent对象强迁移技术的理论基础上，提出了一种基于消息传递的移动EJB对象强迁移构件模型，分析与改进了适合强迁移对象进程消息发送的同步消息传递算法，使得该构件模型的消息传递具有很好的同步机制，从而提供了一种良好的移动Agent对象迁移构件化管理支持方式。     

异步网络模型中轮询与选举算法的研究与实现

分布式算法是用于解决多个互连处理器运行问题的算法.分布式算法的各部分并发和独立地运行,每一部分只承载有限的信息.分布式算法的异步网络模型是一个输入/输出自动机模型,节点之间靠消息传递状态和数据信息.所描述的异步网络模型是建立在图论基础上的裸异步模型.分析了分布式算法的基本算法,研究了异步网络模型建立的基本方法.在该模型之上,重点讨论了分布式波动算法中的轮询与选举算法,并用C语言模拟实现了该算法.     

分布对象中间件异步通讯机制的研究与实现

异步机制对基于对象中间件的大规模分布式应用，如电信网络管理和广域环境下的大规模仿真具有重要的意义。CORBA提供了四种可以应用异步通讯的机制：one-way、延迟同步、callback和polling。对于这些机制，以下问题必须解决：它们的区别、每种机制更适用于哪一类应用、在实践中如何在它们之间做出选择以及如何运用于实践。本文首先为CORBA消息发送提出了一个评价指导并详细分析了几种机制间的区别，同时还给出了这些抽象异步模型的具体实现模型。我们将这些模型应用于我们自主研发的对象中间件StarBus平台中，结果表明我们的模型为实现模型提供了有效的参考。     

用DCOM对基于多Agent的专家系统进行组件化设计

用面向对象的方法来构造一个基于多Agent的专家系统,在分布式环境下对Agent进行基于DCOM组件化设计,并根据多Agent系统的协作需要,确定了合适的组件线程模型和异步消息传递机制。     

CORBA分布式回调技术的优化

在异步通讯方式中，很多时候要求通讯各方满足服务质量要求，简单的CORBA分布式回调技术和CORBA事件服务，作为CORBA异步通讯的两种方式，都不能满足服务质量要求。通过对简单的CORBA分布式回调技术的优化，解决了它们在异步通讯模型中的不足，提供了服务质量(Qos)和事件过滤器。最后通过实际的应用，给出了优化了的CORBA分布式回调技术的通用接口。     

基于XFS规范的ITS分布式设备管理技术的研究

ITS（智能交通系统）在国内的应用，引入了大量与其相关的电子终端设备，为保证ITS的良好运行，要对这些设备进行有效的管理和监控。XFS规范很好地实现分布式智能终端系统的运行和管理，但ITS设备管理的消息传递机制与XFS规范的消息传递机制又有不同之处。本文基于XFS规范，并根据ITS的特点对消息传递机制进行了改进，在XFS的异步机制中引入了同步机制，并在ITS设备管理系统开发中得到了应用。     

基于CMPP协议短信收发系统的设计与实现

介绍了中国移动通讯短消息协议CMPP的基本原理．根据其基本原理，为了能更好的解决企业级短信收发中的问题，提出了一种基于CMPP协议的企业级短信收发系统的设计思路，并根据该思路分析了企业级短信收发系统中的关键问题——短信收发监控程序的设计，结合实际案例用VISUAL C 6．0给出了问题的实现方法和采用的关键技术，最终能够很好地应用于实际开发案例中。     

基于GSM模块实现短信发送

短信的发送需要GSM模块和处理器协作完成,GSM模块与ARM处理器通过串口连接,处理器向串口发送接收AT命令与GSM模块形成通信回路。中文短信的发送采用PDU模式,根据PDU模式标准形成PDU发送包,实现短信发送。本文根据无线电话项目的短信发送模块的实际开发流程编写,本文内容通过测试。     

移动PC环境下自动短信与邮件系统的设计

为解决移动PC环境下的远程通信问题,设计了一个自动短信收发与邮件发送系统.该系统基于GPRS无线通信网,利用串行通信和网络技术,采用手机通信的AT指令和VB 6.0提供的MSComm控件等,实现了对短消息的自动收发;使用Winsock套接字技术,解决了与Internet的远程无线连接和电子邮件的发送问题.该系统主要用于对远程移动或固定目标的自动信息采集和实时监控.     

CORBA技术在寻呼、短信秘书台建设中的应用

CORBA是OMG提出的一种公用对象请求代理体系结构，是当今软件发展的一种新技术，它支持分布式异构应用软件对象之间的通信。在分析了目前常用的几种应用软件体系结构的基础上，为海南联通寻呼、短消息秘书台系统设计和实现了一个合理的基于CORBA技术的分布式应用体系结构，该系统通过运用CORBA技术，缓解了由于大量的客户端接入引起的对数据库服务器造成的压力，解决了原先各种异构系统之间的通讯问题，提高了系统的工作效率和稳定性，对于分布式异构应用系统的开发研究具有重要意义。     

基于消息驱动Bean的异步通信模型设计

异步通信是一种松耦合的分布式通信模式,允许应用程序以发送方和接受方相互独立的形式,通过交换消息进行通信.消息驱动Bean作为处理异步消息的EJB组件,因其支持异步非阻塞的消息传递机制,在基于EJB的应用系统中日渐得到应用.提出了一种基于消息驱动Bean的异步通信模型.该模型使用MDB实现消息的异步消费,解决了EJB远程方法调用开销大等问题,降低了应用程序和EJB组件之间的依赖性,从而有效地提高了异步通信的性能和可靠性.     

一种基于动态基础设施的移动agent消息传递算法

移动agent技术是一种新型的分布式计算模式,它为基于网络的任务分配合作问题提供了一个很好的解决方案.由于agent在网络间的移动.使得agent之间的通信变得极为复杂,已有的agent通信机制和消息传递算法都是建立在固定网络基础设施上的,不具有良好的可扩展性.针对这个问题,提出了一种基于动态基础设施部署的移动agent消息传递算法,较好地解决了在移动的情况下,agent之间通信的扩展性问题.     

终端式手机短信息服务系统的设计与实现

终端式手机短信息服务是通过移动终端发送有限长度文本短信息的技术，具有价格低、灵活方便等诸多优点。详细介绍了短信的原理，重点阐述了短信的编码方式、AT指令、串口通信。并以C#为例，设计和实现了一终端式手机短信服务系统。     

Negotiation as a metaphor for distributed problem solving

We describe the concept of distributed problem solving and define it as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers. This approach to problem solving offers the promise of increased performance and provides a useful medium for exploring and developing new problem-solving techniques.We present a framework called the contract net that specifies communication and control in a distributed problem solver. Task distribution is viewed as an interactive process, a discussion carried on between a node with a task to be executed and a group of nodes that may be able to execute the task. We describe the kinds of information that must be passed between nodes during the discussion in order to obtain effective problem-solving behavior. This discussion is the origin of the negotiation metaphor: Task distribution is viewed as a form of contract negotiation.We emphasize that protocols for distributed problem solving should help determine the content of the information transmitted, rather than simply provide a means of sending bits from one node to another.The use of the contract net framework is demonstrated in the solution of a simulated problem in area surveillance, of the sort encountered in ship or air traffic control. We discuss the mode of operation of a distributed sensing system, a network of nodes extending throughout a relatively large geographic area, whose primary aim is the formation of a dynamic map of traffic in the area.From the results of this preliminary study we abstract features of the framework applicable to problem solving in general, examining in particular transfer of control. Comparisons with planner, conniver, hearsay-ii, and pup6 are used to demonstrate that negotiation—the two-way transfer of information—is a natural extension to the transfer of control mechanisms used in earlier problem-solving systems.     

A grid computing based approach for the power system dynamic security assessment

This paper addresses the problem of parallel dynamic security assessment applications from static homogeneous cluster environment to dynamic heterogeneous grid environment. Functional parallelism and data parallelism are supported by each of the message passing interface model and TCP/IP model. To consider the differences in heterogeneous computing resources and complexity of large-scale power system communities, a kernel-based multilevel algorithm is proposed for network partitioning. Since the bottleneck in distributed computation is low speed network communication, a bi-level latency exploitation technique is introduced for numerically solving system differential equations. The proposed grid-based implementation includes the core simulation engine, grid computing middleware, a Python interface and Python front-end utilities. Tests for a 39-bus network, a 4000-bus network and a 10,000-bus network are reported, and the results of these experiments demonstrate that the proposed scheme is able to execute the distributed simulations on computational grid infrastructure and provide efficient parallelism.     

A formal semantics for debugging synchronous message passing-based concurrent programs

In this paper, we propose a semantic framework to debug synchronous message passing-based con- current programs, which are increasingly useful as parallel computing and distributed systems become more and more pervasive. We first design a concurrent programming language model to uniformly represent exist- ing concurrent programming languages. Compared to sequential programming languages, this model contains communication statements, i.e., sending and receiving statements, and a concurrent structure to represent com- munication and concurrency. We then propose a debugging process consisting of a tracing and a locating procedure. The tracing procedure re-executes a program with a failed test case and uses specially designed data structures to collect useful execution information for locating bugs. We provide for the tracing procedure a struc- tural operational semantics to represent synchronous communication and concurrency. The locating procedure backward locates the ill-designed statement by using information obtained in the tracing procedure, generates a fix equation, and tries to fix the bug by solving the fix equation. We also propose a structural operational semantics for the locating procedure. We supply two examples to test our proposed operational semantics.