Ação da testosterona sobre o potencial de membrana das células de sertoli : envolvimento da via PLC-PIP2 sobre os canais de K+ATP

Resumo não disponível.

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Provendo soluções de comunicação em ambientes industriais inóspitos via PLC - um estudo de caso aplicado a uma empilhadeira de bauxita da refinaria da Alunorte

Este trabalho tem como principal objetivo fazer um estudo sobre um sistema comunicação de dados, utilizando-se a rede elétrica existente entre equipamentos, como meio físico em um ambiente industrial inóspito. Nesse caso, foi implementado um piloto em uma refinaria de alumina, localizada em Barcarena no estado do Pará, em uma máquina móvel de empilhamento de bauxita, que possuía um sistema de comunicação de dados via rádio, no qual ocorriam muitas falhas de comunicação devido às interferências eletromagnéticas, RFI, etc. prejudicando o processo de produção da refinaria. Como alternativa, apresentar-se-á uma tecnologia menos susceptível a problema da interferência que permite melhorar o desempenho do sistema de comunicação entre equipamentos. Trata-se da tecnologia PLC - Power Line Communication- que é full-duplex e utiliza modulação OFDM, o que reduz o efeito indesejável de interferências. Na conclusão, foram feitos comentários pertinentes aos resultados obtidos e os esperados acerca da confiabilidade da tecnologia, bem como sua utilização para futuras aplicações, nas diversas áreas onde a mesma pode ser utilizada.

Análise e desempenho de tráfego triple play em redes PLC de baixa tensão

Este trabalho faz uma análise de desempenho de aplicações triple play através da tecnologia Power Line Communication, fazendo uma abordagem direcionada para qualidade de serviço e qualidade de experiência. Apresenta resultados obtidos em cenários residenciais onde o uso desta tecnologia como última milha mostra-se uma solução passível de implementação diante dos testes realizados com transmissões de chamadas VoIP, transmissões de vídeo em alta definição e dados. O conceito de rede doméstica, interligando todos os pontos de uma casa, vem representando um novo rumo na definição de um padrão global, no qual a transmissão de dados por meio da fiação elétrica será uma das tecnologias empregadas e de maior destaque. Também será mostrado o desempenho das métricas avaliadas como jitter, largura de banda, perda de pacotes, PSNR, MOS, VQM, SSIM e suas correlações.

Alocação de modem PLC utilizando SNR em uma rede elétrica de baixa tensão

Pós-graduação em Engenharia Elétrica - FEIS

Ruolo della PLCγ1 e della PKCε nel differenziamento miogenico

Phospholipase C (PLC) has been known to be a key effector protein in signal transduction pathway for cell proliferation and differentiation. Studies on signalling through the insulin/IGF-1 receptors in muscle differentiation have revealed that PLCγ1 is involved during this process and that both mRNA and protein levels were increased during myogenesis. Based on increasing signal transduction pathways that required both PLCγ1 and PKCε, we investigated its role in insulin stimulation of skeletal muscle differentiation. The precise effects of insulin on specific PKC isoforms are as yet unknown. Insulin stimulation produced a gradual increase in PKCε expression and activation of PKCε through skeletal muscle differentiation. By immunoprecipitation we have demonstrated that endogenous PLCγ1 and PKCε belong to the same immunocomplex that increase during through myogenic differentiation. Furthermore, the SH domain of PLCγ1 is involved in the protein complex and that its confine to the Golgi membrane. PLCγ1 has been involved in cyclin D3 up-regulation. By overexpression and silencing approach we have evidenced that PKCε modulate the espression of cyclin D3; the kinase dead form of PKCε doesn’t maintain the same ability. Using a reporter hGH vector we proved that PKCε acts at transcriptional level by affecting the -37 region of cyclin D3 promoter, as has been described previous for PLCγ1. In summary this data proved the involvement of PKCε in the regulation of cyclin D3 expression, together with PLCγ1.

Studio di espressione e funzione della PLCβ1 nucleare in modelli murini ed umani di cellule ematopoietiche mieloidi e linfoidi

The aims of this work were to investigate the role of nuclear Phospholipase C beta 1 (PI-PLCβ1) in human and mouse cell lines and to identify new binding partners of nuclear PI-PLCβ1 to further understand the functional network in which the enzyme acts. The intracellular distribution of PI-PLCβ1 was further investigated in human leukaemia cell lines (NB4, HL60, THP1, CEM, Jurkat, K562). With the exception of HL60, a high endogenous level of PI-PLCβ1 was detected in purified nuclei in each of the cell lines. We found that also in Ba/F3 pro-B cells overexpressing PI-PLCβ1b the protein localize within the nucleus. Although our data demonstrated that PI-PLCβ1b was not involved in cell proliferation and IGF-1 response as shown in other cell lines (FELC and Swiss 3T3), there was an effect on apoptosis. Activation of early apoptotic markers caspase-3 and PARP was delayed in PI-PLCβ1b overexpressing Ba/F3 cells treated with 5 gr/ml mitomycin C for 24h. We performed an antibody-specific immunoprecipitation on nuclear lysates from FELC-PLCβ1b cells. Mass spectrometry analysis (nano-ESI-Q-TOF) of co-immunoprecipitated proteins allowed for identification of 92 potential nuclear PI-PLCβ1b interactors. Among these, several already documented PI-PLCβ1b interacting partners (Srp20, LaminB, EF1α2) were identified, further validating our data. All the identified proteins were nuclear, mostly localized within the nuclear speckles. This evidence is particularly relevant as PI-PLCβ1 is known to localize in the same domains. Many of the identified proteins are involved in cell cycle, proliferation and transcriptional control. In particular, many of the proteins are components of the spliceosome multi-complex, strengthening the idea that PI-PLCβ1b is involved in mRNA processing and maturation. Future work will aim to better characterize the regulatory role of PI-PLCβ1b in mRNA splicing.

Studio della piattaforma software mitsubishi adroit process suite per l'integrazione di progetti scada/plc

Studio della piattaforma software per la creazione di progetti completi di automazione industriale: progetto SCADA e progetto PLC. La tesi è strutturata con una descrizione di tutti gli apparati facenti parte di un apparato industriale e con lo studio della piattaforma attraverso la creazione di un progetto completo di automazione.

Crystallization, optimization and preliminary X-ray characterization of a metal-dependent PI-PLC from Streptomyces antibioticus

A recombinant metal-dependent phosphatidylinositol-specific phospholipase C (PI-PLC) from Streptomyces antibioticus has been crystallized by the hanging-drop method with and without heavy metals. The native crystals belonged to the orthorhombic space group P222, with unit-cell parameters a = 41.26, b = 51.86, c= 154.78 A. The X-ray diffraction results showed significant differences in the crystal quality of samples soaked with heavy atoms. Additionally, drop pinning, which increases the surface area of the drops, was also used to improve crystal growth and quality. The combination of heavy-metal soaks and drop pinning was found to be critical for producing high-quality crystals that diffracted to 1.23 A resolution.

Structure-Function Relations in the PI-PLC/GDPD Enzyme Superfamily

Phosphatidylinositol-specific phospholipases C (PI-PLC) are known to participate in many eukaryotic signal transduction pathways and act as virulence factors in lower organisms. Glycerophosphoryl diester phosphodiesterase (GDPD) enzymes are involved in phosphate homeostasis and phospholipid catabolism for energy production. Streptomyces antibioticus phosphatidylinositol-specific phospholipase C (SaPLC1) is a 38 kDa enzyme that displays characteristics of both enzyme superfamilies, representing an evolutionary link between these divergent enzyme classes. SaPLC1 also boasts a unique catalytic mechanism that involves a trans 1,6-cyclic inositol phosphate intermediate instead of the typical cis 1,2-cyclic inositol phosphate. The mechanism by which this occurs is still unclear. To attack this problem, we established a wide mutagenesis scan of the active site and measured activities of alanine mutants. A chemical rescue assay was developed to verify that the activity loss was due to the removal of the functional role of the mutated residue. 31P-NMR was employed in characterizing and quantifying intermediates in mutants that slowed the reaction sufficiently. We found that the H37A and H76A mutations support the hypothesis that these structurally conserved residues are also conserved in terms of their catalytic roles. H37 was found to be the general base (GB), while H76 plays the role of general acid (GA). K131 was identified as a semi-conserved key positive charge donor found at the entrance of the active site. By elucidating the SaPLC1 mechanism in relation to its active site architecture, we have increased our understanding of the structure-function relations that support catalysis in the PI-PLC/GDPD superfamily. These findings provide groundwork for in vivo studies of SaPLC1 function and its possible role in novel signaling or metabolism in Streptomyces.

A fitting algorithm for random modeling the PLC channel

The characteristics of the power-line communication (PLC) channel are difficult to model due to the heterogeneity of the networks and the lack of common wiring practices. To obtain the full variability of the PLC channel, random channel generators are of great importance for the design and testing of communication algorithms. In this respect, we propose a random channel generator that is based on the top-down approach. Basically, we describe the multipath propagation and the coupling effects with an analytical model. We introduce the variability into a restricted set of parameters and, finally, we fit the model to a set of measured channels. The proposed model enables a closed-form description of both the mean path-loss profile and the statistical correlation function of the channel frequency response. As an example of application, we apply the procedure to a set of in-home measured channels in the band 2-100 MHz whose statistics are available in the literature. The measured channels are divided into nine classes according to their channel capacity. We provide the parameters for the random generation of channels for all nine classes, and we show that the results are consistent with the experimental ones. Finally, we merge the classes to capture the entire heterogeneity of in-home PLC channels. In detail, we introduce the class occurrence probability, and we present a random channel generator that targets the ensemble of all nine classes. The statistics of the composite set of channels are also studied, and they are compared to the results of experimental measurement campaigns in the literature.

Wortmannin-Sensitive Phosphorylation, Translocation, and Activation of PLCγ1, but Not PLCγ2, in Antigen-stimulated RBL-2H3 Mast Cells

In RBL-2H3 tumor mast cells, cross-linking the high affinity IgE receptor (FcεRI) with antigen activates cytosolic tyrosine kinases and stimulates Ins(1,4,5)P3 production. Using immune complex phospholipase assays, we show that FcεRI cross-linking activates both PLCγ1 and PLCγ2. Activation is accompanied by the increased phosphorylation of both PLCγ isoforms on serine and tyrosine in antigen-treated cells. We also show that the two PLCγ isoforms have distinct subcellular localizations. PLCγ1 is primarily cytosolic in resting RBL-2H3 cells, with low levels of plasma membrane association. After antigen stimulation, PLCγ1 translocates to the plasma membrane where it associates preferentially with membrane ruffles. In contrast, PLCγ2 is concentrated in a perinuclear region near the Golgi and adjacent to the plasma membrane in resting cells and does not redistribute appreciably after FcεRI cross-linking. The activation of PLCγ1, but not of PLCγ2, is blocked by wortmannin, a PI 3-kinase inhibitor previously shown to block antigen-stimulated ruffling and to inhibit Ins(1,4,5)P3 synthesis. In addition, wortmannin strongly inhibits the antigen-stimulated phosphorylation of both serine and tyrosine residues on PLCγ1 with little inhibition of PLCγ2 phosphorylation. Wortmannin also blocks the antigen-stimulated translocation of PLCγ1 to the plasma membrane. Our results implicate PI 3-kinase in the phosphorylation, translocation, and activation of PLCγ1. Although less abundant than PLCγ2, activated PLCγ1 may be responsible for the bulk of antigen-stimulated Ins(1,4,5)P3 production in RBL-2H3 cells.

Programación y simulación de un PLC

Manual de la Práctica 1. Programación y Simulación de un PLC