Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

Membrane selectivity versus sensor response in hydrogenated amorphous silicon CHEMFETs using a semi-empirical model

Toxic amides, such as acrylamide, are potentially harmful to Human health, so there is great interest in the fabrication of compact and economical devices to measure their concentration in food products and effluents. The CHEmically Modified Field Effect Transistor (CHEMFET) based onamorphous silicon technology is a candidate for this type of application due to its low fabrication cost. In this article we have used a semi-empirical modelof the device to predict its performance in a solution of interfering ions. The actual semiconductor unit of the sensor was fabricated by the PECVD technique in the top gate configuration. The CHEMFET simulation was performed based on the experimental current voltage curves of the semiconductor unit and on an empirical model of the polymeric membrane. Results presented here are useful for selection and design of CHEMFET membranes and provide an idea of the limitations of the amorphous CHEMFET device. In addition to the economical advantage, the small size of this prototype means it is appropriate for in situ operation and integration in a sensor array.

Endothelial lipase correlated positively with EPA/AA ratio in RBCs membrane

The fatty acid profile of erythrocyte membranes has been considered a good biomarker for several pathologic situations. Dietary intake, digestion, absorption, metabolism, storage and exchange amongst compartments, greatly influence the fatty acids composition of different cells and tissues. Lipoprotein and hepatic lipases were also involved in fatty acid availability. In the present work we examined the correlations between fatty acid in Red Blood Cells (RBCs) membranes, the fatty acid desaturase and elongase activities, glycaemia, blood lipids, lipoproteins and apoproteins, and the endothelial lipase (EL) mass in plasma. Twenty one individuals were considered in the present study, with age >18 y. RBCs membranes were obtained and analysed for fatty acid composition by gas chromatography. The amount of fatty acids (as percentage) were analysed, and the ratios between fatty acid 16:1/16:0; 18:1/18:0; 18:0/16:0; 22:6 n-3/20:5 n-3 and 20:4 n-6/18:2 n-6 were calculated. Bivariate analysis (rs) and partial correlations were determined. SCD16 estimation activity correlated positively with BMI (rs=0.466, p=0.043) and triacylglycerols (TAG) (rs=0.483, p=0.026), and negatively with the ratio ApoA1/ApoB (rs=-0.566, p=0.007). Endothelial lipase (EL) correlated positively with the EPA/AA ratio in RBCs membranes (rs=0.524, p=0.045). After multi-adjustment for BMI, age, hs-CRP and dietary n3/n6 ratio, the correlations remained significant between EL and EPA/AA ratio. At the best of our knowledge this is the first report that correlated EL with the fatty acid profile of RBCs plasma membranes. The association found here can suggest that the enzyme may be involved in the bioavailability and distribution of n-3/n-6 fatty acids, suggesting a major role for EL in the pathophysiological mechanisms involving biomembranes’ fatty acids, such as in inflammatory response and eicosanoids metabolites pathways.

FIA potentiometric system based on periodate polymeric membrane sensors for the assessment of ascorbic acid in commercial drinks

Ascorbic acid is found in many food samples. Its clinical and technological importance demands an easyto- use, rapid, robust and inexpensive method of analysis. For this purpose, this work proposes a new flow procedure based on the oxidation of ascorbic acid by periodate. A new potentiometric periodate sensor was constructed to monitor this reaction. The selective membranes were of PVC with porphyrin-based sensing systems and a lipophilic cation as additive. The sensor displayed a near-Nernstian response for periodate over 1.0x10-2–6.0x10-6 M, with an anionic slope of 73.9 ± 0.9 mV decade-1. It was pH independent in acidic media and presented good selectivity features towards several inorganic anions. The flow set-up operated in double-channel, carrying a 5.0x10-4 M IO- 4 solution and a suitable buffer; these were mixed in a 50-cm reaction coil. The overall flow rate was 7 ml min-1 and the injection volume 70 µl. Under these conditions, a linear behaviour against concentration was observed for 17.7–194.0 µg ml-1, presenting slopes of 0.169 mV (mg/l)-1, a reproducibility of ±1.1 mV (n = 5), and a sampling rate of ~96 samples h-1. The proposed method was applied to the analysis of beverages and pharmaceuticals.

Electrochemical studies on small electron transfer proteins using membrane electrodes

Journal of Electroanalytical Chemistry 541 (2003) 153-162

Bilirubin directly disrupts membrane lipid polarity and fluidity, protein order, and redox status in rat mitochondria

Background/Aims: Unconjugated bilirubin (UCB) impairs crucial aspects of cell function and induces apoptosis in primary cultured neurones. While mechanisms of cytotoxicity begin to unfold, mitochondria appear as potential primary targets. Methods: We used electron paramagnetic resonance spectroscopy analysis of isolated rat mitochondria to test the hypothesis that UCB physically interacts with mitochondria to induce structural membrane perturbation, leading to increased permeability, and subsequent release of apoptotic factors. Results: Our data demonstrate profound changes on mitochondrial membrane properties during incubation with UCB, including modified membrane lipid polarity and fluidity (P , 0:01), as well as disrupted protein mobility(P , 0:001). Consistent with increased permeability, cytochrome c was released from the intermembrane space(P , 0:01), perhaps uncoupling the respiratory chain and further increasing oxidative stress (P , 0:01). Both ursodeoxycholate, a mitochondrial-membrane stabilising agent, and cyclosporine A, an inhibitor of the permeability transition, almost completely abrogated UCB-induced perturbation. Conclusions: UCB directly interacts with mitochondria influencing membrane lipid and protein properties, redox status, and cytochrome c content. Thus, apoptosis induced by UCB may be mediated, at least in part, by physical perturbation of the mitochondrial membrane. These novel findings should ultimately prove useful to our evolving understanding of UCB cytotoxicity.

Reconstructing the architectural evolution of volcanic islands from combined K/AR, morphologic, tectonic, and magnetic data. The Faial Island exemple (Azores)

The morpho-structural evolution of oceanic islands results from competition between volcano growth and partial destruction by mass-wasting processes. We present here a multi-disciplinary study of the successive stages of development of Faial (Azores) during the last 1 Myr. Using high-resolution digital elevation model (DEM), and new K/Ar, tectonic, and magnetic data, we reconstruct the rapidly evolving topography at successive stages, in response to complex interactions between volcanic construction and mass wasting, including the development of a graben. We show that: (1) sub-aerial evolution of the island first involved the rapid growth of a large elongated volcano at ca. 0.85 Ma, followed by its partial destruction over half a million years; (2) beginning about 360 ka a new small edifice grew on the NE of the island, and was subsequently cut by normal faults responsible for initiation of the graben; (3) after an apparent pause of ca. 250 kyr, the large Central Volcano (CV) developed on the western side of the island at ca 120 ka, accumulating a thick pile of lava flows in less than 20 kyr, which were partly channelized within the graben; (4) the period between 120 ka and 40 ka is marked by widespread deformation at the island scale, including westward propagation of faulting and associated erosion of the graben walls, which produced sedimentary deposits; subsequent growth of the CV at 40 ka was then constrained within the graben, with lava flowing onto the sediments up to the eastern shore; (5) the island evolution during the Holocene involves basaltic volcanic activity along the main southern faults and pyroclastic eruptions associated with the formation of a caldera volcano-tectonic depression. We conclude that the whole evolution of Faial Island has been characterized by successive short volcanic pulses probably controlled by brief episodes of regional deformation. Each pulse has been separated by considerable periods of volcanic inactivity during which the Faial graben gradually developed. We propose that the volume loss associated with sudden magma extraction from a shallow reservoir in different episodes triggered incremental downward graben movement, as observed historically, when immediate vertical collapse of up to 2 m was observed along the western segments of the graben at the end of the Capelinhos eruptive crises (1957-58).

The influence of sludge characteristics from fullscale MBR in membrane filterability

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente,perfil Sanitária

Membrane design and characterisation by incorporation of ionic liquids

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Química, especialidade de Operações Unitárias e Fenómenos de Transferência, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Comparative studies of Yersinia pestis outer membrane isolation techniques and their potential use in plague epidemiology

In the present study three techniques for obtaining outer membrane enriched fractions from Yersinia pestis were evaluated. The techniques analysed were: differential solubilization of the cytoplasmic membrane with Sarkosyl or Triton X-100, and centrifugation in sucrose density gradients. The sodium dodecyl-sulfate polyacrylamide gel electrophoresis (SDS-PAGE) of outer membrane isolated by the different methods resulted in similar protein patterns. The measurement of NADH-dehydrogenase and succinate dehydrogenase (inner membrane enzymes) indicated that the outer membrane preparations obtained by the three methods were pure enough for analytical studies. In addition, preliminary evidences on the potential use of outer membrane proteins for the identification of geographic variants of Y. pestis wild isolates are presented.

Recovery of acid and base from brackish water by bipolar membrane electrodialysis

Nesta dissertação pretendeu-se estudar a viabilidade do uso de eletrodiálise com membranas bipolares (BM) na recuperação de ácido clorídrico e de hidróxido de sódio a partir de um efluente industrial que contém 1.4 mol/L de cloreto de sódio. Estas membranas mostraram ser uma ferramenta eficiente para a produção de ácidos e bases a partir do respetivo sal. Foi feita uma seleção de diferentes membranas bipolares (Neosepta, Fumatech e PCA) e aniónicas (PC-SA e PC-ACID 60) na tentativa de encontrar a combinação mais adequada para o tratamento do efluente. Dependendo do critério, o melhor arranjo de membranas é o uso de PC-ACID 60 (membrana aniónica), PC-SK (membrana catiónica) e membranas bipolares do tipo Neosepta para maior pureza dos produtos; membranas bipolares Fumatech para maior eficiência de dessalinização e membranas bipolares PCA para um maior grau de dessalinização. Tecnologicamente foi possível obter uma dessalinização de 99.8% em quatro horas de funcionamento em modo batch com recirculação de todas as correntes. Independentemente da combinação usada é recomendável que o processo seja parado quando a densidade de corrente deixa de ser máxima, 781 A/m2. Assim é possível evitar o aumento de impurezas nos produtos, contra difusão, descida instantânea do pH e uma dessalinização pouco eficiente. A nível piloto o principal fornecedor de membranas e unidade de tratamento “stack” é a marca alemã PCA. Sendo assim realizaram-se ensaios de repetibilidade, contra difusão, avaliação económica e upscaling utilizando as membranas bipolares PCA. A nível económico estudou-se o uso de dois tipos de unidades de tratamento; EDQ 380 e EDQ 1600, para diferentes níveis de dessalinização (50, 75 e 80%). Tendo em conta a otimização económica, é recomendável uma dessalinização máxima de 80%, uma vez que a eficiência de processo a este ponto é de 40%. A aplicação do método com a unidade EDQ 1600 para uma dessalinização de 50% é a mais vantajosa economicamente, com custos de 16 €/m3 de efluente tratado ou 0,78 €/kg Cl- removido. O número de unidades necessárias é 4 posicionados em série.

Analysis of proteins from membrane and soluble fractions of Giardia duodenalis trophozoites of two Brazilian axenic strains

In the present study, we have analyzed by sodium docecyl sulphate - polyacrilamide gel electrophoresis (SDS-PAGE), immunoblotting and Concanavalin A blotting (Con A blotting) proteins of membrane fractions and soluble fractions obtained from Giardia duodenalis trophozoites of two axenic strains isolated in Brazil from a symptomatic (BTU-11) and an asymptomatic patient (BTU-10), as compared to the reference strain Portland 1. Both Brazilian strains showed a complex and homogeneous electrophoretic pattern of proteins, but some differences could be observed. Several glycoproteins were detected, particularly the proteins of 81, 72, 59 kDa and the protein of 62 kDa in the membrane proteins and cytosol, respectively. Many antigenic components were revealed by anti-Giardia rabbit IgG antibodies in the immunoblotting analysis. Among these components, the membrane protein of 32 kDa and the cytosol protein of 30 kDa could be related to giardin, as previously demonstrated.

Basement membrane alterarions in kernicteric brain microvasculature and pericyte response to bilirubin

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

New and low cost plastic membrane electrode with low detection limits for sulfadimethoxine determination in aquaculture waters

Sulfadimethoxine (SDM) is one of the drugs, often used in the aquaculture sector to prevent the spread of disease in freshwater fish aquaculture. Its spread through the soil and surface water can contribute to an increase in bacterial resistance. It is therefore important to control this product in the environment. This work proposes a simple and low-cost potentiometric device to monitor the levels of SDM in aquaculture waters, thus avoiding its unnecessary release throughout the environment. The device combines a micropipette tip with a PVC membrane selective to SDM, prepared from an appropriate cocktail, and an inner reference solution. The membrane includes 1% of a porphyrin derivative acting as ionophore and a small amount of a lipophilic cationic additive (corresponding to 0.2% in molar ratio). The composition of the inner solution was optimized with regard to the kind and/or concentration of primary ion, chelating agent and/or a specific interfering charged species, in different concentration ranges. Electrodes constructed with inner reference solutions of 1 × 10−8 mol/L SDM and 1 × 10−4 mol/L chromate ion showed the best analytical features. Near-Nernstian response was obtained with slopes of −54.1 mV/decade, an extraordinary detection limit of 7.5 ng/mL (2.4 × 10−8 mol/L) when compared with other electrodes of the same type. The reproducibility, stability and response time are good and even better than those obtained by liquid contact ISEs. Recovery values of 98.9% were obtained from the analysis of aquaculture water samples.