14748047
A Square Root Extended Set Membership Algorithm with Applications to Nonlinear System Estimation
In this paper, a square root extended set membership (SRESM) state estimation algorithm is proposed to further improve the numerical accuracy and stability of the nonlinear system estimation. In comparison with the existing extended set membership (ESM), the proposed square root ESM using the efficient and stable updating recursions provides much more accurate estimation results. It has improved numerical stability and real time applicability. Simulation results in estimation of mobile robot localization are given to show the effectiveness and robustness of the proposed algorithm.
9740649
Design of an Automatic Control System for Coal Preparation Process
In this paper, an automatic control system based on industrial control computers (IPC) and a programmable logic controller is designed by using field bus, PLC and configuration techniques to solve the automatic control problem of coal preparation process. The cross complex process control and fault processing are implanted by PLC, and configuration program provides friendly interface to user. Compared with traditional relay control system, this system has advantages of simplified operation, convenient maintenance and good adaptability. Practical production shows that this system has the characteristics of steady performance, high efficiency and economical benefit.
3348552
ArnetMiner: extraction and mining of academic social networks
This paper addresses several key issues in the ArnetMiner system, which aims at extracting and mining academic social networks. Specifically, the system focuses on: 1) Extracting researcher profiles automatically from the Web; 2) Integrating the publication data into the network from existing digital libraries; 3) Modeling the entire academic network; and 4) Providing search services for the academic network. So far, 448,470 researcher profiles have been extracted using a unified tagging approach. We integrate publications from online Web databases and propose a probabilistic framework to deal with the name ambiguity problem. Furthermore, we propose a unified modeling approach to simultaneously model topical aspects of papers, authors, and publication venues. Search services such as expertise search and people association search have been provided based on the modeling results. In this paper, we describe the architecture and main features of the system. We also present the empirical evaluation of the proposed methods.
42507364
Dynamic Equivalents of Power System Based on Extended Two Particle Swarm Optimization
A novel methodology based on phaser measurement units (PMUs) for power system dynamic equivalents is presented. In this methodology the external system is reduced dynamically using the important quantities obtained by PMUs. An extended two particle swarm optimization (PSO) algorithm with the mutation operator is proposed to identify the parameters of the equivalent system. The proposed method is demonstrated and compared with the original system using the 10 machines 39 buses New England test system. The comparison shows that the proposed method can preserve the dynamic properties of the original system and has great value in engineering application.
7309958
Using temporal logic to specify adaptive program semantics
Abstract Computer software must dynamically adapt to changing conditions. In order to fully realize the benefit of dynamic adaptation, it must be performed correctly. The correctness of adaptation cannot be properly addressed without precisely specifying the requirements for adaptation. This paper introduces an approach to formally specifying adaptation requirements in temporal logic. We introduce A-LTL, an adaptation-based extension to linear temporal logic, and use this logic to specify three commonly used adaptation semantics. Composition techniques are developed and applied to A-LTL to construct the specification of an adaptive program. We introduce adaptation semantics graphs to visually represent the adaptation semantics, which can also be used to automatically generate specification for adaptive programs.
26954040
Multi-User Joint Doppler Spread Estimation in Generalized Distributed Antenna System
Generalized distributed antenna is one of the most promising architectures likely to be used in next generation mobile communication systems. In this paper, based on the architecture, multi-user co-channel interference in Doppler spread estimation is analyzed and several useful conclusions are obtained. Moreover, in order to combat this interference, a novel ACF-based multi-user joint Doppler spread estimation (M- JDSE) algorithm is proposed, taking advantage of centralized signal processing characteristic in generalized distributed antenna systems. Both theoretical analysis and simulation results demonstrate the significant performance improvement of proposed M-JDSE algorithm in multi-user environments.
1586306
A PDA-based sign translator
We propose an effective approach for a PDA-based sign system and present the sign translator. Its main functions include three parts: detection, recognition and translation. Automatic detection and recognition of text in natural scenes is a prerequisite for the automatic sign translator. In order to make the system robust for text detection in various natural scenes, the detection approach efficiently embeds multi-resolution, adaptive search in a hierarchical framework with different emphases at each layer. We also introduce an intensity-based OCR method to recognize characters in various fonts and lighting conditions, where we employ the Gabor transform to obtain local features, and LDA for selection and classification of features. The recognition rate is 92.4% for the testing set obtained from the natural sign. A sign is different from the normal used sentence. It is brief with a lot of abbreviations and place nouns. We only briefly introduce a rule-based place name translation. We have integrated all these functions in a PDA, which can capture sign images, auto segment and recognize the Chinese sign, and translate it into English.