14633874
Multi-platform Soccer Robot Development System
Robot soccer is a challenging research domain, which involves multiple agents (physical robots or "softbots") to work together in a dynamic, noisy, cooperative and adversarial environment to achieve specific objectives. The paper focuses on the design and implementation of an effective system for developing a small-size physical soccer team for the competition of RoboCup. There are three goals preset in our research, that is, robust individual behaviors, controllable cooperation and behavioral learning. The system is therefore required to collect data in real-time situations and repeat experiments accurately, which are found difficult to be achieved in pure physical or simulated case. A distinct feature of our system is that it is a close combination of three functional parts: physical test platform, simulation platform and measurement platform, which support each other to overcome many defects inherent in traditional physical system or simulation system.
31566264
Cooperation-Based Behavior Design
Robot soccer explores such a research topic that multiple agents work together in a Real-time, Cooperative and Adversarial (RCA) environment to achieve specific objectives. It requires that each agent can not only deal with situations individually, but also present cooperation with its teammates. In this paper, we describe a robot architecture, which addresses "scaling cooperation" among robots, and meanwhile allows each robot to make decisions independently in real-time case. The architecture is based on "ideal cooperation" principle and implemented for Small Robot League in RoboCup. Experimental results prove its effectiveness and reveal several primary characteristics of behaviors in robot soccer.
9860662
Interacting Object Tracking in Crowded Urban Areas
Tracking in crowded urban areas is a daunting task. High crowdedness causes challenging data association problems. Different motion patterns from a wide variety of moving objects make motion modeling difficult. Accompanying with traditional motion modeling techniques, this paper introduces a scene interaction model and a neighboring object interaction model to respectively take long-term and short-term interactions between the tracked objects and its surroundings into account. With the use of the interaction models, anomalous activity recognition is accomplished easily. In addition, move-stop hypothesis tracking is applied to deal with move-stop-move maneuvers. All these approaches are seamlessly inter-graded under the variable-structure multiple-model estimation framework. The proposed approaches have been demonstrated using data from a laser scanner mounted on the PALI robot at a crowded intersection. Interacting pedestrians, bicycles, motorcycles, cars and trucks are successfully tracked in difficult situations with occlusion.
3254735
Optimum design criterion and multilevel coding for radio systems over AWGN and Rayleigh fading channels
For the narrow band Wireless Code Division Multiple Access (WCDMA) system, there are some channel coding schemes proposed and applied like Turbo code and convolutional codes. But for the 4G Code Division Multiple Access (CDMA) wideband systems, we have to use new channel coding schemes with high bandwidth efficiency. In this case, multilevel coding (MLC) scheme is easy to map to Multiple Quardrature Amplitude Modulation (MQAM) modulation strategy to be used for 4G, and MLC+MQAM will be a potential channel coding scheme for the error correcting of next generation of mobile systems. 
 
 
 
A novel criterion, that is ‘capacity rule’ plus ‘mapping rule’, for the design of the optimum MLC scheme for radio systems over Rayleigh fading channels is proposed in this paper. Based on this theory, a few of key issues related to design an optimum MLC system are investigated. These include a novel optimum design criterion proposed, different mapping strategies, different decoding methods of MLC/MSD and MLC/Parallel Decoding on Levels (PDL) and their performance comparison over Additive White Gaussian Noise (AWGN) and Rayleigh fading channels respectively. Copyright © 2003 John Wiley & Sons, Ltd.
18368722
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure
We present an abstraction refinement algorithm for model checking of safety properties that relies exclusively on a SAT solver for checking the abstract model, testing abstract counterexamples on the concrete model, and refinement. Model checking of the abstractions is based on bounded model checking extended with checks for the existence of simple paths that help in deciding passing properties. All minimum-length spurious counterexamples are eliminated in one refinement step by an incremental procedure that combines the analysis of the conflict dependency graph produced by the SAT solver while looking for concrete counterexamples with an effective refinement minimization procedure.
36188477
An Indexing Scheme for Case-Based Manufacturing Vision Development
This paper focuses on one critical element, indexing – retaining and representing knowledge in an applied case-based reasoning (CBR) model for supporting strategic manufacturing vision development (CBRM). Manufacturing vision (MV) is a kind of knowledge management concept and process concerned with the competence improvement of an enterprise’s manufacturing system. There are two types of cases within the CBRM – an event case (EC) and a general supportive case (GSC). We designed one set of indexing vocabulary for the two types of cases, but a different indexing representation structure for each of them. In this paper, after the background introduction of the MV, the CBRM and the indexing challenges of the MV cases, we present the structure and content of the index vocabulary and the two indexing representation structures, then illustrate briefly the indexing of cases with two examples. We also summarize the methods, primary conclusions of test runs with the indexing scheme. Further research work to refine the index vocabulary is discussed as well.
28581906
Design of an OGSA-Based MetaService Architecture
This paper proposes a MetaService-based architecture for dealing with the problem of services management in grid systems. We introduce the basic idea of MetaService, and then discuss MetaService classification, new MetaService construction, and the MetaService working mechanism. A graph and a tree can be used for the optimization function of MetaService. An example from real life is used to explain the role of MetaService. We give an overview of a grid prototype system which has incorporated some of the ideas presented. A brief comparison is given between MetaService and other related work.