Repetitive processes are a distinct class of 2D linear systems with applications in areas ranging from long-wall coal cutting and metal rolling operations through to iterative learning control schemes. The main featur...
详细信息
Repetitive processes are a distinct class of 2D linear systems with applications in areas ranging from long-wall coal cutting and metal rolling operations through to iterative learning control schemes. The main feature which makes them distinct from other classes of 2D linear systems is that information propagation in one of the two independent directions only occurs over a finite duration. This, in turn, means that a distinct systems theory must be developed for them, which can then be translated into efficient routinely applicable controller design algorithms for applications domains. In this paper, we give the first significant results on a positive realness based approach to the analysis of these processes.
We present a method for recognizing the existence of outer frames in binary trademark images and segmenting a trademark that contains an outer frame into the frame and its inner figure, even if both touch. This focuse...
详细信息
The application of a new fault-tolerant control methodology to a well-known benchmark is considered. The benchmark is the model of a propulsion system for a marine vehicle developed by the Control Engineering Departme...
详细信息
The exploration of social networks is essential for finding capable cooperators who can help problem-solving and for augmenting cooperation between workers in an organization. This paper describes PeCo-Mediator-II to ...
详细信息
The exploration of social networks is essential for finding capable cooperators who can help problem-solving and for augmenting cooperation between workers in an organization. This paper describes PeCo-Mediator-II to seek capable cooperators through a chain of personal connections (PeCo) in a networked organization. Moreover, this system helps to gather, explore, and visualize social networks in an organization. The experimental results show that the system facilitates users' encounters with cooperators and develops new helpful connections with the cooperators.
Motivated by the problem of query answering over multiple structured commonsense theories, we exploit graph-based techniques to improve the efficiency of theorem proving for structured theories. Theories are organized...
Motivated by the problem of query answering over multiple structured commonsense theories, we exploit graph-based techniques to improve the efficiency of theorem proving for structured theories. Theories are organized into subtheories that are minimally connected by the literals they share. We present message-passing algorithms that reason over these theories using consequence finding, specializing our algorithms for the case of first-order resolution, and for concurrent theorem proving. We provide an algorithm that restricts the interaction between subtheories by exploiting the polarity of literals. We attempt to minimize the reasoning within each individual partition by exploiting existing algorithms for focused incremental and general consequence finding. Finally, we propose an algorithm that compiles each subtheory into one in a reduced sublanguage. We have proven the soundness and completeness of all of these algorithms.
A new application of a Kalman-Like robust filtering scheme to Avionics Dead Reckoning is presented. Inertial and air data measurements are used in order to reconstruct the attitude and the body frame velocity of a gen...
详细信息
A new application of a Kalman-Like robust filtering scheme to Avionics Dead Reckoning is presented. Inertial and air data measurements are used in order to reconstruct the attitude and the body frame velocity of a general aviation aircraft. The proposed estimation algorithm is based on an afiine representation of the non linear model of the system, leading to a Kalman filter gain optimizing procedure under a set of Linear Matrix Inequality constraints. The resulting procedure fulfills the standard accuracy requirements for large set. of flight condition, and exhibits better robustness characteristics with respect to the model uncertainty than the classic and widely used Extended Kalman Filter.
Two new methods for the computation of cyclomatic complexity especially for decomposable representations are introduced. Building software by integration is a developing paradigm, especially enabled by the emerging co...
详细信息
Two new methods for the computation of cyclomatic complexity especially for decomposable representations are introduced. Building software by integration is a developing paradigm, especially enabled by the emerging component technologies. Decomposition of the design for a top-down approach is a prerequisite for this paradigm. Cubic flowgraphs are instrumental in providing formalisms for decomposition and integration. Cyclomatic complexity analysis of a design representation that is decomposable is the goal of this research. In addition to introducing cyclomatic complexity computation using cubic flowgraphs, preservation of cyclomatic complexity in the decomposition of the cubic flowgraph is also presented.
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to efficiently answer precedence queries...
详细信息
A primary objective in the development of a Navigation System is to test the effectiveness of its algorithms together with their capability of operating realtime. Thus a Virtual Laboratory has been developed to simula...
详细信息
A primary objective in the development of a Navigation System is to test the effectiveness of its algorithms together with their capability of operating realtime. Thus a Virtual Laboratory has been developed to simulate the main features of general aviation aircraft sensors and also their interface to the on board computer. Some features regarding the DIAS ground segment have also been included to test integrity algorithms that are part of the architecture conceived for the FODIAS. Realism in the simulated environment guarantees higher reliability about the performances obtainable in simulation, and confidence about repeatability of results during real flight tests, drastically reducing the cost of development.
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In...
详细信息
暂无评论