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

Integrated scheduling of SP-AS/RS and handling equipment in automated container terminals

Autores
Homayouni, SM; Vasili, MR; Kazemi, SM; Tang, SH;

Publicação
Proceedings of International Conference on Computers and Industrial Engineering, CIE

Abstract
Conventionally, the containers are stacked in storage yards inside the container terminals. However, in recent years a new storage system called split-platform automated storage/retrieval system (SP-AS/RS) has been introduced in the literature. On the other hand, integrated scheduling of handling equipment has been introduced as an essential concept to improve the performance of the automated container terminals. Improving the performance of container terminals would result in reduction of seaborne trade costs. In this paper a mixed integer programming model is formulated for the integrated scheduling of handling equipment (including the SP-AS/RS) in automated container terminals. In the formulation of the problem, tasks of cranes are scheduled considering the availability of the vehicles. Moreover, the vehicles are scheduled in accordance with the SP-AS/RS operations. The integrated scheduling has been proved as an NP-hard problem. Thus, a simulated annealing algorithm is developed to find near optimal solutions for the problem in relatively low computational time. Using a set of numerical test cases it is justified that the proposed simulated annealing algorithm is suitable to solve the problem. Further analyses on the number of available vehicles are the final notes of this paper. © 2012 CIE & SAIIE.

2012

Development of platform-independent multi-user choreographies for virtual worlds based on ontology combination and mapping

Autores
Silva, E; Silva, N; Paredes, H; Martins, P; Fonseca, B; Morgado, L;

Publicação
2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC)

Abstract
This paper presents two contributions: (i) a system architecture capable of staging platform-independent choreographies within different virtual worlds, and (ii) an ontology-based solution for capturing and representing multi-user choreographies with reduced time/effort. We argue that choreographies for virtual worlds should be clearly separated from the technical characteristics of their execution in virtual world technological platforms. Due to the heterogeneity of the various virtual worlds and their domain requirements, we propose exploiting the modularity, generality, and granularity dimensions of ontologies to simplify and empower the choreography modeling capabilities. Instead of a unique ontology, several ontologies with different levels of generality and granularity can be progressively combined to support the modeling requirements of a given choreography. Because these ontologies are aligned with the ontology of each specific virtual world platform, the mapping and transformation between the core ontology is simplified and automated, thus reducing the development and time-to-market.

2012

Assessing driver's mental representation of Adaptive Cruise Control (ACC) and its possible effects on behavioural adaptations

Autores
Piccinini, GF; Simoes, A; Rodrigues, CM; Leitao, M;

Publicação
WORK-A JOURNAL OF PREVENTION ASSESSMENT & REHABILITATION

Abstract
The introduction of Adaptive Cruise Control (ACC) could be very helpful for making the longitudinal driving task more comfortable for the drivers and, as a consequence, it could have a global beneficial effect on road safety. However, before or during the usage of the device, due to several reasons, drivers might generate in their mind incomplete or flawed mental representations about the fundamental operation principles of ACC; hence, the resulting usage of the device might be improper, negatively affecting the human-machine interaction and cooperation and, in some cases, leading to negative behavioural adaptations to the system that might neutralise the desirable positive effects on road safety. Within this context, this paper will introduce the methodology which has been developed in order to analyse in detail the topic and foresee, in the future, adequate actions for the recovery of inaccurate mental representations of the system.

2012

Factors Associated with Positive Mental Health in a Portuguese Community Sample: A Look Through the Lens of Ryff's Psychological Well-Being Model

Autores
Miguel, H; Vasconcelos-Raposo, J; Brust, R;

Publicação
Essential Notes in Psychiatry

Abstract

2012

A Software Framework for the Automated Production of Schematic Maps

Autores
Mourinho, J; Galvao, T; Falcao e Cunha, JFE; Vieira, F; Pacheco, J;

Publicação
IS OLYMPICS: INFORMATION SYSTEMS IN A DIVERSE WORLD

Abstract
Schematic Maps are mainly used for depicting transportation networks. They are generated through a schematization process where irrelevant details are eliminated and important details are emphasized. This process, being manually performed by teams of expert designers, is expensive and time consuming. Such manual execution is unsuitable for the production of schematic maps for location-based services or on-demand schematic maps, as near real-time and user-centered properties are needed. This work proposes GeneX, a framework that can support the automated generation of schematic maps. The framework and a new algorithms developed were able to completely eliminate erroneous map point placement, and to decrease by 33% the contention for map point placement, producing schematic maps without human intervention in soft real time.

2012

Trace Semantics via Determinization

Autores
Jacobs, B; Silva, A; Sokolova, A;

Publicação
Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers

Abstract

  • 3289
  • 4362