Eficiência do processo de obtenção do biodiesel de girassol usando o catalisador KNO3/Al2O3

It is known that the head office world energetics is leaning in the fossil fuels. However, the world panorama is changing quickly, for linked reasons to three of the humanity's great concerns in that century beginning: environment, global economy and energy. The biodiesel production is based on the transesterificação of vegetable oils or animal fats, using catalysts homogeneous or heterogeneous. The process of heterogeneous transesterificação presents lower conversions in comparison with the homogeneous, however, it doesn't present corrosion problems and it reduces to the occurrence of parallel reactions as saponification. In this sense, this work has for purpose the synthesis of a heterogeneous catalyst, KNO3/Al2O3, that soon afterwards was used in the reaction of transesterificação of the oil of the Helianthus annuus L. (sunflower). The solid materials (it supports and catalyst) they were analyzed by diffraction of ray-X (XRD) and electronic microscope of sweeping (MEV). After the analysis of Al2O3, a structure monophase amorphous tetragonal was verified, with characteristic patterns of that material, what could not be visualized in the difratograma of the catalyst. The biodiesel obtained with 4% wt. of KNO3/Al2O3 it was what obtained a better cinematic viscosity 8,3 mm2/s, comparing with the norms of ANP, and it also presented the best conversion tax in ethyl ésteres, in accordance with the quantitative measure starting from TG, that was of 60%. While the biodiesel with 6% wt. and with 8% wt. of KNO3/Al2O3 it was it that no transesterificou, because it was observed in the analysis termogravimétrica of those two materials, a single thermal event, that it corresponds the decomposition or volatilization of the triglycerides

Estudo das características magnéticas e absorvedoras das ferritas de nizn, niznmn, mnzn, nimg, nicuzn e nicuznmg obtidas via método do citrato precursor

Were synthesized systems Ni0,5Zn0,5Fe2O4, i0,2Zn0,5Mn0,3Fe2O4, Mn0,5Zn0,5Fe2O4, Ni0,5Mg0,5Fe2O4, Ni0,2Cu0,3Zn0,5Fe2O4 and Ni0,2Cu0,3Zn0,5Mg0,08Fe2O4, the precursors citrate method. The decomposition of the precursors was studied by thermogravimetric analysis and spectroscopy in the infrared region, the temperature of 350°C/3h. The evolution of the phases formed after calcinations at 350, 500, 900 and 1100ºC/3h was accompanied by X-ray diffraction using the Rietveld refinement to better identify the structures formed. The materials were also analyzed by scanning electron microscopy, magnetic measurements and analysis of the reflectivity of the material. The samples calcined at different temperatures showed an increase of crystallinity with increasing calcination temperature, verifying that for some compositions at temperatures above 500°C precipitates of second phase such as hematite and CuO. The compositions of manganese present in the structure diffusion processes slower due to the ionic radius of manganese is greater than for other ions substitutes, a fact that delays the stabilization of spinel structure and promotes the precipitation of second phase. The compositions presented with copper precipitation CuO phase at a temperature of 900 and 1100ºC/3h This occurs according to the literature because the concentration of copper in the structure is greater than 0.25 mol%. The magnetic measurements revealed features of a soft ferrimagnetic material, resulting in better magnetic properties for the NiZn ferrite and NiCuZnMg at high temperatures. The reflectivity measurements showed greater absorption of electromagnetic radiation in the microwave band for the samples calcined at 1100ºC/3h, which has higher crystallite size and consequently the formation of multi-domain, increasing the magnetization of the material. The results of absorption agreed with the magnetic measurements, indicating among the ferrites studied, those of NiZn and NiCuZnMg as better absorbing the incident radiation.

Complexos metálicos de cobalto, níquel e cobre com a Pirazina-2-carboxamida e 4- hidrazida ácida piridincarboxílica: síntese e caracterização

This work involved the synthesis, characterization and proposing the molecular structure of coordination compounds involving ligands pyrazine-2-carboxamide (PZA) and 4- hydrazide acidic pyridine carboxylic (INH) and metals of the first transition series (M = Co2+, Ni2+ and Cu2+). For the characterization of the compounds used were analytical techniques such as infrared absorption spectroscopy average (FT-IR) molar conductivity measurements, CHN elemental analysis, EDTA Complexometric, measurement of melting point, X-ray diffraction by powder method, Thermogravimetry (TG) and Differential Thermal Analysis (DTA) and Simultaneous Differential Scanning Calorimetry (DSC). The absorption spectra in the infrared region suggested that the ligand coordination to the metal center occurs through the carbonyl oxygen atom and nitrogen alpha pyrazine ring to those complexes formed with PZA. For INH complexes with metal-ligand coordination is through the carbonyl oxygen and nitrogen of the terminal hydrazide grouping. The conductivity measurements of the complexes in aqueous solution they suggest to all behavior of the type 1:2 electrolytes, and conduct of non-electrolytes in acetonitrile. The results obtained by CHN elemental analysis and EDTA Complexometric allowed to infer the stoichiometry of the compounds synthesized. For all of the complexes obtained was possible to record the melting points, neither of which melted near the melting temperature of the free ligands. The X-ray diffraction showed that the complexes of pyrazinamide exhibited diffraction lines, suggesting that these compounds are crystalline, while compounds of isoniazid, with the exception of cobalt, exhibited diffraction lines, indicating that they are crystalline. The results from the TG-DTA and DSC allowed information regarding the dehydration and thermal decomposition of these complexes

Avaliação oxidativa do biodiesel de pinhão manso em diferentes processos de purificação

The objective of this study was to analyze the oxidative stability of biodiesel from jatropha obtained from different purification processes, three wet processes with different drying (in a vacuum oven, conventional oven and in anhydrous sodium sulfate) and dry (purification with magnesium silicate adsorbent). Raw materials of different qualities (jatropha crop ancient and recent crop) were used. The Jatropha oil was extracted by mechanical extraction and refined. The Jatropha biodiesel was obtained by the transesterification reaction in ethyl route using alkaline catalysis. The biodiesel samples were characterized by analysis of water content, carbon residue, Absorption Spectroscopy in the Infrared Region and Thermogravimetry. Thermogravimetric curves of purified PUsv* PUsq* and had higher initial decomposition temperatures, indicating that the most stable, followed by samples PU* and PUSC*. Besides the sample SP* is a smaller initial temperature, confirming the sample without purification to be less thermally stable. The percentage mass loss of the purified samples showed conversion of about 98.5%. The results of analyzes carbon residue and infrared suggested that contamination by impurities is the main factor for decreased oxidative stability of biodiesel. The oxidative stability was assessed from periodic monitoring, using the techniques of Rancimat, peroxide index, acid value and Pressurized Differential Scanning Calorimetry. Samples of biodiesel from jatropha which showed better oxidative stability were of the best quality raw material and wet scrubbing: PUsq* with dry chemical, using anhydrous sodium sulfate and PUsv* with vacuum drying, which had oxidative stability 6 hours in Rancimat time 0 days, within the limits established by the Technical Regulation No. 4/2012 of the ANP, without the addition of antioxidant, suggesting that these procedures the least influence on the oxidative stability of biodiesel

Caracterização de resíduo sólido formado em biodiesel de sebo bovino

Biodiesel production has increased over the last decade because of the benefits associated with this fuel, including renewability, domestic feedstock, lower toxicity, and biodegradability. From 2008, the use of beef tallow as a feedstock for biodiesel production in Brazil has increased in significance, representing the second largest source of biodiesel, after soybeans. However, the performance of biodiesel in cold weather conditions is worse than diesel because of deposition of insoluble at low temperatures, accelerating the plugging of fuel filters and injectors of the vehicle engine. Studies have been conducted on beef tallow biodiesel, mostly related to the properties of thermal and oxidative stability. However, few studies have described the nature of the precipitate formed and its influence on product quality. Research suggests that the cause of deposition is related to the nature of saturated esters and monoacylglycerols as inducing agents. This study monitored the levels of mono-, diand triacylglycerols, the oxidation stability and the cold filter plugging point (CFPP) in beef tallow biodiesel samples from two commercial producers in Brazil for a period of twelve months. Filtered precipitates were analyzed by comparative techniques of GCFID, HPLC-UV/VIS, HPLC-MS-IT-TOF and TG to verify the nature, using monopalmitin and monostearin as reference standards. The formation of precipitate reduced the levels of monoacylglycerols in the beef tallow biodiesel. GC-FID and LCMS- IT-TOF results confirmed the nature of the deposit as saturated monoacylglycerols, predominantly monostearin and monopalmitin as the second major component. Moreover the TG analysis of the residue indicated similar thermal decomposition of the reference standards. The precipitate did not affect the oxidation stability of beef tallow biodiesel and the CFPP characteristic of blends up B60. However, the presence of iron reduced significantly the oxidation stability of biodiesel

Caracterização de resíduo sólido formado em biodiesel de sebo bovino

Biodiesel production has increased over the last decade because of the benefits associated with this fuel, including renewability, domestic feedstock, lower toxicity, and biodegradability. From 2008, the use of beef tallow as a feedstock for biodiesel production in Brazil has increased in significance, representing the second largest source of biodiesel, after soybeans. However, the performance of biodiesel in cold weather conditions is worse than diesel because of deposition of insoluble at low temperatures, accelerating the plugging of fuel filters and injectors of the vehicle engine. Studies have been conducted on beef tallow biodiesel, mostly related to the properties of thermal and oxidative stability. However, few studies have described the nature of the precipitate formed and its influence on product quality. Research suggests that the cause of deposition is related to the nature of saturated esters and monoacylglycerols as inducing agents. This study monitored the levels of mono-, diand triacylglycerols, the oxidation stability and the cold filter plugging point (CFPP) in beef tallow biodiesel samples from two commercial producers in Brazil for a period of twelve months. Filtered precipitates were analyzed by comparative techniques of GCFID, HPLC-UV/VIS, HPLC-MS-IT-TOF and TG to verify the nature, using monopalmitin and monostearin as reference standards. The formation of precipitate reduced the levels of monoacylglycerols in the beef tallow biodiesel. GC-FID and LCMS- IT-TOF results confirmed the nature of the deposit as saturated monoacylglycerols, predominantly monostearin and monopalmitin as the second major component. Moreover the TG analysis of the residue indicated similar thermal decomposition of the reference standards. The precipitate did not affect the oxidation stability of beef tallow biodiesel and the CFPP characteristic of blends up B60. However, the presence of iron reduced significantly the oxidation stability of biodiesel

Obtenção e caracterização do sistema compósito alginato de sódio-dióxido de titânio em formas de pó e de membrana

The alginates are copolymers of 1→4-linked β-D-mannuronic acid (M) and α-Lguluronic acid (G) residues that are arranjed in a block structure along a linear chain. Titanium dioxide, TiO2, is a ceramic material and can exist in three distinct crystallography forms: anatase, brookite and rutile. composites of organic and inorganic materials have better properties than the components alone. Thus, this study aims to synthesize, characterize and analyze the composite NaAlg-TiO2 in the form of powder and film. The synthesis of composite powders was performed using the sol-gel process and obtain the composite film was performed using the slow evaporation process, then the composites were analyzed by infrared spectroscopy, fluorescence x ray, thermal analysis, attenuated total reflection (ATR), x ray diffraction and impedance spectroscopy. The X ray diffraction patterns of composite powders show that with increasing calcination temperature, there were no complete transition of rutile-anatase crystalline phase, since at all temperatures studied (300, 500, 700, 900 and 1100ºC) were observed peaks of anatase phase. Thermal analysis shows that at 400°C caused the decomposition of sodium alginate in sodium carbonate and above 600°C, we observe an exothermic peak related to the decomposition of sodium carbonate and in the presence of titanium dioxide becomes sodium titanate. The XRD results confirm the formation of sodium carbonate at 700ºC and the formation sodium titanate in the temperature range 900-1100ºC. The sodium titanate influenced the electrical properties of the material, because with increasing temperature there was a decrease in conductivity, probably due to the creation of Ti vacancies, since the sodium can induce the reduction of surface Ti4+ ions into Ti3+ species. The infrared spectra of the composites in the form of powder and film showed a small shift in the bands compared to the spectrum of pure alginate, indicating that these shifts, even small ones, have evidence of miscibility between the polymer and ceramic material

Caracterização e aplicação de vermicultura natural e quimicamente modificada na adsorção de azul de metileno

Chemical modification of clays has been extremely studied in the search for improvements of their properties for use in various areas, such as in combating pollution by industrial effluents and dyes. In this work, the vermiculite was chemically modified in two ways, characterized and evaluated the adsorption of methylene blue dye. First was changed with the addition of a surfactant (hexadecyltrimethylammonium bromide, BHTA) making it an organophilic clay and then by adding an acid (HCl) by acid activation. Some analyzes were performed as X-ray fluorescence (FRX), X-ray diffraction (DRX), adsorption isotherms of methylene blue dye, infrared (FTIR) , scanning electron microscopy (SEM), thermal gravimetric analysis and spectroscopy energy dispersive (EDS). Analysis by FRX of natural vermiculite indicates that addition of silicon and aluminum, clay presents in its structure the magnesium, calcium and potassium with 16 % organic matter cations. The DRX analyzes indicated that the organic vermiculite was an insertion of the surfactant in the space between the lamellae, vermiculite and acid partial destruction of the structure with loss of crystallinity. The adsorption isotherms of methylene blue showed that there was a significant improvement in the removal of dye to the vermiculite with the addition of cationic surfactant hexadecyltrimethylammonium bromide and treatment with acid using HCl 2 mol/L. In acid vermiculites subsequently treated with surfactant, the adsorption capacity increased with respect to natural vermiculite, however was much lower compared vermiculite modified with acid and surfactant separately. Only the acidic vermiculite treated with surfactant adjusted to the Langmuir model. As in the infrared spectrometry proved the characteristics of natural vermiculite. In the organic vermiculite was observed the appearance of characteristic bands of CH3, CH2, and (CH3)4N. Already on acid vermiculite, it was realized a partial destruction with decreasing intensity of the characteristic band of vermiculite that is between 1074 and 952 cm-1. In the SEM analysis, it was observed that there was partial destruction to the acid treatment and a cluster is noted between the blades caused by the presence of the surfactant. The TG shows that the higher mass loss occurs at the beginning of the heating caused by the elimination of water absorbed on the surface between layers. In the organic vermiculite also observed a loss of mass between 150 and 300 °C caused decomposition of the alkylammonium molecules (surfactants)

Aplicação da termogravimetria na determinação do teor de ferro em comprimidos: um estudo comparativo com a espectrofotometria

This study used the Thermogravimetry (TG) and molecular absorption spectroscopy in UV-visible region to determine the iron content in herbal medicinal ferrous sulfate used in the treatment of iron deficiency anemia. The samples were characterized by IR, UV, TG / DTG, DTA, DSC and XRD. The thermoanalytical techniques evaluated the thermal stability and physicochemical events and showed that the excipients interfere in the decomposition of the active ingredients. The results of thermogravimetry showed that the decomposition temperature of the active principle Fe2(SO4)3 (T = 602 °C) is higher as compared to samples of tablets (566 586 °C). In the DTA and DSC curves were observed exothermic and endo events for samples of medicines and active analysis. The infrared spectra identified key functional groups exist in all samples of active ingredients, excipients and compressed studied, such as symmetric and asymmetric stretching of OH, CH, S=O. The analysis by X-ray diffraction showed that all samples had crystallinity and the final residue showed peaks indicating the presence of silicon dioxide, titanium dioxide and talc that are excipients contained in pharmaceutical formulations in addition to iron oxide. The results obtained by TG to determine the iron content of the studied drugs showed a variance when compared with those obtained by theoretical and UV-visible, probably due to formation of a mixture of Fe2O3 and Fe2(SO4)3. In one tablet was obtained FE content of 15.7 % and 20.6 % for TG by UV-visible, the sample EF 2 was obtained as a percentage of 15.4 % and 21.0 % for TG by UV-visible . In the third SF samples were obtained a content of 16.1 % and 25.5 % in TG by UV-visible, and SF 4 in the percentage of TG was 16.7 % and 14.3 % UV-visible

Síntese e caracterização da ferrita de MnZn obtida pelo método dos citratos precursores

It was synthesized MnZn ferrite with general formulae Mn1-xZnxFe2O4 (mol%), 0,3 ≤ x ≤ 0,7 by using the citrate precursor method. The precursors decomposition was studied by thermogravimetric analysis (TGA), differential thermogravimetric analysis (DTG), differential thermal analysis (DTA) and Fourier transform infrared (FTIR) of powder calcined at 350ºC/3,5h. X-ray diffraction pattern (XRD) of samples was done from 350 to 1200ºC/2h using various atmospheres. The power calcined at 350ºC/3,5h formed spinel phase. It is necessary atmosphere control to avoid secondary phase such as hematite. From 900 to 1200ºC was obtained 90,66 and 100% of MnZn spinel ferrite phase, respectively. Analysis by dispersive energy scanning (EDS) at 350ºC shows high Mn and Zn dispersion, indicating that the diffusion process was homogeneous. Semi-quantitative analysis by EDS verified that despite the atmosphere control during calcinations at high temperatures (< 800ºC) occurred ZnO evaporation causing stoichiometric deviation. Vibrating sample magnetometer (VSM) measures show soft ferrite material characteristics with Hc from 6,5 x 10-3 to 11,1 x 10-2 T. Saturation magnetization (Ms) and initial permeability (µi) of MnZn spinel phase obtained, respectively, from 14,3 to 83,8 Am2/kg and 14,1 to 62,7 (Am2/kg)T

Degradação térmica e catalítica do resíduo atmosférico de petróleo (RAT), utilizando materiais nanoestruturados do tipo SBA-15

In this work were synthesized and characterized the materials mesoporous SBA-15 and Al- SBA-15, Si / Al = 25, 50 and 75, discovered by researchers at the University of California- Santa Barbara, USA, with pore diameters ranging from 2 to 30 nm and wall thickness from 3.1 to 6.4 nm, making these promising materials in the field of catalysis, particularly for petroleum refining (catalytic cracking), as their mesopores facilitate access of the molecules constituting the oil to active sites, thereby increasing the production of hydrocarbons in the range of light and medium. To verify that the materials used as catalysts were successfully synthesized, they were characterized using techniques of X-ray diffraction (XRD), absorption spectroscopy in the infrared Fourier transform (FT-IR) and adsorption nitrogen (BET). Aiming to check the catalytic activity thereof, a sample of atmospheric residue oil (ATR) from the pole Guamaré-RN was performed the process by means of thermogravimetry and thermal degradation of catalytic residue. Upon the curves, it was observed a reduction in the onset temperature of the decomposition process of catalytic ATR. For the kinetic model proposed by Flynn-Wall yielded some parameters to determine the apparent activation energy of decomposition, being shown the efficiency of mesoporous materials, since there was a decrease in the activation energy for the reactions using catalysts. The ATR was also subjected to pyrolysis process using a pyrolyzer with gas chromatography coupled to a mass spectrometer. Through the chromatograms obtained, there was an increase in the yield of the compounds in the range of gasoline and diesel from the catalytic pyrolysis, with emphasis on Al-SBA-15 (Si / Al = 25), which showed a percentage higher than the other catalysts. These results are due to the fact that the synthesized materials exhibit specific properties for application in the process of pyrolysis of complex molecules and high molecular weight as constituents of the ATR

Reciclagem química de Polietileno utilizando Sílica Mesoporosa tipo SBA-15 avalizada por Termogravimetriae Espectrometria de Massas

The chemical recycling of polyolefins has been the focus of increasing attention owing potential application as a fuel and as source chemicals. The use of plastic waste contributes to the solution of pollution problems.The use of catalysts can enhance the thermal degradation of synthetic polymers, which may be avaliated by Themogravimetry (TG) and mass spectrometry (MS) combined techniques. This work aims to propose alternatives to the chemistry recycling of low-density polyethylene (LDPE) on mesoporous silica type SBA-15 and AlSBA-15.The mesoporous materials type SBA-15 and AlSBA-15 were synthesized through the hydrothermal method starting from TEOS, pseudobohemite, cloridric acid HCl and water. As structure template was used Pluronic P123. The syntheses were accomplished during the period of three days. The best calcination conditions for removal of the organic template (P123) were optimized by thermal analysis (TG/DTG) and through analyses of Xray diffraction (XRD), infrared spectroscopy (FT-IR), nitrogen adsorption and scanning electron microscopy (SEM) was verified that as much the hydrothermal synthesis method as the calcination by TG were promising for the production of mesoporous materials with high degree of hexagonal ordination. The general analysis of the method of Analog Scan was performed at 10oC/min to 500 oC to avoid deterioration of capillary with very high temperatures. Thus, with the results, we observed signs mass/charge more evident and, using the MID method, was obtained curve of evolution of these signals. The addition of catalysis produced a decrease in temperature of polymer degradation proportional to the acidity of the catalyst. The results showed that the mesoporous materials contributed to the formation of compounds of lower molecular weight and higher value in the process of catalytic degradation of LDPE, representing an alternative to chemical recycling of solid waste

Avaliação da remoção catalítica de compostos orgânicos monoaromáticos em água utilizando materiais nanoestruturados de sílica

Statistics of environmental protection agencies show that the soil has been contaminated with problems often resulting from leaks, spills and accidents during exploration, refining, transportation and storage oil operations and its derivatives. These, gasoline noteworthy, verified by releasing, to get in touch with the groundwater, the compounds BTEX (benzene, toluene, ethylbenzene and xylenes), substances which are central nervous system depressants and causing leukemia. Among the processes used in remediation of soil and groundwater contaminated with organic pollutants, we highlight those that use hydrogen peroxide because they are characterized by the rapid generation of chemical species of high oxidation power, especially the hydroxyl radical ( OH), superoxide (O2 -) and peridroxil (HO2 ), among other reactive species that are capable of transforming or decomposing organic chemicals. The pH has a strong effect on the chemistry of hydrogen peroxide because the formation of different radicals directly depends on the pH of the medium. In this work, the materials MCM-41 and Co-MCM-41 were synthesized and used in the reaction of BTEX removal in aqueous media using H2O2. These materials were synthesized by the hydrothermal method and the techniques used to characterize were: XRD, TG/DTG, adsorption/desorption N2, TEM and X-Ray Fluorescence. The catalytic tests were for 5 h of reaction were carried out in reactors of 20 mL, which was accompanied by the decomposition of hydrogen peroxide by molecular absorption spectrophotometry in the UV-Vis, in addition to removal of organic compounds BTEX was performed as gas chromatography with detection photoionization and flame ionization and by static headspace sampler. The characterizations proved that the materials were successfully synthesized. The catalytic tests showed satisfactory results, and the reactions containing BTEX + Co-MCM-41 + H2O2 at pH = 12.0 had the highest percentages of removal for the compounds studied

Desenvolvimento de metodologia capaz de detectar e quantificar misturas de corantes em sucos artificiais em pó

Foi desenvolvido um método para detectar e quantificar misturas de corantes em sucos artificiais em pó fabricados no Brasil, de diferentes marcas e sabores. Foram estudados 6 corantes artificiais: amarelo tartrazina, amarelo crepúsculo, vermelho ponceau 4R, vermelho bordeaux S, vermelho 40 e azul brilhante presentes de forma unitária ou em misturas nos sucos com sabores laranja, tangerina, maracujá, abacaxi, limão e uva. A identificação dos corantes nas amostras foi feita através da comparação com os espectros dos padrões, utilizando-se a análise por infravermelho médio e pelos respectivos valores de absorção máxima nos comprimentos de onda relativos aos padrões e valores de referência na literatura. Também foram estudados os perfis de decomposição térmica por termogravimetria, termogravimetria derivada e calorimetria diferencial exploratória dos corantes e dos sucos em pó, sendo determinados os teores de umidade, de matéria orgânica e de cinzas. O teor de umidade encontrado não ultrapassou 4% para todas as amostras de suco analisadas. Com relação ao teor de matéria orgânica obteve-se para 57% dos sucos analisados um teor médio de 51,3% e para 43% das outras amostras obteve-se uma média de 67,2 %. Os resultados obtidos para o teor de cinzas indicaram que 29% das amostras apresentaram um teor de 26,7% para esse parâmetro enquanto 71% das amostras apresentaram um teor de cinzas de 46,4%. Os resultados obtidos por análise térmica mostraram-se adequados considerando-se que para obter os resultados pelo método tradicional há um investimento maior de tempo, de pessoal envolvido e de material, além da proteção ao meio ambiente. Para a análise por espectroscopia de absorção molecular foi proposta uma equação simplificada para a determinação de cada corante na mistura utilizando-se a lei de Beer. Para validação, empregou-se a espectroscopia de absorção molecular no visível, onde foi investigada a influência dos interferentes (TiO2 e açúcar) presentes nas amostras de sucos, os testes de fotodegradação e a avaliação do efeito do pH. Para quantificação tomou-se como referência 512 amostras sintéticas contendo um e dois corantes (1,5625 a 25,000 mg L-1) para obtenção das curvas analíticas que foram aplicadas à análise dos sucos em pó. Os resultados indicaram que o teor máximo do amarelo crepúsculo foi encontrado nos sucos com os sabores laranja, tangerina e manga que correspondeu a 25,6% da ingestão diária aceitável (para ser ultrapassada corresponderia a ingestão de 4 copos). O teor máximo encontrado para o amarelo tartrazina nos sucos foi para o sabor maracujá que correspondeu a 8,5% da ingestão diária aceitável, (para ser alcançado corresponderia a ingestão de 12 copos). O método proposto foi testado e validado com sucesso para amostras de sucos em pó sendo de simples execução e de rapidez na obtenção dos resultados

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