Programming languages and static analysis techniques for software energy certification

Mobile devices, such as smartphones, have become an extension of our body for various reasons, mainly because of mobility, communication convenience, and an extensive range of provided apps. However, being portable, they have several limitations, and the most concerning for users is the limited battery life. Smartphone manufacturers are trying to address this problem by optimizing the hardware and the software, but the concern remains. Although it is well known that apps are one of the components of smartphones that consume the most energy, most app developers do not use or even consider using strategies to minimize their apps’ energy consumption. Creating a labeling system that classifies apps based on their energy consumption is a possible solution to drive developers to be more conscious of their apps’ energy consumption. This work aims to develop a technique to compute a metric for app energy certification. The metric we propose to calculate is WCEC, which represents the energy consumed in the most extreme case of program execution. Typically, this analysis is used in embedded systems, where the energy consumed by the apps must be rigorously determined to avoid inconveniences. Here we have reused the fundamentals of the WCEC analysis to use for Android apps. We address our solution to the Android platform since it has the largest worldwide mobile operating system market share. To perform the WCEC analysis, we take advantage of static analysis and the IPET, the techniques commonly used in this context. We have also created a test scenario to illustrate a case where our tool can be used. This document aims to explain the fundamentals present in our tool and describe its implementation details.Os dispositivos móveis, particularmente os smartphones, tornaram-se uma extensão dos nossos corpos por uma variedade de razões, principalmente mobilidade, conveniência de comunicação e uma vasta gama de aplicações disponíveis. No entanto, várias limitações sugerem pela portabilidade destes dispositivos. A limitação comummente apontada pelos utilizadores é a duração limitada da bateria. Os fabricantes de smartphones tentam resolver este problema através da otimização do hardware e software, mas o problema persiste. É bem-sabido que as aplicações são um dos elementos que consomem mais energia nos smartphones, no entanto, a maioria dos desenvolvedores de aplicações não utiliza ou sequer considera a utilização de estratégias para minimizar o consumo de energia das suas aplicações. Uma forma prática para resolver este problema é forçar os desenvolvedores a se preocuparem mais sobre o consumo de energia das suas aplicações, criando um sistema de catálogo que classifica as aplicações com base no seu consumo de energia. Neste trabalho o nosso objetivo é desenvolver uma ferramenta capaz de fornecer uma métrica que poderá ser usado para fins de comparação entre as aplicações. A métrica que nos propomos em calcular é o Worst-Case Energy Consumption (WCEC), que representa a energia consumida no caso mais extremo da execução de um programa. Esta abordagem é normalmente empregue em alguns sistemas embutidos, nos quais a duração da bateria deve ser rigorosamente calculada para evitar vários constrangimentos. Também ilustramos um cenário para demonstrar como a nossa ferramenta pode ser utilizada. O objetivo deste documento é explicar os princípios usados na nossa abordagem e descrever em pormenor os passos usados na implementação da nossa ferramenta

A monodocência nas 5.ª e 6.ª classes do ensino primário em Angola: a visão dos professores

O propósito desta investigação é o de contribuir para a análise e compreensão crítica da prática de Monodocência em comparação com o regime de Polidocência nas 5.ª e 6.ª classe em duas escolas, uma pública outra privada, do Ensino Primário, em Angola. Hoje em dia estão disponíveis recursos com um elevado potencial em contexto educativo, nomeadamente porque permitem que os professores, e mais especificamente os alunos, possam aprender de um modo diferente do que tradicionalmente é feito na escola. É neste cenário de evolução do sistema educativo em que nos encontramos agora em Angola, que optámos por conhecer as percepções dos professores acerca dos regimes de Monodocência e Polidocência. Em concreto, pretendemos responder à questão de investigação: - Qual a visão dos professores sobre a prática de Monodocência a nível das 5.ª e 6.ª classes no Ensino Primário em Angola? Este estudo tem como objetivo principal analisar as perceções e representações que professores angolanos têm relativamente a estas duas práticas. Dada a importância atribuída ao que pensam professores, optámos por realizar um estudo de natureza qualitativa, envolvendo professores de diferentes anos letivos, nomeadamente da 5.ª e 6.ª classes do Ensino Primário em Angola, numa escola pública e numa escola privada. Os principais resultados esperados serão o contributo para a compreensão dos modos de trabalho mais adequados em torno destas práticas numa perspetiva de maior ação e de novas e diferentes abordagens ao ensino por parte dos professores; ### ABSTRAT: A SINGLE TEACHER AT THE 5.TH & 6.TH GRADE OF PRIMARY EDUCATION IN ANGOLA: THE VISION OF TEACHERS With the aim of contributing to the understanding of the practice of a Single Teacher on the 5th and 6.th grade in two schools, one public and one private, what are their benefits over the Multiple Teachers experience, this research will focus on the analysis and understanding of the practice of the teachers at the 5 th and 6 th grade of Primary Education in Angola. Nowadays, we have available resources with a high potential in educational settings, particularly because they allow teachers and specially students to learn in a different way than it is traditionally done in school. This is the scenario of evolution of the system in which we now find ourselves in Angola, in conjunction with my personal interest, which arises the idea of questioning what is the vision that teachers have about these two regimes, Multiple Teachers versus a Single Teacher. Specifically, we intend to answer the research question about what is the vision of teachers on the work of a single teacher at the 5th and 6th grade of Primary Education in Angola? This study aims to analize the perceptions that teachers have on these two practices and search a further knowledge of each kind of teaching. Given the importance attached to what teachers think, we have chosen to conduct a qualitative study, involving teachers from different school years, including the 5 th and 6.th grade. It is in this context that we will study how these teachers see the practice of a Single Teacher at the level of 5th and 6th grade of Primary Education in Angola in a public school and a private school. The main expected results are a contribution to the understanding of the most appropriate ways to work around these practices in a larger perspective of action and new and different approaches of teaching by the teachers. It is expected, firstly, that teachers have a more collaborative and, moreover, that the processes of teaching and learning in school may value creativity, innovation, improving therefore the quality of learning and the daily work of teachers

Definição e análise dos parâmetros de construção e operação de uma ferramenta de estampagem

O processo de estampagem metálica é dos processos mais utilizados na indústria. Como resultado, qualquer pequeno avanço tecnológico, representa uma enorme melhoria no processo. O processo de estampagem metálica é realizado num curto período de tempo, com forças muito elevadas que promovem deformações elasto-plásticas, endurecimento do material e geração de calor por deformação plástica e também por atrito. Como resultado, muitos problemas podem ocorrer, tais como micro-fissuras, macro-fissuras, engelhamento, defeitos de forma estricções localizadas, fracturas, etc. Quando uma destas falhas ocorre, é importante fazer um diagnóstico das causas do problema. O método de elementos finitos, pode ajudar a fazer uma previsão destes problemas. Os resultados obtidos por este método, são utilizados para se modificarem algumas variáveis do processo, tais como: força do encostador, geometria de punções e matrizes. Neste trabalho foi efectuado um estudo da evolução de uma ferramenta progressiva, recorrendo a um software de elementos finitos (LS-DYNA). O objectivo do estudo da ferramenta progressiva, é o de fazer uma comparação dos resultados obtidos pelo LS-DYNA, com o componente obtido na fase de produção. A ferramenta em estudo passou por três grandes evoluções, tendo sido essencialmente alteradas as geometrias de punções e matrizes. Foi feita uma comparação das espessuras obtidas no processo real, com espessuras obtidas na simulação. Os resultados obtidos na simulação são muito semelhantes ao processo real, com uma margem de erro máximo de 4,08%

Ferramenta computacional para análise de imagens de ensaios mecânicos de dureza

Este artigo apresenta uma ferramenta computacional capaz de determinar as durezas Brinell e Vickers a partir de imagens de identações. A referida ferramenta integra algoritmos de processamento e análisede imagem, como crescimento de regiões e contornos ativos (snakes). Para validar a ferramenta proposta, foram realizadas comparações dos resultados obtidos por ela e pelo processo convencional a partir de identações realizadas no aço ABNT 1020. A partir dessa comparação, pode-se afirmar que a ferramenta desenvolvida é mais rápida, intuitiva na sua aplicação e menos dependente da subjetividade do operador

Grupos estratégicos: uma ferramenta estratégica

Comunicação apresentada nas XII Jornadas Luso-Espanholas de Gestão Científica na Universidade Da Beira InteriorDesde os anos 70 do século XX tem sido desenvolvida a teoria dos grupos estratégicos, assistindo-se nas décadas de 80 e 90 a uma autêntica avalanche de estudos aplicados, grande parte dos quais com o objectivo de constatar um possível relacionamento entre grupos estratégicos e resultados económicos e financeiros. No entanto, a identificação de grupos estratégicos, para além da análise e explicação de níveis de rendibilidade, abre outros espaços à investigação sobre estratégia empresarial. A detecção de movimentos estratégicos e tendências de mudança, a previsão de reacções, a análise de níveis de concorrência ou, ainda, a identificação de interesses ou oportunidades de cooperação com vista a complementar competências, são exemplos claros de que a identificação de grupos estratégicos, muito para além da análise e explicação de níveis de rendibilidade é, indiscutivelmente, uma poderosa ferramenta de análise estratégica que poderá auxiliar de forma determinante na tomada de decisão a nível empresarial

Podcast e Vodcast : o potencial da ferramenta VoiceThread

Nesta comunicação apresentamos uma ferramenta Web 2.0 ainda pouco conhecida e divulgada em língua portuguesa, o VoiceThread. Trata-se de um aplicativo com virtualidades próprias e muito específicas e que possibilita a criação de apresentações electrónicas interactivas, em que diferentes pessoas podem colaborar na construção de um produto comum, podendo resultar esta prática em benefícios relativamente às aprendizagens dos participantes. Apresentada a ferramenta e sugeridas possibilidades da sua exploração em contexto educativo, apresentamos exemplos onde a ferramenta foi utilizada

Por que a informatização funciona? Estratégies de compensação dos atores no caso da prescrição medica.

International audienceO presente artigo trata do processo de informatização de um serviço de cuidados hospitalares tomando o caso de um software de prescrição médica. A ferramenta permite aos médicos prescrever por meio do computador o tratamento medicamentoso que os enfermeiros deverão preparar e administrar em seguida. A investigação etnográfica, no serviçohospitalar, relata a introdução da ferramenta a partir da atividade cotidiana dos enfermeiros. Destaca uma série de dificuldades com as quais os usuários se confrontam bem como as soluções que eles criam para tornar a ferramenta operacional, confiável e eficiente. O artigo relata assim as “estratégias de compensação” que os usuários desenvolvem,em especial o “trabalho de equipamento” dos suportes informáticos. O artigo mostra também que as estratégias de compensações criadas in situ pelos usuários são, em parte, invisíveis para os projetistas da ferramenta. Distantes da atividade comum dos usuários, os projetistas não percebem nem os problemas de uso nem as soluções criadas localmente.Eles atribuem o desempenho da ferramenta à qualidade da sua concepção e sua capacidade de melhorar a ferramenta que se encontra reduzida. O artigo convida a refletir sobre o que torna efetiva a eficiência de um sistema de informação e sobre as lições aprendidas para a concepção das ferramentas

BENCHMARKING E BALANCED SCORECARD COMBINADOS COMO SUBSÍSDIO PARA A TOMADA DE DECISÃO NA GESTÃO DE UNIVERSIDADES

Objetivo: Apresentar a proposta de concepção simplificada de uma ferramenta capaz de gerar subsídios para a tomada de decisão na gestão de universidades, por intermédio da combinação do Benchmarking com o Balanced Scorecard. Método: O estudo foi elaborado a partir de revisão bibliográfica. Resultados: Constatou-se que uma ferramenta personalizada de geração de informações para tomada de decisão em universidades, construída pela combinação de Benchmarking e Balanced Scorecard, é viável. Como vantagens: I – A ferramenta permite o estabelecimento de indicadores oriundos do mundo real, gerando metas possíveis, viáveis e até desejáveis; II – A ferramenta permite exprimir gráfica e quantitativamente em uma mesma tela diversos elementos, incluindo os subjetivos qualitativos, permitindo ao gestor a cognição e o entendimento instantâneos da situação atual da organização em termos do progresso das metas. Ao mesmo tempo, por se basear apenas em exemplos reais já realizados, apesar de oferecer um método sólido e seguro de gestão de metas, a ferramenta apresenta limitação à criatividade e à inovação, devendo, portanto ser utilizada em conjunto com outros sistemas que introduzam inovação