New findings on the dynamics of HIV and TB coinfection models

In this paper we study a model for HIV and TB coinfection. We consider the integer order and the fractional order versions of the model. Let α∈[0.78,1.0] be the order of the fractional derivative, then the integer order model is obtained for α=1.0. The model includes vertical transmission for HIV and treatment for both diseases. We compute the reproduction number of the integer order model and HIV and TB submodels, and the stability of the disease free equilibrium. We sketch the bifurcation diagrams of the integer order model, for variation of the average number of sexual partners per person and per unit time, and the tuberculosis transmission rate. We analyze numerical results of the fractional order model for different values of α, including α=1. The results show distinct types of transients, for variation of α. Moreover, we speculate, from observation of the numerical results, that the order of the fractional derivative may behave as a bifurcation parameter for the model. We conclude that the dynamics of the integer and the fractional order versions of the model are very rich and that together these versions may provide a better understanding of the dynamics of HIV and TB coinfection.

Consultoria de gestão operacional e gestão da formação

Relatório de estágio apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do título de Mestre em Auditoria Orientada por Dr. Rodrigo Carvalho Coorientador: Dr. José Rui Dias

Adverse effect of alcohol drinking: the role of oxidative stress

Atualmente, o álcool tem um papel importante na saúde pública e surge como um dos principais problemas sociais no mundo, dado que é a droga mais viciante aceite em encontros sociais. Provavelmente, por essa razão, os riscos do consumo abusivo do álcool são subestimados pelos jovens, mulheres grávidas e idosos. O álcool, quando ingerido em altas proporções, pode afetar todos os órgãos e desencadear inúmeras doenças, tais como a doença cardíaca coronariana, doença neurodegenerativa, as doenças crónicas e câncer. O álcool afeta ainda o estado psicológico, induzindo a violência, o estado antissocial e situações de risco de comportamentos. Por estas razões, o álcool tornou-se um foco principal da investigação, avaliando os seus efeitos sobre o corpo humano. Nesta pesquisa, foram suscitadas amostras de sangue de um grupo de pacientes em tratamento psicológico e/ou farmacêutico que serão analisadas com quatro métodos: Teste de Radicais Livres do Oxigénio (FORT), Defesa contra Radicais Livres do Oxigénio (FORD), cromatografia gasosa (GC) e cromatografia líquida de alta pressão (HPLC). Ambos os métodos FORT e FORD avaliam o stress oxidativo pela quantificação de radicais livres e a capacidade de antioxidantes em eliminar esses radicais livres, respetivamente. O stress oxidativo é o efeito do excesso de consumo de álcool, que é reduzido pela capacidade de ação dos antioxidantes. A boa reprodutibilidade, precisão e exatidão de ambos os métodos indicam que estes podem ser aplicados em rápidos diagnósticos. Para o método FORT e considerando o início do tratamento, os pacientes alcoólicos apresentaram uma média de 3,59±1.01mmol/LH2O2 e o grupo de controlo uma média de 1,42±0.53mmol/LH2O2, o que mostra uma diferença significativa entre os dois grupos (P=0,0006). Para o método FORD, pacientes alcoólicos apresentam uma média de 1,07±0.53mmol/LH2O2 e o grupo de controlo, uma média de 2,81±0.46mmol/LH2O2, mostrando também uma média significativa (P=0,0075). Após 15 dias de tratamento observou-se que há uma diferença entre os dois grupos de pacientes alcoólicos, mas não há nenhum melhoramento em relação ao grupo de pacientes em tratamento. No método FORT os grupos mostram uma diferença significativa (P=0,0073), tendo os pacientes sem tratamento farmacêutico melhores resultados (2.37±0.44mmol/LH2O2) do que os pacientes com tratamento (3.72±1,04mmol/LH2O2). O oposto ocorre no método FORD, os pacientes em tratamento farmacêutico presentam melhores resultados (1.16±0.65mmol/LH2O2) do que o outro grupo (0.75±0.22mmol/LH2O2), não sendo, no entanto, uma diferença significativa entre os dois grupos (P=0.16). Os resultados obtidos para a concentração de MDA pelo método de HPLC mostraram que o grupo de controlo tem valores mais baixos do que os pacientes alcoólicos, embora a diferença não seja muito significativa (P = 0,084), mas é ainda elevada. Além disso, os dois grupos de pacientes não apresentaram uma diferença significativa entre os seus resultados no início (P=0,77) e no fim (P=0,79) do tratamento. De acrescentar ainda que, os resultados da concentração de álcool no sangue determinados pelo método de CG mostraram que só alguns pacientes sem tratamento consumiram álcool durante o período de tratamento, o que influencia negativamente a conclusão sobre o efeito do tratamento. Contudo, outros fatores externos podem ainda influenciar os resultados finais, tais como o estado nutricional e estado psicológico dos pacientes, se o paciente continua a beber durante o tempo de tratamento ou até mesmo se o paciente é exposto a outros tipos de substâncias nocivas. Existe ainda a possibilidade de o tempo de aplicação do tratamento não ser suficiente para apresentar um efeito positivo em relação ao stress oxidativo e este é um outro fator que contribui para a impossibilidade de confirmar sobre o efeito, quer seja positivo ou negativo, do tratamento antioxidante.

Diagnóstico de máquinas elétricas pela análise de vibração

O diagnóstico de máquinas elétricas pela análise de vibração é utilizado num plano de manutenção, onde é dado a conhecer a “real condição do equipamento”, e surgiu da necessidade de detetar vibrações indesejáveis nas máquinas elétricas, de uma forma simples e com custos acessíveis. Numa fase inicial é obtido um sinal correspondente á vibração da máquina, recorrendo a um acelerômetro, que dependendo da aceleração da máquina, constrói uma forma de onda correspondente. A forma de onda fica guardada em formato de áudio *.wav. Posteriormente, em software Matlab o ficheiro *.wav irá ser carregado, e comparado com o ficheiro *.wav original da máquina. Ao comparar os ficheiros o software analisa o espectro original da máquina através da transformada de Fourier, com o espectro atual. Se este espectro sair do intervalo de segurança, o software deteta nesse espectro a origem da vibração, pois cada vibração tem uma frequência associada. Percorridos os passos descritos, o software disponibiliza ao utilizador as respetivas formas de onda e todo o restante diagnóstico de forma a uma possível intervenção antecipada da avaria.

An embedded 1149.4 extension to support mixed-signal debugging

Debugging electronic circuits is traditionally done with bench equipment directly connected to the circuit under debug. In the digital domain, the difficulties associated with the direct physical access to circuit nodes led to the inclusion of resources providing support to that activity, first at the printed circuit level, and then at the integrated circuit level. The experience acquired with those solutions led to the emergence of dedicated infrastructures for debugging cores at the system-on-chip level. However, all these developments had a small impact in the analog and mixed-signal domain, where debugging still depends, to a large extent, on direct physical access to circuit nodes. As a consequence, when analog and mixed-signal circuits are integrated as cores inside a system-on-chip, the difficulties associated with debugging increase, which cause the time-to-market and the prototype verification costs to also increase. The present work considers the IEEE1149.4 infrastructure as a means to support the debugging of mixed-signal circuits, namely to access the circuit nodes and also an embedded debug mechanism named mixed-signal condition detector, necessary for watch-/breakpoints and real-time analysis operations. One of the main advantages associated with the proposed solution is the seamless migration to the system-on-chip level, as the access is done through electronic means, thus easing debugging operations at different hierarchical levels.

A framework for self-healing radiation-tolerant implementations on reconfigurable FPGAs

To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scales are highly vulnerable to radiation-induced faults that affect values stored in memory cells. Since the functional definition of FPGAs relies on memory cells, they become highly prone to this type of faults. Fault tolerant implementations, based on triple modular redundancy (TMR) infrastructures, help to keep the correct operation of the circuit. However, TMR is not sufficient to guarantee the safe operation of a circuit. Other issues like the effects of multi-bit upsets (MBU) or fault accumulation, have also to be addressed. Furthermore, in case of a fault occurrence the correct operation of the affected module must be restored and the current state of the circuit coherently re-established. A solution that enables the autonomous correct restoration of the functional definition of the affected module, avoiding fault accumulation, re-establishing the correct circuit state in realtime, while keeping the normal operation of the circuit, is presented in this paper.

A modified debugging infrastructure to assist real time fault injection campaigns

Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.

Desenvolvimento de Ontologia para Apoio ao Diagnóstico de Distúrbios do Humor

Mestrado em Computação e Instrumentação Médica

Electrochemical immunosensor for the analysis of the breast cancer biomarker HER2 ECD

Human epidermal growth factor receptor 2 (HER2) is a breast cancer biomarker that plays a major role in promoting breast cancer cell proliferation and malignant growth. The extracellular domain (ECD) of HER2 can be shed into the blood stream and its concentration is measurable in the serum fraction of blood. In this work an electrochemical immunosensor for the analysis of HER2 ECD in human serum samples was developed. To achieve this goal a screen-printed carbon electrode, modified with gold nanoparticles, was used as transducer surface. A sandwich immunoassay, using two monoclonal antibodies, was employed and the detection of the antibody–antigen interaction was performed through the analysis of an enzymatic reaction product by linear sweep voltammetry. Using the optimized experimental conditions the calibration curve (ip vs. log[HER2 ECD]) was established between 15 and 100 ng/mL and a limit of detection (LOD) of 4.4 ng/mL was achieved. These results indicate that the developed immunosensor could be a promising tool in breast cancer diagnostics, patient follow-up and monitoring of metastatic breast cancer since it allows quantification in a useful concentration range and has an LOD below the established cut-off value (15 ng/mL).

Battery management system for electric racing cars

With the introduction of the electrics cars into the market new technologies regarding the battery are being developed and new problems to be solved, one of them the battery management system because each type of cell requires a specific way of handling. This research is done using the active research method to find out the actual problem on this subject and features a BMS should have, understand how they work and how to develop them applied to the purpose on this work. Once the features the BMS should have are clarified, it’s possible to develop a BMS for an electric racing car. The decisions are made taking into consideration the nature of the vehicle being developed. After the project done it’s clear to see that what was developed was not only the BMS itself but all the other factors around it, such as CAN communication, safety control, diagnostics and so on.

Verificação interna periódica de esfigmomanómetros digitais

Os equipamentos de medição utilizados nos hospitais têm uma função muito importante na deteção e diagnóstico de doenças como é o caso da pressão arterial. Entre esses equipamentos encontram-se os esfigmomanómetros digitais portáteis que são em muitos casos os primeiros a serem utilizados e a fornecerem um primeiro diagnóstico da pressão arterial do doente como é no caso das urgências hospitalares. Para que os diagnósticos prescritos pelos profissionais de saúde - médicos e enfermeiros seja o mais correto é necessário conhecer as condições de trabalho em que se encontram os esfigmomanómetros digitais existentes nas unidades de saúde. Sendo os esfigmomanómetros digitais equipamentos com uma importância relevante na vida do ser humano, estes deveriam fazer parte da lista de equipamentos que estão englobados na metrologia legal, situação que neste momento ainda não foi concretizada e cada hospital toma a decisão espontânea se efetua a calibração ou verificação internamente dos seus esfigmomanómetros digitais. Pretende-se com este trabalho dar a conhecer o estado ao nível dos erros de alguns esfigmomanómetros digitais existentes nos hospitais envolvidos no trabalho e desenvolver um procedimento de verificação interna dos mesmos com auxílio de um manómetro analógico calibrado e um estetoscópio duplo – método de medição auscultatório - e comparar esses resultados com a utilização de um simulador – método de medição oscilométrico.

Backside-surface imprinting as a new strategy to generate specific plastic antibody materials

A backside protein-surface imprinting process is presented herein as a novel way to generate specific synthetic antibody materials. The template is covalently bonded to a carboxylated-PVC supporting film previously cast on gold, let to interact with charged monomers and surrounded next by another thick polymer. This polymer is then covalently attached to a transducing element and the backside of this structure (supporting film plus template) is removed as a regular “tape”. The new sensing layer is exposed after the full template removal, showing a high density of re-binding positions, as evidenced by SEM. To ensure that the templates have been efficiently removed, this re-binding layer was cleaned further with a proteolytic enzyme and solution washout. The final material was named MAPS, as in the back-side reading of SPAM, because it acts as a back-side imprinting of this recent approach. It was able to generate, for the first time, a specific response to a complex biomolecule from a synthetic material. Non-imprinted materials (NIMs) were also produced as blank and were used as a control of the imprinting process. All chemical modifications were followed by electrochemical techniques. This was done on a supporting film and transducing element of both MAPS and NIM. Only the MAPS-based device responded to oxLDL and the sensing layer was insensitive to other serum proteins, such as myoglobin and haemoglobin. Linear behaviour between log(C, μg mL−1) versus charged tranfer resistance (RCT, Ω) was observed by electrochemical impedance spectroscopy (EIS). Calibrations made in Fetal Calf Serum (FCS) were linear from 2.5 to 12.5 μg mL−1 (RCT = 946.12 × log C + 1590.7) with an R-squared of 0.9966. Overall, these were promising results towards the design of materials acting close to the natural antibodies and applied to practical use of clinical interest.

Label-free human chorionic gonadotropin detection at picogram levels using oriented antibodies bound to graphene screen-printed electrodes

Human chorionic gonadotropin (hCG) is a key diagnostic marker of pregnancy and an important biomarker for cancers in the prostate, ovaries and bladder and therefore of great importance in diagnosis. For this purpose, a new immunosensor of screen-printed electrodes (SPEs) is presented here. The device was fabricated by introducing a polyaniline (PANI) conductive layer, via in situ electropolymerization of aniline, onto a screen-printed graphene support. The PANI-coated graphene acts as the working electrode of a three terminal electrochemical sensor. The working electrode is functionalised with anti-hCG, by means of a simple process that enabled oriented antibody binding to the PANI layer. The antibody was attached to PANI following activation of the –COOH group at the Fc terminal. Functionalisation of the electrode was analysed and optimized using Electrochemical Impedance Spectroscopy (EIS). Chemical modification of the surface was characterised using Fourier transform infrared, and Raman spectroscopy with confocal microscopy. The graphene–SPE–PANI devices displayed linear responses to hCG in EIS assays from 0.001 to 50 ng mL−1 in real urine, with a detection limit of 0.286 pg mL−1. High selectivity was observed with respect to the presence of the constituent components of urine (urea, creatinine, magnesium chloride, calcium chloride, sodium dihydrogen phosphate, ammonium chloride, potassium sulphate and sodium chloride) at their normal levels, with a negligible sensor response to these chemicals. Successful detection of hCG was also achieved in spiked samples of real urine from a pregnant woman. The immunosensor developed is a promising tool for point-of-care detection of hCG, due to its excellent detection capability, simplicity of fabrication, low-cost, high sensitivity and selectivity.

Specific label-free and real-time detection of oxidized low density lipoprotein (oxLDL) using an immunosensor with three monoclonal antibodies

Increased levels of plasma oxLDL, which is the oxidized fraction of Low Density Lipoprotein (LDL), are associated with atherosclerosis, an inflammatory disease, and the subsequent development of severe cardiovascular diseases that are today a major cause of death in modern countries. It is therefore important to find a reliable and fast assay to determine oxLDL in serum. A new immunosensor employing three monoclonal antibodies (mAbs) against oxLDL is proposed in this work as a quick and effective way to monitor oxLDL. The oxLDL was first employed to produce anti-oxLDL monoclonal antibodies by hybridoma cells that were previously obtained. The immunosensor was set-up by selfassembling cysteamine (Cyst) on a gold (Au) layer (4 mm diameter) of a disposable screen-printed electrode. Three mAbs were allowed to react with N-hydroxysuccinimide (NHS) and ethyl(dimethylaminopropyl)carbodiimide (EDAC), and subsequently incubated in the Au/Cys. Albumin from bovine serum (BSA) was immobilized further to ensure that other molecules apart from oxLDL could not bind to the electrode surface. All steps were followed by various characterization techniques such as electrochemical impedance spectroscopy (EIS) and square wave voltammetry (SWV). The analytical operation of the immunosensor was obtained by incubating the sensing layer of the device in oxLDL for 15 minutes, prior to EIS and SWV. This was done by using standard oxLDL solutions prepared in foetal calf serum, in order to simulate patient's plasma with circulating oxLDL. A sensitive response was observed from 0.5 to 18.0 mg mL 1 . The device was successfully applied to determine the oxLDL fraction in real serum, without prior dilution or necessary chemical treatment. The use of multiple monoclonal antibodies on a biosensing platform seemed to be a successful approach to produce a specific response towards a complex multi-analyte target, correlating well with the level of oxLDL within atherosclerosis disease, in a simple, fast and cheap way.

Condition-Based Diagnosis of Mechatronic Systems Using a Fractional Calculus Approach

While fractional calculus (FC) is as old as integer calculus, its application has been mainly restricted to mathematics. However, many real systems are better described using FC equations than with integer models. FC is a suitable tool for describing systems characterised by their fractal nature, long-term memory and chaotic behaviour. It is a promising methodology for failure analysis and modelling, since the behaviour of a failing system depends on factors that increase the model’s complexity. This paper explores the proficiency of FC in modelling complex behaviour by tuning only a few parameters. This work proposes a novel two-step strategy for diagnosis, first modelling common failure conditions and, second, by comparing these models with real machine signals and using the difference to feed a computational classifier. Our proposal is validated using an electrical motor coupled with a mechanical gear reducer.