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

2012

Regular and non-regular production scheduling of multipurpose batch plants

Autores
Moniz, S; Barbosa Povoa, AP; Sousa, JP;

Publicação
22 EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING

Abstract
Regular and non-regular production can often be found in multipurpose batch plants, requiring two distinct operating strategies: campaign and short-term production. This paper describes a sequential approach for the simultaneous scheduling of campaign and short-term products in multipurpose batch plants. Campaign products follow a periodic scheduling and are constrained to a monthly demand and a safety stock level. Shortterm products have a non-periodic scheduling and must respect tight delivery time windows. Our integrated model is based on the Resource-Task Network (RTN) representation proposed by Pantelides (1994) and uses a discrete-time formulation.

2012

Underdamped second-order systems overshoot control

Autores
Moura Oliveira, PB; Vrancic, D;

Publicação
IFAC Proceedings Volumes (IFAC-PapersOnline)

Abstract
The paper addresses the problem of decreasing the overshoot for underdamped second-order systems. A new technique to control the overshoot is proposed, which is based on Posicast control and proportional integral and derivative (PID) control, which performs switching between two controllers. The aim is to use open-loop feedforward control to increase tracking performance and PID control to deal with disturbance rejection. It has been shown that the proposed control scheme can have some advantages over the classical approaches without switching capabilities.

2012

ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012

Autores
Barbosa, SDJ; Campos, JC; Kazman, R; Palanque, PA; Harrison, MD; Reeves, S;

Publicação
EICS

Abstract

2012

Resource-Efficient Designs using an Aspect-Oriented Approach

Autores
Coutinho, JGF; Bhattacharya, S; Luk, W; Constantinides, GA; Cardoso, JMP; Carvalho, T; Diniz, PC; Petrov, Z;

Publicação
15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012)

Abstract
The increasing capability and flexibility of reconfigurable hardware, such as Field-Programmable Gate Arrays (FPGAs), give developers a wide range of architectural choices that can satisfy various non-functional requirements, such as those involving performance, resource and energy efficiency. This paper describes a novel approach, based on an aspect-oriented language called LARA, that enables systematic coding and reuse of optimisation strategies that address such non-functional requirements. Our approach will be presented in three steps. First, this approach is shown to support design space exploration (DSE) which makes use of various compilation and optimisation tools, through the deployment of a master weaver and multiple slave weavers. Second, we present three compilation and synthesis strategies for word-length optimisation based on this approach, which involve three tools: the WLOT word-length optimiser deploying a combination of analytical methods; the AutoESL tool compiling C-based descriptions into hardware; and the ISE tool targeting Xilinx devices. Third, the effectiveness of the approach is evaluated. In addition to promoting design re-use, our approach can be used to automatically produce a range of designs with different trade-offs in resource usage and numerical accuracy according to a given LARA-based strategy. For example, one implementation for a subband filter in an MPEG encoder provides 31% savings in area using non-uniform quantizers when compared to a floating-point description with a similar error specification at the output. Another fixed-point implementation for the gridIterate kernel used by a 3D path planning application consumed 25% less resources when the error specification is increased from 1e-6 to 1e-4.

2012

Inverted-L antennas array in a wireless USB dongle for MIMO application

Autores
Luo, Q; Quigley, C; Pereira, JR; Salgado, HM;

Publicação
Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012

Abstract
This study aims to design a compact two antennas array on a USB dongle for WLAN 5.8 GHz application (IEEE 802.11n). The proposed antenna adopts an Inverted-L antenna (ILA) structure, which can be easily integrated into an industry product. The two antenna elements are closely spaced and the high isolation between them is achieved by using the neutralization technique. Moreover, the impedance matching of both antennas is improved by introducing one vertical stub on the neutralizing line. In this way, both the isolation between the two antennas and the impedance matching of each antenna can be improved simultaneously. The experimental results show that this antenna has wide operation bandwidth (S11 <-10 dB) from 5.7 to more than 6 GHz with isolation always better than 10 dB. © 2012 IEEE.

2012

Automatic Unbounded Verification of Alloy Specifications with Prover9

Autores
Macedo, Nuno; Cunha, Alcino;

Publicação
CoRR

Abstract

  • 3281
  • 4362