Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach

In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET’s medium access control (MAC) protocol is able to guarantee a bounded access time to message requests. We then propose a model for implementing fixed prioritybased dispatching mechanisms at each master’s application level. In this way, we diminish the impact of the first-come-first-served (FCFS) policy that P-NET uses at the data link layer. The proposed model rises several issues well known within the real-time systems community: message release jitter; pre-run-time schedulability analysis in non pre-emptive contexts; non-independence of tasks at the application level. We identify these issues in the proposed model and show how results available for priority-based task dispatching can be adapted to encompass priority-based message dispatching in P-NET networks.

Scheduling real-time communications with P-NET

In this paper we address the P-NET Medium Access Control (MAC) ability to schedule traffic according to its real-time requirements, in order to support real-time distributed applications. We provide a schedulability analysis based on the P-NET standard, and propose mechanisms to overcome priority inversion problems resulting from the use of FIFO outgoing buffers

Pre-run-time schedulability analysis of P-NET fieldbus networks

P-NET is a fieldbus industrial communication standard, which uses a Virtual Token Passing MAC mechanism. In this paper we establish pre-run-time schedulability conditions for supporting real-time traffic with P-NET. Essentially we provide formulae to evaluate the minimum message deadline, ensuring the transmission of real-time messages within a maximum time bound

Modelos de avistamento de contactos no mar: estimação com distâncias de detecção inicial

Dissertação apresentada como requisito parcial para a obtenção do grau de Mestre em Estatística e Gestão da Informação

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).

Processos de separação e recolha selectiva de resíduos nos organismos públicos - resultados da pesquisa com membros do Clube Net@ina.pt

Comunicação apresentada no 6º Congresso Nacional de Administração Pública realizado pelo INA em Lisboa, de 29 a 30 de Outubro de 2008

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Imunossensores Eletroquímicos para o Diagnóstico Precoce e Descentralizado do Cancro da Mama

O cancro é uma das principais causas de morte em todo o mundo. Entre as mulheres, o cancro da mama é o mais frequente. A deteção precoce do cancro é de extrema importância na medida em que pode aumentar as possibilidades de cura dos pacientes e contribuir para a diminuição da taxa de mortalidade desta doença. Um método que tem contribuído para a deteção precoce do cancro é a análise de biomarcadores. Biomarcadores associados ao cancro da mama, como o Recetor 2 do Fator de Crescimento Epidérmico Humano (HER2) e o Antigénio Carbohidratado 15-3 (CA 15-3), podem ser detetados através de dispositivos como os biossensores. Neste trabalho foram desenvolvidos dois imunossensores eletroquímicos para a análise de HER2 e CA 15-3. Para ambos os sensores foram utilizados, como transdutores, elétrodos serigrafados de carbono. A superfície destes transdutores foi nanoestruturada com nanopartículas de ouro. Foram realizados imunoensaios não-competitivos (do tipo sandwich) em ambos os imunossensores, cuja estratégia consistiu na (i) imobilização do respetivo anticorpo de captura na superfície nanoestruturada dos elétrodos, (ii) bloqueio da superfície com caseína, (iii) incubação com uma mistura do analito (HER2 ou CA 15-3) e o respetivo anticorpo de deteção biotinilado, (iv) adição de estreptavidina conjugada com fosfatase alcalina (S-AP; a AP foi utilizada como marcador enzimático), (v) adição de uma mistura do substrato enzimático (3-indoxil fosfato) e nitrato de prata, e (vi) deteção do sinal analítico através da redissolução anódica, por voltametria de varrimento linear, da prata depositada enzimaticamente. Com as condições experimentais otimizadas, foi estabelecida a curva de calibração para a análise de HER2 em soro, entre 15 e 100 ng/mL, obtendo-se um limite de deteção de 4,4 ng/mL. Para o CA 15-3 a curva de calibração (em solução aquosa) foi estabelecida entre 15 e 250 U/mL, obtendo-se um limite de deteção de 37,5 U/mL. Tendo em conta o valor limite (cutoff value) estabelecido para o HER2 (15 ng/mL) pode-se comprovar a possível utilidade do imunossensor desenvolvido para o diagnóstico precoce e descentralizado do cancro da mama. No caso do CA 15-3 serão necessários estudos adicionais para se poder avaliar a utilidade do imunossensor para o diagnóstico do cancro da mama.

Coherent structures in open channel flows with bed load transport over an hydraulically rough bed

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

Money for nothing?: The net costs of medical training

A Masters Thesis, presented as part of the requirements for the award of a Research Masters Degree in Economics from NOVA – School of Business and Economics

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Net metering: definição de metodologia e estudo de caso

Face à crise económica e financeira, o setor fotovoltaico português tem sofrido diversas condicionantes, na sua maioria políticas, assistindo-se a uma alteração nos regimes de micro e minigeração. Com as tarifas de referência a sofrerem reduções drásticas nos últimos dois anos, os regimes bonificados deixaram de ser economicamente viáveis e interessantes do ponto de vista do consumidor. Esta situação está a pôr em causa as empresas que atuam no setor, assim como o desenvolvimento do próprio mercado fotovoltaico português. Torna-se assim necessário encontrar alternativas aos regimes bonificados, que relancem o setor e que permitam às empresas continuar a trabalhar. Uma dessas alternativas passa pela regulamentação da instalação de unidades de autoconsumo, nomeadamente com soluções de net metering. Dada a região privilegiada onde se encontra Portugal, e ao facto de já ter atingido a paridade de rede solar, o país depara-se com uma oportunidade única para o desenvolvimento da tecnologia fotovoltaica através da implementação de regimes de autoconsumo que interessa avaliar. Neste contexto, desenvolveu-se uma ferramenta informática, que permite, face a um determinado consumidor, avaliar a viabilidade económica e técnica de implementação de soluções de net metering. Uma vez que os resultados são fortemente dependentes da aplicação visada, este trabalho é baseado em dois estudos de caso – setor comercial e residencial – compreendendo a análise de dados reais já existentes e a recolha de dados no terreno. Nesta dissertação, é ainda feito um levantamento sobre os quadros legislativos atualmente vigentes a nível internacional, que regulam o mecanismo de net metering.

The determinants of net interest margins & net interest spreads in the Russian & Japanese Commercial Banking sectors

This study presents an empirical investigation of the determinants of net interest margins and spreads in the Russian and Japanese banking sectors with a particular focus on commercial banks. Net interest mar-gins and spreads serve as indicators of financial intermediation efficiency. This paper employed a bank-level unbalanced panel dataset prolonging from 2005 to 2014. My main empirical results show that bank characteristics explain the most of the variation in not only net interest margins but also in spreads. Capi-talization, liquidity risk, inflation, economic growth, private and government debt are important determi-nants of margin in Russia. In Japan to the contrary loan and deposit market concentration along with bank size do predominate. Common significant variables in both countries are the substitution effect, cost effi-ciency and profitability. Turning to net interest spreads, micro- and macro-specific variables are the main significant drivers in Russia. I reach the conclusion that there are no significant determinants of net interest spreads in Japan within the original selection of variables, but operating efficiency and deposits to total funding seem to prevail. In both countries, there are solid differences in the net interest margins as well as spreads once the pre- and the post-crisis periods are considered.