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

2017

Migration from traditional towards cyber-physical production systems

Autores
Cala, A; Luder, A; Cachada, A; Pires, F; Barbosa, J; Leitao, P; Gepp, M;

Publicação
Proceedings - 2017 IEEE 15th International Conference on Industrial Informatics, INDIN 2017

Abstract
Nowadays, many organizations intend to convert their existing production systems towards ones that are terized by adaptability, openness, flexibility and modularity. This requires a redesign of existing information processing systems especially related to control, leading possibly to cyber-physical production systems (CPPS). However, the implementation of new control technologies will have a direct impact on the normal operational status of production while engineers will also face several challenges and obstacles in adopting intelligent automation systems. New step-wise migration strategies are required to holistically support industries in their journey towards CPPS taking into account technical, economic and social aspects. This paper discusses the migration state-of-the-art strategies, analyzing them and providing a first attempt to define a migration approach for innovative production systems. © 2017 IEEE.

2017

The Data Cube as a Typed Linear Algebra Operator

Autores
Oliveira, JN; Macedo, HD;

Publicação
PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017)

Abstract
There is a need for a typed notation for linear algebra applicable to the fields of econometrics and data mining. In this paper we show that such a notation exists and can be useful in formalizing and reasoning about data aggregation operations. One such operation - the construction of a data cube D is shown to be easily expressible as a linear algebra operator. The construction is shown to be type-generic and some of its properties are derived from its typed definition and proved using matrix algebra. Other forms of data aggregation such as eg. rollup and cross tabulation are shown to be algebraically derivable from data cubes.

2017

Flexible Work Cell Simulator Using Digital Twin Methodology for Highly Complex Systems in Industry 4.0

Autores
Tavares, P; Silva, JA; Costa, P; Veiga, G; Moreira, AP;

Publicação
ROBOT 2017: Third Iberian Robotics Conference - Volume 1, Seville, Spain, November 22-24, 2017

Abstract
The continuous evolution in manufacturing processes has attracted substantial interest from both scientific and research community, as well as from industry. Despite the fact that streamline manufacturing relies on automation systems, most production lines within the industrial environment lack a flexible framework that allows for evaluation and optimisation of the manufacturing process. Consequently, the development of a generic simulators able to mimic any given workflow represent a promising approach within the manufacturing industry. Recently the concept of digital twin methodology has been introduced to mimic the real world through a virtual substitute, such as, a simulator. In this paper, a solution capable of representing any industrial work cell and its properties is presented. Here we describe the key stages of such solution which has enough flexibility to be applied to different working scenarios commonly found in industrial environment. © 2018, Springer International Publishing AG.

2017

ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children

Autores
Cesario, V; Nisi, V; Coelho, A;

Publicação
SERIOUS GAMES, INTERACTION AND SIMULATION

Abstract
This paper introduces ClueKing, a children's pervasive game which encompasses context-aware and parents mediation to create an informal learning environment. In this paper we review related theories of inquiry-based learning and parent involvement, the basic pedagogical model, and mobile learning and pervasive games as the technological framework. The basic concept of ClueKing defines an interactive environment where teachers define the learning goals and challenges and parents mediate their application on the home setting, the children schedule and how to promote their engagement. The system's architecture is also presented, as well as the workflows for the development of ClueKing. Since this is work in progress the paper concludes with the next steps and future work to be carried out.

2017

A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services

Autores
Dantas, AllbersonBrunodeOliveira; Junior, FranciscoHerondeCarvalho; Barbosa, LuisSoares;

Publicação
CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017.

Abstract

2017

Improved Long Period Fibre Gratings sensing devices coated with thin films

Autores
Coelho, L; de Almeida, JMMM; Santos, JL; Jorge, PAS;

Publicação
OCEANS 2017 - ABERDEEN

Abstract
Long period fibre gratings (LPFG) have found an increasing interest due to the easy fabrication in any kind of fibre through the induced electric arc technique with low cost and flexibility. They have been used in applications such as gain-flattening and band-rejection, and for sensing strain, temperature and chemical and biological parameters. The sensitivity of LPFG increases when the fibre is coated with certain thin films. In this short review it is presented the recent developments and applications of these kind of sensors.

  • 2150
  • 4312