Ecotoxicity tests using the green algae chlorella vulgaris — a useful tool in hazardous effluents management

The treatment efficiency of laboratory wastewaters was evaluated and ecotoxicity tests with Chlorella vulgaris were performed on them to assess the safety of their environmental discharge. For chemical oxygen demand wastewaters, chromium (VI), mercury (II) and silver were efficiently removedby chemical treatments.Areduction of ecotoxicitywas achieved; nevertheless, an EC50 (effective concentration that causes a 50% inhibition in the algae growth) of 1.5% (v/v) indicated still high level of ecotoxicity. For chloride determination wastewaters, an efficient reduction of chromium and silver was achieved after treatment. Regarding the reduction of ecotoxicity observed, EC50 increased from 0.059% to 0.5%, only a 0.02% concentration in the aquatic environment would guarantee no effects. Wastewaters containing phenanthroline/iron (II) complex were treated by chemical oxidation. Treatmentwas satisfactory concerning chemical parameters, although an increase in ecotoxicitywas observed (EC50 reduced from 0.31% to 0.21%). The wastes from the kinetic study of persulphate and iodide reaction were treated with sodium bisulphite until colour was removed. Although they did not reveal significant ecotoxicity, only over 1% of the untreated waste produced observable effects over algae. Therefore, ecotoxicity tests could be considered a useful tool not only in laboratory effluents treatment, as shown, but also in hazardous wastewaters management.

Role of abrasive material on micro-abrasion wear tests

Micro-abrasion wear tests with ball-cratering configuration are widely used. Sources of variability are already studied by different authors and conditions for testing are parameterized by BS EN 1071-6: 2007 standard which refers silicon carbide as abrasive. However, the use of other abrasives is possible and allowed. In this work, ball-cratering wear tests were performed using four different abrasive particles of three dissimilar materials: diamond, alumina and silicon carbide. Tests were carried out under the same conditions on a steel plate provided with TiB2 hard coating. For each abrasive, five different test durations were used allowing understanding the initial wear phenomena. Composition and shape of abrasive particles were investigated by SEM and EDS. Scar areas were observed by optical and electronic microscopy in order to understand the wear effects caused by each of them. Scar geometry and grooves were analyzed and compared. Wear coefficient was calculated for each situation. It was observed that diamond particles produce well-defined and circular wear scars. Different silicon carbide particles presented dissimilar results as consequence of distinct particle shape and size distribution.

Single-lap joints of similar and dissimilar adherends bonded with an acrylic adhesive

In this study, the tensile strength of single-lap joints (SLJs) between similar and dissimilar adherends bonded with an acrylic adhesive was evaluated experimentally and numerically. The adherend materials included polyethylene (PE), polypropylene (PP), carbon-epoxy (CFRP), and glass-polyester (GFRP) composites. The following adherend combinations were tested: PE/PE, PE/PP, PE/CFRP, PE/GFRP, PP/PP, CFRP/CFRP, and GFRP/GFRP. One of the objectives of this work was to assess the influence of the adherends stiffness on the strength of the joints since it significantly affects the peel stresses magnitude in the adhesive layer. The experimental results were also used to validate a new mixed-mode cohesive damage model developed to simulate the adhesive layer. Thus, the experimental results were compared with numerical simulations performed in ABAQUS®, including a developed mixed-mode (I+II) cohesive damage model, based on the indirect use of fracture mechanics and implemented within interface finite elements. The cohesive laws present a trapezoidal shape with an increasing stress plateau, to reproduce the behaviour of the ductile adhesive used. A good agreement was found between the experimental and numerical results.

Influence of the abrasive particles size in the micro-abrasion wear tests of TiAlSiN thin coatings

Ball rotating micro-abrasion tribometers are commonly used to carry out wear tests on thin hard coatings. In these tests, different kinds of abrasives were used, as alumina (Al2O3), silicon carbide (SiC) or diamond. In each kind of abrasive, several particle sizes can be used. Some studies were developed in order to evaluate the influence of the abrasive particle shape in the micro-abrasion process. Nevertheless, the particle size was not well correlated with the material removed amount and wear mechanisms. In this work, slurry of SiC abrasive in distilled water was used, with three different particles size. Initial surface topography was accessed by atomic force microscopy (AFM). Coating hardness measurements were performed with a micro-hardness tester. In order to evaluate the wear behaviour, a TiAlSiN thin hard film was used. The micro-abrasion tests were carried out with some different durations. The abrasive effect of the SiC particles was observed by scanning electron microscopy (SEM) both in the films (hard material) as in the substrate (soft material), after coating perforation. Wear grooves and removed material rate were compared and discussed.

Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Dynamic Approach and Testbed for Small and Medium Players Simulation in Smart Grid Environments

The Smart Grid environment allows the integration of resources of small and medium players through the use of Demand Response programs. Despite the clear advantages for the grid, the integration of consumers must be carefully done. This paper proposes a system which simulates small and medium players. The system is essential to produce tests and studies about the active participation of small and medium players in the Smart Grid environment. When comparing to similar systems, the advantages comprise the capability to deal with three types of loads – virtual, contextual and real. It can have several loads optimization modules and it can run in real time. The use of modules and the dynamic configuration of the player results in a system which can represent different players in an easy and independent way. This paper describes the system and all its capabilities.

A influência dos fileres no comportamento viscoso dos mastiques betuminosos

As estradas têm vindo a sofrer um aumento de importância, sendo necessário aplicar pavimentos com melhores características, assim foram desenvolvidos os mastiques betuminosos. Os mastiques são misturas de betume com filer, este material tem propriedades melhoradas em relação ao betume puro. O betume é um material viscoelástico, o que leva a que a viscosidade seja uma propriedade de vital importância estudar. A junção de fileres ao betume promove um aumento de viscosidade, levando a que esta propriedade reológica tenha ainda mais importância, principalmente porque a trabalhabilidade da mistura betuminosa fica comprometida quando a viscosidade não é a correta. Na realização desta dissertação foram realizados ensaios em mastiques betuminosos, com recurso ao viscosímetro rotativo de Brookfield. Os mastiques ensaiados são compostos com fileres de diferentes origens e com diferentes taxas de incorporação, e assim foram analisadas as diferenças obtidas nos valores da viscosidade dinâmica. Os resultados obtidos mostram que os mastiques, à temperatura de fabrico, têm um comportamento viscoso idêntico ao comportamento viscoso do betume puro. Apesar dos mastiques produzidos terem uma viscosidade maior que a do betume puro, o valor desta propriedade reológica tende a igualar ao valor do betume, este comportamento observa-se nas temperaturas mais elevadas. Quando se examinam os resultados dos mastiques produzidos com menor quantidade de filer, na generalidade, os valores da viscosidade obtidos são idênticos. Para taxas de incorporação maiores, os valores da viscosidade dinâmica dos mastiques produzidos são bastante mais altos e distintos. Levando a concluir que quanto maior a percentagem de filer no mastique, maior o valor da viscosidade e maior dispersão dos resultados obtidos, isto para os fileres e taxas de incorporação testadas.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Automatização de sistema de medição múltiplo de ensaio de manómetros analógicos

A dissertação em apreço resultou da necessidade em otimizar os recursos técnicos, mas sobretudo humanos, afetos às verificações de instrumentos de medição, no âmbito do Controlo Metrológico Legal. Estas verificações, realizadas nos termos do cumprimento das competências outrora atribuídas à Direção de Serviços da Qualidade da então Direção Regional da Economia do Norte, eram operacionalizadas pela Divisão da Qualidade e Licenciamento, na altura dirigida pelo subscritor da presente tese, nomeadamente no que respeita aos ensaios efetuados, em laboratório, a manómetros analógicos. O objetivo principal do trabalho foi alcançado mediante o desenvolvimento de um automatismo, materializado pela construção de um protótipo, cuja aplicação ao comparador de pressão múltiplo, dantes em utilização, permitiria realizar a leitura da indicação de cada manómetro analógico através de técnicas de processamento de imagem, função esta tradicionalmente efetuada manualmente por um operador especializado. As metodologias de comando, controlo e medição desse automatismo foram realizadas através de um algoritmo implementado no software LabVIEW® da National Intruments, particularmente no que respeita ao referido processamento das imagens adquiridas por uma câmara de vídeo USB. A interface com o hardware foi concretizada recorrendo a um módulo de Aquisição de Dados Multifuncional (DAQ) USB-6212, do mesmo fabricante. Para o posicionamento horizontal e vertical da câmara de vídeo USB, recorreu-se a guias lineares acionadas por motores de passo, sendo que estes dispositivos foram igualmente empregues no acionamento do comparador de pressão. Por último, procedeu-se à aquisição digital da leitura do padrão, recorrendo à respetiva virtualização, bem como a uma aplicação desenvolvida neste projeto, designada appMAN, destinada à gestão global do referido automatismo, nomeadamente no que se refere ao cálculo do resultado da medição, erro e incerteza associada, e emissão dos respetivos documentos comprovativos.

Escolas do concelho de Matosinhos com estrutura de betão armado

O presente trabalho pretende contribuir para a gestão das intervenções de reparação e de reforço das escolas do concelho de Matosinhos com estrutura de betão armado. Apresenta-se uma síntese sobre a história do edifício escolar e do seu desenvolvimento em território nacional. Desenvolve-se uma pesquisa bibliográfica sobre metodologias de inspeção adotadas em território nacional e internacionalmente. Identificaram-se diferentes tipologias estruturais e arquitetónicas das escolas de Matosinhos, selecionou-se a mais representativa e, aparentemente, a que envolve casos com estados de conservação mais deficientes, definiu-se uma metodologia de inspeção estrutural e desenvolveram-se as respetivas fichas de inspeção. Selecionou-se e inspecionou-se visualmente um corpo da Escola Básica da Portela, de tipologia P3 e realizaram-se diferentes ensaios de diagnóstico. Comparam-se os respetivos resultados com os obtidos na inspeção da Escola da Amieira, do mesmo concelho e com a mesma tipologia. Propõem-se soluções de reparação com base no resultado da inspeção visual, nos ensaios de diagnóstico e na norma NP EN 1504-9. Estima-se o respetivo custo e sugere-se uma metodologia de extrapolação das conclusões e do estabelecimento de uma estimativa orçamental das intervenções de reparação das restantes escolas tipo P3 deste concelho e de outras com idênticas tipologias, localizações e condições ambientais envolventes.