Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2004

Delegation in a role-based organization

Authors
Pacheco, O; Santos, F;

Publication
DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS

Abstract
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when the organization is created. But an organization is not a static entity. Among the dynamic phenomena that occur in an organization there are interactions between agents consisting in a transference of obligations or permissions from an agent to another. These kind of interactions axe called delegation. In this paper we analyze different ways in which delegation occurs in an organizational context. We argue that the concept of "agent in a role" is relevant to understand delegation. A deontic and action modal logic is used to specify this concept.

2004

Iransposing relations: From Maybe functions to hash tables

Authors
de Oliveira, JNF; Rodrigues, CJPC;

Publication
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS

Abstract
Functional transposition is a technique for converting relations into functions aimed at developing the relational algebra via the algebra of functions. This paper attempts to develop a basis for generic transposition. Two instances of this construction are considered, one applicable to any relation and the other applicable to simple relations only. Our illustration of the usefulness of the generic transpose takes advantage of the free theorem of a polymorphic function. We show how to derive laws of relational combinators as free theorems of their transposes. Finally, we relate the topic of functional transposition with the hashing technique for efficient data representation.

2004

An evolutionary algorithm for manufacturing cell formation

Authors
Goncalves, JF; Resende, MGC;

Publication
COMPUTERS & INDUSTRIAL ENGINEERING

Abstract
Cellular manufacturing emerged as a production strategy capable of solving the certain problems of complexity and long manufacturing lead times in batch production. The fundamental problem in cellular manufacturing is the formation of product families and machine cells. This paper presents a new approach for obtaining machine cells and product families. The approach combines a local search heuristic with a genetic algorithm. Computational experience with the algorithm on a set of group technology problems available in the literature is also presented. The approach produced solutions with a grouping efficacy that is at least as good as any results previously reported in literature and improved the grouping efficacy for 59% of the problems. (C) 2004 Published by Elsevier Ltd.

2004

Optimization of OCT signal-to-noise ratio, when excess photon noise increases due to mismatch of the balanced receiver

Authors
Rosa, CC; Podoleanu, AG;

Publication
FLUCTUATIONS AND NOISE IN PHOTONICS AND QUANTUM OPTICS II

Abstract
In optical coherence tomography (OCT), it is often assumed that the signal-to-noise ratio, at higher optical power regimes, is limited by beat noise. Nonetheless it was often noticed that the limiting value could not be experimentally achieved, despite minimizing the stray reflectance and increasing the optical source effective bandwidth. In this work we present a new model for the noise in a balanced OCT configuration, which accounts for the limited spectral response of fiber directional couplers, as well as imperfections in the photo-detectors. As a consequence, and due to different spectrum content between the two balanced-OCT outputs, excess photon noise is larger than previously considered. The model also allows for the determination of SNR optimized parameters for maximum performance of the balanced system, and can be applied to any coupler or broadband source. Results for optimized and non-optimized configurations, for different balanced detection configurations, implemented in an OCT system, are presented and discussed.

2004

Reel and sheet cutting at a paper mill

Authors
Correia, MH; Oliveira, JF; Ferreira, JS;

Publication
COMPUTERS & OPERATIONS RESEARCH

Abstract
This work describes a real-world industrial problem of production planning and cutting optimization of reels and sheets, occurring at a Portuguese paper mill. It will focus on a particular module of the global problem, which is concerned with the determination of the width combinations of the items involved in the planning process: the main goal consists in satisfying an order set of reels and sheets that must be cut from master reels. The width combination process will determine the quantity/weight of the master reels to be produced and their cutting patterns, in order to minimize waste, while satisfying production orders. A two-phase approach has been devised, naturally dependent on the technological process involved. Details of the models and solution methods are presented. Moreover some illustrative computational results are included.

2004

Fiber Bragg grating sensing system for simultaneous measurement of salinity and temperature

Authors
Pereira, DA; Frazao, O; Santos, JL;

Publication
OPTICAL ENGINEERING

Abstract
A fiber optic sensing system for simultaneous measurement of temperature and salinity based on fiber Bragg grating technology is presented. The fabrication process, which relies on chemical etching of the fibre, is described and its performance is evaluated. Theoretical and experimental results are given, which are summarized on the obtained resolutions of +/-0.06degreesC/ rootHz and +/- 0.2parts per thousand./ rootHz for temperature and salinity, respectively. (C) 2004 Society of Photo-Optical Instrumentation Engineers.

  • 4291
  • 4542