A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Digital serious games and simulation games - comparison of two approaches to lean training

In an increasingly competitive and globalized world, companies need effective training methodologies and tools for their employees. However, selecting the most suitable ones is not an easy task. It depends on the requirements of the target group (namely time restrictions), on the specificities of the contents, etc. This is typically the case for training in Lean, the waste elimination manufacturing philosophy. This paper presents and compares two different approaches to lean training methodologies and tools: a simulation game based on a single realistic manufacturing platform, involving production and assembly operations that allows learning by playing; and a digital game that helps understand lean tools. This paper shows that both tools have advantages in terms of trainee motivation and knowledge acquisition. Furthermore, they can be used in a complementary way, reinforcing the acquired knowledge.

INbreast: Toward a Full-field Digital Mammographic Database

Rationale and Objectives Computer-aided detection and diagnosis (CAD) systems have been developed in the past two decades to assist radiologists in the detection and diagnosis of lesions seen on breast imaging exams, thus providing a second opinion. Mammographic databases play an important role in the development of algorithms aiming at the detection and diagnosis of mammary lesions. However, available databases often do not take into consideration all the requirements needed for research and study purposes. This article aims to present and detail a new mammographic database. Materials and Methods Images were acquired at a breast center located in a university hospital (Centro Hospitalar de S. João [CHSJ], Breast Centre, Porto) with the permission of the Portuguese National Committee of Data Protection and Hospital's Ethics Committee. MammoNovation Siemens full-field digital mammography, with a solid-state detector of amorphous selenium was used. Results The new database—INbreast—has a total of 115 cases (410 images) from which 90 cases are from women with both breasts affected (four images per case) and 25 cases are from mastectomy patients (two images per case). Several types of lesions (masses, calcifications, asymmetries, and distortions) were included. Accurate contours made by specialists are also provided in XML format. Conclusion The strengths of the actually presented database—INbreast—relies on the fact that it was built with full-field digital mammograms (in opposition to digitized mammograms), it presents a wide variability of cases, and is made publicly available together with precise annotations. We believe that this database can be a reference for future works centered or related to breast cancer imaging.

Particle swarm design of digital circuits

Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) agents interacting locally with their environment cause coherent functional global patterns to emerge. Particle swarm optimization (PSO) is a form of SI, and a population-based search algorithm that is initialized with a population of random solutions, called particles. These particles are flying through hyperspace and have two essential reasoning capabilities: their memory of their own best position and knowledge of the swarm's best position. In a PSO scheme each particle flies through the search space with a velocity that is adjusted dynamically according with its historical behavior. Therefore, the particles have a tendency to fly towards the best search area along the search process. This work proposes a PSO based algorithm for logic circuit synthesis. The results show the statistical characteristics of this algorithm with respect to number of generations required to achieve the solutions. It is also presented a comparison with other two Evolutionary Algorithms, namely Genetic and Memetic Algorithms.

Caracterização mecânica e análise da resistência à corrosão em diferentes solos, de aços inoxidáveis duplex

O aço inoxidável é um material de alta durabilidade e resistência, utilizado nos mais diversos setores comerciais. O conhecimento das suas características e propriedades é essencial para uma escolha mais seletiva e vantajosa. Pretende‐se com este trabalho, estudar as propriedades mecânicas, a resistência ao desgaste e o comportamento, em ambientes mais agressivos de três tipos de aços inoxidáveis duplex, produzidos pela OUTOKUMPU e comercialmente conhecidos pelas designações LDX 2101, SAF 2507 e o SAF 2205. Para tal efeito foram realizados ensaios de Dureza Vickers, antes e após dobragem; ensaios de tracção em duas diferentes situações: seguindo a norma NP EN 10002‐ 1:2006 e após a realização de alguns ciclos de carga e descarga; ensaio de Impacto à temperatura ambiente e após arrefecimento criogénico; ensaio de resistência à corrosão. Também foi feito o estudo de resistência ao desgaste com base na técnica de micro‐abrasão por esfera rotativa e o estudo metalográfico. Foi também objetivo deste trabalho, relacionar o uso dos referidos aços duplex e as consequências que esse uso tem para o meio ambiente, bem como o seu comportamento quando exposto a condições extremas. Para tal, foram colocadas amostras dos referidos aços, em dois tipos de solos com condições de humidade e acidez diferentes analisando o seu estado após imersão em solo com condições controladas durante 272 dias.

Plataforma de gestão e controlo de identidade digital e implementação novos modelos de governação e utilização das TIC

As estruturas orgânicas empresariais estão cada vez mais obrigadas a garantir elevados padrões de qualidade de serviços, possibilitando ao mesmo tempo a sustentabilidade das estruturas e ainda, o alinhamento dos investimentos efetuados com as estratégias de negócio. O seu desenvolvimento obriga a que na área das tecnologias de informação e comunicação exista a necessidade de repensar estratégias em vigor, procurando novos modelos, mais ágeis e mais capazes de se enquadrar nestas novas exigências. Neste âmbito, é de esperar que as plataformas de identidade digital tenham um papel determinante no desenvolvimento destes novos modelos, pois são um instrumento único para se implementarem plataformas heterogéneas, intemperáveis, com elevados níveis de segurança e de garantia de controlo no acesso à informação. O trabalho agora apresentado tem como objectivo investigar e desenvolver uma plataforma de identidade digital e uma plataforma de testes, que permitam ao Politécnico do Porto a aquisição de um infraestrutura de Tecnologias de Informação e Comunicação que se torne um instrumento fundamental para o desenvolvimento contínuo, de garantia de qualidade e de sustentabilidade de todos os serviços prestados à sua comunidade.

Red nacional para el estudio de los incendios forestales y sus efectos en los suelos – RIS./ Rede nacional para o estudo dos Incêndios florestais e seus efeitos nos Solos

En enero de 2014, continuando con la intención expresada en Guimarães (Portugal), en noviembre de 2013, durante la VII Reunión de la Geografía Física y Medio Ambiente (EGFA VII), la Asociación Portuguesa de Prevención de Riesgos y Seguridad (RISCOS) creó las condiciones para el establecimiento de una sección temática dedicada al estudio de los efectos de los incendios sobre los suelos y que vendría a ser conocida “Red Nacional para el Estudio de los Incendios Forestales y sus Efectos sobre los Suelos” (RIS). Esta fue una iniciativa inspirada en Fuegored (Red Temática Nacional Efectos de los Incendios Forestales sobre los Suelos) y que, de esta manera, desea establecer una red nacional de investigadores con el fin de facilitar la promoción y difusión de los resultados de sus pesquisas científicas sobre este tema, realizadas en Portugal, así como la interacción entre el mundo científico y el manejo forestal . La RIS fue fundada por 12 miembros, que representan 7 universidades portuguesas y en la actualidad cuenta con 23 miembros de 9 universidades y escuelas politécnicas. Se espera que crezca y que puede añadir todos los que participan en la investigación científica de los incendios forestales y sus efectos en los suelos.

Definição de padrões de plasticidade de solos através do cone de penetração, por comparação com o método de Casagrande

Existe uma vasta literatura que defende a utilização do ensaio com o cone Penetrómetro ou fall cone como sendo uma alternativa razoável relativamente ao método mais tradicional na determinação do limite de liquidez, a concha de Casagrande. Com este trabalho pretende-se dar mais um contributo à temática da obtenção dos parâmetros de plasticidade dos solos, utilizando diferentes dispositivos e metodologias distintas. Para tal, selecionou-se um solo de caráter argiloso, proveniente de um barreiro da zona de Chaves, e estabeleceram-se comparações entre os valores dos limites de consistência, obtidos pela concha de Casagrande e pelo fall cone. Nesse âmbito, foi elaborada, inicialmente, uma caracterização deste tipo de solos, a definição de conceitos importantes como o de limite de liquidez, limite de plasticidade e índice de plasticidade, assim como uma descrição do funcionamento daqueles dispositivos e das variáveis associadas a cada um deles. Procedeu-se à classificação do solo, segundo três sistemas, através de ensaios de identificação e caracterização, com o objetivo de inferir acerca da composição e comportamento do mesmo. Foi também objetivo deste trabalho, estudar a potencial influência do operador, nos resultados obtidos em ambos os dispositivos. Desta forma, foi possível concluir acerca das vantagens e desvantagens de cada aparelho e definir perspetivas para trabalhos futuros.

Projeto e implementação de um pré-regulador de fator de potência com controlo digital

Hoje em dia as fontes de alimentação possuem correção do fator de potência, devido às diversas normas regulamentares existentes, que introduziram grandes restrições no que respeita à distorção harmónica (THD) e fator de potência (FP). Este trabalho trata da análise, desenvolvimento e implementação de um Pré-Regulador de fator de potência com controlo digital. O controlo digital de conversores com recurso a processamento digital de sinal tem vindo a ser ao longo dos últimos anos, objeto de investigação e desenvolvimento, estando constantemente a surgirem modificações nas topologias existentes. Esta dissertação tem como objetivo estudar e implementar um Pré-Regulador Retificador Boost e o respetivo controlo digital. O controlo do conversor é feito através da técnica dos valores médios instantâneos da corrente de entrada, desenvolvido através da linguagem de descrição de hardware VHDL (VHSIC HDL – Very High Speed Integrated Circuit Hardware Description Language) e implementado num dispositivo FPGA (Field Programmable Gate Array) Spartan-3E. Neste trabalho são apresentadas análises matemáticas, para a obtenção das funções de transferência pertinentes ao projeto dos controladores. Para efetuar este controlo é necessário adquirir os sinais da corrente de entrada, tensão de entrada e tensão de saída. O sinal resultante do módulo de controlo é um sinal de PWM com valor de fator de ciclo variável ao longo do tempo. O projeto é simulado e validado através da plataforma MatLab/Simulink e PSIM, onde são apresentados resultados para o regime permanente e para transitórios da carga e da tensão de alimentação. Finalmente, o Pré-Regulador Retificador Boost controlado de forma digital é implementado em laboratório. Os resultados experimentais são apresentados para validar a metodologia e o projeto desenvolvidos.

Remediação de solos contaminados por compostos farmacêuticos

O recente surgimento de nanopartículas de ferro valente-zero (nFZV), um material com elevada capacidade de remediação de solos por via de reacções de oxidação/redução pode ser uma opção viável para a remoção de fármacos do solo. A sua aplicação já é uma realidade em alguns tipos de solos contaminados por compostos específicos e, com este trabalho, procura-se estudar a sua capacidade de remediação de solos contaminados por compostos farmacêuticos, recorrendo-se a uma tecnologia “verde” de síntese destas nanopartículas. Esta tecnologia é bastante recente, ainda não aplicada no campo de trabalho, que se baseia no uso de folhas de certas árvores para produzir extratos naturais que reduzem o ferro (III) a ferro zero valente, formando nFZV. Desta forma procedeu-se, à escala laboratorial, ao estudo da eficiência das nFZV na degradação de um fármaco – paracetamol – e comparou-se com a eficiência demonstrada por oxidantes, muito utilizados hoje em dia em casos de remediação in situ como o permanganato de potássio, o peróxido de hidrogénio, o persulfato de sódio e o reagente de Fenton. O estudo foi efectuado em dois meios diferentes: solução aquosa e solo arenoso. De forma muito sucinta, o estudo baseou-se na introdução dos oxidantes/nFZV em soluções/solos contaminados com paracetamol e consequente monitorização do processo de remediação através de cromatografia líquida de alta eficiência. Nos ensaios com soluções aquosas contaminadas com paracetamol, o permanganato de potássio e o reagente de Fenton revelaram capacidade para degradar o paracetamol, atingindo mesmo um grau de degradação de 100%. O persulfato de sódio também demonstrou uma capacidade de degradação do paracetamol, chegando a atingir 99% de degradação, mas apenas recorrendo ao uso de um volume de oxidante elevado quando comparado com os outros dois oxidantes já referidos. Por outro lado, o peróxido de hidrogénio não demonstrou qualquer capacidade de degradação do paracetamol, pelo que o seu uso não passou desta fase. Verificou-se também que o uso de ferro granulado para o tratamento de água contaminada com paracetamol revelou resultados diferentes dos observados no uso de nFZV, obtendo-se eficiências de 87%. Existiram dificuldades analíticas na quantificação do paracetamol, especificamente relacionadas com o uso do extracto de folhas de amoreira, cuja composição continha substâncias que causaram dificuldades acentuadas na análise dos cromatogramas. Por fim, um pequeno teste de combinação do reagente de Fenton com os fenómenos de biodegradação resultantes dos microrganismos presentes em folhas do extracto de chá preto demonstrou que este pode ser uma área que pode e deve ser mais estudada. Desta forma, a utilização das nFZV para o tratamento de água contaminada com paracetamol não permitiu a retirada de conclusões seguras sobre a capacidade que as nFZV produzidas com extractos de folhas de amoreira e de chá preto têm de degradação do paracetamol. Nos testes de remediação de solos contaminados os resultados demonstraram que, mais uma vez, tanto o permanganato de potássio como o reagente de Fenton se revelam como os melhores oxidantes para a degradação do paracetamol, obtendo-se a degradação total do paracetamol. Por outro lado, voltou a ser necessário uma elevada quantidade de persulfato de sódio quando comparada com os dois anteriores, para que ocorra a degradação desta mesma quantidade de paracetamol, demonstrando mais uma vez que, apesar de não ideal, o persulfato demonstra capacidade de degradação do paracetamol.

Projecto Vale do Minho digital: trabalho de natureza profissional

Trabalho de natureza profissional para a atribuição do Título de Especialista do Instituto Politécnico do Porto, na área de Informática, defendido a 08-07-2014. O trabalho apresentado é propriedade da Associação de Municípios do Vale do Minho.

Digital storytelling: emotions in higher education

The results presented in the article are part of a wider PhD project developed under the Doctoral program in Multimedia in Education from the University of Aveiro. The project, which sought to understand student ID in Higher education through the use of Digital Storytelling, was made possible through the Doctoral Grant awarded by Fundação para a Ciência e Tecnologia (FCT).

Avaliação do impacto do fogo controlado na vulnerabilidade dos solos florestais – uma contribuição

A floresta portuguesa constitui um dos pilares do desenvolvimento económico e social do País e enfrenta dificuldades de gestão face à incerteza associada à sanidade florestal, à economia do futuro e ao clima. A sustentabilidade dos recursos florestais requer, entre outras acções, medidas de preservação dos georecursos e de garantia da diversidade biológica e da fruição estética das florestas. Na floresta, o fogo é um fenómeno ecológico natural. Contudo, a maioria dos incêndios florestais que ocorrem anualmente em Portugal possuem uma natureza antropogénica inequívoca, não só pela origem das ignições mas também pela natureza do coberto vegetal, fortemente determinado pela intervenção humana. As consequências ambientais que se verificam após a ocorrência de um incêndio são indesejáveis reflectem-se em prejuízos nos solos até então protegidos pelo coberto florestal.

Mapeamento da Responsabilidade Social em Portugal (The Mapping of Social Responsibility in Portugal)

Conferência multidisciplinar e multicultural.