O impacto das tecnologias de informação na Geografia e nas redes de geografia

A Geografia e o seu estudo estão a mudar. A nova sociedade de informação disponibiliza outros meios e outros métodos para conseguir atingir as nossas metas. As tecnologias de informação podem interagir com a Geografia, as auto-estradas de informação, os satélites, os telemóveis e o poder da internet, são alguns exemplos que estão a mudar os sistemas de organização espacial das sociedades, criando novas oportunidades e campos de conhecimento. Para difundir essas ideias junto da comunidade, torna-se necessário desenvolver redes educacionais, facilitando não só o intercâmbio dentro do país, mas encorajando também a cooperação em projectos internacionais. Poderão as redes de Geografia alterar o futuro da Geografia como ciência ?

A rede GÉANT e as tendências de desenvolvimento das novas redes de comunicação em fibra óptica

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (Portugal).

A influência do marketing de redes sociais no relacionamento

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação do Professor Doutor José de Freitas Santos

O uso das redes sociais no recrutamento externo em empresas portuguesas

Este estudo tem como objetivo explorar o papel das redes sociais nos processos de recrutamento das organizações portuguesas. Em específico, procura identificar os motivos que levam as organizações a recrutar através da internet e dos meios on-line ao dispor, nomedamente através das Redes Socais na Internet (RSIs), as vantagens e desvantagens da sua utilização comparativamente com os métodos tradicionais. Para a realização do estudo foram selecionadas 5 empresas portuguesas que utilizam as redes sociais on-line para divulgar as suas ofertas de emprego, atrair e recrutar talentos. Foi utilizada a metodologia qualitativa, optando-se pelo estudo caso múltiplo e exploratório. O instrumento de recolha de informação foi a entrevista semiestruturada. Integraram este estudo 5 empresas de distintas áreas de negócio e com a sua sede no distrito do Porto. No total, foram realizadas 5 entrevistas, uma a cada responsável pelos recursos humanos ou recrutamento das empresas em estudo. Um desses responsáveis é, simultaneamente, o gerente da empresa. Os resultados sugerem que as empresas portuguesas, de forma gradual, começam a aceder cada vez mais às redes sociais para apoiar os seus processos de recrutamento. No entanto, essa técnica de recrutamento ainda não é utilizada de forma isolada nem substitui os métodos tradicionais de recrutamento. Na parte final da dissertação são discutidos os principais resultados obtidos e apresentadas as conclusões do estudo aqui levado a cabo.

Petri nets based components within globally asynchronous locally synchronous systems

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Pesquisa segura de dados em redes de sensores

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

A Força Aérea Portuguesa e o voo nas redes sociais

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Dimensionamento de redes hidráulicas prediais

Relatório de Estágio para obtenção do grau de Mestre em Engenharia na Área de Especializção em Edificações

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas

Trabalho Final de mestrado para obtenção do grau de Mestre em engenharia Mecância

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

High-level Petri nets modules for embedded controllers design

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Monitorização automática de redes de computadores: estudo e proposta de uma nova solução

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Modelização por redes neuronais de uma pilha de combustível do tipo PEM

Dissertação apresentada à Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, para a obtenção do grau de Mestre em Energia e Bio-energia