DEI TALKS | “Let’s discuss about Models and Languages for embedded systems in Industry 4.0” pelo Prof. Julio Medina

“This talk proposes to have a conversation about the trends in conceptual modelling languages used for the design and analysis of real-time and embedded systems in the context of the ever changing industrial environments but never changing business demands”.

“Let’s discuss about Models and Languages for embedded systems in Industry 4.0” será apresentada dia 01 de fevereiro, às 11:00, na sala I-105, com a moderação do Prof. Gil Gonçalves (DEI).

Short Bio:
“Julio Medina is Associate Professor at Universidad de Cantabria, Spain. His main research areas include the modeling of real-time distributed systems for schedulability analysis and dependability, standards and languages for the representation of such models, and their usage for modular and component-based development software engineering strategies. He contributes to the OMG in the standardization of languages like SysML, MARTE, UCM, UTP, among others.”

Talk a Bit de volta para a sua 12ª edição

*Talk a Bit está de volta ao palco do Auditório da FEUP já no próximo sábado, dia 3 de fevereiro.

O tema desta 12ª edição, “Today’s Choices, Tomorrow’s World”, destacará o impacto profundo das decisões tecnológicas contemporâneas no futuro.

O programa contará com palestras e discussões esclarecedoras sobre Inteligência Artificial (IA) e o seu papel na saúde, cidades inteligentes e indústrias sustentáveis. Serão vários os especialistas que partilharão com o público o seu conhecimento sobre os mais recentes avanços tecnológicos e as suas implicações futuras, promovendo um ambiente propicio à aprendizagem e socialização.

Hugo Neves (MOG), Filipe Portela (IOTECH), Luís Valente (ILOF) e Tiago Reis (DIGESTAID) são presenças confirmadas na lista de oradores convidados, num programa em atualização que pode ser visto aqui.

As inscrições são gratuitas mas devem ser submetidas aqui.

*Talk a Bit é uma conferência tecnológica organizada pelos estudantes do Mestrado em Engenharia Informática e Computação da Faculdade de Engenharia da Universidade do Porto.

Provas de Doutoramento em Engenharia Informática: ”Highly reconfigurable smart component system”

Candidato
Luís Carlos de Sousa Moreira Neto

Data, Hora e Local
31 de janeiro, 14:15, Sala de Atos da FEUP

Presidente do Júri
Doutor Carlos Miguel Ferraz Baquero-Moreno, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Vogais
Doutor Julio Luis Medina Pasaje, Professor Associado do Departamento de Ingeniería Informática y Electrónica da Facultad de Ciencias da Universidad de Cantabria, Espanha;
Doutor António Eduardo Vitória do Espírito Santo, Professor Auxiliar do Departamento de Engenharia Eletromecânica da Faculdade de Engenharia da Universidade da Beira Interior;
Doutor Pedro Nuno Ferreira da Rosa da Cruz Diniz, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
Doutor Luis Miguel Pinho de Almeida, Professor Associado com Agregação do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto;
Doutor Gil Manuel Magalhães de Andrade Gonçalves, Professor Auxiliar do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador).

Resumo:
“Em todas as atividades da nossa sociedade, a eficiência é uma preocupação crescente na busca por um mundo sustentável. Embora relevante em todos os níveis, nas atividades de larga escala os resultados de uma atividade eficiente são especialmente notórios. A indústria, especificamente a indústria de transformação e produção em massa, é um bom exemplo onde a eficiência tem um impacto significativo. Facilmente se percebe que os preços competitivos dos bens produzidos em massa são o resultado direto da procura por uma crescente eficiência na indústria. O mercado está a evoluir para modelos de negócio que colocam o utilizador numa posição central, podendo este interferir diretamente no desenho dos produtos. Na indústria do futuro, um consumidor final poderá customizar um produto online, dar a ordem de produção e ver o bem entregue, tudo no mesmo dia. Esta fascinante possibilidade será resultado da combinação entre eficiência e flexibilidade dos processos produtivos. Quer em contexto académico, quer em contexto industrial, vários nomes são aplicados a este novo paradigma: Industria 4.0, Fábricas do Futuro ou Produção Inteligente; todos referentes ao mesmo advento tecnológico. Este conceito abrange múltiplos domínios tecnológicos, apresentando uma riqueza de oportunidades de investigação e criando a necessidade de tecnologias inovadoras. Esta tese investiga dois domínios tecnológicos relacionados com este novo paradigma e aborda um problema chave em cada domínio. No domínio dos Sistemas de Produção Cíber-Físicos, aborda o problema de estabelecer uma rede uniformizada de ativos industriais onde o software e as suas ligações com outros ativos sejam claramente discerníveis e reconhecidas. No domínio dos Sistemas de Manufatura Reconfiguráveis, aborda o ritmo acelerado com que as linhas de produção terão que ser reconfiguradas, e, em particular, como o software terá de ser reconfigurado em paralelo com as linhas de produção e a facilidade com que o novo software pode ser desenvolvido e inserido em produção para atender a desafios emergentes. Uma solução para ambos os problemas deriva do campo da Engenharia de Software Baseada em Componentes, onde esta tese se inspirou para desenvolver um sistema Smart Component inovador, com especial destaque nas capacidades de reconfiguração e distribuição de software. O sistema proposto explora a utilização do Linux, um sistema operativo de uso geral, como ambiente de execução (RTE) de componentes. Através da combinação de partilha direta de memória entre componentes e da utilização de computação paralela e reconfigurável, o sistema proposto atende aos padrões de desempenho de aplicações industrias estabelecidos, demonstrando um alto grau de flexibilidade e capacidade de reutilização de componentes. A flexibilidade do Smart Component é demonstrada através da implementação de dois modelos de componentes. O modelo de componentes IEC 61499, projetado para modelar aplicações distribuídas orientadas a eventos, para monitorização e controlo de sistemas industriais, e o modelo Smart Object Self-Description (SOSD), desenvolvido pelo autor para descrever componentes de software, assim como as suas interligações e as suas associações a ativos industriais. A implementação do IEC 61499 foi diretamente comparada a outros RTEs existentes, superando-os em casos de uso reais e igualando o melhor desempenho de um dos RTEs quando aplicado um benchmark sugerido na literatura. De forma a avaliar o desempenho de reconfiguração do Smart Component, assim como o método simplificado de desenvolvimento de componentes de software, foram ainda propostos nesta tese benchmarks adicionais. A eficácia da implementação do modelo SOSD foi validada através da sua aplicação a um caso de uso real, fornecendo a outros nós de um Sistema de Produção Cíber-Físico o contexto sobre a origem dos dados recolhidos e os componentes de software responsáveis pelo seu processamento. Ao utilizar o Linux como RTE, foi possível demonstrar que a camada de software tradicionalmente dedicada à gestão de componentes é desnecessária, devido ao sistema proposto ser capaz de executar aplicações em conformidade com padrões de desempenho relevantes, ao mesmo tempo que mostra uma flexibilidade superior, superando os RTEs testados que utilizam a abordagem tradicional. Apesar de existirem muitos ambientes de execução para componentes de software, poucos permitem o desenvolvimento e utilização simultânea de componentes construídos em mais do que uma linguagem de programação, e nenhum – dado o conhecimento atual do autor – permite o desenvolvimento de componentes em qualquer linguagem de programação – desde que essa linguagem suporte leitura e escrita de ficheiros. A simplicidade de desenvolver um programa de software para Linux e convertê-lo num componente de software é uma característica promissora que deverá beneficiar o desenvolvimento de aplicações de controlo e monitorização industrial, pois acrescenta ao processo de desenvolvimento de aplicações industriais os benefícios de múltiplas linguagens de programação de alto nível.”

DEI TALKS | “Analyzing and Modeling Intelligent Systems Users’ Behavior in Digital Society” pelo Prof. Humberto Marques-Neto

“Os sistemas de informação são cada vez mais inteligentes e estão presentes no quotidiano das pessoas e das empresas, facilitando e modificando a realização de diversas atividades. Para além do tratamento dos dados intrínsecos de cada sistema, os dados provenientes das interações dos seus utilizadores podem contribuir para identificar, modelar e analisar os padrões de comportamento das pessoas. A análise de dados provenientes da utilização de sistemas web e aplicações móveis e, em particular, de redes sociais online como o Twitter, Facebook, WhatsApp, Instagram e TikTok (respeitando obviamente a privacidade dos utilizadores), pode contribuir para a compreensão de algumas dinâmicas e comportamentos específicos dos seres humanos.

Nesta palestra irei apresentar como o nosso grupo de investigação tem feito a caracterização, análise e modelagem do comportamento de utilizadores de sistemas de informação inteligentes, mais especificamente, utilizadores de redes sociais online e de sistemas de informação que disponibilizam informações em portais de dados abertos, para induzir o desenvolvimento de novos softwares que utilizam algoritmos de machine learning e inteligência artificial. O comportamento dos utilizadores de sistemas de informação, juntamente com os padrões de interação social e de mobilidade humana nos centros urbanos, além de subsidiar decisões e políticas de órgãos e instituições governamentais responsáveis pelo planeamento urbano, podem alcançar e incentivar programadores interessados em criar softwares inovadores com potencial para melhorar a vida das pessoas numa sociedade digital e conectada.”

Analyzing and Modeling Intelligent Systems Users’ Behavior in Digital Society” será apresentada dia 25 de janeiro, às 14:00, na sala B006, com a moderação do Prof. Gil Gonçalves (DEI).

Short Bio:
Prof. Humberto T. Marques-Neto is a researcher and a professor in the Department of Computer Science at the Pontifical Catholic University of Minas Gerais (PUC Minas) in Belo Horizonte – Brazil. He holds a degree in Computer Science from the PUC Minas, a Master’s in Information Science, and a Ph.D. in Computer Science, both from the Federal University of Minas Gerais – UFMG. In the last few years, he has published some papers on the characterization and modeling of large-scale distributed system user behavior, online social network analysis and modeling, computing systems for mobile devices, and software engineering. He also coordinates (at PUC Minas) the Center of Technological Innovation and PUCTec, a Hub for Innovation and Business with about 30 startups. Since last August, he has been spending a one-year sabbatical as a Visiting Fellow in the Department of Computer Science of the University of Pisa.”

Provas de Doutoramento em Informática (MAP-i): ”Artificial Intelligence Methods for Automated Difficulty and Power Balance in Games”

Candidato
Simão Paulo Rato Alves Reis

Data, Hora e Local
11 de janeiro, às 14:00, na Sala de Atos da FEUP

Presidente do Júri
Doutor Carlos Miguel Ferraz Baquero-Moreno, Professor Catedrático, Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto

Vogais
Doutor João Alberto Fabro, Professor Associado do Departamento Acadêmico de Informática do Universidade Tecnológica Federal do Paraná, Brasil;
Doutor Rui Filipe Fernandes Prada, Professor Associado do Instituto Superior Técnico da Universidade de Lisboa;
Doutora Pétia Georgieva Georgieva, Professora Associada com Agregação do Departamento de Eletrónica, Telecomunicações e Informática da Universidade de Aveiro (representante da Comissão Científica do MAP-i);
Doutor Luís Paulo Gonçalves dos Reis, Professor Associado com Agregação do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador);
Doutor Henrique Daniel de Avelar Lopes Cardoso, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

A tese foi coorientada pelo Doutor Nuno Lau, Professor Associado da Universidade de Aveiro.

Resumo:
“Esta tese estuda o problema de equilíbrio no desenvolvimento de jogos, nomeadamente de jogos para dois jogadores. Especificamente, pretende-se investigar a viabilidade da Inteligência Artificial (IA) como ferramenta auxiliar para corrigir propriedades de jogos. Dividimos a nossa investigação em dois caminhos: Equilíbrio de Poder, onde o objetivo é ajustar as estratégias de jogo para que estas se tornem ferramentas efetivas de vitória; Equilíbrio de Dificuldade, onde o objetivo é ajustar propriedades de jogos em tempo real para que jogadores mais fracos ou em desvantagem possam competir contra jogadores mais fortes, ou jogadores em vantagem. Ambos os domínios exigem afinações no jogo, mas diferem no tempo e no seu objetivo, um lida com o desequilíbrio no desenho de jogos, enquanto o outro lida com o desigualdade nas habilidades dos jogadores. Para o Equilíbrio de Poder, a nossa metodologia foi definir um ecossistema completo de equilíbrio de meta-jogos baseado na franquia de vídeo jogos Pokémon e construir uma competição de IA onde as múltiplas tarefas associadas (batalha, previsão, construção de equipas e equilíbrio do meta-jogo) estão presentes e podem ser testados num domínio comum. Para equilibrar o metajogo, seguimos um modelo adversarial onde os construtores de equipas pretendem restringir-se ao uso de Pokémon ótimos enquanto os agentes equilibradores incentivam o máximo possível de Pokémon distintos a serem escolhidos pelos construtores de equipa. Isto resulta em agentes capazes de jogar, construindo equipas eficazes e afinar a lista de Pokémon ao longo do tempo. Discutimos como os nossos modelos podem ser extendidos noutros domínios de vídeo jogos. Para o Equilíbrio de Dificuldade, propomos uma estrutura de Ajuste de Dificuldade Dinâmico Multijogador onde um agente Mestre de Jogo (MJ) é treinado e inserido num jogo, e dependendo do estado do jogo implementa mecanismos de handicap. O regime de treino segue uma ordem específica. Para generalizar situações de vantagem, perturbações parametrizadas nas ações de um agente de referência são usadas para simular vários graus de habilidade no jogo, e a vantagem de cada jogador é usada para traçar curvas, estas avaliadas para recompensar o MJ. Isto resulta na capacidade do MJ de otimizar um conjunto de critérios de desenho de jogo e criar oportunidades para o jogador atrás de recuperar. Mostramos que existem ferramentas de IA adequadas para cada tarefa, e é razoável pensar em equilíbrio de poder e dificuldade como problemas separados, mas onde ambos podem ser assistidos automaticamente e facilitados, e ambos aumentam a nossa compreensão do campo de equilíbrio automatizado de jogos.”