Reasoning about Action Systems using the B-Method

The action system formalism has been succesfully used when constructing parallel and distributed systems in a stepwise manner within the refinement calculus. Usually the derivation is carried out manually. In order to be able to produce more trustworthy software, some mechanical tool is needed. In this paper we show how action systems can be derived and refined within the B-Toolkit, which is a mechanical tool supporting a software development method, the B-Method. We describe how action systems are embedded in the B-Method. Furthermore, we show how a typical and nontrivial refinement rule, the superposition refinement rule, is formalized and applied on action systems within the B-Method. In addition to providing tool support for action system refinement we also extend the application area of the B-Method to cover parallel and distributed systems. A derivation towards a distributed load balancing algorithm is given as a case study.     

GEAMAS: A Generic Architecture for Agent-Oriented Simulations of Complex Processes

This paper's object is to present the results of the GEAMAS project which aims at modeling and simulating natural complex systems. GEAMAS is a generic architecture of agents used to study the behavior emergence in such systems. It is a multiagent program meant to develop simulation applications. Modeling complex systems requires to reduce, to organize the system complexity and to describe suitable components. Complexity of the system can then be tackled with an agent-oriented approach, where interactions lead to a global behavior. This approach helps in understanding how non-determinist behavior can emerge from interactions between agents, which is near of self-organized criticality used to explain natural phenomena. In the Applied Artificial Intelligence context, this paper presents an agent software architecture using a model of agent. This architecture is composed of three abstract levels over which the complexity is distributed and reduced. The architecture is implemented in ReActalk, an open agent-oriented development tool, which was developed on top of Smalltalk-80. To illustrate our purpose and to validate the architecture, a simulation program to help in predicting volcanic eruptions was investigated. This program was run over a period of one year and has given many satisfying results unattainable up to there with more classical approaches.     

HEDRA: Heterogeneous Distributed Real-Time Architecture

HEDRA, ESPRIT project (nr. 6768), aims to develop a heterogeneous distributed real-time architecture for robot and machine control. This paper describes an open and flexible programming system, as a part of this architecture, that is based on an existing system called VIRTUOSO. The programming system is an evolution of Virtuoso towards the aimed architecture. The work concentrates on the achievement of guaranteed real-time behavior, minimum interrupt latency and transparency of interprocessor data communication.     

钢铁工业过程多智能体系统研究

结合钢铁工业过程的特点，通过分析冶金过程工业智能控制的发展状况，提出了采用多Ａｇｅｎｔ技术，建立钢铁工业多智能体系统，从而实现钢铁工业的分布式智能控制，分析了系统建立的必要性和可行性，并给出了该系统的结构和实现方法。     

分布式异构数据库中语义的表示和转换

如何屏蔽分布在不同站点上的异构数据库之间的差异,是实现多个数据库互访要解决的首要问题。本文提出了语义值的概念和用语义值来消除各异构数据库的语义差别,从而实现多个数据库互访的一种方法。     

MCCS中多媒体信息的存储管理

本文描述会议与合著系统的多媒体信息存储管理技术，该系统客户机／服务器体系结构，采用本地数据库（ＬＤＢ）和中央数据库（ＣＤＢ）两级存储，对ＣＤＢ中的我媒体数据分级共享策略，很好地支持多媒体数据的存储和多种方式的查询，并支持对服务器的并发访问。     

异构型并行分布计算系统PVM的结构分析

本文描述了异构型并行分布计算系统ＰＶＭ的组成和特征，详细分析了它的软件结构、工作流程和消息通信机制，并提出了它存在的不足之处。     

一类经济增长问题的控制理论研究

从影响经济增长的重要因素即人均资本着手，通过将社会经济系统划分为若干生产单元，根据经济增长运行过程的内在规律，建立了一个运用分布参数理论来描述和分析经济增长过程的机理模型，研究了该模型的系统解法和经济增长问题的最优控制问题。     

基于电话线传输的家居无线安防报警系统

设计了一款基于电话线传输的家居无线安防报警系统,以MCS-51系列单片机AT89S522为核心,结合红外线收发电路、双音多频(DTMF)发送/接收电路、语音电路及其他外围辅助电路,配合各种无线传感器,可实现防盗报警等功能。该系统可智能地区分各种警情和自动数字语音电话报警,可接收远端电话遥控指令。     

基于CAN总线的分布式控制网络设计

采用CAN总线构建多主站的分布式控制网络,设计了基于P87C591单片机的CAN总线控制器。结合分布式控制系统在机器人控制中的典型应用,设计了CAN应用层协议和相应的通信软件。将本控制网络应用于自主研发的水下机器人,成功完成了湖试检验。