1,382 research outputs found
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
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
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
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
- …