Matemática na hora do conto

Este artigo procura realçar que, através da conexão entre a literatura e a matemática, se podem criar situações em que as crianças abordem conceitos matemáticos de uma forma significativa permitindo que as habilidades matemáticas e as de linguagem se desenvolvam em conjunto. Uma das formas mais significativas de se construir conhecimento matemático é resolver problemas e desafios, tão comuns nos contos infantis. Apresentamos duas situações, que se enquadram nesta perspetiva pedagógica. Em ambas as situações foi usado um conto como ponto de partida para a construção de atividades matemáticas e tendo presente uma visão construtivista do ensino da matemática.

Sistema para a monitorização ativa com recurso ao cloud computing

O desenvolvimento de aplicações para dispositivos móveis já não é uma área recente, contudo continua a crescer a um ritmo veloz. É notório o avanço tecnológico dos últimos anos e a crescente popularidade destes dispositivos. Este avanço deve-se não só à grande evolução no que diz respeito às características destes dispositivos, mas também à possibilidade de criar aplicações inovadoras, práticas e passíveis de solucionar os problemas dos utilizadores em geral. Nesse sentido, as necessidades do quotidiano obrigam à implementação de soluções que satisfaçam os utilizadores, e nos dias de hoje, essa satisfação muitas vezes passa pelos dispositivos móveis, que já tem um papel fundamental na vida das pessoas. Atendendo ao aumento do número de raptos de crianças e à insegurança que se verifica nos dias de hoje, as quais dificultam a tarefa de todos os pais/cuidadores que procuraram manter as suas crianças a salvo, é relevante criar uma nova ferramenta capaz de os auxiliar nesta árdua tarefa. A partir desta realidade, e com vista a cumprir os aspetos acima mencionados, surge assim esta dissertação de mestrado. Esta aborda o estudo e implementação efetuados no sentido de desenvolver um sistema de monitorização de crianças. Assim, o objetivo deste projeto passa por desenvolver uma aplicação nativa para Android e um back-end, utilizando um servidor de base de dados NoSQL para o armazenamento da informação, aplicando os conceitos estudados e as tecnologias existentes. A solução tem como principais premissas: ser o mais user-friendly possível, a otimização, a escalabilidade para outras situações (outros tipos de monitorizações) e a aplicação das mais recentes tecnologias. Assim sendo, um dos estudos mais aprofundados nesta dissertação de mestrado está relacionado com as bases de dados NoSQL, dada a sua importância no projeto.

Gestão de Obras: Aplicação prática em ambiente empresarial

O presente Relatório de estágio enquadra-se no âmbito da disciplina de Dissertação / Projeto / Estágio, do Curso de Mestrado em Engenharia Civil, do Instituto Superior de Engenharia do Porto subordinado ao tema “Gestão de Obras: Aplicação prática em ambiente empresarial”. O estágio foi realizado na empresa NEGRO S.A., empresa que atua no mercado Francês, no sector da construção civil no âmbito de obras públicas e privadas. Foi com grande satisfação que o estagiário abraçou esta oportunidade de poder realizar um estágio neste setor da engenharia civil, integrando uma equipa de trabalho com uma ampla experiência no mercado. Foi igualmente gratificante poder aplicar os conhecimentos adquiridos ao longo do curso e enriquecedor adquirir novas competências, através da resolução das dificuldades ocorridas no dia-a-dia durante o estágio. Considera-se assim esta experiencia como uma mais-valia para ingressar com êxito na futura vida profissional. Este documento descreve essencialmente as tarefas realizadas ao longo do estágio. Estas tarefas foram executadas recorrendo aos conhecimentos adquiridos durante a formação académica, nomeadamente no que se refere a planeamento, qualidade, gestão de obra e segurança e saúde no trabalho e com finalidade de alcançar os seguintes objetivos: - Proporcionar a integração do aluno no ambiente empresarial, realizando as atividades planeadas; - Propiciar a aplicação dos conhecimentos e competências adquiridas ao longo do curso, utilizando os casos reais durante o estágio; - Resolver problemas concretos de engenharia civil em meio profissional e empresarial; - Proceder a recolha de informação com vista a resolução dos problemas que surgem ao longo do estágio; - Analisar as situações que surgem durante a realização do estágio, estabelecendo conclusões; - Desenvolver metodologias aplicáveis no contexto do estágio; - Recolher dados e interpretar os mesmos no contexto do estágio; - Estabelecer conclusões sobre as experiências vividas durante o estágio; - Analisar o impacto do trabalho realizado na instituição de acolhimento.

Database repairs with answer set programming

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Implementação ESB numa unidade hospitalar. Uso normalizado de mensagens HL7

Atualmente, os sistemas de informação hospitalares têm de possibilitar uma utilização diferenciada pelos diferentes intervenientes, num cenário de constante adaptação e evolução. Para tal, é essencial a interoperabilidade entre os sistemas de informação do hospital e os diversos fornecedores de serviços, assim como dispositivos hospitalares. Apesar da necessidade de suportar uma heterogeneidade entre sistemas ser fundamental, o acesso/troca de informação deve ser feito de uma forma protocolada, segura e transparente. A infraestrutura de informação médica moderna consiste em muitos sistemas heterogéneos, com diversos mecanismos para controlar os dados subjacentes. Informações relativas a um único paciente podem estar dispersas por vários sistemas (ex: transferência de pacientes, readmissão, múltiplos tratamentos, etc.). Torna-se evidente a necessidade aceder a dados do paciente de forma consolidada a partir de diferentes locais. Desta forma, é fundamental utilizar uma arquitetura que promova a interoperabilidade entre sistemas. Para conseguir esta interoperabilidade, podem-se implementar camadas de “middleware” que façam a adaptação das trocas de informação entre os sistemas. Todavia, não resolvemos o problema subjacente, ou seja, a necessidade de utilização de um standard para garantir uma interacção fiável entre cliente/fornecedor. Para tal, é proposto uma solução que passa por um ESB dedicado para a área da saúde, denominada por HSB (Healthcare Service Bus). Entre as normas mais usuais nesta área devem-se salientar o HL7 e DICOM, esta última mais especificamente para dispositivos de imagem hospitalar, sendo a primeira utilizada para gestão e trocas de informação médica entre sistemas. O caso de estudo que serviu de base a esta dissertação é o de um hospital de média dimensão cujo sistema de informação começou por ser uma solução monolítica, de um só fornecedor. Com o passar dos anos, o fornecedor único desagregou-se em vários, independentes e concorrentes, dando lugar a um cenário extremamente preocupante em termos de manutenção e evolução futura do sistema de informação existente. Como resultado do trabalho efetuado, foi proposta uma arquitetura que permite a evolução do sistema atual de forma progressiva para um HSB puro.

Resolução do problema de atribuição de salas a exames

Este trabalho pretende resolver o problema das alocações de salas a exames no Departamento de Engenharia Mecânica do Instituto Superior de Engenharia do Porto. A solução desenvolvida atribui salas a exames respeitando as restrições de capacidade de salas e a restrição de realização dum único exame por sala num determinado período, por forma a minimizar a atribuição de salas e, consequentemente, docentes a exames. Foi criado um modelo matemático, que representa as variáveis relevantes do problema, e realiza a sua implementação numa plataforma informática amigável para o utilizador. O modelo matemático foi validado comparando as suas soluções com as obtidas através do processo manual. Os resultados do novo método demonstram a sua supremacia relativamente ao modelo atual. No futuro, poderá ser estudada a possibilidade de usar esta ferramenta na resolução do mesmo problema em realidades diferentes da do Departamento de Engenharia Mecânica do ISEP.

Implementação de alertas de interações medicamentosas na construção de uma farmácia online

Os sistemas de apoio à decisão clinica têm-se revelado essenciais no dia-a-dia da população, nomeadamente dos profissionais e dos pacientes. Estes sistemas podem ser aplicados com diferentes objetivos: como sistemas de alerta; de prevenção de doenças; sistemas para dosagem de medicação e prescrição; entre outras. Atualmente é notório o aumento de interesse por parte da população em entender e em possuir um papel ativo nas decisões médicas. Para conseguirem fazê-lo necessitam de procurar informação. O meio mais utilizado para obter essa informação é a internet, onde a informação se encontra em grande quantidade e muito dispersa. Para além da quantidade é imprescindível encontrar informação credível, para que não haja indução da pessoa em erro. Para ajudar a solucionar estes problemas surgiram os sistemas de recomendação na saúde. Estes sistemas foram idealizados para fornecer informações às quais os utilizadores podem recorrer para tomar decisões conscientes e seguras sobre a sua saúde. Também os sistemas de alerta se têm revelado importantes na área da saúde. Estes sistemas podem ser usados em diferentes contextos e sobre diferentes assuntos, como por exemplo, a alteração do estado clínico de um paciente monitorizado, em tempo real, ou em interações medicamentosas. As interações medicamentosas podem advir da automedicação do utente ou da larga quantidade de medicação que, a partir de determinada idade, os utentes ingerem. Pode ter como causa medicação que administrem regularmente, ou até mesmo diariamente, ou doenças/estados que o utente possua que, em simultâneo com determinada medicação pode causar reações adversas. Neste trabalho foi desenvolvido um protótipo de uma farmácia online (FoAM) que fornece, ao utilizador, alertas quando há possibilidade de interações. As causas de interações consideradas foram os medicamentos que o utilizador consuma e/ou doenças/estados que possua. O objetivo é alertar para o caso das causas que o utilizador possui interagirem com o(s) medicamento(s) que este deseja adquirir. Para alcançar esse objetivo foi necessário selecionar os medicamentos a disponibilizar assim como as suas interações. Essa seleção foi baseada no prontuário terapêutico 2013 disponibilizado pelo INFARMED. Depois de recolhida e analisada a informação, foi possível compreender que informações clínicas o sistema necessita para que consiga identificar os medicamentos que não são aconselháveis adquirir. Para isso, é necessário que o utilizador forneça essas informações clínicas pessoais, necessidade que vai de encontro à posição defendida por diversos autores que apontam o uso de registos eletrónicos de saúde muito benéfico para conseguir alertas mais personalizados suprindo assim as necessidades do utilizador. É também preponderante que o utilizador perceba o porquê de determinado medicamento não ser aconselhável, por isso, ao ser emitido o alerta é também apresentada a justificação do mesmo, ou seja, é disponibilizado ao utilizador qual a causa que indicou no formulário responsável pela interação.

Aplicação de métodos numéricos avançados para a previsão de resistência de ligações adesivas

Com a necessidade de encontrar uma forma de ligar componentes de forma mais vantajosa, surgiram as ligações adesivas. Nos últimos anos, a utilização de juntas adesivas em aplicações industriais tem vindo a aumentar, substituindo alguns métodos de ligação tradicionais, por apresentarem vantagens tais como, redução de concentração de tensões, reduzido peso e facilidade de processamento/fabrico. O seu estudo permite prever a sua resistência e durabilidade. Este trabalho refere-se ao estudo de juntas de sobreposição simples (JSS), nas quais são aplicados os adesivos comerciais que variam desde frágeis e rígidos, como o caso do Araldite® AV138, até adesivos mais dúcteis, como o Araldite® 2015 e o Sikaforce® 7888. Estes são aplicados em substratos de alumínio (AL6082-T651) em juntas com diferentes geometrias e diferentes comprimentos de sobreposição (L), sendo sujeitos a esforços de tracção. Foi feita uma análise dos valores experimentais fornecidos e uma posterior comparação destes com diferentes métodos numéricos baseados em Elementos Finitos (EF). A comparação foi feita por uma análise de Modelos de Dano Coesivo (MDC) e segundo os critérios baseados em tensões e deformações do Método de Elementos Finitos Extendido (MEFE). A utilização destes métodos numéricos capazes de simular o comportamento das juntas poderá levar a uma poupança de recursos e de tempo. A análise por MDC revelou que este método é bastante preciso, excepto para os adesivos que sejam bastante dúcteis. A aplicação de uma outra lei coesiva pode solucionar esse problema. Por sua vez a análise por MEFE demonstrou que esta técnica não é particularmente adequada para o crescimento de dano em modo misto e, comparativamente com o MDC, a sua precisão é bastante inferior.

Crystallographic studies on molybdopterin-dependent enzymes

Dissertação para obtenção do Grau de Doutor em Bioquímica, Especialidade Bioquímica Estrutural

Students’ perceptions about assessment using an e-learning platform

ISCAP’s Information Systems Department is composed of about twenty teachers who have, for several years, been using an e-learning environment (Moodle) combined with traditional assessment. A new e-assessment strategy was implemented recently in order to evaluate a practical topic, the use of spreadsheets to solve management problems. This topic is common to several courses of different undergraduate degree programs. Being e-assessment an outstanding task regarding theoretical topics, it becomes even more challenging when the topics under evaluation are practical. In order to understand the implications of this new type of assessment from the viewpoint of the students, questionnaires and interviews were undertaken. In this paper the analysis of the questionnaires are presented and discussed.

Real-Time Application Mapping for Many-Cores Using a Limited Migrative Model

Many-core platforms are an emerging technology in the real-time embedded domain. These devices offer various options for power savings, cost reductions and contribute to the overall system flexibility, however, issues such as unpredictability, scalability and analysis pessimism are serious challenges to their integration into the aforementioned area. The focus of this work is on many-core platforms using a limited migrative model (LMM). LMM is an approach based on the fundamental concepts of the multi-kernel paradigm, which is a promising step towards scalable and predictable many-cores. In this work, we formulate the problem of real-time application mapping on a many-core platform using LMM, and propose a three-stage method to solve it. An extended version of the existing analysis is used to assure that derived mappings (i) guarantee the fulfilment of timing constraints posed on worst-case communication delays of individual applications, and (ii) provide an environment to perform load balancing for e.g. energy/thermal management, fault tolerance and/or performance reasons.

Epidemiologia e Saúde Públi

RESUMO - Visa-se explicitar a origem, a razão de ser, a natureza e o que se perspectiva da relação entre a Epidemiologia e a Saúde Pública, através de uma leitura histórica. As duas entidades foram-se definindo e fazendo sentido em conjunto, com sucessos e, também, muita polémica, desde há milénios e até meados do século XIX. Nesta época, uma combinação de circunstâncias proporcionou-lhes uma explosão de crescimento e de definição, de par com várias outras áreas disciplinares. Desde o antigo relato bíblico de como boa alimentação explica o bom estado de saúde, até à valorização científica das condicionantes sociais e económicas da saúde por Marmot e Rose, passando por «miasmas» causando doença e pela deslocação do conceito de risco individual de saúde para o de risco populacional — com as implicações inerentes a essa importante inovação —, este percurso permite identificar as fundações de tão notável simbiose, explicar o estado presente, vê-la evoluir e achar nela o significado do património hoje disponível, e o que ele promete. Algumas discrepâncias quanto à designação dos seus métodos, bem como a contínua discussão quanto à sua verdadeira natureza e orientação futura, atestam a juventude da Epidemiologia como disciplina científica. Entretanto, a Saúde Pública esforça-se por manter a sua essência integradora, à medida que outras disciplinas contribuem mais para que concretize os seus objectivos; é desafiada pela exposição das populações, em larga escala, a factores de doença, por vezes de intensidade mínima, e pelo surgimento de novas doenças ou a ampliação do volume de outras na população, muitas vezes não respeitando fronteiras. A história dessa simbiose mostra bem que conhecer o modo como uma doença se origina permite controlá-la na população, ou mesmo evitá-la, e que é grande o número de problemas que, em sinergia, as duas disciplinas podem clarificar e resolver. Assim, a Epidemiologia oferece à Saúde Pública explicações (olhos, inteligência e linguagem) para os problemas de saúde das populações — o que permite à segunda saber sobre o quê agir —, cenários de possível evolução dos problemas — o que permite aos decisores optarem em função de diferentes pressupostos, sobre como agir — e capacidade de juízo sobre os resultados das acções empreendidas, em simultâneo com a elevação do nível de consciência, de compreensão e de intervenção quanto ao que se está a passar, tanto pelos profissionais, como pela população — transferência do conhecimento. Facilmente se antecipa que a relação entre as duas disciplinas irá evoluir para maior complexidade e, também, solicitação e exigência da Saúde Pública sobre a Epidemiologia, que terá que corresponder em utilidade. E esta, continuando a subespecializar-se e a sofisticar-se tanto nos métodos, como nos enfoques sobre categorias específicas de factores, precisará de progredir muito na gestão da sua consistência enquanto corpo de conhecimento integrado e com peculiaridades metodológicas, à semelhança da Saúde Pública.O modo como evoluirá a relação entre ambas depende ainda da evolução dos próprios problemas, conceitos, teorias e soluções relacionados com a saúde das populações, e ainda do desenvolvimento das demais disciplinas chamadas à integração por ambas, para enfrentarem esses desafios. Nomeadamente, a Epidemiologia terá que gerir com perícia dificuldades já identificadas, como: incorporar métodos qualitativos de investigação na sua fortíssima tradição e cultura quantitativa; operacionalizar satisfatoriamente o conceito de «risco atribuível na população», ao serviço da definição de prioridades de acção dirigida às necessidades de saúde; aperfeiçoar modelos de interpretação causal que respeitem a multicausalidade; aproveitar as técnicas estatísticas de análise multivariada, sem se perder na abstracção dos seus modelos; desenvolver a investigação nas dimensões positivas de saúde, além da doença, para contribuir melhor para a realização da Saúde Pública, sua principal cliente e fornecedora de oportunidades.--------------------------ABSTRACT - The aim of the author is to explicit the origin, the rationale, the nature and the prospects of the relationship between Epidemiology and Public health, through an historic approach. The two entities have been defining and making sense together, by achieving successes, but also with much controversy, since millennia ago, until mid XIX century. A combination of circumstances provided them the opportunity for an explosion of growth and definition, then, alongside several other disciplines. From the ancient biblical report on how good food explains good health, up to the scientific appreciation of both social and economical constraints to health by Marmot and Rose, passing through «miasma» causing disease and through displacing from individual health risk to population risk — with the inherent implications of that important innovation —, this route allows the identification of the foundations of such remarkable symbiosis, the explanation of current status, to see its evolution and find in it the meaning of today’s heritage and what it promises. Some discrepancies on the name of its methods, as well as the continuing discussion about its true nature and future orientation, attest Epidemiology’s youth as a scientific discipline. Meanwhile, Public Health strives to keep its integrating essence, while other disciplines increasingly contribute so that it achieves its objectives; it is challenged by large scale population exposure to disease factors, sometimes with a minimum intensity, and by new diseases emerging in the population or by old ones getting amplified, often not respecting regions boundaries. The history of such a symbiosis shows that knowing the way a disease is generated allows to control it in the population, or even to avoid it, and that the number of problems that the two disciplines are able to clarify and solve together in synergy is considerable. Therefore, Epidemiology offers Public Health explanations (eyes, intelligence and language) for populations’s health problems — allowing that the latter knows on what to act —, scenarios on how problems may tend to evolve — allowing decision-makers to make their choices as a function of different assumptions, on how to act — and judgement capabilities on the results of already undertaken actions, accompanied by the raising of conscience level, understanding and intervention of what is going on by both professionals and the population – knowledge transfer. It is easy to anticipate that the relationship between both disciplines will develop towards increasing complexity and demand from Public Health to Epidemiology, and that this one will have to correspond in usefulness. And the latter, while continuing its subspecialisation and sophistication either in its methods, or in its approaches to specific factor categories, will need to progress in managing its consistency as an integrated body of knowledge having methodological peculiarities, similarly to Public Health. Further, the way the relationship between both will evolve depends on the evolution of the problems themselves, of the concepts, theories and solutions related to the health of populations, and on the development of remaining disciplines called to integration by both, in other to face those problems. Namely, Epidemiology will have to manage with expertise some already known difficulties, as: the inclusion of qualitative research methods in its very strong quantitative tradition and culture; to grant satisfactory operation to the «population attributable risk» concept, in support to the definition of action priorities envisaging health needs; to improve causal interpretation models that comply with multicausality; to take advantage of multivariate statistical techniques, without get

Distributed Linear Precoding and User Selection in Coordinated Multicell Systems

In this manuscript we tackle the problem of semidistributed user selection with distributed linear precoding for sum rate maximization in multiuser multicell systems. A set of adjacent base stations (BS) form a cluster in order to perform coordinated transmission to cell-edge users, and coordination is carried out through a central processing unit (CU). However, the message exchange between BSs and the CU is limited to scheduling control signaling and no user data or channel state information (CSI) exchange is allowed. In the considered multicell coordinated approach, each BS has its own set of cell-edge users and transmits only to one intended user while interference to non-intended users at other BSs is suppressed by signal steering (precoding). We use two distributed linear precoding schemes, Distributed Zero Forcing (DZF) and Distributed Virtual Signalto-Interference-plus-Noise Ratio (DVSINR). Considering multiple users per cell and the backhaul limitations, the BSs rely on local CSI to solve the user selection problem. First we investigate how the signal-to-noise-ratio (SNR) regime and the number of antennas at the BSs impact the effective channel gain (the magnitude of the channels after precoding) and its relationship with multiuser diversity. Considering that user selection must be based on the type of implemented precoding, we develop metrics of compatibility (estimations of the effective channel gains) that can be computed from local CSI at each BS and reported to the CU for scheduling decisions. Based on such metrics, we design user selection algorithms that can find a set of users that potentially maximizes the sum rate. Numerical results show the effectiveness of the proposed metrics and algorithms for different configurations of users and antennas at the base stations.

New sensing materials of molecularly-imprinted polymers for the selective recognition of Chlortetracycline

As a result of the stressful conditions in aquaculture facilities there is a high risk of bacterial infections among cultured fish. Chlortetracycline (CTC) is one of the antimicrobials used to solve this problem. It is a broad spectrum antibacterial active against a wide range of Gram-positive and Gram-negative bacteria. Numerous analytical methods for screening, identifying, and quantifying CTC in animal products have been developed over the years. An alternative and advantageous method should rely on expeditious and efficient procedures providing highly specific and sensitive measurements in food samples. Ion-selective electrodes (ISEs) could meet these criteria. The only ISE reported in literature for this purpose used traditional electro-active materials. A selectivity enhancement could however be achieved after improving the analyte recognition by molecularly imprinted polymers (MIPs). Several MIP particles were synthesized and used as electro-active materials. ISEs based in methacrylic acid monomers showed the best analytical performance according to slope (62.5 and 68.6 mV/decade) and detection limit (4.1 × 10−5 and 5.5 × 10−5 mol L−1). The electrodes displayed good selectivity. The ISEs are not affected by pH changes ranging from 2.5 to 13. The sensors were successfully applied to the analysis of serum, urine and fish samples.

Efficient Legendre spectral tau algorithm for solving two-sided space-time Caputo fractional advection-dispersion equation

In this paper we present the operational matrices of the left Caputo fractional derivative, right Caputo fractional derivative and Riemann–Liouville fractional integral for shifted Legendre polynomials. We develop an accurate numerical algorithm to solve the two-sided space–time fractional advection–dispersion equation (FADE) based on a spectral shifted Legendre tau (SLT) method in combination with the derived shifted Legendre operational matrices. The fractional derivatives are described in the Caputo sense. We propose a spectral SLT method, both in temporal and spatial discretizations for the two-sided space–time FADE. This technique reduces the two-sided space–time FADE to a system of algebraic equations that simplifies the problem. Numerical results carried out to confirm the spectral accuracy and efficiency of the proposed algorithm. By selecting relatively few Legendre polynomial degrees, we are able to get very accurate approximations, demonstrating the utility of the new approach over other numerical methods.