Refinement by interpretation in {\pi}-institutions

The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.Comment: In Proceedings Refine 2011, arXiv:1106.348

Produção e tecnologia de cereais: processo de maltagem da cevada

O processo de maltagem da cevada consiste na germinação e secagem controlada do cereal, tendo como principal objetivo a obtenção de um produto com atividade enzimática, coloração e estabilidade adequadas. É possível obter maltes com características bastante distintas, no que se refere à sua cor e atividade enzimática, o que também possibilita a obtenção de cervejas com diferentes características. Com este trabalho pretende-se descrever o processo de maltagem da cevada, abordando numa fase inicial a estrutura e composição química do grão de cevada. Serão também descritas as principais modificações químicas que ocorrem ao nível dos principais componentes químicos do grão de cevada.info:eu-repo/semantics/publishedVersio

Produção e tecnologia de cereais: notas breves sobre o cultivo de cevada em Portugal

A cevada é o principal cereal usado no fabrico de cerveja. Portugal é um produtor modesto de cevada, pelo que a indústria cervejeira nacional funciona com base em cevada importada. Em Portugal a cevada cultiva-se quase exclusivamente em sequeiro, sendo as produções unitárias de grão muito baixas quando comparadas com as produtividades obtidas em países situados a latitudes mais elevadas. Neste trabalho procuram explicar-se as causas das baixas produtividades obtidas em Portugal. Sobretudo interessa saber se as baixas produtividades são devidas a causas naturais ou se podem ser alteradas com a introdução de melhorias nas técnicas de cultivo. O trabalho está organizado em quatro tópicos principais: origem e situação atual da cultura; aspetos botânicos e morfologia da planta; adaptação ecológica da cevada; e técnica cultural. Discutem-se ainda brevemente alguns critérios a observar na escolha das cultivares e como esta espécie está integrada nas rotações.info:eu-repo/semantics/publishedVersio

De aluno a professor de matemática: um percurso baseado na prática de ensino supervisionada

Dissertação de mest., Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Ensino Secundário, Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2012Elaborado no âmbito do Mestrado em Ensino de Matemática no 3.º ciclo do Ensino Básico e no Ensino Secundário, este relatório refere-se à Prática de Ensino Supervisionada, iniciada em setembro de 2011. Este relatório pretende dar a conhecer o meu percurso de formação seguido, como também a minha evolução profissional. O ano letivo foi dividido em três períodos. Os dois primeiros períodos corresponderam à prática de ensino, no Ensino Secundário (11.º ano) e no 3.º ciclo do Ensino Básico (9.º ano), respetivamente. Em ambos os períodos foram assistidas as aulas de duas turmas e foram lecionadas, cinco aulas, a uma das turmas de cada ciclo. No terceiro período desenrolou-se o ciclo de seminários. Cada aluno deu dois seminários sobre unidades curriculares não lecionadas, tendo como base uma planificação geral dessas unidades. Primeiramente abordam-se os resultados do estudo PISA 2009. Em seguida fala-se nas expectativas iniciais a este ano letivo. Serão descritas as aulas e o modo de condução das aulas, tendo como base as planificações. Assim como as atividades extracurriculares. O sentido reflexivo estará sempre presente, sendo que serão feitas reflexões finais, à prática de ensino e aos aspetos importantes decorrentes da prática letiva. Serão descritos os seminários, destacando-se os pontos chave que os nortearam. Por fim, nas considerações finais, é feito um balanço final à minha evolução enquanto professor, como também serão descritas as minhas expectativas em relação ao futuro

Deteção semi-automática de vidros de automóveis e respetivos danos

Como a tecnologia tem vindo a evoluir constantemente ao longo dos anos, até ao ponto de um smartphone poder conter uma câmara que permite tirar imagens com informação de profundidade, ou seja, imagens 3D (tridimensionais), as aplicações e vantagens que esta tecnologia pode acrescentar na resolução de problemas, como a identificação de objetos, ainda não foram muito exploradas. No processo tradicional de uma inspeção automóvel, a utilização do olho humano é uma das mais importantes metodologias utilizadas. Contudo, o processo poderá ser automatizado de modo a acelerar o processo de inspeção e melhorar a satisfação do cliente, pois já existem diversas técnicas que permitem, com alguma precisão, identificar numa imagem um objeto. Como tal, a integração da informação 3D com a tecnologia já existente revela grande potencial na melhoria dos resultados neste tipo de ambiente. Esta dissertação surge como o desenvolvimento para um problema, o qual carece ainda de uma investigação mais profunda, cuja finalidade é a criação de uma biblioteca de operações que permitirão o desenvolvimento de processos semiautomáticos na inspeção automóvel para a deteção não só de peças, mas também de falhas no próprio veículo. Para tal, recorre-se à utilização de sensores de ultrassons, de infravermelhos e de profundidade, tendo o enfoque sido dirigido para os vidros, por se revelarem um dos componentes automóveis que, para além do maior grau de dificuldade, não só na sua deteção como das respetivas falhas, proporcionaram desafios mais aliciantes. As imagens poderão vir a ser captadas por um braço robótico, equipado com câmaras de profundidade e os sensores já referidos, ou outros a integrar, como o laser, o qual se deslocará em torno do veículo, identificando não só os componentes a serem inspecionados bem como eventuais falhas que determinarão, de acordo com o seu grau de perigosidade, a reprovação dum veículo numa inspeção automóvel

Sistemas e interfaces em edifícios : caracterização e método de controlo de projectos para habitação colectiva

A presente dissertação tem como objectivo geral contribuir para a qualidade do projecto, através de um entendimento alargado da noção de sistemas em edifícios e suas interfaces, e pela proposta de um método de controlo do projecto. Os sistemas referem-se às diversas partes e funções em que o edifício se pode dividir, entendidos como estrutura, envelope (ou pele), instalações e interior. As interfaces em edifícios correspondem, por sua vez, aos dispositivos físicos ou lógicos que proporcionam a ligação ou adaptação entre sistemas do edifício e seus elementos. Inicialmente, define-se o enquadramento de matérias relevantes ao desenvolvimento do tema, contemplando-se a relação da arquitectura com as tecnologias da construção, o âmbito do projecto no processo construtivo e as questões relativas à qualidade na habitação. Apresentam-se referências que enquadram a noção de sistemas em edifícios, procedendo-se à sua classificação e desenvolvimento. Estabelece-se a noção de interface em edifícios, propõe-se uma classificação para a sua organização e para os modos que caracterizam a sua natureza, e desenvolve-se o seu âmbito. Elabora-se uma pesquisa através de entrevistas a especialistas de modo a identificar e a sistematizar os pontos críticos nas interfaces entre sistemas, servindo de base à definição do método proposto. Apresenta-se um método para controlo das interfaces em projectos de edifícios de habitação colectiva de construção nova. Por último, apresenta-se um estudo de caso em que são observados os parâmetros definidos no método, comprovando-se a sua aplicabilidade, embora se verifique a necessidade de proceder a melhoramentos futuros.The present thesis proposes a new method of project control in order to contribute to the area of quality in project. An examination of the current notions of building systems and its interfaces was also developed in order to better define this later terms. The systems refer to the buildings different parts and functions that can be divided; e.g. the structure, the envelope (or skin), services and interior. The Interfaces in buildings correspond, to the physical or logical devices that guarantee the links or adjustments between building systems and its elements. Firstly, it is defined the most important subjects of the development of the thesis, regarding the relation of architecture with construction technologies, the project scope in the construction process and the issues related to the quality in housing. Moreover, the references that justify the idea of systems in buildings are also presented, proceeding to their classification and development. A notion of interface in buildings is further established, such as a classification for its organization and for the means that characterises its nature, and the scope of the study. Several interviews with expertise were carried out in order to allow to identify the critical points on interfaces between systems. The results of the interviews were used as the foundations of the proposed methodology. The method aims to control interfaces in dwellings of new construction. Finally, the method was applied in a specific case study, which proved its applicability, therefore there are specific parameters that need to be improved in future

Tendências no Twitter

Atualmente as redes sociais fazem parte do dia a dia das pessoas, sendo que para muitas delas essas plataformas tornaram-se imprescindíveis. Quer seja por mera curiosidade ou por uma necessidade imperiosa de partilhar com o mundo as suas ideias ou pensamentos, a verdade é que as pessoas utilizam cada vez mais as redes sociais. O trabalho descrito neste documento pretende explorar uma dessas redes sociais, o Twitter, mais propriamente através do estudo das suas tendências do momento ou trending topics que são expressões referidas pelos utilizadores a uma taxa superior em comparação com outras. São descritas algumas das características do Twitter e dos recursos disponíveis para programadores. Para além do estudo detalhado do Twitter, são extraídos dados de diversas fontes, destacando-se o próprio Twitter, mas também outras plataformas e jornais online. Posteriormente é feita a análise desses dados através da verificação da evolução das tendências ao longo do tempo nos diversos locais em estudo e ainda através do cruzamento de dados das várias fontes de dados, com análise dos resultados obtidos. Na análise efetuada são analisadas as tendências considerando algumas métricas, a sua globalidade, a relação das tendências com tópicos dos jornais online e ainda a sua periodicidade.Currently social networks are a part of everyday people’s life, and for many of them these platforms became an essential part of their lives. By curiosity or willingness to share their ideas or thoughts, people increasingly use social networks. The work described in this document intends to explore one of these social networks, Twitter, more specifically by studying their trending topics which are expressions that are mentioned by users at a higher rate compared with others. Some of the characteristics of Twitter are described and some of the resources available for developers. Besides the detailed study of Twitter, data is extracted from different sources, especially data from Twitter itself, as well as data from other platforms and online newspapers. Later on is performed a data analysis by checking the evolution of trends over time in various locations and also through the intersection of information between the various data sources, with analysis of the results. In the performed analysis some metrics are considered, the relation between trends and online newspapers and also their periodicity

Análise da relação entre o crédito à habitação em Portugal e as taxas de juro no período 1995Q1-2015Q3

O principal objetivo deste trabalho foi identificar o nexo de causalidade e de influência entre o crédito à habitação e as taxas de juro no período de 1995Q1 a 2015Q3. Foram analisadas as seguintes séries temporais para o período indicado: (1) : Taxa de Juro para operações com prazo > 5 Anos para Particulares e Emigrantes (1995Q1:2002Q4) : Boletim Estatístico do Banco de Portugal + Taxa de juro para novos Empréstimos de Crédito à Habitação: Portugal (2003Q1:2015Q3) (Media trimestral da Base Mensal) e (2) : Empréstimos para aquisição de Habitação: Portugal (1995Q1:2015Q3) - (Média trimestral da Base Mensal) Variáveis de controlo: (3) PIB a preços correntes na ótica da Produção e (4) Indice dos Preços das Habitações Residenciais para Portugal. Este estudo inclui testes para a existência de raiz unitária, cointegração e nexo de causalidade entre as variáveis, com a escolha do melhor modelo VAR e construção de previsões, testando a sua fiabilidade. Foram analisadas ainda as consequências de choques através das funções impulso-resposta. O uso destes modelos econométricos permite identificar as relações de curto e longo prazo entre séries temporais económicas

O Efeito do aquecimento na manifestação de força no supino

O objetivo deste estudo foi verificar a influência do aquecimento específico para a produção da força durante a realização do exercício de supino, analisando variáveis mecânicas (velocidade média propulsiva, potência média propulsiva, índice de esforço e perda de velocidade), fisiológicas (frequência cardíaca) e psicofisiológicas (perceção subjetiva de esforço) em população jovem. Para isso, 28 indivíduos voluntários do sexo masculino, entre os 18 e os 28 anos de idade (22.48 ± 1.90 anos de idade) fizeram parte da amostra que realizou uma sessão de treino do exercício de supino, constituída por 3 séries de 6 repetições com a carga de 80% do seu máximo (1RM). Estas séries de treino foram realizadas duas vezes, em dias diferentes e de forma aleatória, sendo que numa das vezes foi precedida de aquecimento e na outra não foi realizado qualquer aquecimento prévio. O aquecimento realizado foi composto por 1 série de 6 repetições com a carga de 40% da carga da série a ser realizada e em seguida, 1 série de 6 repetições com a carga de 80% da carga da série a ser realizada. Verificamos que o aquecimento realizado permitiu a realização da primeira série de treino com um valor de velocidade média propulsiva superior (0.45 ± 0.08 vs 0.41 ± 0.08, p = 0.05, ES = 0.49) e com potência média propulsiva também ela superior à não realização de aquecimento (273.68 ± 83.93 vs 248.23 ± 74.81, p = 0.05, ES = 0.32). Para além disso, os valores máximos de velocidade e potência média propulsivas no conjunto das três séries foram superiores após a realização de aquecimento (0.53 ± 0.07 vs 0.50 ± 0.08, p = 0.06, ES = 0.39 e 324.52 ± 92.66 vs 304.18 ± 86.23, p = 0.05, ES = 0.22, respetivamente). Quanto à frequência cardíaca e à perceção subjetiva de esforço os resultados não foram significativos. Podemos assim sugerir que um aquecimento específico progressivo antes de uma sessão de treino de força de supino em população masculina jovem parece ser necessário para o desempenho máximo desde a primeira série de treino de força no exercício do supino, assim como essencial para obter os valores mais elevados de rendimento no mesmo.The main purpose of the present study was to verify the influence of the specific warming-up for the production of the force during the exercise of a bench press exercise, analyzing mechanical variables (average propulsive velocity, average propulsive power, effort index and speed loss), physiological (heart rate) and psychophysiological (subjective perceived effort) in a young population. So, 28 male volunteers between the ages of 18 and 28 (22.48 ± 1.90 years of age) were part of the sample that performed a session of bench press exercise consisting of 3 sets of 6 repetitions with the load of 80% of their maximum (1RM). These training sets were performed twice, on different days and randomly, one of which was preceded by warm-up and in the other, no previous warm-up was performed. The warm-up was composed of 1 series of 6 repetitions with a load of 40% of the series load to be performed and then 1 series of 6 repetitions with the load of 80% of the series load to be performed. We verified that the warm-up allowed the first training series to be performed with a higher value of mean propulsive velocity (0.45 ± 0.08 vs 0.41 ± 0.08, p = 0.05, ES = 0.49) and with mean propulsive power higher than without warm-up (273.68 ± 83.93 vs 248.23 ± 74.81, p = 0.05, ES = 0.32). In addition, the maximum values of propulsive velocity and power in the 3 sets were higher after warming-up (0.53 ± 0.07 vs 0.50 ± 0.08, p = 0.06, ES = 0.39 and 324.52 ± 92.66 vs 304.18 ± 86.23, p = 0.05, ES = 0.22, respectively). Regarding the heart rate and the subjective perceived effort, the results were not significant. Thus, it is suggested that a specific progressive warm-up prior to a bench press training session in a young male population appears to be required for maximum performance since the first series of strength training in bench press exercise, as well as essential to obtain the highest yield values

Projeto de climatização em edifícios de habitação

O presente documento assenta na descrição das tarefas desenvolvidas no estágio, bem como o desenvolvimento de um projeto de AVAC iniciado na empresa, com o objetivo de conclusão do Mestrado em Engenharia Mecânica – Energia, Climatização e Refrigeração. Primeiramente ir-se-á fazer uma breve introdução relativamente à influência dos sistemas de climatização no desempenho energético dos edifícios, com a conceção dos sistemas de climatização bem como a importância da regulamentação. Será descrito tipos de sistemas de climatização, como sistemas “tudo ar”, “tudo água” e sistemas “água ar”. Será feito uma breve descrição de sistemas de ventilação em edifícios de habitação, bem como os tipos de condutas e tubagens usuais em projetos de engenharia mecânica. Será feita uma breve apresentação da empresa onde se realizou o estágio, as funções realizadas no mesmo bem como os objetivos traçados. Sendo o principal objetivo aprofundar conhecimentos nos diversos sistemas de climatização, nomeadamente nas suas características técnicas, no dimensionamento e da sua integração nos edifícios em particular nos de habitação. Para finalizar, será efetuado um projeto de AVAC de uma moradia unifamiliar, com o objetivo de colocar em prática, os conhecimentos temáticos abordados ao longo do estágio e da formação académica.This documents is based on the description of the tasks developed in the internship, as well as the development of an HVAC project started in the company, with the objective of completing the Master in Mechanical Engineering – Energy, Air Conditioning and Refrigeration. First, a brief introduction will be made regarding the influence of air conditioning systems on the energy performance of buildings, with the design o fair conditioning systems as well as the importance of regulation. The types of air conditioning systems, such as “all air”, "all water” and “water-air” systems, will be described. Emphasize also for ventilation in residential buildings, as well as the types os ducts and pipes usal in mechanical engineering projects. A brief presentacion of the company where the internship took place, the functions carried out in the internship as well as the objectives outlined. The main objectives being to deepen knowledge in the variours air conditioning systems, namely in their technical characteristics, in the dimensioning and their integration in the buildings, particularly in the housing ones. Finally, a HVAC project for a single family house will be carried out, with the objective of putting into practice a series of thematic knowledge covered during the internship and academic training