Processamento e caracterização da blenda poli (metacrilato de metila) (PMMA) elastomerico e poli (tereftalato de etileno) (PET) pós-consumo

This work studied the immiscible blend of elastomeric poly(methyl methacrylate) (PMMA) with poly(ethylene terephthalate) (PET) bottle grade with and without the use of compatibilizer agent, poly(methyl methacrylate-co-glycidyl methacrylate - co-ethyl acrylate) (MGE). The characterizations of torque rheometry, melt flow index measurement (MFI), measuring the density and the degree of cristallinity by pycnometry, tensile testing, method of work essential fracture (EWF), scanning electron microscopy (SEM) and transmission electron microscopy (TEM) were performed in pure polymer and blends PMMA/PET. The rheological results showed evidence of signs of chemical reaction between the epoxy group MGE with the end groups of the PET chains and also to the elastomeric phase of PMMA. The increase in the concentration of PET reduced torque and adding MGE increased the torque of the blend of PMMA/PET. The results of the MFI also show that elastomeric PMMA showed lower flow and thus higher viscosity than PET. In the results of picnometry observed that increasing the percentage of PET resulted in an increase in density and degree crystallinity of the blends PMMA/PET. The tensile test showed that increasing the percentage of PET resulted in an increase in ultimate strength and elastic modulus and decrease in elongation at break. However, in the phase inversion, where the blend showed evidence of a co-continuous morphology and also, with 30% PET dispersed phase and compatibilized with 5% MGE, there were significant results elongation at break compared to elastomeric PMMA. The applicability of the method of essential work of fracture was shown to be possible for most formulations. And it was observed that with increasing elastomeric PMMA in the formulations of the blends there was an improvement in specific amounts of essential work of fracture (We) and a decrease in the values of specific non-essential work of fracture (βWp)

Processamento e caracterização da blenda poli (metacrilato de metila) (PMMA) elastomerico e poli (tereftalato de etileno) (PET) pós-consumo

This work studied the immiscible blend of elastomeric poly(methyl methacrylate) (PMMA) with poly(ethylene terephthalate) (PET) bottle grade with and without the use of compatibilizer agent, poly(methyl methacrylate-co-glycidyl methacrylate - co-ethyl acrylate) (MGE). The characterizations of torque rheometry, melt flow index measurement (MFI), measuring the density and the degree of cristallinity by pycnometry, tensile testing, method of work essential fracture (EWF), scanning electron microscopy (SEM) and transmission electron microscopy (TEM) were performed in pure polymer and blends PMMA/PET. The rheological results showed evidence of signs of chemical reaction between the epoxy group MGE with the end groups of the PET chains and also to the elastomeric phase of PMMA. The increase in the concentration of PET reduced torque and adding MGE increased the torque of the blend of PMMA/PET. The results of the MFI also show that elastomeric PMMA showed lower flow and thus higher viscosity than PET. In the results of picnometry observed that increasing the percentage of PET resulted in an increase in density and degree crystallinity of the blends PMMA/PET. The tensile test showed that increasing the percentage of PET resulted in an increase in ultimate strength and elastic modulus and decrease in elongation at break. However, in the phase inversion, where the blend showed evidence of a co-continuous morphology and also, with 30% PET dispersed phase and compatibilized with 5% MGE, there were significant results elongation at break compared to elastomeric PMMA. The applicability of the method of essential work of fracture was shown to be possible for most formulations. And it was observed that with increasing elastomeric PMMA in the formulations of the blends there was an improvement in specific amounts of essential work of fracture (We) and a decrease in the values of specific non-essential work of fracture (βWp)

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