Submitted by Wagner Junior (wagner.junior@unioeste.br) on 2018-11-30T17:04:04Z No. of bitstreams: 2 Claudia_Beatriz_Bozz_2018.pdf: 4791914 bytes, checksum: 0affba2e984ec7e6beefa83d0c3bdfeb (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-11-30T17:04:04Z (GMT). No. of bitstreams: 2 Claudia_Beatriz_Bozz_2018.pdf: 4791914 bytes, checksum: 0affba2e984ec7e6beefa83d0c3bdfeb (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-07-26 / Real time systems that have continuous behavior associated with discrete elements are called hybrid systems. Among them, in this master’s research, a hydraulic system has been chosen as an object of study in order to perform the reliability analysis of it through modeling and formal verification. Much as several models for the reliability analysis of complex systems have been proposed in the literature, most of them are not suitable to represent the system when its behavior needs to be expressed by means of continuous variables, like the case of hybrid systems. Generally, simulation and experimental testing are used to analyze systems, and they give only approximate results from a large amount of samples. To eliminate the limitations of these techniques, the formal verification is an effective alternative, since it is characterized by performing a sweep in all possible states of the system automatically, verifying the behavior as a whole. The UPPAAL STRATEGO toolkit for modelling by stochastic hybrid automata and model checking has been used in this work, both classic formal verification and statistical formal verification. A benckmark has been used as object of study. Initially, the system has been modelling and its behavior (physical and controlled) verified through simulation and formal verification (property specification and model checking). The reliability parameters obtained in the statistical analysis of the system failures have been compared with results of literature, presenting a dispersion less than 2.5%, so it can be verify that the methodology used and the models constructed were adequate to analyze the reliability of this system hybrid.In a second step of this work, the probability distribution of failure of the components have been modified, in order to become the system more reliable with real hydraulic systems, and estimate the optimum mean time between maintenance (MTBM) of this system. Thus, it’s possible to conclude that the methodology is adequate to perform the reliability analysis of the hydraulic system, being that model checking is effective to estimate the reliability parameters of the hydraulic system. / Sistemas de tempo real que possuem comportamento contínuo associado com elementos de características discretas são chamados de sistemas híbridos. Dentre estes, nesta pesquisa de mestrado, optou-se pelo emprego de um sistema hidráulico como objeto de estudo a fim de realizar a análise de confiabilidade do mesmo a partir de modelagem e verificação formal. Por mais que diversos modelos para a análise de confiabilidade de sistemas complexos tenham sido propostos na literatura, a maioria não são adequados para representar sistemas em que o comportamento é expresso em variáveis contínuas, como é o caso dos sistemas híbridos. De modo geral, para a análise de sistemas, a simulação e os testes experimentais são comumente utilizados, e geram apenas resultados aproximados a partir de uma grande quantidade de amostras. Para eliminar as limitações destas técnicas, a verificação formal é uma alternativa eficaz, visto que é caracterizada por realizar uma varredura em todos os estados possíveis do sistema de forma automática, verificando o comportamento como um todo do mesmo. Neste trabalho, foi utilizada a ferramenta computacional UPPAAL STRATEGO para a modelagem por autômatos estocásticos híbridos e verificação dos modelos, tanto verificação formal clássica como estatística. Um modelo padrão (benchmark) foi utilizado como objeto de estudo. Inicialmente o sistema foi modelado e seu comportamento (físico e controlado) verificado através da simulação e verificação formal (especificação de propriedades e verificação de modelos). Os parâmetros de confiabilidade obtidos na análise estatística de falha do sistema foram comparados com outros existentes na literatura, apresentado uma dispersão inferior a 2,5%, logo pôde se verificar que a metodologia empregada e os modelos construídos foram adequados para análise de confiabilidade deste sistema hibrido. Em uma segunda etapa do trabalho, foi modificada a distribuição de probabilidade de falha dos componentes, a fim de tornar o sistema mais fidedigno com sistemas hidráulicos reais, e estimar o tempo médio entre manutenções (MTBM – Mean Time Between Maintenance) ideal deste sistema. Portanto, conclui-se que a metodologia empregada foi adequada para realizar a análise de confiabilidade do sistema hidráulico, sendo efetivo levantar os parâmetros de confiabilidade através da verificação de modelos.

Este trabalho teve como objetivo investigar eletrocatalisadores de baixo custo à base de carbeto de tungstênio, carbono e ferro submetidos a diferentes processos de nitretação quanto à atividade catalítica para reação de redução do oxigênio (RRO) nos eletrólitos ácido e alcalino. Os catalisadores foram divididos em três séries distintas, a primeira compreendendo aqueles onde houve variação da carga de carbeto de tungstênio em relação ao suporte de carbono, que foram impregnados com o complexo Fe2+(2,4,6-Tris(2-piridil)-1,3,5-Triazina)2, [Fe(TPTZ)2]2+ e tratados em duas temperaturas diferentes, 700 e 800 oC em atmosfera de nitrogênio. Na segunda série foi mantida constante a carga de carbeto de tungstênio (30% de W/C, m/m) sendo que esta mescla foi preparada usando carbonos dopados previamente com três fontes distintas de nitrogênio (HNO3, NH3 e HNO3/NH3); isto foi seguido pela incorporação do complexo Fe[TPTZ]2+ e pelos mesmos tratamentos térmicos acima mencionados. Na terceira série, os eletrocatalisadores foram preparados com três tipos de carbonos (Vulcan, Ketjenblack e Monarch), aos quais foi incorporado o complexo Fe[TPTZ]2+, seguido pelo tratamento térmico a 800 °C em atmosfera de nitrogênio e então por dopagem com amônia a 950 °C. As três séries de eletrocatalisadores sintetizados neste trabalho foram cuidadosamente caracterizadas por espectroscopia infra-vermelho e UV-Visível, difratometria de raio-x, microscopia eletrônica de transmissão, energia dispersiva de raios-x, espectroscipia Raman, espectroscopia fotoeletrônica de raios-x. As investigações eletroquímicas foram realizadas por voltametria cíclica (VC) e pelo levantamento de curvas de polarização de estado estacionário para a RRO, usando a técnica de eletrodo de disco/anel rotatório, com materiais catalíticos formando filmes finos depositados no eletrodo de disco. Nas três séries de catalisadores foram desenvolvidos materiais com bom desempenho para a RRO. Nos estudos da primeira série de catalisadores, notou-se que o material mais ativo foi aquele formado por WC-FeNx/C com 30 % de W/C e 5% de Fe pirolisado a 800 °C. Na segunda série foi observado que os desempenhos dos catalisadores variaram de acordo com o tipo de protocolo de nitretação, presença de ferro e temperatura de tratamento térmico. Em eletrólito alcalino, os eletrocatalisadores apresentaram maiores desempenhos, que resultaram bastante próximos em relação ao do catalisador de Pt dispersa em carbono usado como referência. Na terceira série de eletrocatalisadores investigados, verificou-se que o melhor desempenho obtido foi com o catalisador com carbono Monarch com amônia, cuja atividade catalítica resultou superior à dos demais, devido ao maior número de estruturas ativas FeNx e N/C formadas pelo tratamento com amônia. Os resultados nos meios ácido e alcalino para a primeira e segunda séries de eletrocatalisadores sugerem a ocorrência de um mecanismo indireto (2e- + 2e-), ou seja, em meio ácido (alcalino) primeiro o O2 reduz para H2O2 (HO2 ) e depois de H2O2 (HO2 ) para H2O. Os sítios predominantemente envolvidos na catálise da reação são WC e FeNx em meio ácido e WC e N/C em meio alcalino. Finalmente, para a terceira série de eletrocatalisadores o mecanismo reacional em meio ácido envolve um mecanismo direto de 4e-, com participação importante dos sítios ativos de Fe-N2. / This work aims to investigate low cost electrocatalysts based on tungsten carbide, carbon and iron submitted to different nitriding processes for the catalytic activity for the oxygen reduction reaction (ORR) in acid and alkaline electrolytes. The catalysts were divided into three distinct series, the first one comprising those with different tungsten carbide loads with respect to the carbon support, which were impregnated with the Fe2+ (2,4,6-Tris (2-pyridyl) - 1,3,5-triazine)2, [Fe (TPTZ)]2+, complex and treated at two different temperatures, 700 and 800 oC in nitrogen atmosphere. In the second series, the tungsten carbide load (30% W/C, m/m) was kept constant but this mixture was prepared using previously doped carbons using three different sources of nitrogen (HNO3, NH3 and HNO3/NH3); this was followed by the incorporation of the Fe[TPTZ]2+ complex and by the same heat treatments as mentioned above. In the third series, the electrocatalysts were prepared with three carbon types (Vulcan, Ketjenblack and Monarch), to which the Fe[TPTZ]2+ complex was added, followed by heat treatment at 800 °C under nitrogen and then by nitriding using a flow of ammonia at 950 °C. The three series of electrocatalysts synthesized in this work were carefully characterized by infra-red and UV-Visible spectroscopy, x-ray diffraction, transmission electron microscopy, x-ray energy dispersive, Raman spectroscopy, x-ray photoelectron spectroscopy. The electrochemical investigations were performed by cyclic voltammetry (CV) and by measurements of steady-state polarization curves for ORR using rotating ring-disc electrode technique, with catalytic materials forming thin films deposited on the disc. In the three catalyst series, materials with good performance for the ORR were developed. In the studies of the first series of catalysts, it was seen that the most active material was that formed by WC-FeNx/C with 30%W/C and 5% Fe pyrolyzed at 800 ° C. In the second series it was observed that the performances of the catalysts varied according to the type of nitriding protocol, presence of iron and temperature of heat treatment. The electrocatalysts showed higher performances in alkaline electrolyte, which were very close to that of a reference Pt/C catalyst. In the third series of electrocatalysts, the best performance was obtained with the Monarch carbon catalyst heat-treated with ammonia, whose catalytic activity was higher than all others, due to the greater number of FeNx and N/C active structures formed by the treatment with ammonia. The results in acidic and alkaline conditions for the first and second series of electrocatalysts suggest the occurrence of an indirect ORR mechanism (2e- + 2e-), that is, in acid (alkaline) media first O2 is reduced to H2O2 (HO2) followed by the reduction of H2O2 (HO2). The active sites predominantly involved in the reaction electrocatalysis are WC and FeNx in acid media and WC e N/C in alcaline media. Finally, for the third series of electrocatalysts, the acidic reaction involves a direct 4e- mechanism, having important participation of the Fe-N2 active sites.

A doença de Chagas é uma parasitose extremamente negligenciada, cujo agente etiológico é o protozoário Trypanosoma cruzi. Atualmente, 21 países da América Latina são considerados regiões endêmicas, onde 75-90 milhões de pessoas estão expostas à infecção, 6-7 milhões estão infectadas e mais de 41 mil novos casos surgem por ano. Entretanto, apenas os fármacos nifurtimox e benznidazol estão disponíveis no mercado. Estes, além da baixa eficácia na fase crônica da parasitose, apresentam diversos efeitos adversos, sendo que no Brasil apenas o benznidazol é utilizado. Este fato mostra a importância de se ampliar o número de fármacos disponíveis e propor quimioterapia mais eficaz para o tratamento da doença de Chagas. Como forma de contribuir para essa busca, este trabalho objetiva a síntese de compostos híbridos bioisostéricos N-acilidrazônicos e sulfonilidrazônicos, contendo grupo liberador de óxido nítrico, com potencial de interação com cisteíno-proteases parasitárias, tais como a cruzaína. Nestes derivados, os grupos liberadores de óxido nítrico utilizados foram os grupos furoxano (contendo substituinte metílico e fenílico) e éster nitrato. Propôs-se a variação de anéis aromáticos substituídos e não-substituídos, com o intuito de avaliar a possível relação estrutura-atividade (REA) desses análogos. Até o momento, somente os compostos da série N-acilidrazônica tiveram avaliação biológica realizada. Os valores de IC50 dos compostos na forma amastigota do parasita variaram entre >100 a 2,88 µM, sendo este último valor comparável ao fármaco de referência. A atividade inibitória frente à cruzaína foi de 25,2 µM a 2,2 µM. Já a liberação de óxido nítrico foi avaliada pelo método indireto de detecção de nitrato e os valores variaram entre 52,0 µM e 4.232,0 µM. Estes são bem inferiores ao composto padrão, além de não se identificar correlação direta entre a atividade biológica e a liberação de NO. Na sequência, os dois compostos mais ativos (6 e 14) foram submetidos a estudos de permeabilidade e de citotoxicidade. O composto 6 foi considerado o de maior permeabilidade segundo o Sistema de Classificação Biofarmacêutica (SCB) e todos os compostos apresentaram a taxa de fluxo menor que 2, indicando a ausência de mecanismo de efluxo. Na avaliação do potencial citotóxico desses compostos em células humanas, o derivado 6 apresentou índice de seletividade superior ao do benznidazol. Em estudos de modelagem molecular usando análise exploratória de dados (HCA e PCA), propriedades estéricas/geométricas e eletrônicas foram consideradas as mais relevantes para a atividade biológica. Além disso, estudos de docking mostraram que a posição do grupo nitro no anel aromático é importante para a interação com a cruzaína. Ademais o composto 6 não provocou mudanças significativas no ciclo celular e na fragmentação de DNA em células humanas, mostrando-se como líder promissor para futuros estudos in vivo. Atividade tripanomicida, citotoxicidade, potencial de liberação de NO e estudos de permeabilidade dos 23 derivados sulfonilidrazônicos e ésteres nitrato estão sendo avaliados. / Chagas disease is an extremely neglected parasitic disease whose etiologic agent is the protozoan Trypanosoma cruzi. Currently 21 Latin American countries are considered endemic regions, where 75-90 million people are exposed to infection, 6-7 million are infected and more than 41,000 new cases occur annually. However only nifurtimox and benznidazole are available on the market. These drugs, besides low efficacy in the chronic phase of the parasite have numerous adverse effects, and in Brazil only benznidazole is used. This fact shows the importance of increasing the number of drugs available and propose more effective chemotherapy for the Chagas disease treatment. As a contribution to the problem, this study aims the synthesis of biososteric compounds from N-acylhydrazone and sulfonylhydrazone, which have the potential to interact with parasitic cysteine protease, such as cruzain, containing nitric oxide releasing groups, which also has inhibitory activity in this enzyme class. In these derivatives nitric oxide releasing groups used were furoxan (containing methyl and phenyl substituent) and nitrate ester groups. The variation of aromatic rings substituted and unsubstituted was proposed in order to evaluate the possible structure-activity relationship (SAR) of these analogs. Only N-acylhydrazone series had its biological profile evaluated up to now. The IC50 values of the compounds against the amastigote form of the parasite ranged from >100 µM to 2.88 µM, the last value being comparable to that of reference drug. Cruzain inhibitory activity ranged from 25.2 µM to 2.2 µM. The nitric oxide releasing potential was evaluated using the indirect method of detection and nitrate values ranged between 52.0 µM and 4,232.0 µM. These results are below than those of the standard compound, and there is no direct correlation between the biological activity and nitric oxide releasing potential as well. Further, the two most active compounds (6 and 14) were submitted to permeability and cytotoxicity studies. Compound 6 showed the highest permeability value according to Biopharmaceutics Classification System (BCS), and both compounds showed flow rate lower than 2, indicating no efflux mechanism. In the cytotoxicity studies of these compounds in human cells, the derivative 6 showed selectivity index greater than benznidazole. In molecular modeling studies using exploratory data analysis (HCA and PCA) steric/geometric and electronic properties were considered the most relevant for biological activity. In addition, docking studies were performed and showed that the position of the nitro group on the aromatic ring is important for the interaction with cruzain. Compound 6 did not cause significant changes in cell cycle and DNA fragmentation in human cells, showing to be a promising lead compound for future in vivo studies. Trypanocidal activity, cytotoxicity assay, NO releasing potential and permeability studies of the 23 sulfonylhydrazones and nitrate ester derivatives are being evaluated.

Este trabalho utiliza a experiência do Laboratório de Sistemas Fotovoltaicos do Instituto de Energia e Ambiente da Universidade de São Paulo (LSF-IEE-USP) para propor meios efetivos para qualificação de recursos humanos, dentro de laboratórios com qualidade reconhecida, com o intuito de aumentar a quantidade de especialistas na área. Para tanto, foi criado um local, na forma de laboratório, denominado Unidade de Capacitação Tecnológica, composto por sistemas fotovoltaicos isolados e conectados à rede e por duas minirredes híbridas de geração de energia (solar, diesel e rede elétrica), com sistemas de monitoramento próprios, que permitem a avaliação de diferentes estratégias de operação de sistemas fotovoltaicos. Tal Unidade foi concebida sob uma perspectiva didática, para possibilitar a apropriação das habilidades técnicas e conhecimentos tecnológicos necessários para: a) atuar nas diversas ocupações demandadas pelo setor (instaladores, projetistas e engenheiros); b) desenvolver pesquisas na área (especializações, mestrados e doutorados); e c) prestar suporte para iniciativas interessadas na aplicação da tecnologia fotovoltaica (ensaios, consultorias e treinamentos). A apresentação da Unidade conta com a descrição dos materiais, ferramentas, instrumentos e procedimentos utilizados para a acreditação dos laboratórios que a compõem, permitindo demonstrar a confiabilidade, credibilidade e universalidade de seus processos, especialmente no que se refere à realização de ensaios de conformidade em equipamentos fotovoltaicos. O trabalho também investiga iniciativas de capacitação que estão sendo realizadas em outras universidades, escolas técnicas e iniciativa privada, para compreender o perfil dos profissionais atuantes no mercado. A ideia é demonstrar o quanto é fundamental a criação de uma forma de certificação ou uma política instrutiva para a capacitação dos profissionais de sistemas fotovoltaicos, de forma a promover as boas práticas e inibir aquelas que comprometam a credibilidade da tecnologia. Esta tese demonstra que laboratórios capacitados, como a Unidade descrita neste trabalho, apresentam os elementos necessários para produção e divulgação de conhecimentos, desenvolvimento de produtos, prestação de serviços e treinamento de profissionais requeridos para a expansão do setor, podendo colaborar para a consolidação da energia fotovoltaica como uma alternativa eficaz e confiável no cenário energético brasileiro. / This work uses the experience of the Photovoltaic Systems Laboratory of the Institute for Energy and Environment of the University of São Paulo (LSF-IEE-USP) to propose effective ways for the qualification of human resources within laboratories with recognized quality, in order to increase the amount of experts. Thus, a site was created in the form of laboratory, named Technology Skills Unit, composed of individual photovoltaic systems and two hybrid power systems (solar, diesel and power grid), with monitoring systems that allows evaluation of different operating of photovoltaic systems. This unit is designed in a didactic perspective to enable the appropriation of technical skills and technological knowledge necessary for: a) act in different occupations demanded by the sector (installers, designers and engineers), b) develop research in the area and c) provide support for initiatives interested in the application of photovoltaic technology. The presentation of the Unit has the description of the materials, tools, instruments and procedures for the accreditation of laboratories that comprise it, allowing demonstrate the reliability, credibility and universality of its processes, especially with regard to the testing of conformity in photovoltaic equipment. This study also investigates training initiatives being undertaken at other universities, technical schools, and private initiative to understand the profile of the professionals working in the market. The idea is to demonstrate how essential is the creation of a form of certification or an instructive policy for the professional of photovoltaic in order to promote good practice and inhibit those that undermine the credibility of technology. This thesis demonstrates that trained laboratory personnel with the structure proposed in this paper and accredited as is described, presents the necessary elements for the dissemination of technical and scientific knowledge required to qualify professionals specializing in photovoltaic applications, and may contribute to the consolidation of photovoltaic solar energy as effective and reliable alternative to the energy scenario that is imposed in Brazil today.

O objetivo desta tese foi avaliar os efeitos decorrentes do registro de instrumentos financeiros híbridos junto às linhas patrimoniais. Para tanto, foram utilizados modelos de relevância informacional, os quais avaliam a forma como os números contábeis são assimilados pelos preços e retornos acionários (OHLSON, 1995; ABOODY et al., 1999; LIMA, 2010; LOPES; WALKER, 2012). Adicionalmente, também foram observadas as inter-relações entre a emissão e a contabilização de tais contratos com o custo de capital próprio, alavancagem financeira e a carga tributária efetiva, respectivamente, considerados como determinantes para utilização dessa modalidade de captação de recursos (LEE; FIGLEWICZ, 1999). No tocante ao desenvolvimento metodológico desta pesquisa, foram compostos dois conjuntos amostrais, sendo: (i) grupo de interesse, formando por 39 empresas que emitiram os instrumentos híbridos aqui estudados, presentes em 10 jurisdições; e (ii) grupo de controle, no qual se encontram 107 organizações domiciliadas nos mesmos países e setores, bem como de composição patrimonial similar ao grupo previamente relatado. Foram coletadas observações para essas companhias de dezembro de 2005 a dezembro de 2015, em bases trimestrais, perfazendo um total de 3.386 observações. A leitura das notas explicativas do grupo de interesse indicou que essas empresas registraram os híbridos junto ao PL, considerando elementos interpretativos minimamente questionáveis à luz da essência econômica sobre a forma jurídica desses títulos. Isto é, sob uma análise conjugada dos instrumentos híbridos aqui avaliados com a IAS 32, é possível inferir que a modalidade de contratos analisada se aproxima mais da definição de passivo financeiro do que de instrumento patrimonial. Entretanto, no âmbito dos resultados quantitativos, verificou-se, em linhas gerais, que os modelos de relevância informacional indicam que o montante dos híbridos afeta os preços e retornos acionários dos emitentes não relacionados a projetos de infraestrutura, de maneira positiva e estaticamente significante. Tal contrariedade pode ser mais bem compreendida aplicando-se o conceito da profecia autorrealizável de Merton (1968), em que o registro contábil de um título como PL, ainda que de maneira equivocada, desencadeará nos agentes de mercado a percepção de que esse de fato possui tal condição, adotando comportamentos que fazem com que a concepção originalmente falsa se torne verdadeira. Do mesmo modo, a ausência de questionamentos por parte dos auditores externos e dos reguladores corroboraria o tratamento empregado pelas organizações, gerando os efeitos descritos nos investidores. Com relação aos fatores determinantes para emissão desses títulos, foi verificado que os emitentes possuem custo de capital próprio superior, são mais alavancados financeiramente e demonstraram cargas tributárias efetivas inferiores aos não emitentes. Dessa maneira, é possível concluir que embora novas modalidades de contratos para obtenções de valores, tais como os instrumentos híbridos, sejam importantes para o financiamento das atividades empresarias, é fundamental que a contabilidade represente de forma fidedigna a natureza econômica desses instrumentos, a fim de que não haja distorções na posição patrimonial das entidades e, por conseguinte, gere vieses nos usuários das demonstrações financeiras / The main purpose of this thesis was to evaluate the effects of hybrid financial instruments bookkeeping as equity. Therefore, were used value relevance econometrics models, which assess how the accounting figures are assimilated by the stock prices and stock returns (OHLSON, 1995; Aboody et al., 1999; LIMA, 2010; LOPES; Walker, 2012). Additionally, were observed the relationships between these contracts and cost of capital, financial leverage and effective tax rate, respectively, considered crucial to use of this fundraising tool (LEE; FIGLEWICZ, 1999). Regarding to the methodological development of this research was composed two samples, namely: (i) interest group, formed by 39 companies that issued hybrid instruments presents in 10 different jurisdictions; and (ii) control group, which have 107 organizations domiciled in the same countries and operating in the same sectors, as well as its equity composition is similar to the interest group. Observations were collected for these firms from December 2005 to December 2015, on a quarterly basis, forming a total database with 3.386 observations. The technical notes of the interest group analysis indicated that these firms recorded hybrids as equity instruments, considering interpretative elements at least questionable in light of the economic substance over the legal form of these bonds. Therefore, in a combined analysis of hybrid instruments evaluating IAS 32 together, it is possible to infer that these contracts is closer to the concept of financial liability than equity instrument definition. However, under the quantitative finds, it was verified that the amount of hybrid affects the prices and stock returns of issuers, not related to infrastructure projects, in a positive and statistically significant way. Such results opposition might be better understood applying the concept of self-fulfilling prophecy of Merton (1968), in which the accounting records of a contract such as equity, albeit wrongly, will trigger on the market players the insight that this truly or it has such condition, adopting behaviors that make the original false conception becomes true. Similarly, the absence of queries by regulators and auditors corroborate the treatment employed by the firms, supporting the effects described on the investors. Concerning to the determinant factors for the issuance of these bonds, was found that the issuers have higher cost of capital, are more leveraged and revealed lower effective taxes rates than non-issuers. Hence, can be concluded that while new forms of contracts for obtaining resources, such as hybrids, are important for the financing of entrepreneurial activities, it is essential that accounting represent faithfully the economic nature of these instruments in order to not create distortions in the financial position and, therefore, generate biases in users of financial statements.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-04-12T18:36:46Z No. of bitstreams: 1 rafaelcarvalhaesmachado.pdf: 15330554 bytes, checksum: b28797a7ed7a97cc333b801efe362c9b (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-04-24T03:30:09Z (GMT) No. of bitstreams: 1 rafaelcarvalhaesmachado.pdf: 15330554 bytes, checksum: b28797a7ed7a97cc333b801efe362c9b (MD5) / Made available in DSpace on 2016-04-24T03:30:09Z (GMT). No. of bitstreams: 1 rafaelcarvalhaesmachado.pdf: 15330554 bytes, checksum: b28797a7ed7a97cc333b801efe362c9b (MD5) Previous issue date: 2016-01-22 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A presente tese, intitulada "Síntese, caracterização e avaliações biológicas de 4-piridinil, 7-cloro-4-quinolinil e 9-acridinil, semicarbazidas e tiossemicarbazidas" descreve a preparação, caracterização e avaliação do potencial biológico de compostos sintéticos híbridos contendo uma porção heterocíclica (núcleo piridínico, quinolínico ou acridínico) associada a uma subunidade tiossemicarbazida ou semicarbazida N-4 substituída. Os compostos almejados foram preparados por duas rotas sintéticas distintas: 1) via reação de substituição nucleofílica aromática entre os derivados halo-heterocíclicos (4-cloropiridina, 4,7-dicloroquinolina e 9-cloroacridina) e as tiossemicarbazidas e semicarbazidas N-4 substituídas e 2) via reação de adição dos derivados heterocíclicos de hidrazina (4-hidrazinopiridina, 7-cloro-4-hidrazinoquinolina e 9-hidrazinoacridina) aos isotiocianatos e isocianatos. As estruturas químicas dos produtos obtidos, bem como as dos intermediários sintéticos, foram caracterizadas por faixa de fusão, espectroscopia no infravermelho, de ressonância magnética nuclear de hidrogênio e de carbono-13 e por espectrometria de massas. Os compostos sintetizados foram avaliados como potenciais agentes antibacterianos (S. aureus, E. coli, P. aeruginosa e S. typhimurium), antituberculares (M. tuberculosis) e antitumorais. Enquanto alguns dos compostos avaliados apresentaram atividade antibacteriana promissora, nenhum dos compostos sintéticos pode ser considerado candidato a agente anti-TB. Em relação a atividade antitumoral, a maioria dos compostos avaliados exibiu elevada citotoxicidade. / The present thesis, entitled “Synthesis, characterization and biological evaluation of 4-pyridinyl, 7-chloro-4-quinolinyl, 9-acridinyl, semicarbazides and thiossemicarbazides”, describes the preparation, characterization and evaluation of the biological potential of synthetic hybrid compounds containing a heterocyclic moiety (pyridine, quinoline or acridine ring) associated with an N-4 substituted semicarbazide or thiosemicarbazide subunit. The desired compounds were prepared by two different synthetic routes: 1) via nucleophilic aromatic substitution reaction between the halo-heterocyclic derivatives (4-chloropyridine, 4,7-dichloroquinoline and 9-chloroacridine) and N-4 substituted thiosemicarbazides and semicarbazides and 2) via addition reaction of the heterocyclic hydrazine derivatives (4-hydrazinopyridine, 7-chloro-4-hydrazinoquinoline and 9-hydrazinoacridine) to isothiocyanates and isocyanates. The chemical structures of the products obtained, as well as synthetic intermediates, were characterized by their melting points, infrared spectroscopy, 1H and 13C nuclear magnetic resonance spectroscopies and by mass spectrometry. The compounds synthesized were evaluated as potential antibacterial (S. aureus, E. coli, P. aeruginosa e S. typhimurium), antituberculosis (M. tuberculosis) and antitumor agents. While some of the evaluated compounds showed promising antibacterial activity, none of the compounds synthesized may be considered a candidate as an anti-TB agent. With respect to antitumor activity, the majority of the evaluated compounds exhibited high cytotoxicity.

Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-10-24T12:40:05Z No. of bitstreams: 1 filipefernandesdepaula.pdf: 19865574 bytes, checksum: dfebb62a2a39cd7c70ab5c775d5441ce (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-11-23T12:10:30Z (GMT) No. of bitstreams: 1 filipefernandesdepaula.pdf: 19865574 bytes, checksum: dfebb62a2a39cd7c70ab5c775d5441ce (MD5) / Made available in DSpace on 2018-11-23T12:10:30Z (GMT). No. of bitstreams: 1 filipefernandesdepaula.pdf: 19865574 bytes, checksum: dfebb62a2a39cd7c70ab5c775d5441ce (MD5) Previous issue date: 2018-09-12 / O desenvolvimento de técnicas adequadas para extração eficiente de óleo de reservatórios de petróleo passa pela simulação precisa de tais fenômenos, que é alcançada através do estudo de modelos matemáticos e métodos computacionais robustos, eficientes e precisos. Neste contexto, este trabalho visa o estudo de métodos numéricos para a simulação de escoamentos bifásicos em meios porosos heterogêneos. Para tanto, propomos uma abordagem numérica do tipo staggered para estes modelos, que se baseia na aproximação de forma desacoplada dos sistemas de equações diferenciais parciais referentes aos problemas de Darcy e da saturação das fases. Dessa forma, podem ser empregados métodos numéricos específicos para cada sistema, que melhor se adequem às suas caractrerísticas. Assim, propomos o estudo de métodos de elementos finitos mistos, estáveis e estabilizados, clássicos e híbridos e localmente conservativos para o cômputo da velocidade da mistura e de um método de volumes finitos não-oscilatório de alta ordem, baseado em esquemas centrais, para a equação hiperbólica não-linear que governa o transporte da saturação das fases. Resultados numéricos comprovam a flexibilidade, a taxa de convergência e o custo computacional dos métodos adotados, além de demonstrar a eficácia dos métodos quando aplicados a simulação de problemas associados a extração de petróleo em cenários fortemente heterogêneos. / The development of techniques for efficient oil extraction from reservoirs passes through the simulation of such phenomena, which is achieved by the study of mathematical models and robust, precise and efficient computational methods. This dissertation studies methods for the simulation of two-phase flows in heterogeneous porous media. To do so, we propose a “staggered” numerical approach for the numerical methods, that is based on the approximation of uncoupled systems of differential equations related to Darcy’s problems and saturation of the phases. Then, appropriate methods for each system, that best suit its characteristics can be applied. Therefore, we propose studying locally conservative finite element methods, stable and stabilized, classical and hybrid to approximate the velocity field and a non-oscillatory high order finite volume method, based on central schemes, to approximate the non-linear hyperbolic equation that governs the transport of phases. Numerical results attest to the flexibility, convergence rate and computational cost of the adopted methods, and demonstrate the effectiveness of such methods when applied to oil extraction in various heterogeneous porous media scenarios.

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T00:11:05Z (GMT). No. of bitstreams: 1 Rebiha_Rachid_D.pdf: 1451665 bytes, checksum: abe6fc4e72cf43113c7c93064ab11ed8 (MD5) Previous issue date: 2011 / Resumo: É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se verifica a cada execução de um sistema. Apesar dos progressos enormes ao longo dos anos, o problema da geração de invariantes ainda está em aberto para tanto programas não-lineares discretos, como para sistemas não-lineares híbridos. Nesta tese, primeiramente, apresentamos novos métodos computacionais que podem automatizar a descoberta e o fortalecimento de relações não-lineares entre as variáveis de um programa que contém laços não-lineares, ou seja, programas que exibem relações polinomiais multivariadas e manipulações fracionarias. Além disso, a maioria dos sistemas de segurança críticos, tais como aviões, automóveis, produtos químicos, usinas de energia e sistemas biológicos, operam semanticamente como sistemas híbridos não-lineares. Nesse trabalho, apresentamos poderosos métodos computacionais que são capazes de gerar bases de ideais polinomiais de invariantes não-lineares para sistemas híbridos não-lineares. Em segundo lugar, apresentamos métodos pioneiros de verificação que automaticamente gerem bases de invariantes expressas por séries de potências multi-variáveis e por funções transcendentais. Discutimos, também, a sua convergência em sistemas híbridos que exibem modelos não lineares. Verificamos que as séries de potência geradas para invariantes são, muitas vezes, compostas pela expansão de algumas funções transcendentais bem conhecidas, tais como "log" e "exp". Assim, apresentam uma forma analisável fechada que facilita o uso de invariantes na verificação de propriedades de segurança. Para cada problema de geração de invariantes estabelecemos condições suficientes, muito gerais, que garantem a existência e permitem o cálculo dos ideais polinomiais para situações que não podem ser tratadas pelas abordagens de geração invariantes hoje conhecidas. Finalmente, estendemos o domínio de aplicações, acessíveis através de métodos de geração de invariantes, para a área de segurança. Mais precisamente, fornecemos uma plataforma extensível baseada em invariantes pré-computadas que seriam usadas como assinaturas semânticas para análise de intrusos ("malwares") e deteção dos ataques de intrusões mais virulentos. Seguindo a concepção de tais plataformas, propomos sistemas de detecção de intrusão, usando modelos gerados automaticamente, onde as chamadas de sistema e de funções são vigiados pela avaliação de invariantes, pré-calculadas para denunciar qualquer desvio observado durante a execução da aplicação. De modo abrangente, nesta tese, propomos a redução de problemas de geração de invariantes para problemas algébricos lineares. Ao reduzir os problemas de geração de invariante não-triviais de sistemas híbridos não-lineares para problemas algébricos lineares relacionados, somos capazes de ultrapassar as deficiências dos mais modernos métodos de geração de invariante hoje conhecidos permitindo, assim, a geração automática e eficiente de invariantes para programas e sistemas híbridos não lineares complexos. Tais métodos algébricos lineares apresentam complexidades computacionais significativamente inferiores àquelas exigidas pelos os fundamentos matemáticos das abordagens usadas hoje, tais como a computação de bases de Gröbner, a eliminação de quantificadores e decomposições cilíndricas algébricas / Abstract: It is well-known that the automation and effectiveness of formal software verification of embedded or hybrid systems depends to the ease with which precise invariants can be automatically generated from source specifications. An invariant is a property that holds true at a specific location in the specification code, whenever an execution reaches that location. Despite tremendous progress over the years, the problem of invariant generation remains very challenging for both non-linear discrete programs, as well as for non-linear hybrid systems. In this thesis, we first present new computational methods that can automate the discovery and can strengthen interrelationships among the variables of a program that contains non-linear loops, that is, programs that display multivariate polynomial and fractional manipulations. Moreover, most of safety-critical systems such as aircraft, cars, chemicals, power plants and biological systems operate semantically as non-linear hybrid systems. In this work, we demonstrate powerful computational methods that can generate basis for non-linear invariant ideals of non-linear hybrid systems. Secondly, we present the first verification methods that automatically generate basis for invariants expressed by multivariate formal power series and transcendental functions. We also discuss their convergence over hybrid systems that exhibit non linear models. The formal power series invariants generated are often composed by the expansion of some well-known transcendental functions e.g. log and exp. They also have an analysable closed-form which facilitates the use of the invariants when verifying safety properties. For each invariant generation problem, we establish very general sufficient conditions that guarantee the existence and allow for the computation of invariant ideals for situations that can not be treated in the presently known invariant generation approaches. Finally, we extend the domain of applications for invariant generation methods to encompass security problems. More precisely, we provide an extensible invariant-based platform for malware analysis and show how we can detect the most virulent intrusions attacks using these invariants. We propose to automatically generate invariants directly from the specified malware code in order to use them as semantic aware signatures, i.e. malware invariant, that would remain unchanged by most obfuscated techniques. Folix lowing the design of such platforms, we propose host-based intrusion detection systems, using automatically generated models where system calls are guarded by pre-computed invariants in order to report any deviation observed during the execution of the application. In a broad sense, in this thesis, we propose to reduce the verification problem of invariant generation to algebraic problems. By reducing the problems of non-trivial nonlinear invariant generation for programs and hybrid systems to related linear algebraic problems we are able to address various deficiencies of other state-of-the-art invariant generation methods, including the efficient treatment of complicated non-linear loop programs and non-linear hybrid systems. Such linear algebraic methods have much lower computational complexities than the mathematical foundations of previous approaches know today, which use techniques such as as Gröbner basis computation, quantifier elimination and cylindrical algebraic decomposition / Doutorado / Ciência da Computação / Doutor em Ciência da Computação

Made available in DSpace on 2014-08-20T13:44:37Z (GMT). No. of bitstreams: 1 dissertacao_valmor_konflanz.pdf: 208272 bytes, checksum: 44261cbcb3d4401aa4dbf2f9c4397c9c (MD5) Previous issue date: 2005-11-11 / The basis to high production per area in maize is directly related to the success of the establishment of an adequate plant stand, which in turn depends on rational management and the quality of seeds. The increase in the demand of maize seeds of high physiological and genetic quality has been gradual, and has had a major impact on the improvement of yields. To preserve the genetic and physiological potential of a cultivar when producing seed, it is essential to understand all features associated to seed maturation. Thus, this work had the objective to identify the best harvest time starting at the appearance of the black layer for 7 ancestries and 5 hybrids of maize. The experiment was installed in the seed production area of the KSP Seed Research Company Ltd. township of Campos Novos, SC. The establishment of all treatments followed the technical guidelines indicated for the maize crop. The first harvest initiated at the appearance of the black layer stage for each genotype. Subsequent harvest treatments were performed at 10, 20, 30, 40 and 50 days after the formation of the black layer. The seed moisture content was determined for each harvest date, after which the seeds were dried still in the spike. After being dried, the seeds were threshed and stored in cold and dry chamber, at a mean temperature of 12ºC and 52%relative humidity, until being analyzed. For the evaluation of the physiological quality of the seeds, the tests of germination and vigor were carried out. Considering the results, the best harvest time for all treatments was that of 10 days after the appearance of the black layer. Environmental effects have a great impact on the seed physiological quality, especially when the harvest and rainy seasons coincide. Extremely early harvests will cause the seeds to show lower vigor when sown shortly after drying. It is suggested that the harvest be executed 10 days after the physiological maturity. The loss of seed moisture while still in the field is slow, contributing to the deterioration of their physiological quality whenever harvest is retarded beyond the period of 10 days after the physiological maturity is reached. / A base da alta produção por área, principalmente da cultura do milho, está diretamente relacionada com o sucesso do estabelecimento das plantas no campo, que por sua vez, depende do manejo racional e da qualidade das sementes. O aumento da demanda de sementes de milho de alta qualidade fisiológica e genética tem sido gradual, e o grande responsável pelos incrementos na produção. Para que na produção de sementes seja preservado o máximo potencial genético e fisiológico de uma cultivar, é necessário conhecer o seu processo de maturação. Assim, este trabalho teve por objetivo identificar o melhor ponto de colheita a partir do surgimento da camada preta para 7 linhagens e 5 híbridos de milho. O experimento foi instalado na área de pesquisa da Empresa KSP Sementes e Pesquisas Ltda no Município de Campos Novos-SC, conforme as recomendações técnicas indicadas para a cultura. A primeira colheita foi no surgimento da camada preta para todos os genótipos. Após foram realizadas colheitas aos 10, 20, 30, 40 e 50 dias após a formação da camada preta e determinado o teor de água das amostras. As sementes foram secadas em espigas na medida em que foram sendo colhidas. Após a secagem foram debulhadas e armazenadas em câmara fria e seca, com temperatura média de 12ºC e umidade relativa de 52% até as avaliações. Para avaliação da qualidade fisiológica das sementes foram realizados os testes de germinação e vigor. Considerando os resultados encontrados o melhor ponto de colheita para os genótipos estudados tanto para as linhagens como para os híbridos foi aos 10 dias após o início do surgimento da camada preta. Efeitos do ambiente afetam a qualidade fisiológica das sementes no campo após a maturidade fisiológica, principalmente para colheitas logo após períodos de chuvas. Para semeaduras logo após a secagem das sementes, colheitas muito precoces podem acarretar em menores índices de vigor durante a germinação das sementes, sendo mais seguro para estas situações colheitas aos 10 dias após a maturidade fisiológica. A perda de umidade no campo é lenta, contribuindo para a deterioração das sementes no campo reduzindo a qualidade fisiológica à medida que há retardo na colheita a partir dos 10 dias após a maturidade fisiológica.

Made available in DSpace on 2014-08-20T13:48:28Z (GMT). No. of bitstreams: 1 Carmen_Regina_Goncalves_Ferreira_Dissertacao.pdf: 1480926 bytes, checksum: c21cf87eb98f6766e5c7ed2fd3d894b0 (MD5) Previous issue date: 2011-04-08 / The theme of this thesis deals with the non-conventional segmentation processes, hiposegmentations, hypersegmentations and hybrid forms which can be found in texts written by students who take part in EJA, a government project for the education of the youth and the adult. In this study, non-conventional segmentations of words are considered structures that arise from the hypotheses which the subjects have formulated in their writing acquisition process (FERREIRO & TEBEROSKY, 1999). This information is valuable linguistic material since it can give clues regarding the phonological knowledge these learners use when they write (ABAURRE, 1991). From this perspective, this study aimed at describing and analyzing the processes which adults go through - during their literacy process when they face the task of segmenting their writing according to conventions, as well as comparing these results to the ones related to child writing in order to check the adequacy of categories proposed by Cunha (2004) to the analysis of non-conventional segmentation in texts written by EJA students. The data used for analysis were extracted from texts written by three EJA students and collected longitudinally in text production workshops which aimed at creative and spontaneous texts. Results show that clitics, or forms that are similar to them, are mostly involved in non-conventional writing in data which refer to both hiposegmentations and hypersegmentations. Data provided by adults, as well as the ones got from children who were studied by Cunha (2004), reveal linguistic motivation which can be explained in the light of concepts related to the prosody of the language. The description and the analysis of such processes, identified at the beginning of adults writing processes, can lead to reflections that may help teachers with their pedagogical actions when teaching Portuguese to adults who are acquiring the written language / O tema abordado nesta dissertação refere-se aos processos de segmentação não-convencional, hipossegmentações, hipersegmentações e formas híbridas encontrados nos textos de alunos de EJA (Educação de Jovens e Adultos). As segmentações não-convencionais de palavras são vistas, neste estudo, como estruturas oriundas de hipóteses elaboradas pelos sujeitos em seu processo de aquisição da escrita (cf. FERREIRO & TEBEROSKY, 1999), as quais se configuram em um valioso material linguístico capaz de fornecer pistas a respeito do conhecimento fonológico de que os aprendizes se utilizam ao produzirem suas escritas (cf. ABAURRE, 1991). Com base nessa perspectiva, teve-se como objetivo descrever e analisar os processos pelos quais os adultos, em fase de alfabetização, passam ao se depararem com a tarefa de segmentar sua escrita de acordo com as convenções, bem como comparar esses resultados com aqueles relativos à escrita infantil e verificar a adequação das categorias propostas por Cunha (2004) para a análise de segmentação não-convencional em textos de alunos de EJA. Os dados analisados, extraídos de textos produzidos por três alunos de EJA, foram coletados longitudinalmente por meio de oficinas de produção textual que visavam à obtenção de textos criativos e espontâneos. Os resultados mostram que o clítico, ou formas que se assemelhem a clíticos, estão, preponderantemente, envolvidos nas grafias não-convencionais, tanto nos dados referentes às hipo quanto às hipersegmentações. Os dados dos adultos, assim como os das crianças estudados por Cunha (2004), revelam motivações linguísticas que podem ser explicitadas à luz de conceitos relativos à prosódia da língua. Considera-se que a descrição e análise de tais processos, presentes na escrita inicial adulta, podem fomentar reflexões capazes de auxiliar alfabetizadores em suas ações pedagógicas no que se refere ao ensino da língua portuguesa durante o processo de aquisição da língua escrita por adultos