ONTODL+: an ontology description language and its compiler

Dissertação de mestrado em Engenharia InformáticaOntologies are very powerful tools when it comes to handling knowledge. They offer a good solution to exchange, store, search and infer large volumes of information. Throughout the years various solutions for knowledge-based systems use ontologies at their core. OntoDL has been developed as a Domain Specific Language using ANTLR4, to allow for the specification of ontologies. This language has already been used by experts of various fields has a way to use computer-based solutions to solve their problems. In this thesis, included on the second year of the Master degree in Informatics Engineering, OntoDL+ was created as an expansion of the original OntoDL. Both the language and its compiler have been improved. The language was extended to improve usability and productivity for its users, while ensuring an easy to learn and understand language. The compiler was expanded to translate the language specifications to a vaster array of languages, increasing the potential uses of the DSL with the features provided by the languages. The compiler and some examples of the DSL can be downloaded at the website https: //epl.di.uminho.pt/∼gepl/GEPL DS/OntoDL/ created for the application and presented in the final chapters of the thesis.As ontologias são formalismos muito poderosos no que toca a manipulação de conhecimento. Estas oferecem uma boa solução para trocar, armazenar, procurar e inferir grandes volumes de informação. Ao longo dos anos, várias soluções para sistemas baseados em conhecimento usaram ontologias como uma parte central do sistema. A OntoDL é uma Linguagem de Domínio Específico que foi desenvolvida através do uso de ANTLR4, para permitir a especificação de ontologias. Esta linguagem foi já utilizada por especialistas de diversas áreas como forma de utilizar soluções informáticas para resolver os seus problemas. Nesta tese, incluída no segundo ano do Mestrado em Engenharia Informática, OntoDL+ foi criado como uma expansão tanto à linguagem e como ao seu compilador. A linguagem foi extendida para melhorar a usabilidade e produtividade dos seus utilizadores, mantendo se fácil de aprender e perceber. O compilador foi expandido para ser capaz de traduzir as especificações de OntoDL+ para um leque de linguagens mais vasto, aumentando os potenciais usos da DSL através das funcionalidades providenciadas pelas linguagens alvo. O compilador e alguns exemplos da DSL podem ser acedidos no sítio https://epl.di. uminho.pt/∼gepl/GEPL DS/OntoDL/ criado para a aplicação e mostrado nos capítulos finais da tese

Paradeduction in Axiomatic Formal Systems

The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one

Uma solução IPSec para comunicações seguras Anycast em redes IPv6

Neste artigo faz-se um levantamento do estado de arte das tecnologias Anycast e IPSec, testam-se as implementações existentes conjuntamente em cenários reais, e propõe-se uma solução capaz de permitir comunicações seguras entre um cliente e um conjunto de servidores com um mesmo endereço anycast. A solução proposta é totalmente baseada no IPSec e a sua utilização não implica nenhuma alteração às tecnologias usadas

TRANSlation: A Tradução de Conteúdo LGBTQ+ para o Português Europeu

O presente trabalho de projeto tem como objetivo aplicar os conhecimentos e competências adquiridos durante o Mestrado em Tradução, na Área de Especialização de Inglês, à satisfação de um fim social. Através de uma proposta de tradução comentada de cinco capítulos da obra TRANS: Exploring Gender Identity and Gender Dysphoria (2018) de Az Hakeem, visa-se estudar a tradução de conteúdo LGBTI para o português europeu, tópico este ainda não muito abordado em Portugal. Devido ao conteúdo do texto, apontam-se as especificidades da tradução técnico-científica. Ademais, e de modo a enquadrar as dinâmicas deste trabalho de projeto, apresenta-se uma panorâmica da realidade LGBTI em Portugal e no mundo, para que seja possível compreender melhor a importância da tradução de conteúdo referente à mesma.The goal of this Project is to apply the knowledge and skills acquired during the Masters in Translation (English - Portuguese) to the fulfilment of a social purpose. Through a commented translation proposal of five chapters of the work TRANS: Exploring Gender Identity and Gender Dysphoria (2018) by Az Hakeem, the aim is to study a translation of LGBTI content into European Portuguese, a topic that is still not much discussed in Portugal. Due to the subject matter of the text, the focus is on the specificities of scientific and technical translation. Furthermore, an overview of the LGBTI reality in Portugal and across the world is presented in order to frame the dynamics of this project and enable a better understanding of the importance of translating this type of content

A gastronomia e os seus contributos para o desenvolvimento do turismo em Montalegre

Dissertação de mestrado em Património e Turismo CulturalAtualmente o sucesso da atividade turística está, inevitavelmente, associado às particularidades históricas e geográficas do património cultural e natural. A gastronomia é um desses elementos patrimoniais e assume-se como um dos principais marcos identitários da cultura de uma determinada sociedade. Trata-se, sem dúvida, de um fator de diferenciação cultural, pois a sua identidade é também comunicada às pessoas através do alimento e das práticas culturais que a ele se associam. Objetivamente, esta pesquisa visa evidenciar a importância da gastronomia no desenvolvimento sustentável do concelho de Montalegre e apontar algumas sugestões de melhoria que visem o reforço do seu potencial turístico. Em termos de pesquisa, as técnicas para o levantamento das informações privilegiaram o método de trabalho de campo. No entanto, a investigação bibliográfica de autores especializados no assunto; a realização de entrevistas, de inquéritos, de conversas informais; o diário de campo e a observação participante foram ferramentas de investigação aplicadas aos turistas/visitantes, à população local e aos proprietários da restauração local. Em suma, a gastronomia de um local sinaliza-se cada vez mais como meio de promoção de um destino turístico, aumentando a oferta turística através da sua agregação ao turismo cultural. De resto, é vista como sendo muito mais que uma simples arte de culinária, já que se constitui como um importante veículo da cultura popular, expressando a forma como vivem os habitantes de cada região em determinada época.Nowadays the success of tourism and its activity is associated to the historical and geographical particularities of the natural and cultural heritage. The gastronomy is one of those heritage elements and is considered one of the major identity marcs of a certain society. It is a cultural differentiating factor, because its identity is also communicated to the people by the food and the cultural practices associated with it. Objectively, this research aims to highlight the importance of the food in the sustainable development of Montalegre village, and also suggest an improvement with the objective to reinforce the touristic power. In terms of research, the techniques for gathering information were bibliographic investigation of expert authors on the subject and research in the fieldwork. However, research literature from expert authors on the subject, conducting interviews, surveys, informal conversations, field diary and participant observation were research tools applied to tourists/ visitors, local people and owners of local restoration. The gastronomy of a place is more and more the way to promote that place as a touristic destination, increasing the volume of tourists through this particular cultural heritage. Moreover, it is seen as being much more than a simple art of cooking because it is an important way to transmit the popular heritage showing the way that the citizens lived in a specific region in a specific time

Análise dos impactos energéticos de veículos autónomos

Tese de mestrado integrado em Engenharia da Energia e do Ambiente, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, em 2018As elevadas emissões de gases de efeito de estufa com origem antropogénica ao longo de décadas têm consequências, provocando o aquecimento do planeta. Os transportes são um dos principais contribuidores para isso. Atualmente, a mobilidade encontra-se em transição, registando-se um forte aumento no número de veículos elétricos vendidos. Estes, se elétricos puros, praticamente não prejudicam a qualidade do ar local, já que as emissões de escape são nulas. Por outro lado, as construtoras de automóveis têm planos para a comercialização de veículos totalmente autónomos, alegando que a tecnologia estará comercialmente disponível a partir de 2020. Adicionalmente, os serviços de partilha de veículos ganham popularidade a nível mundial, e podem operar sinergeticamente com os veículos autónomos. Estas várias realidades tornarão muito diferente o futuro do transporte de passageiros. Neste contexto, nesta dissertação avalia-se o potencial do transporte ligeiro de passageiros em Portugal até 2050 do ponto de vista da mobilidade elétrica e autónoma. Apesar da difusão de veículos elétricos em Portugal ser para já inferior à de outros países europeus, existirão a médio/longo prazo mudanças, especialmente se a conjuntura para a adoção destas tecnologias for favorável. O estudo foi elaborado para vários cenários, variando entre eles o enquadramento legislativo e o desenvolvimento tecnológico. A primeira fase do trabalho consiste numa prospeção da evolução do parque automóvel privado em Portugal até 2050. A frota total não sofre muitas oscilações durante esse período, contudo a sua constituição alterar-se-á, com maior ou menor incorporação de veículos elétricos, simples ou autónomos; diferentes possibilidades de evolução foram consideradas. Posteriormente, caracterizou-se a evolução tecnológica possível dos sistemas elétricos e autónomos, de acordo com os pressupostos de cada cenário. Para tal recorreu-se a valores históricos das vendas de veículos elétricos em vários países, cuja evolução futura se modelou recorrendo à função de Gompertz. Foram construídas três curvas de projeção baseadas nos dados de Portugal (ilustrando uma evolução baixa), Suécia (média) e Noruega (alta). Os sistemas de partilha dividiram-se em car sharing e ride sharing, tendo implicações diferentes na frota e nos consumos. Assume-se que estes veículos serão autónomos. No que concerne ao consumo de energia final no sector dos ligeiros de passageiros, os resultados indicam reduções na ordem dos 64 a 77% em 2050 relativamente a 2010, sendo que as maiores são referentes aos cenários em que existe melhor conjuntura para a implantação de veículos elétricos e autónomos, como a existência de incentivos à compra ou de infraestruturas facilitadoras, e.g. faixas dedicadas nas estradas para esses carros. As emissões locais de gases poluentes apresentam reduções na ordem dos 76 a 100%. Estes resultados permitem afirmar que as políticas de incentivo a estas novas formas de mobilidade e a propiciação de uma conjuntura favorecedora do desenvolvimento tecnológica nesta área são instrumentos importantes nos ganhos ambientais que se poderão conseguir.The high greenhouse gases emissions over the past decades have consequences, causing global warming. Transports sector is one of the main contributors to this. Currently, mobility is in transition and there is an increase in the number of electric vehicles sold every year. These, if pure electric, hardly harm the quality of the local air, as the exhaust emissions are nil. On the other hand, car manufacturers have plans for the commercialization of fully autonomous vehicles, claiming that the technology will be commercially available from 2020. Additionally, vehicle sharing services gain popularity worldwide and can operate synergetically with autonomous vehicles. These various realities will make the future of passenger transport very different. In this dissertation, the potential of light passenger transport in Portugal was evaluated up to 2050 from the point of view of electrical and autonomous mobility. Despite the lower diffusion of electric vehicles in Portugal compared to other European countries, changes will exist in the medium/long term, especially if the conjuncture for the adoption of these technologies is favorable. The study was approached by drawing up scenarios, varying the legislative framework and technological development. The first phase of the work consists in a prospecting of the evolution of private car park in Portugal until 2050. The total fleet does not suffer large oscillations during this period, but its constitution will change, with more or less incorporation of electric vehicles, autonomous or not; different possibilities of evolution were considered. It was characterized the possible technological evolution of the electrical and autonomous systems, according to the assumptions of each scenario. For this it was used historical values of the sales of electric vehicles in several countries, whose future evolution was modeled using a Gompertz function. Three projection curves based on the data from Portugal, Norway and Sweden were built: the first one characterized a low evolution, the second and the third ones a high and average progresses, respectively. The sharing systems are divided into car sharing and ride sharing, having different implications in the fleet and consumption. These vehicles are assumed to be autonomous. As far as the final energy consumption in the passenger fleet is concerned, the results indicate reductions in the order of 64 to 77% in 2050 compared to 2010, and the major ones are related to scenarios where there is a better conjuncture for the implementation of electric and autonomous vehicles, such as the existence of incentives for purchase or facilitating infrastructure, e.g. dedicated lanes on the roads for these cars. Local emissions of gaseous pollutants have reductions in the order of 76 to 100%. These results make it possible to affirm that the policies to encourage these new forms of mobility and the promotion of a favorable conjuncture of technological development in this area are important instruments to maximize environmental gains

Experimentos com pedal Strymon Timeline como inspiração para o desenvolvimento de composições

Neste trabalho, a principal ideia é utilizar guitarra e o pedal de delay Strymon Timeline como ferramentas de composição (através de sessões de improvisação) para posterior registro fonográfico de aproximadamente 30 minutos de música. Todo o processo de composição será relatado de forma detalhada, desde a criação dos primeiros temas, desenvolvimento até a estruturação, finalização e gravação destas músicas.The main idea of this work is to use an electric guitar combined with a Strymon Timeline delay pedal as composition tools (through improvising sessions) for the recording of approximately 30 minutes of music. The whole composition process will be detailed, from the making of the first themes, their developments to the structuring and finishing of the songs

Residential building rehabilitation in Porto historic center: case study analysis by using a simulation model

Nowadays, rehabilitation in historic centers can become a challenge due to the restrictions concerning the requirements for the building envelope. Portugal has conducted studies to define the maximum U values [W/(m2 K)] for single building components based on the indoor temperature. Despite the relative humidity being crucial for thermal comfort, the current Portuguese scheme for energy certification of buildings does not consider it. Additionally, it is essential to know that most of the dwellings in Portugal are in a fleet-float regime due to cultural habits and energy poverty. Therefore, increasing the insulation thickness of exterior walls might not have a relevant impact on the indoor temperature. There is even the risk of harming the authenticity of the built heritage. Using a calibrated dynamic simulation model developed with TRNSYS software, we found that, in winter, the effect of external wall insulation on the indoor temperature is tiny. Results suggest that maximum U values [W/(m2 K)] for exterior walls might be over-defined. Further studies of cost-optimal levels should be conducted with calibrated models in a free-float regime to define the maximum U values [W/(m2 K)] of external walls for this type of buildings.publishe

EDUCAÇÃO SUPERIOR PRIVADA NO BRASIL: UMA ANÁLISE DA AVALIAÇÃO DE DESEMPENHO DE NOVE INSTITUIÇÕES DE ENSINO SEGUNDO O MÉTODO ECONOMIC VALUE ADDED

O setor de educação superior privado é um dos dez maiores do Brasil e possui grande evidência no mundo empresarial. Diante deste cenário, o presente trabalho tem como objetivo estudar o desempenho financeiro de nove instituições de ensino superior privadas brasileira, utilizando como referência o cálculo do Economic Value Added (EVA), demonstrando como estas instituições tem se comportando ao longo dos anos, sobretudo em momentos de crises, fusões, oferta de ações na bolsa, dentre outros. Para tanto, foi realizado um estudo exploratório quantitativo, por meio de coleta de dados documental e bibliográfica em nove instituições de ensino superior privadas nacionalmente reconhecidas. Os resultados mostraram que embora haja um crescimento dos grandes grupos educacionais, eles também possuem uma série de desafios e, em alguns casos, amargam resultados negativos no que se refere ao desempenho, algo que deve ser analisado por empresários que optem por investir no respectivo segmento