The verification of temporal KBS: SPARSE - a case study in power systems

In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

A system verification strategy based on the BST infrastructure

A good verification strategy should bring near the simulation and real functioning environments. In this paper we describe a system-level co-verification strategy that uses a common flow for functional simulation, timing simulation and functional debug. This last step requires using a BST infrastructure, now widely available on commercial devices, specially on FPGAs with medium/large pin-counts.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Avaliação da postura corporal em estudantes do ensino superior

A Era moderna trouxe ao Homem meios que facilitam muitas das suas tarefas diárias, diminuindo a actividade física e condicionando a postura corporal. Actualmente a população jovem, e sobretudo os estudantes, encontra-se exposta a uma grande quantidade de riscos de alterações posturais. Todavia, a postura assumida por parte desta classe não tem sido muito investigada. Sendo assim, este estudo tem como objectivo geral a avaliação bi-dimensional da postura corporal, na posição de pé e de sentado, de estudantes do 1º ano do Curso de Terapia Ocupacional, do Instituto Politécnico de Leiria. Os objectivos específicos centram-se na verificação das relações entre as alterações posturais desse grupo de estudantes e os sintomas de lesões músculo-esqueléticas nos últimos 12 meses, os factores sócio-demográficos e os factores considerados de risco de alterações posturais em estudantes. Para tal, utilizaram-se o Software para Avaliação Postural e a Versão adaptada do Questionário Nórdico Músculoesquelético. Constataram-se elevadas percentagens de posturas inadequadas. Na posição de pé todos os indivíduos apresentam alterações posturais num ou mais segmentos analisados, sendo que a flexão do tronco é a mais frequente. Já na posição sentada a alteração postural mais frequente é a inclinação da cabeça para o lado direito. Verificou-se ainda que algumas das alterações posturais apresentam uma relação positiva e significativa com os sintomas de lesões músculo-esqueléticas, com alguns factores de risco e sócio-demográficos. A partir dos resultados obtidos, torna-se evidente a necessidade de estabelecer programas de consciencialização para esta problemática, assim como programas de prevenção de desvios posturais.

Recollections of a conference interpreter: a brief encounter with the European Parliament

Polissema: Revista de Letras do ISCAP 2001/N.º 1- Tradução

Dgenco market balancing - cost repartition under light regulation markets

In this paper we present a new methodology, based in game theory, to obtain the market balancing between Distribution Generation Companies (DGENCO), in liberalized electricity markets. The new contribution of this methodology is the verification of the participation rate of each agent based in Nucléolo Balancing and in Shapley Value. To validate the results we use the Zaragoza Distribution Network with 42 Bus and 5 DGENCO.

Derivative-free optimization and filter methods to solve nonlinear constrained problems

In real optimization problems, usually the analytical expression of the objective function is not known, nor its derivatives, or they are complex. In these cases it becomes essential to use optimization methods where the calculation of the derivatives, or the verification of their existence, is not necessary: the Direct Search Methods or Derivative-free Methods are one solution. When the problem has constraints, penalty functions are often used. Unfortunately the choice of the penalty parameters is, frequently, very difficult, because most strategies for choosing it are heuristics strategies. As an alternative to penalty function appeared the filter methods. A filter algorithm introduces a function that aggregates the constrained violations and constructs a biobjective problem. In this problem the step is accepted if it either reduces the objective function or the constrained violation. This implies that the filter methods are less parameter dependent than a penalty function. In this work, we present a new direct search method, based on simplex methods, for general constrained optimization that combines the features of the simplex method and filter methods. This method does not compute or approximate any derivatives, penalty constants or Lagrange multipliers. The basic idea of simplex filter algorithm is to construct an initial simplex and use the simplex to drive the search. We illustrate the behavior of our algorithm through some examples. The proposed methods were implemented in Java.

Derivative-free nonlinear optimization filter simplex

The filter method is a technique for solving nonlinear programming problems. The filter algorithm has two phases in each iteration. The first one reduces a measure of infeasibility, while in the second the objective function value is reduced. In real optimization problems, usually the objective function is not differentiable or its derivatives are unknown. In these cases it becomes essential to use optimization methods where the calculation of the derivatives or the verification of their existence is not necessary: direct search methods or derivative-free methods are examples of such techniques. In this work we present a new direct search method, based on simplex methods, for general constrained optimization that combines the features of simplex and filter methods. This method neither computes nor approximates derivatives, penalty constants or Lagrange multipliers.

Modelação do transporte e dispersão atmosférica de poluentes produzidos por uma refinaria: estudo de caso

Mestrado em Engenharia Química.Ramo Tecnologias de Protecção Ambiental

Avaliação da qualidade do ar interior e estudos CFD em espaços do ISEP

Mestrado em Engenharia Química. Ramo Tecnologias de Protecção Ambiental.

Avaliação da contaminação dos condensados de uma fábrica de pasta para papel

O objectivo do presente trabalho foi caracterizar os condensados produzidos numa fábrica de pasta para papel para identificar e localizar pontos da sua contaminação. Para o efeito, foram recolhidas amostras de condensado e caracterizados os parâmetros condutividade, pH, sódio e sílica. A amostragem decorreu no período entre 15 de Setembro a 6 de Novembro de 2008. Através da análise dos resultados obtidos para as concentrações de sílica e de sódio de cada uma das correntes, foram identificadas como contaminadas as correntes de condensado provenientes do condensador do Turbogerador 4, da área dos Digestores Descontínuos, da Evaporação e do Aquecedor de Água Quente para o Branqueamento. A realização de um balanço pontual à sílica no tanque de condensados da Central permitiu concluir que a maior contribuição advém do condensador do Turbogerador 4. Na Evaporação ocorre contaminação do condensado quando as secções do Concentrador 1 são colocadas em serviço após lavagem. Durante o acompanhamento do arranque da Evaporação, uma das secções (1/B) registou um valor máximo na concentração de sódio no condensado de 135 mg/L Na. Do estudo resulta, enquanto não for reparado e/ou substituído o equipamento responsável pelas contaminações, a necessidade de admitir requisitos para controlo da qualidade da água da caldeira menos restritivos, nomeadamente para a razão sódio/fosfato. É necessário, contudo, o rigoroso acompanhamento da qualidade da água da caldeira (pH, sobretudo) para prevenir afastamentos inesperados dos limites de controlo. Durante a realização deste trabalho foram identificadas algumas situações a melhorar, tais como a uniformização dos valores de desvio para esgoto dos condensados e das unidades utilizadas, a adequação das escalas dos aparelhos de medida para as gamas de leitura de interesse, a verificação e calibração periódica do equipamento instalado em linha, a adopção do parâmetro “Sódio” para controlo da qualidade dos condensados, a instalação de sistemas de amostragem com arrefecimento em todas as correntes de condensados e a reparação ou substituição de algum equipamento instalado em linha que se encontra em muito mau estado e ainda a manutenção do equipamento mantendo-o em boas condições de limpeza.

Análise voltamétrica da ciprofloxacina – aplicação a medicamentos e a remediação

O presente trabalho tem como objectivo o desenvolvimento de um método analítico, baseado na voltametria de onda quadrada (SWV), para a análise de ciprofloxacina (CIP) em produtos farmacêuticos e em processos de remediação. Para o desenvolvimento do método voltamétrico foram utilizadas duas células voltamétricas: a célula clássica (utilizando um eléctrodo de trabalho de carbono vítreo - GCE) e um eléctrodo de carbono impresso (SPCE). Após a optimização dos parâmetros da SWV, pH (3,04), frequência (400Hz), incremento de potencial (6 mV) e amplitude do impulso de potencial (40 mV), procedeu-se a validação dos métodos, obtendo-se zonas lineares entre a concentração de CIP e a intensidade de corrente de pico de 5,0×10-6 a 6,0×10-5 mol/L (GCE) e de 1,0×10-5 a 4,0×10-5 mol/L (SPCE) e limites de detecção de 9,48×10-6 mol/L (GCE) e 2,13×10-6 mol/L (SPCE). Verificou-se que a sensibilidade, a precisão e a selectividade são superiores para o SPCE, sendo por isso esta a célula mais adequada para proceder à análise da CIP em produtos farmacêuticos. O SPCE foi aplicado com sucesso à análise de CIP num produto farmacêutico. Para o tratamento de soluções aquosas contendo a CIP foram testados dois oxidantes: o permanganato de potássio e o peróxido de hidrogénio. Para o peróxido de hidrogénio os resultados obtidos foram inconclusivos. No caso do permanganato de potássio, os resultados mostram que a degradação da ciprofloxacina depende da concentração do oxidante. Para uma concentração de CIP de 3,00×10-4 mol/L uma degradação rápida foi obtida com o uso de 6,00×10-3 mol/L de permanganato de potássio. Na aplicação do permanganato na remediação de solos verificou-se que no caso de solos húmicos a ciprofloxacina é adsorvida pelo solo, não sendo possível confirmar a ocorrência da reacção de degradação. No caso de solos arenosos verificou-se que a ciprofloxacina foi rapidamente degradada pelo permanganato de potássio.

Aferição do desempenho operacional de parques eólicos (Referência: D0708-047)

A verificação das Características Garantidas associadas aos equipamentos, em especial dos aerogeradores, incluídos no fornecimento de Parques Eólicos, reveste-se de particular importância devido, principalmente, ao grande volume de investimento em jogo, ao longo período necessário ao retorno do mesmo, à incerteza quanto à manutenção futura das actuais condições de remuneração da energia eléctrica produzida e ainda à falta de dados históricos sobre o período de vida útil esperado para os aerogeradores. Em face do exposto, é usual serem exigidas aos fornecedores, garantias do bom desempenho dos equipamentos, associadas a eventuais penalidades, quer para o período de garantia, quer para o restante período de vida útil, de modo a minimizar o risco associado ao investimento. No fornecimento de Parques Eólicos existem usualmente três tipos de garantias, nomeadamente, garantia de Curva de Potência dos aerogeradores, garantia de Disponibilidade dos equipamentos ou garantia de Produção de Energia. Estas poderão existir isoladamente ou em combinação, dependendo das condições contratuais acordadas entre o Adjudicatário e o Fornecedor. O grau de complexidade e/ou trabalho na implementação das mesmas é variável, não sendo possível afirmar qual delas é a mais conveniente para o Adjudicatário, nem qual a mais exacta em termos de resultados. Estas dúvidas surgem em consequência das dificuldades inerentes à recolha dos próprios dados e também da relativamente ampla margem de rearranjo dos resultados permitido pelas normas existentes, possibilitando a introdução de certo tipo de manipulações nos dados (rejeições e correlações), as quais podem afectar de forma considerável as incertezas dos resultados finais dos ensaios. Este trabalho, consistiu no desenvolvimento, execução, ensaio e implementação de uma ferramenta informática capaz de detectar de uma forma simples e expedita eventuais desvios à capacidade de produção esperada para os aerogeradores, em função do recurso verificado num dado período. Pretende ser uma ferramenta manuseável por qualquer operador de supervisão, com utilização para efeitos de reparações e correcção de defeitos, não constituindo contudo uma alternativa a outros processos abrangidos por normas, no caso de aplicação de penalidades. Para o seu funcionamento, são utilizados os dados mensais recolhidos pela torre meteorológica permanente instalada no parque e os dados de funcionamento dos aerogeradores, recolhidos pelo sistema SCADA. Estes são recolhidos remotamente sob a forma de tabelas e colocados numa directoria própria, na qual serão posteriormente lidos pela ferramenta.

Normalização de equipamento médico, requisitos técnicos e metrológicos

Os hospitais necessitam de desenvolver programas de gestão de equipamentos médicos, onde contenha informação pertinente e uma metodologia de planeamento eficaz, para a aquisição do equipamento médico novo, assim como otimizar o controlo metrológico destes equipamentos. Para tal foi fornecida informação sobre os aspetos mais relevantes a ter em conta na compra do equipamento médico, como as especificações e funcionalidades necessárias, normas a que o equipamento deve obedecer, garantias, manutenção e calibração/verificação quando aplicável. A escolha dos equipamentos médicos incidiu sobre os esfigmomanómetros e os monitores de sinais vitais. Estudou-se o funcionamento destes equipamentos e prosseguiu-se depois para a realização de entrevistas aos seus utilizadores, com o intuito de perceber a satisfação, os critérios e as necessidades relativas aos equipamentos existentes na ULSM. Em seguida foram realizadas as fichas de normalização onde se definiram as características físicas, fisiológicas e tecnológicas associadas a ambos os tipos de dispositivos médicos. Posteriormente estudaram-se as normas com as quais os equipamentos devem estar em conformidade para garantir o bom funcionamento. Por fim pesquisou-se quais os requisitos metrológicos, técnicos e os procedimentos de verificação a que os equipamentos devem obedecer. Este documento irá servir como suporte para a aquisição e controlo dos equipamentos médicos aqui estudados, melhorando a sua gestão, manutenção e controlo metrológico.