Unified overhead-aware schedulability analysis for slot-based task-splitting

Hard real- time multiprocessor scheduling has seen, in recent years, the flourishing of semi-partitioned scheduling algorithms. This category of scheduling schemes combines elements of partitioned and global scheduling for the purposes of achieving efficient utilization of the system’s processing resources with strong schedulability guarantees and with low dispatching overheads. The sub-class of slot-based “task-splitting” scheduling algorithms, in particular, offers very good trade-offs between schedulability guarantees (in the form of high utilization bounds) and the number of preemptions/migrations involved. However, so far there did not exist unified scheduling theory for such algorithms; each one was formulated in its own accompanying analysis. This article changes this fragmented landscape by formulating a more unified schedulability theory covering the two state-of-the-art slot-based semi-partitioned algorithms, S-EKG and NPS-F (both fixed job-priority based). This new theory is based on exact schedulability tests, thus also overcoming many sources of pessimism in existing analysis. In turn, since schedulability testing guides the task assignment under the schemes in consideration, we also formulate an improved task assignment procedure. As the other main contribution of this article, and as a response to the fact that many unrealistic assumptions, present in the original theory, tend to undermine the theoretical potential of such scheduling schemes, we identified and modelled into the new analysis all overheads incurred by the algorithms in consideration. The outcome is a new overhead-aware schedulability analysis that permits increased efficiency and reliability. The merits of this new theory are evaluated by an extensive set of experiments.

Nanotechnology and antioxidant therapy: An emerging approach for neurodegenerative diseases

The efficacy, cellular uptake and specific transport of dietary antioxidants to target organs, tissues and cells remains the most important setback for their application in the treatment of oxidative-stress related disorders and in particular in neurodegenerative diseases, as brain targeting remains a still unsolved challenge. Nanotechnology based delivery systems can be a solution for the above mentioned problems, specifically in the case of targeting dietary antioxidants with neuroprotective activity. Nanotechnology-based delivery systems can protect antioxidants from degradation, improve their physicochemical drug-like properties and in turn their bioavailability. The impact of nanomedicine in the improvement of the performance of dietary antioxidants, as protective agents in oxidative- stress events, specifically through the use of drug delivery systems, is highlighted in this review as well as the type of nanomaterials regularly used for drug delivery purposes. From the data one can conclude that the research combining (dietary) antioxidants and nanotechnology, namely as a therapeutic solution for neurodegenerative diseases, is still in a very early stage. So, a huge research area remains to be explored that hopefully will yield new and effective neuroprotective therapeutic agents in a foreseeable future.

As determinantes da qualidade da informação financeira via imparidade de ativos

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação da Professora Doutora Cláudia Maria Ferreira Pereira

An Approach To Publish a Data Warehouse Content as Linked Data

Mestrado em Engenharia Informática - Área de Especialização em Tecnologias do Conhecimento e Decisão

Utilização de PAM's e Medicamentos e/ou Produtos à base de Plantas pela População do Concelho de Bragança

Introdução: Entende-se por fitoterapia a terapêutica caracterizada pelo uso de plantas medicinais nas diferentes formas farmacêuticas com finalidade terapêutica, usada assim para prevenir, atenuar ou curar um estado patológico. Objetivos: Caracterizar a utilização de plantas aromáticas e medicinais (PAM´s), medicamentos e produtos à base de plantas pela população do concelho de Bragança, conhecer a fonte de indicação deste tipo de produtos, apurar a relação entre a fonte de indicação e o estado de saúde após a utilização, verificar a sua correta utilização relativa à indicação terapêutica, modo e frequência de utilização, identificar potenciais interacções medicamentosas, averiguar se os utentes informam o médico do seu uso, investigar a ocorrência de efeitos adversos e apurar a relação entre os efeitos adversos ocorridos e o género dos inquiridos. Métodos: Trata-se de um estudo observacional analítico-transversal. Nele participaram 404 indivíduos de ambos os géneros e com idades compreendidas entre os 18 e os 89 anos. A recolha de dados foi realizada entre os meses de abril e junho de 2014, através de um questionário estruturado de autopreenchimento, formado por 30 perguntas. Após a recolha dos dados procedeu-se à leitura óptica dos questionários, sendo os dados posteriormente exportados para SPSS permitindo assim o tratamento dos mesmos. Para análise estatística utilizou-se o teste do qui-quadrado considerando o nível de significância p <0,05. Resultados: Verificou-se que 53,7% dos inquiridos recorre terapeuticamente a PAM´s que inclui principalmente o uso de cidreira e camomila enquanto 33,8% faz uso de medicamentos e/ou produtos àbase de plantas nomeadamente Valdispert e Daflon. A utilização de PAM,s é motivada por autoconhecimento e indicação de familiares, amigos e vizinhos. Já os medicamentos e/ou produtos à base de plantas são utilizados maioritariamente por prescrição médica e indicação na farmácia. A ocorrência de efeitos indesejáveis foi sentida unicamente com a utilização de PAM´s e em pequena escala. Conclusão: O recurso a este tipo de produtos é uma prática bastante comum entre os moradores do concelho de Bragança, que utilizam uma grande diversidade de plantas e produtos à base de plantas para um variado leque de indicações terapêuticas, apontando a percentagem de respostas para um conhecimento dos seus efeitos terapêuticos.

Bioatividade de Líquidos Iónicos derivados do Ácido Valpróico em bactérias Gram-negativa

Os Líquidos Iónicos (LIs) são sais orgânicos constituídos exclusivamente por iões e possuem pontos de fusão inferiores a 100ºC. As suas propriedades únicas e o facto de ser possível ajustar as suas propriedades físicas, químicas e biológicas, de acordo com o objetivo pretendido, tornam esta classe de compostos, um grande objeto de estudo de inúmeros investigadores. Desde os inícios da sua aplicação até à atualidade, a investigação nesta área expandiu o seu raio de ação, estando já descrito o seu potencial como agentes antimicrobianos e, mais recentemente, como compostos farmacêuticos ativos. Atualmente muitas das suas aplicações são baseadas nas suas propriedades biológicas. Esta Tese teve como objetivo avaliar a influência que os LIs podem exercer a nível do crescimento bacteriano e estudar alternativas de combater a resistência bacteriana. Todos os LIs utilizados neste trabalho tinham como anião o ácido valpróico, sendo utilizados catiões orgânicos de amónio e de imidazólio. Foram utilizadas 4 bactérias e avaliou-se a atividade biológica e a respetiva taxa de crescimento. O estudo da sua atividade biológica foi feito através da determinação da Concentração Mínima Inibitória (CMI) e a análise das suas curvas de crescimentos na presença e ausência de composto. Com este trabalho foi possível verificar que dentro dos compostos em estudo, LIs derivados do valproato, o Valproato com o cetilperidínio [valp] [cetylpir] foi o que influenciou o crescimento de todas as bactérias estudadas. Este estudo demonstrou o potencial antibacteriano de alguns compostos, podendo desta forma vir a ser utilizados para fins farmacêuticos

Cartografia de zonamento geotécnico no apoio ao planeamento e valorização da exploração do georrecurso: o caso do maciço rochoso da Curviã (Joane)

Este trabalho centra-se no estudo do aproveitamento expectável do maciço rochoso da pedreira da Curviã N.o 2 (Joane, Vila Nova de Famalicão, no N Portugal), através da obtenção de um bloco unitário tipo que forneça indicações para a exploração do recurso geológico para fins industriais e/ou ornamentais. Desta forma, investiga-se se num dado limite de zona geotécnica do maciço rochoso e propicio a obtenção de blocos com dimensão, avaliados apos o processo de transformação, nomeadamente, para enrocamento em obras marítimas ou balastro em obras ferroviárias. Foram seleccionados diversos afloramentos, tendo-se recorrido a técnica de amostragem linear as superfícies expostas do maciço. Esta técnica e uma das formas mais expeditas de coligir dados geológico-geotécnicos relativos as descontinuidades. Procedeu-se, ainda, a um tratamento estatístico das descontinuidades, bem como dos parâmetros geológico-geotécnicos e geomecânicos a estas associadas, propostos pela Sociedade Internacional de Mecânica das Rochas (ISRM). Todos os dados foram representados cartograficamente numa base apoiada pelos Sistemas de Informação Geográfica (SIG) e utilizadas as ferramentas de geologia estrutural, analise morfotectónica, modelação digital de terreno e cartografia de zonamento geotécnico. O zonamento geotécnico do maciço granítico foi realizado sempre em estreita ligação com o conhecimento das características do maciço ”in situ”. Pretende-se que esta metodologia contribua para um melhor conhecimento da compartimentação dos maciços rochosos em geral e, em particular, do modelo geotécnico comportamental do maciço rochoso da Curviã N.o2.

Identificação forense de ossadas por tomografia computorizada

A antropologia forense é uma disciplina das ciências forenses que trata da análise de restos cadavéricos humanos para fins legais. Uma das suas aplicações mais populares é a identificação forense que consiste em determinar o perfil biológico (idade, sexo, ancestralidade e estatura) de um indivíduo. No entanto, este processo muitas vezes é dificultado quando o corpo se encontra em avançado estado de decomposição apenas existindo restos esqueléticos. Neste caso, áreas médicas comummente utilizadas na identificação de cadáveres, como a patologia, tem de ser descartadas e surge a necessidade de aplicar outras técnicas. Neste contexto, muitos métodos antropométricos são propostos de forma a caracterizar uma pessoa através do seu esqueleto. Contudo, constata-se que a maioria dos procedimentos sugeridos é baseada em equipamentos básicos de medição, não usufruindo da tecnologia contemporânea. Assim, em parceria com a Delegação Norte do NMLCF, I. P., esta Tese teve na sua génese a criação de um sistema computacional baseado em imagens de Tomografia Computorizada (TC) de ossadas que, através de ferramentas open source, permita a realização de identificação forense. O trabalho apresentado baseia-se no processo de gestão de informação, aquisição, processamento e visualização de imagens TC. No decorrer da realização da presente Tese foi desenvolvida uma base de dados que permite organizar a informação de cada ossada e foram implementados algoritmos que levam a uma extracção de características muito mais vasta que a efetuada manualmente com os equipamentos de medição clássicos. O resultado final deste estudo consistiu num conjunto de técnicas que poderão ser englobadas num sistema computacional de identificação forense e deste modo criar uma aplicação com vantagens tecnológicas evidentes.

Using data mining techniques to support breast cancer diagnosis

More than ever, there is an increase of the number of decision support methods and computer aided diagnostic systems applied to various areas of medicine. In breast cancer research, many works have been done in order to reduce false-positives when used as a double reading method. In this study, we aimed to present a set of data mining techniques that were applied to approach a decision support system in the area of breast cancer diagnosis. This method is geared to assist clinical practice in identifying mammographic findings such as microcalcifications, masses and even normal tissues, in order to avoid misdiagnosis. In this work a reliable database was used, with 410 images from about 115 patients, containing previous reviews performed by radiologists as microcalcifications, masses and also normal tissue findings. Throughout this work, two feature extraction techniques were used: the gray level co-occurrence matrix and the gray level run length matrix. For classification purposes, we considered various scenarios according to different distinct patterns of injuries and several classifiers in order to distinguish the best performance in each case described. The many classifiers used were Naïve Bayes, Support Vector Machines, k-nearest Neighbors and Decision Trees (J48 and Random Forests). The results in distinguishing mammographic findings revealed great percentages of PPV and very good accuracy values. Furthermore, it also presented other related results of classification of breast density and BI-RADS® scale. The best predictive method found for all tested groups was the Random Forest classifier, and the best performance has been achieved through the distinction of microcalcifications. The conclusions based on the several tested scenarios represent a new perspective in breast cancer diagnosis using data mining techniques.

Characterisation of noisy speech channels in 2G and 3G mobile networks

As the wireless cellular market reaches competitive levels never seen before, network operators need to focus on maintaining Quality of Service (QoS) a main priority if they wish to attract new subscribers while keeping existing customers satisfied. Speech Quality as perceived by the end user is one major example of a characteristic in constant need of maintenance and improvement. It is in this topic that this Master Thesis project fits in. Making use of an intrusive method of speech quality evaluation, as a means to further study and characterize the performance of speech codecs in second-generation (2G) and third-generation (3G) technologies. Trying to find further correlation between codecs with similar bit rates, along with the exploration of certain transmission parameters which may aid in the assessment of speech quality. Due to some limitations concerning the audio analyzer equipment that was to be employed, a different system for recording the test samples was sought out. Although the new designed system is not standard, after extensive testing and optimization of the system's parameters, final results were found reliable and satisfactory. Tests include a set of high and low bit rate codecs for both 2G and 3G, where values were compared and analysed, leading to the outcome that 3G speech codecs perform better, under the approximately same conditions, when compared with 2G. Reinforcing the idea that 3G is, with no doubt, the best choice if the costumer looks for the best possible listening speech quality. Regarding the transmission parameters chosen for the experiment, the Receiver Quality (RxQual) and Received Energy per Chip to the Power Density Ratio (Ec/N0), these were subject to speech quality correlation tests. Final results of RxQual were compared to those of prior studies from different researchers and, are considered to be of important relevance. Leading to the confirmation of RxQual as a reliable indicator of speech quality. As for Ec/N0, it is not possible to state it as a speech quality indicator however, it shows clear thresholds for which the MOS values decrease significantly. The studied transmission parameters show that they can be used not only for network management purposes but, at the same time, give an expected idea to the communications engineer (or technician) of the end-to-end speech quality consequences. With the conclusion of the work new ideas for future studies come to mind. Considering that the fourth-generation (4G) cellular technologies are now beginning to take an important place in the global market, as the first all-IP network structure, it seems of great relevance that 4G speech quality should be subject of evaluation. Comparing it to 3G, not only in narrowband but also adding wideband scenarios with the most recent standard objective method of speech quality assessment, POLQA. Also, new data found on Ec/N0 tests, justifies further research studies with the intention of validating the assumptions made in this work.

A penhora e os seus efeitos registais

Dissertação de Mestrado em Solicitadoria

Manobras de condução assistida para veículos submarinos subactuados

A intervenção humana no manuseamento de veículos submarinos operados remotamente (ROVs) é um requisito necessário para garantir o sucesso da missão e a integridade do equipamento. Contudo, a sua teleoperação não é fácil, pelo que a condução assistida destes veículos torna-se relevante. Esta dissertação propõe uma solução para este problema para ROVs de 3DOF (surge, heave e yaw). São propostas duas abordagens distintas – numa primeira propõe-se um sistema de controlo Image Based Visual Servoing (IBVS) tendo em vista a utilização exclusiva de uma câmara (sensor existente neste tipo de sistemas) por forma a melhorar significativamente a teleoperação de um pequeno ROV; na segunda, propõe-se um sistema de controlo cinemático para o plano horizontal do veículo e um algoritmo de uma manobra capaz de dotar o ROV de movimento lateral através de uma trajectória dente-de-serra. Demonstrou-se em cenários de operação real que o sistema proposto na primeira abordagem permite ao operador de um ROV com 3DOF executar tarefas de alguma complexidade (estabilização) apenas através de comandos de alto nível, melhorando assim drasticamente a teleoperação e qualidade de inspecção do veículo em questão. Foi também desenvolvido um simulador do ROV em MATLAB para validação e avaliação das manobras, onde o sistema proposto na segunda abordagem foi validado com sucesso.

Implementação de um processo industrial de coloração de granito

O presente estágio foi desenvolvido na Britafiel. Um dos projectos em que a Empresa se encontra envolvida é o STOCO, pretendendo implementar à escala industrial um processo de coloração de pedra granítica natural para fins decorativos. Foi neste projecto que se enquadrou o estágio. O tema do estágio centra-se no processo de coloração de granito tendo como principal foco a implementação de um processo industrial de produção de granito colorido. O projecto STOCO nasce da necessidade de complementar a actividade da empresa com produtos de maior valor acrescentado para valorização da matéria-prima de base, o granito. STOCO, resultante de Stone Color, é o nome dado ao projecto e ao novo produto que é granito colorido, sob a forma de brita. Pretende-se obter um produto amigo do ambiente e com boas características: manter a textura natural da pedra granítica e assegurar uma boa resistência a factores agressivos. Estudos prévios de qualidade e de toxicidade mostraram que o produto STOCO desenvolvido até então apresenta um bom comportamento face a agressões climatéricas e que não compromete a vida das espécies usadas nos testes (peixes). Em relação aos lixiviados e resíduos da pedra colorida STOCO, estes não apresentaram qualquer problema ambiental, sendo considerado um produto amigo do ambiente. À data de início do presente trabalho estava em funcionamento um equipamento protótipo de produção de granito colorido (100 kg/partida), sendo a instalação e o arranque da unidade industrial (3 ton/h) concretizados no início de 2014, já no decorrer deste trabalho. Os objectivos cumpridos no âmbito deste trabalho foram então a implementação de uma linha industrial de produção de brita colorida, avaliação técnica do processo e do custo industrial de produção associado às matérias-primas. Neste relatório é descrito o processo inicial adoptado e apresentam-se as alterações efectuadas para melhoria do processo produtivo. Resolveram-se problemas como: definição e instalação de equipamentos complementares para a entrada e a saída da brita no equipamento industrial; pó excessivo na brita; cheiro intenso a gás e elevado ruído; adequação do sistema de pintura; e secagem incompleta da brita. Alguns destes problemas não foram totalmente resolvidos, mas sim minimizados. O equipamento industrial necessita ainda de alterações em diversas áreas, que foram identificadas e para as quais são feitas sugestões de melhoria. Conseguiu-se ainda fazer alguns testes para uma possível substituição de alguns constituintes da tinta. Os componentes que entram na composição base da tinta aquosa, são de modo simplificado: ligante, pigmento, solvente e aditivos. Os constituintes que mais encarecem a tinta, e consequentemente o processo em causa, são o ligante e o pigmento. Os estudos efectuados precisam de ser aprofundados, na tentativa de melhorar o processo minimizando os custos de produção. Formalizaram-se os procedimentos escritos de produção STOCO tanto para o protótipo como para o processo industrial e elaborou-se uma ficha técnica de produto para a brita colorida STOCO.

El ocio cotidiano de los estudiantes: de educación secundaria en Espanã

Partiendo de la interrelación existente entre la educación cultural de las personas y el uso que hacen de sus tiempos cotidianos, en el artículo se pone de manifiesto la relevancia que tiene el ocio en el desarrollo humano. Más aún cuando nos referimos a adolescentes y jóvenes que, dada la realidad socio familiar que les ha venido impuesta, ven condicionada la satisfacción de muchas de las necesidades básicas que favorecen una vida de y con calidad, en cuyo logro el derecho al ocio adquiere un protagonismo clave. En este sentido, se presentarán parte de los resultados de un proyecto de investigación, cuyo objetivo principal residía en conocer e interpretar cómo inciden los tiempos escolares en los procesos de socialización adolescente y juvenil, así como en los modos de configurar su tiempo libre. Más en concreto: se analizarán algunos de los datos obtenidos en un cuestionario diseñado ad hoc y aplicado a una muestra de 3.306 alumnos/as de entre 12 y 17 años que cursaban Educación Secundaria Obligatoria (ESO) en centros educativos de la geografía española en el curso académico 2010-2011. Conocer la utilización que hace este colectivo de sus tiempos, tiene para nosotros en este artículo una doble finalidad: reflexionar en qué medida las actividades que realizan favorecen la adquisición de aprendizajes de carácter cultural; indagar si existe alguna relación significativa entre la edad, el contexto familiar y las actividades que llevan a cabo.

Modelação numérica de uma caldeira doméstica a pellets

A biomassa é uma das fontes de energia renovável com maior potencial em Portugal, sendo a capacidade de produção de pellets de biomassa atualmente instalada superior a 1 milhão de toneladas/ano. Contudo, a maioria desta produção destina-se à exportação ou à utilização em centrais térmicas a biomassa, cujo crescimento tem sido significativo nos últimos anos, prevendo-se que a capacidade instalada em 2020 seja de aproximadamente 250 MW. O mercado português de caldeiras a pellets é bastante diversificado. O estudo que realizamos permitiu concluir que cerca de 90% das caldeiras existentes no mercado português têm potências inferiores a 60 kW, possuindo na sua maioria grelha fixa (81%), com sistema de ignição eléctrica (92%) e alimentação superior do biocombustível sólido (94%). O objetivo do presente trabalho foi o desenvolvimento de um modelo para simulação de uma caldeira a pellets de biomassa, que para além de permitir otimizar o projeto e operação deste tipo de equipamento, permitisse avaliar as inovações tecnológicas nesta área. Para tal recorreu-se o BiomassGasificationFoam, um código recentemente publicado, e escrito para utilização com o OpenFOAM, uma ferramenta computacional de acesso livre, que permite a simulação dos processos de pirólise, gasificação e combustão de biomassa. Este código, que foi inicialmente desenvolvido para descrever o processo de gasificação na análise termogravimétrica de biomassa, foi por nós adaptado para considerar as reações de combustão em fase gasosa dos gases libertados durante a pirólise da biomassa (recorrendo para tal ao solver reactingFoam), e ter a possibilidade de realizar a ignição da biomassa, o que foi conseguido através de uma adaptação do código de ignição do XiFoam. O esquema de ignição da biomassa não se revelou adequado, pois verificou-se que a combustão parava sempre que a ignição era inativada, independentemente do tempo que ela estivesse ativa. Como alternativa, usaram-se outros dois esquemas para a combustão da biomassa: uma corrente de ar quente, e uma resistência de aquecimento. Ambos os esquemas funcionaram, mas nunca foi possível fazer com que a combustão fosse autossustentável. A análise dos resultados obtidos permitiu concluir que a extensão das reações de pirólise e de gasificação, que são ambas endotérmicas, é muito pequena, pelo que a quantidade de gases libertados é igualmente muito pequena, não sendo suficiente para libertar a energia necessária à combustão completa da biomassa de uma maneira sustentável. Para tentar ultrapassar esta dificuldade foram testadas várias alternativas, , que incluíram o uso de diferentes composições de biomassa, diferentes cinéticas, calores de reação, parâmetros de transferência de calor, velocidades do ar de alimentação, esquemas de resolução numérica do sistema de equações diferenciais, e diferentes parâmetros dos esquemas de resolução utilizados. Todas estas tentativas se revelaram infrutíferas. Este estudo permitiu concluir que o solver BiomassGasificationFoam, que foi desenvolvido para descrever o processo de gasificação de biomassa em meio inerte, e em que a biomassa é aquecida através de calor fornecido pelas paredes do reator, aparentemente não é adequado à descrição do processo de combustão da biomassa, em que a combustão deve ser autossustentável, e em que as reações de combustão em fase gasosa são importantes. Assim, é necessário um estudo mais aprofundado que permita adaptar este código à simulação do processo de combustão de sólidos porosos em leito fixo.