Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

1995

VECTOR INTERACTIONS OF STEADY-STATE PLANAR SOLITONS IN BIASED PHOTOREFRACTIVE MEDIA

Autores
SINGH, SR; CARVALHO, MI; CHRISTODOULIDES, DN;

Publicação
OPTICS LETTERS

Abstract
A theory describing the steady-state propagation of orthogonally polarized planar bright beams in biased photorefractive media is developed. Interactions between soliton states of each polarization in a strontium barium niobate photorefractive crystal are then investigated numerically. Our results indicate that such vector interactions can lead to a number of interesting effects such as beam compression and beam steering. (C) 1995 Optical Society of America

1995

Aurora vs muse: A portability study of two or-parallel prolog systems

Autores
Correia, ME; Silva, FMA; Costa, VS;

Publicação
COMPUTING SYSTEMS IN ENGINEERING

Abstract
Prolog programs have explicit parallelism, that is, parallelism which can be exploited by a machine with minimal user effort. Or-parallelism is one such form of parallelism, and is particularly useful in that it is present in the many Prolog applications where several alternatives need to be considered. Or-parallelism has been exploited successfully in several systems, and especially in the Aurora and Muse systems. In this paper we analyze the portability of these two parallel systems onto a commercial shared memory parallel computer, a Sun SPARCcenter 2000 with 8 processors, running the Solaris 2.2 Operating System. We also analyze both systems' performance for classical benchmark programs and for two large Prolog applications.

1995

PROGRESSIVE LADDER NETWORK TOPOLOGY COMBINING INTERFEROMETRIC AND INTENSITY FIBER-OPTIC-BASED SENSORS

Autores
RIBEIRO, ABL; CALEYA, RF; SANTOS, JL;

Publicação
APPLIED OPTICS

Abstract
Progressive ladder topology is studied by consideration of its properties of power budget and coupler tailoring. Optimization criteria are addressed for lossless and real systems, and their basic characteristics are compared with other topologies. Numerical results are presented, and an experiment is described for the case in which the network supports interferometric and intensity (with referentiation) fiber-optic-based sensors.

1995

On-line decoupled algorithm for state estimation and bad data processing using hypothesis tests

Autores
Ferreira Isabel, M; Barbosa, FPM;

Publicação
Proceedings of the Universities Power Engineering Conference

Abstract
This paper presents an approach to the Dynamic State Estimation (DSE) problem to determine the real-time state of an electric power system under quasi-static operating conditions. Bearing in mind the large dimension of power systems, a new DSE algorithm is proposed in order to give a satisfactory solution from the computational point of view for the following steps of the DSE procedure: state forecasting, state filtering and detection and identification of bad data. Simulation results show the performance of the proposed algorithm under different operational conditions: normal, sudden change in the system operating point and occurrence of bad data.

1995

A dynamically configurable control architecture for autonomous mobile robots

Autores
Sousa, JB; Pereira, FL; daSilva, EP;

Publicação
PROCEEDINGS OF THE 34TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4

Abstract
This paper presents a dynamically configurable architecture for the control of autonomous mobile robots based on hierarchic structure whose three levels, organization, coordination and functional layer, are organized linguistically. The main contribution is the concept of dynamic reconfigurability where the notion of architecture coordinator plays a crucial role. The design of the functional layer establishes the primitives for dynamic configuration.

1995

Integration of concurrency control in a language with subtyping and subclassing

Autores
BAQUERO, C; OLIVEIRA, R; MOURA, F;

Publicação
PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS)

Abstract

  • 4496
  • 4544