Sistema pericial para o estudo de composição de betões

O betão é o material de construção feito pelo Homem mais utilizado no mundo. A sua composição é um processo complexo que exige um conhecimento teórico sólido e muita experiência prática, pelo que poucas pessoas estão habilitadas para o fazer e são muito requisitadas. No entanto não existe muita oferta actual de software que contemple alguns dos aspectos importantes da composição do betão, nomeadamente para o contexto europeu. Nesse sentido, foi desenvolvido um sistema de apoio à decisão chamado Betacomp, baseado num sistema pericial, para realizar estudos de composição de betão. Este contempla as normas legais portuguesas e europeias, e a partir da especificação do betão apresenta toda a informação necessária para se produzir um ensaio de betão. A aquisição do conhecimento necessário ao sistema contou com a colaboração de um especialista com longa e comprovada experiência na área da formulação e produção do betão, tendo sido construída uma base de conhecimento baseada em regras de produção no formato drl (Drools Rule Language). O desenvolvimento foi realizado na plataforma Drools.net, em C# e VB.net. O Betacomp suporta os tipos de betão mais comuns, assim como adições e adjuvantes, sendo aplicável numa grande parte dos cenários de obra. Tem a funcionalidade de fornecer explicações sobre as suas decisões ao utilizador, auxiliando a perceber as conclusões atingidas e simultaneamente pode funcionar como uma ferramenta pedagógica. A sua abordagem é bastante pragmática e de certo modo inovadora, tendo em conta parâmetros novos, que habitualmente não são considerados neste tipo de software. Um deles é o nível do controlo de qualidade do produtor de betão, sendo feito um ajuste de compensação à resistência do betão a cumprir, proporcional à qualidade do produtor. No caso dos produtores de betão, permite que indiquem os constituintes que já possuem para os poderem aproveitar (caso não haja impedimentos técnicos) , uma prática muito comum e que permitirá eventualmente uma aceitação maior da aplicação, dado que reflecte a forma habitual de agir nos produtores.

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

Integração Intranet – Pro/Engineer Wildfire 3.0 Via Pro/Web.Link

Mestrado em Engenharia Informática, Área de Especialização em Arquiteturas, Sistemas e Redes

Desenvolvimento de Anticorpos Plásticos para um Biomarcador do Cancro

O trabalho descrito compreende o desenvolvimento de um anticorpo plástico (MIP, do inglês Molecularly Imprinted Polymer) para o antigénio carcinoembrionário (CEA, do inglês Carcinoembriogenic Antigen) e a sua aplicação na construção de dispositivos portáteis, de tamanho reduzido e de baixo custo, tendo em vista a monitorização deste biomarcador do cancro do colo-retal em contexto Point-of-Care (POC). O anticorpo plástico foi obtido por tecnologia de impressão molecular orientada, baseada em eletropolimerização sobre uma superfície condutora de vidro recoberto por FTO. De uma forma geral, o processo foi iniciado pela electropolimerização de anilina sobre o vidro, seguindo-se a ligação por adsorção do biomarcador (CEA) ao filme de polianilina, com ou sem monómeros carregados positivamente (Cloreto de vinilbenziltrimetilamónio, VB). A última fase consistiu na electropolimerização de o-fenilenodiamina (oPD) sobre a superfície, seguindo-se a remoção da proteína por clivagem de ligações peptídicas, com o auxílio de tripsina. A eficiência da impressão do biomarcador CEA no material polimérico foi controlada pela preparação de um material análogo, NIP (do inglês, Non-Imprinted Polymer), no qual nem a proteína nem o monómero VB estavam presentes. Os materiais obtidos foram caracterizados quimicamente por técnicas de Infravermelho com Transformada de Fourier (FTIR, do inglês, Fourier Transform Infrared Spectroscopy) e microscopia confocal de Raman. Os materiais sensores preparados foram entretanto incluídos em membranas poliméricas de Poli(cloreto de vinilo) (PVC) plastificado, para construção de sensores (biomiméticos) seletivos a CEA, tendo-se avaliado a resposta analítica em diferentes meios. Obteve-se uma boa resposta potenciométrica em solução tampão de Ácido 4-(2-hidroxietil)piperazina-1-etanosulfónico (HEPES), a pH 4,4, com uma membrana seletiva baseada em MIP preparada com o monómero carregado VB. O limite de deteção foi menor do que 42 pg/mL, observando-se um comportamento linear (versus o logaritmo da concentração) até 625 pg/mL, com um declive aniónico igual a -61,9 mV/década e r2>0,9974. O comportamento analítico dos sensores biomiméticos foi ainda avaliado em urina, tendo em vista a sua aplicação na análise de CEA em urina. Neste caso, o limite de deteção foi menor do que 38 pg/mL, para uma resposta linear até 625 pg/mL, com um declive de -38,4 mV/década e r2> 0,991. De uma forma geral, a aplicação experimental dos sensores biomiméticos evidenciou respostas exatas, sugerindo que os biossensores desenvolvidos prossigam estudos adicionais tendo em vista a sua aplicação em amostras de indivíduos doentes.