Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Evaluating P-NET message's response time with fixed priority queuing at application process level

P-NET is a multi-master fieldbus standard based on a virtual token passing scheme. In P-NET each master is allowed to transmit only one message per token visit. In the worst-case, the communication response time can be derived considering that, in each token cycle, all stations use the token to transmit a message. In this paper, we define a more sophisticated P-NET model, which considers the actual token utilisation. We then analyse the possibility of implementing a local priority-based scheduling policy to improve the real-time behaviour of P-NET.

Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within process control applications. Therefore, they constitute the foundation upon which real-time distributed computer-controlled systems can be implemented. P-NET is a fieldbus communication standard, which uses a virtual token-passing medium-access-control mechanism. In this paper pre-run-time schedulability conditions for supporting real-time traffic with P-NET networks are established. Essentially, formulae to evaluate the upper bound of the end-to-end communication delay in P-NET messages are provided. Using this upper bound, a feasibility test is then provided to check the timing requirements for accessing remote process variables. This paper also shows how P-NET network segmentation can significantly reduce the end-to-end communication delays for messages with stringent timing requirements.

Communication response time in P-NET networks: worst-case analysis considering the actual token utilisation

Fieldbus networks aim at the interconnection of field devices such as sensors, actuators and small controllers. Therefore, they are an effective technology upon which Distributed Computer Controlled Systems (DCCS) can be built. DCCS impose strict timeliness requirements to the communication network. In essence, by timeliness requirements we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. P-NET is a multi-master fieldbus standard based on a virtual token passing scheme. In P-NET each master is allowed to transmit only one message per token visit, which means that in the worst-case the communication response time could be derived considering that the token is fully utilised by all stations. However, such analysis can be proved to be quite pessimistic. In this paper we propose a more sophisticated P-NET timing analysis model, which considers the actual token utilisation by different masters. The major contribution of this model is to provide a less pessimistic, and thus more accurate, analysis for the evaluation of the worst-case communication response time in P-NET fieldbus networks.

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

Mineralização óssea em recém-nascidos pré-termo com diferente suprimento parentérico de cálcio e fósforo: resultados preliminares

Introdução: Os recém-nascidos pré-termo estão em risco acrescido de desenvolver osteopénia, pela dificuldade no suprimento parentérico de aporte mineral suficiente. Existe uma grande amplitude de doses de cálcio e fósforo recomendadas para estes recém-nascidos por via parentérica, havendo também um elevado risco de precipitação mineral nestas soluções. A ultrassonografia quantitativa é um método recentemente utilizado para avaliação da mineralização óssea em recém-nascidos pré-termo. Objectivo: Medir a mineralização óssea a recém-nascidos pré-termo submetidos a nutrição parentérica com duas doses diferentes doses de cálcio e fósforo. Métodos: Foram incluídos recém-nascidos pré-termo (IGd<33semanas) consecutivos, com necessidade de aporte nutricional parentérico, que foram aleatorizados para receber um aporte parentérico diário de cálcio de 40-50mg.kg-1 (1,00-1,25 mmol.kg-1) (grupo Convencional) ou 70-80mg.kg-1 (1,75-2,00mmol.dl-1) (grupo Alta). Foi mantida a razão mássica Ca:P de 1,7:1 nos dois grupos. Foram efectuadas medições semanais por ultrassonografia quantitativa no ponto médio da tíbia, até serem atingidas as 40 semanas de idade de gestação corrigida. Estabeleceu-se um outro grupo (Controlo) referente apenas à mineralização óssea na primeira semana de vida de recém-nascidos (IGd<40 semanas), para reflectir a mineralização intrauterina. Resultados: Foram incluídos 19 recém-nascidos (grupo Convencional=7, grupo Alta=12), com (média±DP) IG 30,4±1.9 semanas e peso à nascença 1360±400g. Os recém-nascidos inclídos no grupo convencional apresentaram uma mineralização óssea significativamente inferior à dos controlos, o que não ocorreu quando comparados os grupos alta e controlo (para as 32 semanas de idade de gestação corrigida). Os recém-nascidos do grupo Convencional apresentaram ainda mineralização óssea significativamente mais baixa na terceira semana pós-natal, comparativamente com o grupo Alta (p=0,030). Conclusões: A manter-se a tendência, talvez haja um efeito benéfico de uma dose parentérica mais elevada de cálcio e fósforo na mineralização óssea de RNs pré-termo sem o risco de nefrocalcinose. A mineralização óssea intrauterina parece ser superior à do recém-nascido submetido a nutrição parentérica sem manipulação do seu aporte mineral; no entanto, a utilização de soluções parentéricas enriquecidas em minerais ósseos parece provocar uma mineralização óssea semelhante à adquirida no útero.

Zonal distribution of gold and platinium group elements in the Mondunguara deposits Mozambique

The Mondunguara copper mines are situated in mountainous terrain in west-central Mozambique. The mineralization consists of chalcopyrite, pyrrhotite, common pcntlandite, cobaltpentlandite, pyrite and several minor oxides and sulphides in tabular ore bodies deeping steep to the north. Gold was known to occur in small quantities but no systematic sampling and analysis for precious clements was ever done. Mineralogical and geological evidence has shown that the ores are magmatic in origin and were derived from gabbro-peridotitic magma dykes saturated in sulphides when intruded. The ore bodies show a clear zonation. Platinum group elements as well as pure gold are associated with high temperature hexagonal pyrrhotite. This pyrrhotite being of no use is generally discarded to the tailing dumps. Late hydrothermal phases are enriched in native silver, silver tellurides as well as electrum.

Role of SPARC in Bone Remodeling and Cancer‐Related Bone Metastasis

There is a growing socioeconomic recognition that clinical bone diseases such as bone infections, bone tumors and osteoporotic bone loss mainly associated with ageing, are major issues in today0s society. SPARC (secreted protein, acidic and rich in cysteine), a matricellular glycoprotein, may be a promising therapeutic target for preventing or treating bone‐related diseases. In fact, SPARC is associated with tissue remodeling, repair, development, cell turnover, bone mineralization and may also participate in growth and progression of tumors, namely cancer‐related bone metastasis. Yet, the function of SPARC in such biological processes is poorly understood and controversial. The main objective of this work is to review the current knowledge related to the activity of SPARC in bone remodeling, tumorigenesis, and bone metastasis. Progress in understanding SPARC biology may provide novel strategies for bone regeneration and the development of anti‐angiogenic, anti‐proliferative, or counter‐adhesive treatments specifically against bone metastasis.

On the hydrogeology of the Lower Tagus Basin and its Cenozoic geologic evolution

The chemical features of the ground water in the Lower Tagus Cenozoic deposits are strongly influenced by lithology, by the velocity and direction of the water movement as well as by the localization of the recharge and discharge zones. The mineralization varies between 80 and 900 mg/l. It is minimal in the recharge zones and in the Pliocene sand and maximum in the Miocene carbonated and along the alluvial valley. Mineralization always reflects the time of permanence, the temperature and the pressure. The natural process of water mineralization is disturbed in agricultural areas because the saline concentration of the infiltration water exceeds that of the infiltrated rainwater. In the discharge zones, the rise of the more mineralized, some times thermal deep waters related to tectonic accidents give rise to anomalies in the distribution of the aquiferous system mineralization model. The diversity of the hydrochemical facies of the ground water may be related to several factors whose identification is some times difficult.

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

Evolução hidrogeoquímica das águas sulfúreas de Entre-os-Rios: avaliação preliminar

O principal objectivo desta dissertação foi avaliar a evolução hidrogeoquímica das águas minerais de Entre‐os‐Rios, para uma melhor compreensão do modelo hidrogeológico conceptual deste sistema hidromineral. Desta forma, foram coligidos diversos dados hidroquímicos, quer das nascentes clássicas (Torre, Curveira, Ardias, Arcos Esquerda e Arcos Direita), quer do furo Barbeitos. Foram compiladas e analisadas oitenta análises hidroquímicas no período 1938‐2012, incluindo características organolépticas (cheiro, cor e turbidez), diversas propriedades físico-químicas (temperatura, pH, condutividade eléctrica, sulfuração, etc), os principais catiões e aniões (bicarbonato, fluoreto, sódio, lítio, etc) e os elementos vestigiários (chumbo, tungsténio, boro, etc). Além disso, foram integrados os dados históricos disponíveis de finais do século XIX e inícios do século XX. Foram igualmente reunidos e discutidos alguns dados isotópicos (oxigénio‐18, deutério e trítio). O recurso hidromineral de Entre‐os‐Rios está condicionado pela litologia e pelas condições tectónicas. As análises químicas revelaram que as águas minerais de Entre‐os‐Rios apresentam uma estabilidade química nos últimos 100 anos. Estas águas são orto‐ a hipertermais, fracamente mineralizadas, de reacção alcalina, sulfídricas, bicarbonatadas sódicas, carbonatadas e muito fluoretadas. Estas características são claramente distintas das águas normais da região. As águas de Entre‐os‐Rios são muito semelhantes às águas minerais de S. Vicente e, em diversos parâmetros, bastante diferentes das águas minerais das Caldas da Saúde. Os dados isotópicos permitiram concluir que as águas de Entre‐os‐Rios têm uma origem meteórica, com um tempo de residência longo no sistema aquífero, e que são, muito provavelmente, submodernas, com uma recarga anterior a 1952. Na região de Entre‐os‐Rios coexistem três sistemas aquíferos, um sistema granítico superficial, livre e um sistema livre a semi‐confinado, ambos com circulação de águas normais, e um sistema aquífero granítico, profundo, confinado, com circulação de água mineral.

Formate metabolism in sulfate reducing bacteria

Dissertation presented to obtain the Ph.D degree in Biochemistry