IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Estudo das propriedades dos adjuvantes na compatibilidade/robustez cimento/adjuvante

A qualidade do betão pode ser controlada pelo comportamento da fluidez da pasta de cimento, o qual está relacionado com a dispersão das partículas de cimento. Um dos maiores avanços na tecnologia do betão tem sido o desenvolvimento de aditivos. Um destes tipos de aditivos, os Superplastificantes (SP), fornecem a possibilidade de se obter uma melhor dispersão das partículas de cimento, produzindo pastas com elevada fluidez. Com o desenvolvimento de betões de alta resistência e elevado desempenho, os superplastificantes tornaram-se indispensáveis. Os superplastificantes são adsorvidos nas partículas de cimento e esta adsorção depende da composição do clínquer do cimento e do tipo de SP utilizado. Com a difusão do emprego dos aditivos redutores de água, têm surgido vários problemas de compatibilidade cimento/adjuvante. Esta investigação dedicada aos superplastificantes, fortes redutores de água, visou estudar quais as propriedades que poderiam influenciar a sua compatibilidade/robustez com o cimento. Também se procurou ganhar experiência com as técnicas analíticas de caracterização de adjuvantes. Assim, utilizou-se um tipo de cimento e dois tipos de superplastificantes (poli(étercarboxilatos) e poli(naftalenossulfonatos)) disponíveis no mercado português. Mantendo a mesma razão água/cimento (A/C), pretendeu-se determinar a natureza química, grau de funcionalização, teor e tipo de contra-ião, teor de sulfatos/sulfonatos do adjuvante e o comportamento dos superplastificantes nas pastas cimentícias, de forma a poder determinar indicadores de compatibilidade entre cimentos e superplastificantes. Constatou-se que a natureza química, o grau de funcionalização e a quantidade consumida dos superplastificantes têm influência nas pastas. Os indicadores de compatibilidade por parte dos superplastificantes parecem estar relacionados com o comprimento da cadeia lateral de éter e com o rácio CO2R/CO2 -. A alteração do momento da adição do adjuvante tem influência na compatibilidade cimento/adjuvante, sendo benéfico para os poli(étercarboxilatos) e prejudicial para o poli(naftalenossulfonato).

A 5GHz/1.8V CMOS Active Balun Integrated with LNA

The development of high performance monolithic RF front-ends requires innovative RF circuit design to make the best of a good technology. A fully differential approach is usually preferred, due to its well-known properties. Although the differential approach must be preserved inside the chip, there are cases where the input signal is single-ended such as RF image filters and IF filters in a RF receiver. In these situations, a stage able to convert single-ended into differential signals (balun) is needed. The most cited topology, which is capable of providing high gain, consists on a differential stage with one of the two inputs grounded. Unfortunately, this solution has some drawbacks when implemented monolithically. This work presents the design and simulated results of an innovative high-performance monolithic single to differential converter, which overcomes the limitations of the circuits.The integration of the monolithic active balun circuit with an LNA on a 0.18μm CMOS process is also reported. The circuits presented here are aimed at 802.11a. Section 2 describes the balun circuit and section 3 presents its performance when it is connected to a conventional single-ended LNA. Section 4 shows the simulated performance results focused at phase/amplitude balance and noise figure. Finally, the last section draws conclusions and future work.

Mould and yeast identification in archival settings: preliminary results on the use of traditional methods and molecular biology options in Portuguese archives

This project was developed to fully assess the indoor air quality in archives and libraries from a fungal flora point of view. It uses classical methodologies such as traditional culture media – for the viable fungi – and modern molecular biology protocols, especially relevant to assess the non-viable fraction of the biological contaminants. Denaturing high-performance liquid chromatography (DHPLC) has emerged as an alternative to denaturing gradient gel electrophoresis (DGGE) and has already been applied to the study of a few bacterial communities. We propose the application of DHPLC to the study of fungal colonization on paper-based archive materials. This technology allows for the identification of each component of a mixture of fungi based on their genetic variation. In a highly complex mixture of microbial DNA this method can be used simply to study the population dynamics, and it also allows for sample fraction collection, which can, in many cases, be immediately sequenced, circumventing the need for cloning. Some examples of the methodological application are shown. Also applied is fragment length analysis for the study of mixed Candida samples. Both of these methods can later be applied in various fields, such as clinical and sand sample analysis. So far, the environmental analyses have been extremely useful to determine potentially pathogenic/toxinogenic fungi such as Stachybotrys sp., Aspergillus niger, Aspergillus fumigatus, and Fusarium sp. This work will hopefully lead to more accurate evaluation of environmental conditions for both human health and the preservation of documents.

Triagem familiar para o gene HBB*S e detecção de novos casos de traço falciforme em Pernambuco

OBJETIVO: Estimar o incremento no número adicional de afetados com base na prevalência de síndromes falciformes em familiares de casos-índice. MÉTODOS: Estudo transversal em familiares de amostra aleatória dos casos-índice identificados por programa de triagem neonatal em Pernambuco, no período de 2001 a 2005. O modelo de triagem familiar ampliado incluiu 463 membros familiares de 21 casos-índice. Os familiares foram categorizados como: núcleo reduzido (NR -pai, mãe e irmãos); de primeiro grau (N1 - avós, tios e primos de primeiro grau); de segundo grau (N2 - filhos dos primos de primeiro grau); ampliado (NA - NR+N1+N2) e ampliado de primeiro grau (NA1 -NR+N1). A confirmação da presença de HBB*S e detecção de hemoglobinas anormais foram realizadas por meio da High Performance Liquid Chromathgraphy. A associação entre a presença de HBB*S e variáveis foi testada pelo cálculo da razão de prevalência e respectivos IC 95% e a diferença entre médias verificadas pelo teste t de Student, ao nível de significância de 5%. RESULTADOS: A anemia falciforme era desconhecida por 81% dos familiares; o gene HBB*S esteve presente em 114 familiares. Observou-se que 53,3% da população estudada estava na faixa considerada reprodutiva e 80% das pessoas portadoras do gene HBB*S já tinham gerado filhos. A freqüência foi maior no núcleo NR (69%), mas também elevada no N1 (22,8%). O NA1 resultou na detecção de 69 portadores adicionais (aumento de 172%). CONCLUSÕES: Os resultados indicam que a triagem familiar para identificação de portadores de síndrome falciforme deve ser estendida para os familiares até o primeiro grau.

Otimização e validação de um método de cromatografia líquida de alta resolução (HPLC) para a determinação do edulcorante ciclamato: ocorrência em adoçantes de mesa

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Validação de um método de cromatografia líquida de alta resolução (HPLC) para doseamento da vitamina D em géneros alimentícios: aplicação do método em diferentes matrizes alimentares

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Electroanalytical study of the pesticide ethiofencarb

A detailed study of voltammetric behavior of ethiofencarb (ETF) is reported using glassy carbon electrode (GCE) and hanging mercury drop electrode (HMDE). With GCE, it is possible to verify that the oxidative mechanism is irreversible, independent of pH, and the maximum intensity current was observed at +1.20 V vs. AgCl/Ag at pH 1.9. A linear calibration line was obtained from 1.0x10-4 to 8.0x10-4 mol L-1 with SWV method. To complete the electrochemical knowledge of ETF pesticide, the reduction was also explored with HMDE. A well-defined peak was observed at –1.00V vs. AgCl/Ag in a large range of pH with higher signal at pH 7.0. Linearity was obtained in 4.2x10-6 and 9.4x10-6 mol L-1 ETF concentration range. An immediate alkaline hydrolysis of ETF was executed, producing a phenolic compound (2-ethylthiomethylphenol) (EMP), and the electrochemical activity of the product was examined. It was deduced that it is oxidized on GCE at +0.75V vs. AgCl/Ag with a maximum peak intensity current at pH 3.2, but the compound had no reduction activity on HMDE. Using the decrease of potential peak, a flow injection analysis (FIA) system was developed connected to an amperometric detector, enabling the determination of EMP over concentration range of 1.0x10-7 and 1.0x10-5 mol L-1 at a sampling rate of 60 h-1. The results provided by FIA methodology were performed by comparison with results from high-performance liquid chromatography (HPLC) technique and demonstrated good agreement with relative deviations lower than 4%. Recovery trials were performed and the obtained values were between 98 and 104%.

Molinate quantification in environmental water by a glutathione-S-transferase based biosensor

A glutathione-S-transferase (GST)based biosensor was developed to quantify the thiocarbamate herbicide molinate in environmental water.The biosensor construction was based on GST immobilization onto a glassy carbon electrode via aminosilane–glutaraldehyde covalent attachment. The principle supporting the use of this biosensor consists of the GST inhibition process promoted by molinate. Differential pulse voltammetry was used to obtain a calibration curve for molinate concentration, ranging from 0.19 to 7.9 mgL -1 and presenting a detection limit of 0.064 mgL- 1. The developed biosensor is stable,and reusable during 15 days.The GST-based biosensor was successfully applied to quantify molinate in rice paddy field floodwater samples. The results achieved with the developed biosensor were in accordance with those obtained by high performance liquid chromatography. The proposed device is suitable for screening environmental water analysis and, since no sample preparation is required, it can be used in situ and in real-time measurements.

Development of a simple analytical method for the simultaneousdetermination of paracetamol, paracetamol-glucuronide andp-aminophenol in river water

Paracetamol is among the most worldwide consumed pharmaceuticals. Although its occurrence in the environment is well documented, data about the presence of its metabolites and transformation products is very scarce. The present work describes the development of an analytical method for the simultaneous determination of paracetamol, its principal metabolite (paracetamol-glucuronide) and its main transformation product (p-aminophenol) based on solid phase extraction (SPE) and high performance liquid chromatography coupled to diode array detection (HPLC-DAD). The method was applied to analysis of river waters, showing to be suitable to be used in routine analysis. Different SPE sorbents were compared and the use of two Oasis WAX cartridges in tandem proved to be the most adequate approach for sample clean up and pre-concentration. Under optimized conditions, limits of detection in the range 40–67 ng/L were obtained, as well as mean recoveries between 60 and 110% with relative standard deviations (RSD) below 6%. Finally, the developed SPE-HPLC/DAD method was successfully applied to the analysis of the selected compounds in samples from seven rivers located in the north of Portugal. Nevertheless all the compounds were detected, it was the first time that paracetamol-glucuronide was found in river water at concentrations up to 3.57 μg/L.

QoS of IP services in a fieldbus network: on the limitations and possible improvements

This paper focuses on the problem of providing efficient scheduling mechanisms for IP packets encapsulated in the frames of a real-time fieldbus network - the PROFIBUS. The approach described consists on a dual-stack approach encompassing both the controlrelated traffic ("native" fieldbus traffic) and the IPrelated traffic. The overall goal is to maintain the hard real-time guarantees of the control-related traffic, while at the same time providing the desired quality of service (QoS) to the coexistent IP applications. We start to describe the work which have been up to now carried out in the framework of the European project RFieldbus (High Performance Wireless Fieldbus in Industrial Multimedia-Related Environments - IST-1999-11316). Then we identify its limitations and point out solutions that are now being addressed out of the framework of the above-mentioned European project.

Simulação de processos de adsorção recorrendo ao Aspen Chromatography

As operações de separação por adsorção têm vindo a ganhar importância nos últimos anos, especialmente com o desenvolvimento de técnicas de simulação de leitos móveis em colunas, tal como a cromatografia de Leito Móvel Simulado (Simulated Moving Bed, SMB). Esta tecnologia foi desenvolvida no início dos anos 60 como método alternativo ao processo de Leito Móvel Verdadeiro (True Moving Bed, TMB), de modo a resolver vários dos problemas associados ao movimento da fase sólida, usuais nestes métodos de separação cromatográficos de contracorrente. A tecnologia de SMB tem sido amplamente utilizada em escala industrial principalmente nas indústrias petroquímica e de transformação de açúcares e, mais recentemente, na indústria farmacêutica e de química fina. Nas últimas décadas, o crescente interesse na tecnologia de SMB, fruto do alto rendimento e eficiente consumo de solvente, levou à formulação de diferentes modos de operação, ditos não convencionais, que conseguem unidades mais flexíveis, capazes de aumentar o desempenho de separação e alargar ainda mais a gama de aplicação da tecnologia. Um dos exemplos mais estudados e implementados é o caso do processo Varicol, no qual se procede a um movimento assíncrono de portas. Neste âmbito, o presente trabalho foca-se na simulação, análise e avaliação da tecnologia de SMB para dois casos de separação distintos: a separação de uma mistura de frutose-glucose e a separação de uma mistura racémica de pindolol. Para ambos os casos foram considerados e comparados dois modos de operação da unidade de SMB: o modo convencional e o modo Varicol. Desta forma, foi realizada a implementação e simulação de ambos os casos de separação no simulador de processos Aspen Chromatography, mediante a utilização de duas unidades de SMB distintas (SMB convencional e SMB Varicol). Para a separação da mistura frutose-glucose, no quediz respeito à modelização da unidade de SMB convencional, foram utilizadas duas abordagens: a de um leito móvel verdadeiro (modelo TMB) e a de um leito móvel simulado real (modelo SMB). Para a separação da mistura racémica de pindolol foi considerada apenas a modelização pelo modelo SMB. No caso da separação da mistura frutose-glucose, procedeu-se ainda à otimização de ambas as unidades de SMB convencional e Varicol, com o intuito do aumento das suas produtividades. A otimização foi realizada mediante a aplicação de um procedimento de planeamento experimental, onde as experiências foram planeadas, conduzidas e posteriormente analisadas através da análise de variância (ANOVA). A análise estatística permitiu selecionar os níveis dos fatores de controlo de modo a obter melhores resultados para ambas as unidades de SMB.

Contributo para a determinação simultânea, por cromatografia líquida de alta resolução, de carotenoides, vitamina A e vitamina E em amostras compostas por diferentes matrizes alimentares

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Aplicação de filmes de suberina na produção de materiais bio-funcionais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Validação de um método de cromatografia de alta eficiência para determinação de conservantes em géneros alimentícios

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica