A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

A data-mining-based methodology for transmission expansion planning

In recent decades, all over the world, competition in the electric power sector has deeply changed the way this sector’s agents play their roles. In most countries, electric process deregulation was conducted in stages, beginning with the clients of higher voltage levels and with larger electricity consumption, and later extended to all electrical consumers. The sector liberalization and the operation of competitive electricity markets were expected to lower prices and improve quality of service, leading to greater consumer satisfaction. Transmission and distribution remain noncompetitive business areas, due to the large infrastructure investments required. However, the industry has yet to clearly establish the best business model for transmission in a competitive environment. After generation, the electricity needs to be delivered to the electrical system nodes where demand requires it, taking into consideration transmission constraints and electrical losses. If the amount of power flowing through a certain line is close to or surpasses the safety limits, then cheap but distant generation might have to be replaced by more expensive closer generation to reduce the exceeded power flows. In a congested area, the optimal price of electricity rises to the marginal cost of the local generation or to the level needed to ration demand to the amount of available electricity. Even without congestion, some power will be lost in the transmission system through heat dissipation, so prices reflect that it is more expensive to supply electricity at the far end of a heavily loaded line than close to an electric power generation. Locational marginal pricing (LMP), resulting from bidding competition, represents electrical and economical values at nodes or in areas that may provide economical indicator signals to the market agents. This article proposes a data-mining-based methodology that helps characterize zonal prices in real power transmission networks. To test our methodology, we used an LMP database from the California Independent System Operator for 2009 to identify economical zones. (CAISO is a nonprofit public benefit corporation charged with operating the majority of California’s high-voltage wholesale power grid.) To group the buses into typical classes that represent a set of buses with the approximate LMP value, we used two-step and k-means clustering algorithms. By analyzing the various LMP components, our goal was to extract knowledge to support the ISO in investment and network-expansion planning.

Dynamic power- and failure-aware cloud resources allocation for Sets of independent tasks

Cloud computing is increasingly being adopted in different scenarios, like social networking, business applications, scientific experiments, etc. Relying in virtualization technology, the construction of these computing environments targets improvements in the infrastructure, such as power-efficiency and fulfillment of users’ SLA specifications. The methodology usually applied is packing all the virtual machines on the proper physical servers. However, failure occurrences in these networked computing systems can induce substantial negative impact on system performance, deviating the system from ours initial objectives. In this work, we propose adapted algorithms to dynamically map virtual machines to physical hosts, in order to improve cloud infrastructure power-efficiency, with low impact on users’ required performance. Our decision making algorithms leverage proactive fault-tolerance techniques to deal with systems failures, allied with virtual machine technology to share nodes resources in an accurately and controlled manner. The results indicate that our algorithms perform better targeting power-efficiency and SLA fulfillment, in face of cloud infrastructure failures.

Os preços de transferência e o âmbito de intervenção do auditor: abordagem e enquadramento

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do obtenção do grau de Mestre em Auditoria Auditoria, sob orientação de Adalmiro Álvaro Malheiro de Castro Andrade

Implementação e validação de um método de avaliação do perfil de ácidos gordos e do teor de gordura em alimentos por cromatografia gasosa

Nos dias de hoje é necessário criar hábitos de vida mais saudáveis que contribuam para o bem-estar da população. Adoptar medidas e práticas de modo regular e disciplinado, pode diminuir o risco do aparecimento de determinadas doenças, como a obesidade, as doenças cardiovasculares, a hipertensão, a diabetes, alguns tipos de cancro e tantas outras. É também importante salientar que, uma alimentação cuidada dá saúde e aumenta a esperança média de vida. Em Portugal, nos últimos anos, os costumes alimentares da população têm vindo a alterar-se significativamente. As refeições caseiras confeccionadas com produtos frescos dão lugar à designada “cultura do fast food”. Em contrapartida, os consumidores são cada vez mais exigentes, estando em permanente alerta no que se refere ao estado dos alimentos. A rotulagem de um produto, para além da função publicitária, tem vindo a ser objecto de legislação específica de forma a fornecer informação simples e clara, correspondente à composição, qualidade, quantidade, validade ou outras características do produto. Estas informações devem ser acessíveis a qualquer tipo de público, com mais ou menos formação e de qualquer estrato social. A qualidade e segurança dos produtos deve basear-se na garantia de que todos os ingredientes, materiais de embalagem e processos produtivos são adequados à produção de produtos seguros, saudáveis e saborosos. A Silliker Portugal, S.A. é uma empresa independente de prestação de serviços para o sector agro-alimentar, líder mundial na prestação de serviços para a melhoria da qualidade e segurança alimentar. A Silliker dedica-se a ajudar as empresas a encontrar soluções para os desafios actuais do sector, oferecendo uma ampla gama de serviços, onde se inclui o serviço de análises microbiológicas, químicas e sensorial; consultadoria em segurança alimentar e desenvolvimento; auditorias; rotulagem e legislação. A actualização permanente de procedimentos na procura de uma melhoria contínua é um dos objectivos da empresa. Para responder a um dos desafios colocados à Silliker, surgiu este trabalho, que consistiu no desenvolvimento de um novo método para determinação de ácidos gordos e da gordura total em diferentes tipos de alimentos e comparação dos resultados, com os obtidos com o método analítico até então adoptado. Se a gordura é um elemento de grande importância na alimentação, devido às suas propriedades nutricionais e organoléticas, recentemente, os investigadores têm focado a sua atenção nos mais diversos ácidos gordos (saturados, monoinsaturados e polinsaturados), em particular nos ácidos gordos essenciais e nos isómeros do ácido linoleico conjugado (CLA), uma mistura de isómeros posicionais e geométricos do ácido linoleico com actividade biológica importante. A técnica usada nas determinações foi a cromatografia gasosa com ionização de chama, GC-FID, tendo as amostras sido previamente tratadas e extraídas de acordo com o tipo de matriz. A metodologia analítica desenvolvida permitiu a correcta avaliação do perfil em ácidos gordos, tendo-se para isso usado uma mistura de 37 ésteres metílicos, em que o ácido gordo C13:0 foi usado como padrão interno. A identificação baseou-se nos tempos de retenção de cada ácido gordo da mistura e para a quantificação usaram-se os factores de resposta. A validação do método implementado foi baseada nos resultados obtidos no estudo de três matrizes relativas a materiais certificados pela BIPEA (Bureau Interprofessionnel des Etudes Analytiques), para o que foram efectuadas doze réplicas de cada matriz. Para cada réplica efectuada foi calculado o teor de matéria gorda, sendo posteriormente o resultado comparado com o emitido pela entidade certificada. Após análise de cada constituinte foi também possível calcular o teor em ácidos gordos saturados, monoinsaturados e polinsaturados. A determinação do perfil em ácidos gordos dos materiais certificados foi aceitável atendendo aos valores obtidos, os quais se encontravam no intervalo de valores admissíveis indicados nos relatórios. A quantificação da matéria gorda no que se refere à matriz de “Paté à Tartinier” apresentou um z-score de 4,3, o que de acordo com as exigências internas da Silliker, não é válido. Para as outras duas matrizes (“Mélange Nutritif” e “Plat cuisiné à base de viande”) os valores de z-score foram, respectivamente, 0,7 e -1,0, o que permite concluir a validade do método. Para que o método possa vir a ser adoptado como método alternativo é necessário um estudo mais alargado relativamente a amostras com diferentes composições. O método foi aplicado na análise de amostras de fiambre, leite gordo, queijo, ovo com ómega 3, amendoim e óleo de girassol, e os resultados foram comparados com os obtidos pelo método até então adoptado.

Monitorização de cobre em vinhos verdes

A presente dissertação descreve o desenvolvimento e a caracterização de sensores potenciométricos com base em polímeros de impressão molecular e de sensores ópticos com base em membranas de poli(cloreto de vinilo), PVC, para a determinação de cobre em vinhos verdes. Os sensores potenciométricos foram preparados a partir de diferentes solventes (metanol e clorofórmio), tendo o seu crescimento decorrido na presença ou ausência da molécula molde (cobre). Os sistemas sensores selectivos ao cobre continham partículas de polímeros com ou sem impressão molecular como material electroactivo, dispersas em solvente plastificante, PVC e, em alguns casos, aditivo aniónico. A avaliação dos vários sistemas baseou-se na comparação das características operacionais dos diversos eléctrodos onde foram aplicados. Estas características foram obtidas a partir de curvas de calibração, cujos declives e limites de detecção variaram entre -39,9 – 37,0 mV decada-1 e 4,2 – 29,1 μg mL-1, respectivamente. Os sensores não são independentes do pH uma vez que o complexo formado entre o cobre e a difenilcarbazida é favorecido por valores de pH próximos de 5. Assim, obtiveram-se melhores resultados usando água desionizada ou solução tampão de HEPES revelando-se um método rápido e relativamente eficaz nestas condições. Os sensores ópticos basearam-se na reacção colorimétrica entre o cobre e um complexante. Os reagentes complexantes escolhidos foram a neocuproína, a difenilcarbazida e o dietilditiocarbamato de sódio. Avaliou-se o efeito de vários parâmetros experimentais na resposta destes sensores, tais como o pH (avaliado para os valores 3,00 e 5,00), a concentração de cobre (que variou entre 0,06 e 317,7 mg L- 1) e as próprias características da membrana. Os melhores resultados foram obtidos a pH 3, numa gama de concentrações de 0,06 e 31,8 mg L-1 usando a difenilcarbazida como reagente complexante. A aplicação destes sensores a vinhos requer ainda estudos adicionais, especialmente no que diz respeito à necessidade de implementar algum procedimento de pré-tratamento de amostra.

Robôs quadrúpedes: geração de trajectórias em tempo real usando sistemas dinâmicos não-lineares

A geração de trajectórias de robôs em tempo real é uma tarefa muito complexa, não existindo ainda um algoritmo que a permita resolver de forma eficaz. De facto, há controladores eficientes para trajectórias previamente definidas, todavia, a adaptação a variações imprevisíveis, como sendo terrenos irregulares ou obstáculos, constitui ainda um problema em aberto na geração de trajectórias em tempo real de robôs. Neste trabalho apresentam-se modelos de geradores centrais de padrões de locomoção (CPGs), inspirados na biologia, que geram os ritmos locomotores num robô quadrúpede. Os CPGs são modelados matematicamente por sistemas acoplados de células (ou neurónios), sendo a dinâmica de cada célula dada por um sistema de equações diferenciais ordinárias não lineares. Assume-se que as trajectórias dos robôs são constituídas por esta parte rítmica e por uma parte discreta. A parte discreta pode ser embebida na parte rítmica, (a.1) como um offset ou (a.2) adicionada às expressões rítmicas, ou (b) pode ser calculada independentemente e adicionada exactamente antes do envio dos sinais para as articulações do robô. A parte discreta permite inserir no passo locomotor uma perturbação, que poderá estar associada à locomoção em terrenos irregulares ou à existência de obstáculos na trajectória do robô. Para se proceder á análise do sistema com parte discreta, será variado o parâmetro g. O parâmetro g, presente nas equações da parte discreta, representa o offset do sinal após a inclusão da parte discreta. Revê-se a teoria de bifurcação e simetria que permite a classificação das soluções periódicas produzidas pelos modelos de CPGs com passos locomotores quadrúpedes. Nas simulações numéricas, usam-se as equações de Morris-Lecar e o oscilador de Hopf como modelos da dinâmica interna de cada célula para a parte rítmica. A parte discreta é modelada por um sistema inspirado no modelo VITE. Medem-se a amplitude e a frequência de dois passos locomotores para variação do parâmetro g, no intervalo [-5;5]. Consideram-se duas formas distintas de incluir a parte discreta na parte rítmica: (a) como um (a.1) offset ou (a.2) somada nas expressões que modelam a parte rítmica, e (b) somada ao sinal da parte rítmica antes de ser enviado às articulações do robô. No caso (a.1), considerando o oscilador de Hopf como dinâmica interna das células, verifica-se que a amplitude e frequência se mantêm constantes para -50.2. A extensão do movimento varia de forma directamente proporcional à amplitude. No caso das equações de Morris-Lecar, quando a componente discreta é embebida (a.2), a amplitude e a frequência aumentam e depois diminuem para - 0.170.5 Pode concluir-se que: (1) a melhor forma de inserção da parte discreta que menos perturbação insere no robô é a inserção como offset; (2) a inserção da parte discreta parece ser independente do sistema de equações diferenciais ordinárias que modelam a dinâmica interna de cada célula. Como trabalho futuro, é importante prosseguir o estudo das diferentes formas de inserção da parte discreta na parte rítmica do movimento, para que se possa gerar uma locomoção quadrúpede, robusta, flexível, com objectivos, em terrenos irregulares, modelada por correcções discretas aos padrões rítmicos.

Controlador Boundary-Scan

A crescente complexidade dos sistemas electrónicos associada a um desenvolvimento nas tecnologias de encapsulamento levou à miniaturização dos circuitos integrados, provocando dificuldades e limitações no diagnóstico e detecção de falhas, diminuindo drasticamente a aplicabilidade dos equipamentos ICT. Como forma de lidar com este problema surgiu a infra-estrutura Boundary Scan descrita na norma IEEE1149.1 “Test Access Port and Boundary-Scan Architecture”, aprovada em 1990. Sendo esta solução tecnicamente viável e interessante economicamente para o diagnóstico de defeitos, efectua também outras aplicações. O SVF surgiu do desejo de incutir e fazer com que os fornecedores independentes incluíssem a norma IEEE 1149.1, é desenvolvido num formato ASCII, com o objectivo de enviar sinais, aguardar pela sua resposta, segundo a máscara de dados baseada na norma IEEE1149.1. Actualmente a incorporação do Boundary Scan nos circuitos integrados está em grande expansão e consequentemente usufrui de uma forte implementação no mercado. Neste contexto o objectivo da dissertação é o desenvolvimento de um controlador boundary scan que implemente uma interface com o PC e possibilite o controlo e monitorização da aplicação de teste ao PCB. A arquitectura do controlador desenvolvido contém um módulo de Memória de entrada, um Controlador TAP e uma Memória de saída. A implementação do controlador foi feita através da utilização de uma FPGA, é um dispositivo lógico reconfiguráveis constituído por blocos lógicos e por uma rede de interligações, ambos configuráveis, que permitem ao utilizador implementar as mais variadas funções digitais. A utilização de uma FPGA tem a vantagem de permitir a versatilidade do controlador, facilidade na alteração do seu código e possibilidade de inserir mais controladores dentro da FPGA. Foi desenvolvido o protocolo de comunicação e sincronização entre os vários módulos, permitindo o controlo e monitorização dos estímulos enviados e recebidos ao PCB, executados automaticamente através do software do Controlador TAP e de acordo com a norma IEEE 1149.1. A solução proposta foi validada por simulação utilizando o simulador da Xilinx. Foram analisados todos os sinais que constituem o controlador e verificado o correcto funcionamento de todos os seus módulos. Esta solução executa todas as sequências pretendidas e necessárias (envio de estímulos) à realização dos testes ao PCB. Recebe e armazena os dados obtidos, enviando-os posteriormente para a memória de saída. A execução do trabalho permitiu concluir que os projectos de componentes electrónicos tenderão a ser descritos num nível de abstracção mais elevado, recorrendo cada vez mais ao uso de linguagens de hardware, no qual o VHDL é uma excelente ferramenta de programação. O controlador desenvolvido será uma ferramenta bastante útil e versátil para o teste de PCBs e outras funcionalidades disponibilizadas pelas infra-estruturas BS.

Private cloud computing platforms. Analysis and implementation in a Higher Education Institution

The constant evolution of the Internet and its increasing use and subsequent entailing to private and public activities, resulting in a strong impact on their survival, originates an emerging technology. Through cloud computing, it is possible to abstract users from the lower layers to the business, focusing only on what is most important to manage and with the advantage of being able to grow (or degrades) resources as needed. The paradigm of cloud arises from the necessity of optimization of IT resources evolving in an emergent and rapidly expanding and technology. In this regard, after a study of the most common cloud platforms and the tactic of the current implementation of the technologies applied at the Institute of Biomedical Sciences of Abel Salazar and Faculty of Pharmacy of Oporto University a proposed evolution is suggested in order adorn certain requirements in the context of cloud computing.

Biomimetic norfloxacin sensors made of molecularly-imprinted materials for potentiometric transduction

A biomimetic sensor for norfloxacin is presented that is based on host-guest interactions and potentiometric transduction. The artificial host was imprinted into polymers made from methacrylic acid and/or 2-vinyl pyridine. The resulting particles were entrapped in a plasticized poly(vinyl chloride) (PVC) matrix. The sensors exhibit near-Nernstian response in steady state evaluations, and detection limits range from 0.40 to 1.0 μgmL−1, respectively, and are independent of pH values at between 2 and 6, and 8 and 11, respectively. Good selectivity was observed over several potential interferents. In flowing media, the sensors exhibit fast response, a sensitivity of 68.2 mV per decade, a linear range from 79 μM to 2.5 mM, a detection limit of 20 μgmL−1, and a stable baseline. The sensors were successfully applied to field monitoring of norfloxacin in fish samples, biological samples, and pharmaceutical products

Electroanalytical study of the pesticide ethiofencarb

A detailed study of voltammetric behavior of ethiofencarb (ETF) is reported using glassy carbon electrode (GCE) and hanging mercury drop electrode (HMDE). With GCE, it is possible to verify that the oxidative mechanism is irreversible, independent of pH, and the maximum intensity current was observed at +1.20 V vs. AgCl/Ag at pH 1.9. A linear calibration line was obtained from 1.0x10-4 to 8.0x10-4 mol L-1 with SWV method. To complete the electrochemical knowledge of ETF pesticide, the reduction was also explored with HMDE. A well-defined peak was observed at –1.00V vs. AgCl/Ag in a large range of pH with higher signal at pH 7.0. Linearity was obtained in 4.2x10-6 and 9.4x10-6 mol L-1 ETF concentration range. An immediate alkaline hydrolysis of ETF was executed, producing a phenolic compound (2-ethylthiomethylphenol) (EMP), and the electrochemical activity of the product was examined. It was deduced that it is oxidized on GCE at +0.75V vs. AgCl/Ag with a maximum peak intensity current at pH 3.2, but the compound had no reduction activity on HMDE. Using the decrease of potential peak, a flow injection analysis (FIA) system was developed connected to an amperometric detector, enabling the determination of EMP over concentration range of 1.0x10-7 and 1.0x10-5 mol L-1 at a sampling rate of 60 h-1. The results provided by FIA methodology were performed by comparison with results from high-performance liquid chromatography (HPLC) technique and demonstrated good agreement with relative deviations lower than 4%. Recovery trials were performed and the obtained values were between 98 and 104%.

Tympanometry values in children between 3-45 months old

Tympanometry values of children between 3-45 months old during cold season, with a 226 Hz probe tone

Plano de negócios para a construção de uma unidade fabril de misturas complementares

A Cooperativa Agrícola de Vila do Conde desenvolve um negócio de fabrico e comercialização de misturas complementares para alimentação bovina, sobretudo para vacas leiteiras. Há alguns anos a esta parte, esta Cooperativa sabe que terá que deslocalizar a unidade fabril existente devido a imposições da Direção Geral de Alimentação e Veterinária, relacionadas com questões de natureza ambiental. A necessidade de ser realizado um novo investimento, para garantir a sustentabilidade do negócio mais rentável gerido por esta Cooperativa, levou a pensar-se na possibilidade de construção de uma nova unidade fabril, de dimensão superior, capaz de servir outras cooperativas, visando o desejado entendimento das cooperativas em torno de um objetivo comum, logrando a obtenção de economias de escala, de extrema importância para a sobrevivência do setor leiteiro na região do Entre Douro e Minho. Para o efeito será constituída uma nova sociedade por quotas, designada por AGRIVIL XXI, Lda., de capital exclusivamente cooperativo, possibilitando que, em cada momento, se possa aferir a situação económica e financeira do negócio de forma mais rigorosa e autónoma. Esta realidade foi conducente à elaboração do presente Plano de Negócios que se espera profícuo para definição dos objetivos e metas a atingir num futuro próximo pela Cooperativa Agrícola de Vila do Conde. As análises de viabilidade e do risco do projeto demonstraram estarem criadas as condições de aceitação do mesmo, sendo expectável um VAL de 1.371.764 euros, uma TIR de 12,04% e um pay-back period próximo dos 11 anos. No entanto é notório a existência de um risco inerente ao investimento na medida em que o montante dos fluxos gerados tende a aproximar-se dos fluxos investidos, não gerando um excedente de riqueza significativo.

Global-EDF scheduling of multimode real- time systems considering mode independent tasks

Embedded real-time systems often have to support the embedding system in very different and changing application scenarios. An aircraft taxiing, taking off and in cruise flight is one example. The different application scenarios are reflected in the software structure with a changing task set and thus different operational modes. At the same time there is a strong push for integrating previously isolated functionalities in single-chip multicore processors. On such multicores the behavior of the system during a mode change, when the systems transitions from one mode to another, is complex but crucial to get right. In the past we have investigated mode change in multiprocessor systems where a mode change requires a complete change of task set. Now, we present the first analysis which considers mode changes in multicore systems, which use global EDF to schedule a set of mode independent (MI) and mode specific (MS) tasks. In such systems, only the set of MS tasks has to be replaced during mode changes, without jeopardizing the schedulability of the MI tasks. Of prime concern is that the mode change is safe and efficient: i.e. the mode change needs to be performed in a predefined time window and no deadlines may be missed as a function of the mode change.

Efficient computation of min and max sensor values in multihop networks

Consider a wireless sensor network (WSN) where a broadcast from a sensor node does not reach all sensor nodes in the network; such networks are often called multihop networks. Sensor nodes take individual sensor readings, however, in many cases, it is relevant to compute aggregated quantities of these readings. In fact, the minimum and maximum of all sensor readings at an instant are often interesting because they indicate abnormal behavior, for example if the maximum temperature is very high then it may be that a fire has broken out. In this context, we propose an algorithm for computing the min or max of sensor readings in a multihop network. This algorithm has the particularly interesting property of having a time complexity that does not depend on the number of sensor nodes; only the network diameter and the range of the value domain of sensor readings matter.