Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-09-26T10:04:28Z No. of bitstreams: 1 Ricardo Vieira de Souza.pdf: 1123440 bytes, checksum: e5ceefcb485691ee0e19257f666d7604 (MD5) / Made available in DSpace on 2018-09-26T10:04:28Z (GMT). No. of bitstreams: 1 Ricardo Vieira de Souza.pdf: 1123440 bytes, checksum: e5ceefcb485691ee0e19257f666d7604 (MD5) Previous issue date: 2018-08-24 / This work is based on the concern about the practice of illicit at the transnational level facilitated by the incessant and always renewed improvement of communication through the world wide web. If on the one hand, the internet, an indisputable product of this network, has favored the connection between people from different parts of the world, on the other hand, has brought cyber-crime to the forefront, which at the same time challenges the establishment of a criminal guardianship for cyberspace in impunity. This is due to the phenomenon of globalization, which has shortened distances in the face of technological and social advances, and the consequences of criminal law. The present research sought to justify how it is possible before the classical concepts of sovereignty that a state effectively combats transnational cyber crime. For that, points were developed as to how the classic concept of sovereignty is found; the characteristics of cyberspace; and the concepts of jurisdiction and criminal jurisdiction. Thus, a dogmatic criminal and procedural criminal analysis will be carried out if it is possible to establish a transnational criminal jurisdiction as a way of regulating cyberspace / Este trabalho parte da preocupação com a prática de ilícitos em nível transnacional facilitada pelo aprimoramento incessante e sempre renovado da comunicação através da rede mundial de computadores. Se de um lado, a internet, produto indiscutível dessa rede, favoreceu a conexão entre as pessoas de diversas partes do mundo, de outro, trouxe à baila a criminalidade cibernética, que contemporaneamente desafia o estabelecimento de uma tutela penal para o ciberespaço no que tange a impunidade. Isso decorre do fenômeno da globalização, a qual encurtou distâncias em face dos avanços tecnológicos e sociais, e as consequências causadas ao direito penal. A presente pesquisa buscou fundamentar como é possível ante os conceitos clássicos de soberania, que um Estado combata a criminalidade cibernética transnacional de maneira efetiva. Para tanto, foram desenvolvidos pontos de como encontra-se o conceito clássico de soberania; as características do ciberespaço; e os conceitos de jurisdição e competência penal. Torna-se assim efetuar uma análise dogmática penal e processual penal se é possível se instituir uma jurisdição penal transnacional como forma de regular o ciberespaço

Made available in DSpace on 2016-04-29T14:16:35Z (GMT). No. of bitstreams: 1 Creusa Teles dos Santos.pdf: 1510622 bytes, checksum: 256322a3974919ca9a41282a49e0a3a4 (MD5) Previous issue date: 2014-10-07 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This research is the result of reflections and experiences about the work developed in caring for children, adolescents and families experiencing domestic violence. The focus of this research is the analysis of the limits and possibilities in labor of the social worker when dealing with sexual abuse of children assisted by the Social Protection of the Child and Adolescent Victims of Violence. The purpose is to analyze the sexual abuse as a demand for Social Work, with focus on the limits and possibilities of a professional practice. We started the research in order to analyze how to express this demand from its complexity in the family environment and the determinations featured in the situation of sexual abuse. Sexual abuse is a violation of human rights. Abusing the body and sexuality of a child by force, by the power, coercion and subjection of the will of anyone by psychological pressure, intimidation and seduction is a crime. The intra-family sexual abuse is a multi faceted phenomenon, whose dynamics are articulated in social, economic, political, psychological, cultural aspects that cannot be treated in isolation nor complementary. The process requires professional intervention to recognize the complexity of demand from the perspective of totality and the contradictory surround on which professional actions develop. Theoretical research on the sexual abuse is focused on the understanding of various authors on the subject and its implications in the context of domestic violence and its impact on children's lives. This is a qualitative and quantitative research based on the analysis of a practice developed in two cases, the data about the demand collected on the medical records of child victims of sexual abuse on caring service by SPS, and the quantitative data from secondary sources gathered from research conducted by public agencies. As a result, we point out the limits and possibilities constituent of established practice in ensuring the rights of children, understanding that the only way to do Justice is fighting for it fairly, by accessing the dimension of citizenship / Esta pesquisa é fruto das reflexões e experiências do trabalho desenvolvido no atendimento às crianças, adolescentes e famílias em situação de violência doméstica. O foco desta pesquisa é a análise dos limites e possibilidades do trabalho do assistente social no enfrentamento do abuso sexual com crianças a partir da demanda atendida pelo Serviço de Proteção Social à Criança e Adolescente Vítima de Violência. O objetivo é analisar o abuso sexual como uma demanda para o Serviço Social, com foco nos limites e possibilidades de uma prática profissional. Iniciamos a pesquisa com o propósito de analisar como se expressa essa demanda a partir da sua complexidade no espaço da família e as determinações presentes na situação de abuso sexual. O abuso sexual é considerado uma violação de direitos humanos e sexuais. Abusar do corpo e da sexualidade de uma criança pela força, pelo poder, pela coerção e sujeição da vontade do outro por pressão psicológica, intimidação e sedução é um crime. O abuso sexual intrafamiliar é um fenômeno multi facetado, em cuja dinâmica estão articulados aspectos sociais, econômicos, políticos, psicológicos, culturais que não podem ser tratados de forma isolada e nem complementar. O processo de intervenção profissional pressupõe reconhecer a complexidade da demanda numa perspectiva de totalidade e o terreno contraditório sobre o qual as ações profissionais se desenvolvem. A pesquisa teórica acerca do abuso sexual incidiu no entendimento de diversos autores sobre o tema e as suas implicações no contexto da violência intrafamiliar, bem como o seu impacto na vida das crianças. Trata-se de uma pesquisa qualiquantitativa a partir da análise de uma prática desenvolvida em dois casos, dos dados sobre a demanda colhida nos prontuários das crianças vítimas de abuso sexual em atendimento pelo SPS, e dos dados quantitativos em fontes secundárias recolhidos de pesquisas realizadas por órgãos públicos. Como resultado, apontamos os limites e possibilidades constitutivos da prática desenvolvida na garantia dos direitos das crianças, entendendo que a única forma de fazer justiça é lutar por ela de forma justa, acessando a dimensão da cidadania

Made available in DSpace on 2016-04-26T20:22:36Z (GMT). No. of bitstreams: 1 RAFAEL MARINANGELO.pdf: 1199272 bytes, checksum: 57f71c1b679a08981a9c080f1543c9a3 (MD5) Previous issue date: 2005-11-18 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A complexidade das relações sociais notadamente após o advento da grande segunda guerra, influenciou decisivamente, a legislação doutrina e jurisprudência dos países europeus consagrando uma nova visão do fenômeno obrigacional atribuindo-lhe critérios valorativos e éticos Nesse contexto o princípio da boa-fé assume papel de extrema relevância encontrando justificação no interesse coletivo das ações pessoais pautadas na correção e retidão, garantindo a promoção dos valores constitucionais do solidarismo e da justiça social reprimindo as condutas que se desviem dos parâmetros de honestidade e lisura Para o alcance de cada um desses objetivos a boa-fé exerce papel específico no campo obrigacional ora funcionando como cânone hermenêutico-integrativo ora como norma de criação de deveres jurídicos ora como norma de limitação ao exercício de direitos subjetivos No presente trabalho abordaremos cada um desses papéis desempenhados pela boa-fé objetiva com especial atenção à criação de deveres jurídicos e seus efeitos dentro da relação obrigacional identificada pela doutrina alemã como um tertium genus à figura dicotômica da mora e do inadimplemento absoluto denominada de violação positiva do contrato Procederemos a análise do inadimplemento no direito brasileiro e da violação positiva do contrato cotejando-os sempre que possível de modo a desenvolvermos análise crítica sobre o assunto Por derradeiro trataremos de avaliar se há necessidade, no ordenamento jurídico nacional da inserção dessa nova ferramenta dogmática, dentro do campo dicotômico do inadimplemento tecendo enfim nossas conclusões

Este trabalho tem o objetivo de utilizar métodos de otimização não linear a fim de desenvolver uma metodologia eficiente para alocação de bancos de capacitores visando a eliminar violações de tensão em redes de distribuição. A aplicação de capacitores em paralelo a sistemas elétricos de potência é comumente empregada com o intuito de se obter melhor controle do fluxo de potência, gerenciamento do perfil de tensão, correção do fator de potência e minimização de perdas. Tendo em vista estes benefícios, a metodologia deste trabalho se dará por meio da resolução de um problema de programação não linear associada com a aproximação linear da relação potência reativa versus tensão para determinar o número, a localização e o dimensionamento dos bancos capacitores ao longo das linhas de distribuição. Desta forma, pretende-se minimizar a injeção de reativos e reduzir as perdas ativas totais de modo que todas as restrições de operação e de carga sejam atendidas. Os resultados são avaliados pelo programa GAMS (General Algebraic Modeling System), pelo MATLAB TM (Matrix Laboratory) e por um programa elaborado em Fortran, sendo possível analisar e descrever as contribuições alcançadas pelo presente trabalho, considerando que este é um tema de grande relevância para a operação e planejamento da expansão dos sistemas elétricos de potência. / This work aims to use nonlinear optimization methods to develop an efficient methodology for capacitor banks allocation to eliminate voltage violations in distribution networks. The application of capacitors in parallel to the electric power systems are commonly employed in order to have better control of power flow, voltage profile management, power factor correction and loss minimization. To achieve these benefits, the methodology of this work will be done through the resolution of a nonlinear programming problem associated with the linear approach of Voltage Variations versus Reactive Power Variation, calculating the number, location and optimal design of capacitor banks along distribution lines. Thus, it looks forward to minimize reactive power injection and reduce losses subject to meeting the operating and the loading constraints. The results are evaluated by the program GAMS TM (General Algebraic Modeling System), by Matlab TM (Matrix Laboratory) and by a program written in FORTRAN TM, being able to analyze and describe the contributions achieved by this work, considering it is a topic of great relevance to the operation and expansion planning of electric power systems.

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-06-06T20:31:13Z No. of bitstreams: 1 CarlosSantos.pdf: 658387 bytes, checksum: 1df4b4e3039b37f11e39d47fde182d45 (MD5) / Made available in DSpace on 2017-06-06T20:31:13Z (GMT). No. of bitstreams: 1 CarlosSantos.pdf: 658387 bytes, checksum: 1df4b4e3039b37f11e39d47fde182d45 (MD5) Previous issue date: 2008-08-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa e ao Desenvolvimento Científico e Tecnológico do Maranhão (FAPEMA) / In this work, we investigate some significant aspects of the Maxwell-Carroll-Field- Jackiw-Proca (MCFJP) electrodynamics. This electrodynamics is built through the im- plementation of the Carroll-Field-Jackiw(CFJ) term on the Proca Lagrangian. The CFJ term is the CPT odd term of the gauge sector of the Standard Model Extension. First, we verify under which circumstances this model yields a consistent Quantum Field The- ory (QFT) capable of describing the interactions mediated by photons. In this sense, the propagator ‹Aα(k)Av (k)› is carried out, with the dispersion relations and associated propagation modes being determined. Then, we verify which of these modes are stable, causal and unitary. Only when the theory is causal, stable and unitary, we can say that it can be consistently quantized. It follows that the MCFJP electrodynamics is consistent only for a purely space-like background field, Vα = (0; v). A posteriori, we investigate the classical solutions (static and stationary) of MCFJP electrodynamics. The starting point is the wave equation for the gauge field A (r), which through the use of Green Method, yields explicit expressions for A (k). For a purely time-like background field, Vα= (v0; 0), an exponentially decreasing solution for the electric sector is obtained, equal to the Maxwell-Proca solution. Therefore, the background does not promote any change in electric sectors of the MCFJP and MCFJ electrodynamics. On the other hand, the magnetic sector is changed: for stationary currents, it displays an oscillating behavior [in Maxwell-Proca (MP) electrodynamics, these solutions have an exponentially decreasing behavior]. In the limitMA!0, we obtain the stationary field B(r) ofMCFJ electrodynam- ics (oscillating behavior), which is compatible with the emission of Cerenkov radiation. For a purely space-like background, V = (0; v), we obtain stationary solutions at second order in v, assuming v2 M2 A ; and v jj r. It appears that both magnetic and electric sectors display exponentially decreasing solutions, which recover those ones of the MP electrodynamics in the limit v → 0. / Neste trabalho, objetiva-se investigar significativos aspectos da eletrodinâmica de Maxwell-Carroll-Field-Jackiw-Proca (MCFJP). Esta eletrodinâmica é construída via a implementação de campos de fundo (backgrounds), responsáveis pela violação da invariância de Lorentz, no setor de gauge puro do Modelo Padrão usual. Primeiramente, averigua-se sob quais circunstâncias é possível a definição de uma Teoria Quântica de Campo (TQC) consistente, ou seja, capaz de descrever as interações mediadas por fótons. Neste ínterim, calcula-se o propagador ‹Aα(k)Av (k)›, relações de dispersão e modos de propagação associados. Em seguida, identifica-se quais destes modos são estáveis, cau- sais e unitários. Apenas quando a teoria é causal, estável e unitária, pode-se dizer que a mesma pode ser consistentemente quantizada. Conclui-se que a eletrodinâmica deMCFJP é consistente apenas apenas para o caso de um background tipo-espaço, Vα = (0; v). Na sequência, investiga-se as soluções clássicas (estáticas e estacionárias) para a eletrodinâmica de MCFJP. Calcula-se a equação de onda para o setor Av(r) e, via a implementação do Método de Green, expressões explícitas para Av(k). Para um background tipo-tempo, Vα= (v0; 0), resulta um setor elétrico exponencialmente decrescente. No limite MA!0, conclui-se que o background não promove alteração nos setores elétricos das eletrodinâmicas de MCFJP e MCFJ. Já o setor magnético é alterado: quando gerado por cargas em movimento estacionário, este exibe um comportamento oscilante [na eletrodinâmica de Maxwell-Proca (MP), as soluções são exponencialmente decrescentes]. No limite MA→0, obtém-se o campo B(r) estacionário de MCFJ (comportamento oscilante), o qual é compatível com a emissão de radiação Cerenkov. Para um background tipo-espaço, Vα = (0; v), obtém-se soluções estacionárias em segunda ordem em v, e supondo v / r, v2≪ M2 A. Verifia-se que ambos os setores elétrico e magnético exibem soluções exponencialmente decrescentes, as quais, no limite v → 0, reproduzem aquelas da eletrodinâmica de MP.

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-08-23T18:04:55Z No. of bitstreams: 1 EduardoCarvalho.pdf: 588274 bytes, checksum: c6f59c7f025b5de8d00feac1696b6979 (MD5) / Made available in DSpace on 2017-08-23T18:04:55Z (GMT). No. of bitstreams: 1 EduardoCarvalho.pdf: 588274 bytes, checksum: c6f59c7f025b5de8d00feac1696b6979 (MD5) Previous issue date: 2011-07-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / The CPT-even abelian gauge sector of the Standard Model Extension is represented by the Maxwell term supplemented by KF )µνρσ FµνFρσ, where the Lorentz-violating background tensor, (KF )µνρσ, possesses the symmetries of the Riemann tensorand a double null trace. In the present work, it is examined the planar version of this theory, obtained by means of a dimensional reduction procedure to (1 + 2) dimensions. The resulting planar electrodynamics is composed of a gauge sector containing six Lorentz-violating coe¢ cients, a scalar …eld endowed with a noncanonical kinetic term, and a coupling term that links the scalar and gauge sectors. The parity of the components of the Lorentz violating tensors is analyzed, following the de…nition of the parity operator in (1 +2) dimensions. The equations of motion of the theory are also found, where the electromagnetic …eld appears coupled to scalar …eld. This coupling however appears only as a second order e¤ect on the violation coe¢ cients and thus it is neglected. The energy-momentum tensor of the theory is calculated, revealing contributions of scalar, gauge and coupling sectors. From this tensor it is found a positive energy density de…ned for small violation parameters. The wave equations for the …elds E and B and the potential A0 and A are written and solved in the steady state by the method of Green. It is observed that the Lorentz-violating parameters do not alter the asymptotic behavior of the …elds but induce an angular dependence not observed in the Maxwell planar theory. It is also observed that electrical charges generate static magnetic …eld, as well as stationary currents generate electric …eld, a property already present in the original theory in (1 +3) dimensions. The dispersion relation also is determined, revealing that the six parameters related to the pure electromagnetic sector do not yield birefringence at …rst order. In this model, the birefringence may appear only as a second order efect associated with the coupling tensor linking the gauge and scalar sectors. / O setor de gauge abeliano CPT-Par do Modelo Padrão Estendido é representado pelo termo de Maxwell suplementado por (KF )µνρσ FµνFρσ, onde o tensor de campo de fundo violador de Lorentz, (KF )µνρσ, possui as simetrias do tensor de Riemann e um duplo traço nulo. No presente trabalho é examinada a versão planar dessa teoria, obtida por meio do procedimento de redução dimensional para (1+2) dimensões. A eletrodinâmica planar resultante é composta de um setor de gauge contendo seis coe…ficientes de violação de Lorentz, um campo escalar regido por um termo cinético não canônico, e um termo de acoplamento que interliga os dois setores. A paridades das componentes dos tensores violadores de Lorentz é analisada. Também são encontradas as equações de movimento da teoria, onde o campo eletromagnético aparece acoplado ao campo escalar. Este acoplamento, no entanto, aparece apenas como um efeito de segunda ordem nas equações de movimento e por isso é descartado. O tensor de energia-momento da teoria é calculado, apresentando contribuições tanto dos setores escalar e de gauge quanto do de acoplamento. A partir deste tensor é encontrada uma densidade de energia positiva de…nida apenas para pequenas parâmetros de violação. As equações de onda para, os campos E e B e potenciais A0 e A, são escritas e resolvidas no regime estacionário, via o método de Green. Observa-se que os parâmetros de violação de Lorentz não alteram o comportamento assimptótico dos campos, mas induzem uma dependência angular não observada na teoria planar de Maxwell. É também observado que cargas estáticas geram campo magnético, assim como correntes estacionárias geram campo elétrico, uma propriedade já presente na teoria original em (1+3) dimensões. A relação de dispersão também é determinada, revelando que os seis parâmetros relacionados ao setor eletromagnético puro não produzem birrefringência. Neste modelo, a birrefringência pode aparecer apenas como um efeito de segunda ordem associado ao tensor de acoplamento que liga os campos escalar e de gauge.

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-03-21T12:12:36Z No. of bitstreams: 1 Welder Queiroz dos Santos.pdf: 2287866 bytes, checksum: 17bcfa4634dab3b26f7f858da4153e15 (MD5) / Made available in DSpace on 2018-03-21T12:12:36Z (GMT). No. of bitstreams: 1 Welder Queiroz dos Santos.pdf: 2287866 bytes, checksum: 17bcfa4634dab3b26f7f858da4153e15 (MD5) Previous issue date: 2018-02-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This doctoral thesis has as its aim the study of the possibility of filing an action for the reversal of res judicata based on a brazilian precedent. The Brazilian Procedural Law Code (CPC) expressly provides the action for the reversal of res judicata based on a rule of law On the other hand, it created a list of binding precedents that are referred in this study as precedent, despite the numerous nicknames (or nomenclatures) verified in doctrine and jurisprudence. For this purpose, it analyses the function of the law to regulate as social relations and the principles of legal basis, equality and legal security. under its two perspectives: the subjective, decorrente da finalidade de garantir o estado ideal de previsibilidade de comportamento do Estado perante os atos dos cidadãos; e a objetiva, with the purpose of ensuring the stability of legal relations, protecting the perfect legal act, acquired right and res judicata. This paper analyses the concept, purpose, legal nature, object and hypothesis of the action for the reversal of res judicata. After, examine the meaning of the rule of law. At this time, examine the precedente as rule of law, the function of the precedente in common law and in civil law systems, the duty of standardization assigned to the Courts and to maintain the stability, consistency and integrity of case law and the duty to observe the precedents established by the Code of Civil Procedure. Finally, the thesis concluded for the possibility of filing an action for the reversal of res judicata based on a precedent and proposes solutions to complex questions regarding the moment of formation of the precedent, at the time of the final res judicata of the rescinded decision and action for the reversal of res judicata based on a precedent / Essa tese objetiva examinar o cabimento de ação rescisória em caso de violação a precedente. O Código de Processo Civil de 2015 prevê expressamente a rescindibilidade de decisões judiciais por violação manifesta à norma jurídica. Por outro lado, instituiu um rol de pronunciamentos judiciais vinculantes que, em que pese os inúmeros apelidos (ou nomenclaturas) constatados na doutrina e na jurisprudência, são denominados no presente trabalho de precedentes. Para essa análise, adota como premissa a função do direito de regular as relações sociais e os princípios da legalidade, da igualdade e da segurança jurídica sob as suas duas perspectivas: a subjetiva, decorrente da finalidade de garantir o estado ideal de previsibilidade de comportamento do Estado perante os atos dos cidadãos; e a objetiva, com a finalidade de assegurar a estabilidade das relações jurídicas, protegendo o ato jurídico perfeito, o direito adquirido e, em especial para o presente trabalho, a coisa julgada. Na sequência, o estudo volta-se à analise do conceito, da finalidade, da natureza jurídica, do objeto e das hipóteses de cabimento da ação rescisória, para, posteriormente, dedicar-se à rescindibilidade das decisões transitadas em julgado em caso de violação manifesta à norma jurídica, com o exame das características do pensamento jurídico contemporâneo e do significado de norma jurídica. Em seguida, investiga o precedente judicial como norma jurídica, a função dos precedentes judiciais nos sistemas jurídicos do common law e do civil law, o dever atribuído aos Tribunais de uniformizar e de manter a estabilidade, a coerência e a integridade da jurisprudência e o dever de observar os precendentes estabelecidos pelo Código de Processo Civil. Firmadas tais premissas, a tese conclui pelo cabimento de ação rescisória por violação a precedente e propõe soluções para questões complexas referentes ao momento de formação do precedente, ao momento de trânsito em julgado da decisão rescindenda e ao cabimento de ação rescisória

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) / Made available in DSpace on 2018-08-29T18:03:18Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) Previous issue date: 2007-02-23 / Todo programador ou engenheiro de software lida com um problema crônico na concepção de seus sistemas: violações das especificações ou requisitos de projeto. Essas violações necessitam de uma captura imediata, pois geralmente originam falhas que só podem ser descobertas tardiamente, a um custo de reparo bastante elevado. Nos últimos anos, pesquisadores da ciência da computação estão conseguindo um progressonotávelnodesenvolvimentodetécnicaseferramentasqueverificamautomaticamente requisitos e projeto. A abordagem em maior evidência chama-se verificação de modelos (model-checking). Verificação de modelos é uma técnica formal e algorítmica de se fazer verificação de propriedades de sistemas com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados produzidos. Porém, esta técnica sofre de um problema fundamental — a explosão do espaço de estados — que se deve ao crescimento exponencial na estrutura que representa o comportamento de sistemas e à falta de recursos computacionais disponíveis para lidar com grandes quantidades de informação sobre o comportamento dos sistemas sob verificação. Este trabalho concentra-se em verificação de modelos utilizando plataformas de distribuição como tentativa de aliviar o problema citado. Mais detalhadamente, investigamos o uso de grades computacionais que rodam aplicações bag-of-tasks e formulamos algoritmos específicos para o processo de verificação. Aplicações bag-of-tasks são aplicações paralelas cujas tarefas são independentes entre si. Elas são as aplicações mais apropriadas para grades computacionais por permitirem heterogeneidade dos recursos. Aplicamos ferramentas de grades computacionais como uma camada entre a ferramenta de verificação e os recursos distribuídos compartilhados existentes e comparamos os quesitos desempenho e escala nos sistemas a serem verificados em relação às versões centralizadas de verificadores. A plataforma empregada na distribuição é muito atrativa no quesito custo, controle e escala. Através do compartilhamento de uma simples máquina, o engenheiro de sistemas ganha acesso a uma comunidade provedora de uma grande quantidade de recursos heterogêneos e automaticamente gerenciados para se fazer computação paralela seguindo sua filosofia. Durante o trabalho, essas vantagens são comparadas com suas desvantagens, como o alto custo de comunicação e a dificuldade de particionar o processo, por exemplo. O trabalho envolveu a produção das seguintes ferramentas: uma API genérica para a geração distribuída de grafos que representam o comportamento de sistemas concorrentes sobre plataformas de grades computacionais bag-of-tasks, um protótipo de verificação CTL que age de duas maneiras distintas, sendo on-the-fly durante a geração do espaço de estados ou sobre esse espaço de estados distribuído representado explicitamente seguindo a mesma filosofia de comunicação e versões simplificadas de simuladores de sistemas concorrentes sob alguns formalismos baseados em redes de Petri. Resultados experimentais sobre a aplicação deste ferramental são apresentados. / Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce errors that can be discovered later, at a very expensive cost to repair. In recent years, researchers in computer science are obtaining a notable progress in the development of techniques and tools to automatically verify requirements and designs. The most evidently approach is called model-checking. Model checking is a formal and algorithmic technique to perform properties verification in a finite state space of systems. Its main advantages are the automation power and the quality of the produced results. However this technique suffers from one big and foundamental problem - the state space explosion which is the absense of computational resources available today’s to deal with large amounts of information about the behavior of the systems under verification. This work investigates a solution to verify models in a distributed way using computational grids which runs bag-of-tasks applications, alleviating the mentioned problem. Bagof-tasks applications are those parallel applications which tasks arei ndependent of each other and are the applications most suited for computational grids because they allow heterogeneity between resources. We employ computational grid tools as a layer between between the verificationtooland the distributed shared resources. This verification is performed by adapted CTL algorithms to the bag-of-tasks philosophy. So we intend to obtain improvements in speed-up and scalability in the systems to be checked when compared to centralized versions of verifiers produced in side the group. Moreover,the employed middleware in the distribution is very attractive in the cost and control aspects. By sharing a single machine, the system engineer obtains access to a community that provides large amounts of heterogeneous resources automatically managed to perform parallel computation. This work included the production of the following tools: a generic API to the distributed generation of graphs that describes the behavior of concurrent systems under bag-of-tasks computational grids platforms, a prototype to check for CTL properties using on-the-fly algorithms or iterating over the generated fragments of the distributed graph. We also implemented simplified versions of simulators of concurrent systems following some formalisms based on Petri nets. Experimental results are also presented.

In this master s thesis, we have studied the possibility of Lorentz invariance violation by considering some terms of the standard-model extesion (SME), specifically, those terms which refer to the quantum electrodynamics extension. We have performed quantum corrections in the fermionic sector of the usual quantum electrodynamics with added terms which violate the Lorentz and CPT symmetries in two different configurations. Firstly, adding operators governed by the coefficient gκλμ and, in a later time, adding operators governed by the coefficient bμ. In the theory with the coefficient gκλμ, we have performed quantum corrections in order to induce, in the bosonic sector of the theory, the conventional Chern-Simons and the higher-derivative terms, and analyze the behavior of both terms in the finite temperature regime, by using the method of derivative expansion and the Matsubara formalism. On the other hand, in the model with the coefficient bμ, we have performed quantum corrections in order to induce, in the bosonic sector, the higher-derivative Chern-Simons term, by using the method of derivative expansion and, subsequently, analyze the behavior of this term in the finite temperatura regime, where we have used the Matsubara formalism again. Thus, for the first case, we have observed that the conventional Chern-Simons term is nonzero only at finite temperature, whereas the higher-derivative term is finite at zero temperature, however, this term goes to zero when the temperature increases infinitely. In the second part of our study, we have shown that the higher-derivative Chern-Simons term is induced at zero temperature, nevertheless, this term goes to zero when the temperature increases too much. / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Nesta dissertação, estudamos a possibilidade de violação da invariância de Lorentz levando em conta alguns termos do modelo padrão estendido, mais especificamente, da parte deste modelo que trata da eletrodinâmica quântica estendida. Realizamos correções quânticas no setor fermiônico da eletrodinâmica quântica usual adicionada de termos que violam as simetrias de Lorentz e CPT em duas configurações diferentes. Primeiramente, adicionando operadores governados pelo coeficiente gκλμ e, em um momento posterior, adicionando operadores governados pelo coeficiente bμ. Para a teoria com o coeficiente gκλμ, realizamos correções quânticas com a intenção de induzir, no setor bosônico da teoria, os termos de Chern-Simons convencional e o de derivada superior, e analisar o comportamento de ambos os termos no regime de temperatura finita, fazendo o uso do método da expansão derivativa e do formalismo de Matsubara. Já para o modelo com o coeficiente bμ, realizamos correções quânticas a fim de induzir, no setor bosônico, o termo de Chern-Simons de derivada superior, usando o método da expansão derivativa e, posteriormente, analisar o comportamento deste termo no regime de temperatura finita, ao utilizarmos novamente o formalismo de Matsubara. Assim, para o primeiro caso, notamos que o termo de Chern-Simons convencional é diferente de zero apenas à temperatura finita, enquanto que, o termo de derivada superior é finito em temperatura zero, porém, tal termo vai a zero quando a temperatura cresce infinitamente. Na segunda parte do nosso estudo, mostramos que o termo de Chern-Simons de derivada superior é induzido no regime de temperatura zero, contudo, tal termo vai a zero quando a temperatura cresce muito.

The effective action of Euler Heisenberg describes the nonlinear dynamics of electromagnetic fields in vacuum. Such action takes into account the polarization in a vacuum for a bond, in addition to describing also the photon propagation through arbitrary electromagnetic fields that vary slowly. So, since its discovery, the effective action of Euler Heisenberg has been studied in various contexts, such as the scattering of light by light, pair production in a vacuum, Division of photons, birefringence in vacuum, effective action in gravity and string theory, among others. In this work we performed a study on the Lorentz transformations of observer and grains, showing that, in the presence of a field, the revolutions and changes of speed (boost) break the equivalence between these two transformations (Observer and particle). We studied also the violation of Lorentz invariance by consideration of some terms related to the extended standard model, with a focus on quantum electrodynamics extended. We carry out a Perturbative calculation in the cμν coefficient, a coefficient of this responsible for violation of Lorentz symmetry of particle, however impose rotational invariance. From the results of this calculation, we can retrieve the Perturbative result to the effect of the Division of photons in a vacuum, as well as the effective action of Euler Heisenberg with Lorentz violation, the linear coefficient c00. / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A ação efetiva de Euler-Heisenberg descreve a dinâmica não linear de campos eletromagnéticos no vácuo. Tal ação leva em conta a polarização no vácuo para um laço, além de descrever também a propagação de fótons através de campos eletromagnéticos arbitrários que variam lentamente. Então, desde a sua descoberta, a ação efetiva de Euler-Heisenberg tem sido estudada em vários contextos, tais como o espalhamento da luz pela luz, produção de pares no vácuo, divisão de fótons, birrefringência no vácuo, ação efetiva em gravidade e teoria de cordas, dentre outros. Neste trabalho realizamos inicialmente um estudo sobre as transformações de Lorentz de observador e de partícula, mostrando que, na presença de um campo de fundo, as rotações e mudanças de velocidade (boost) quebram a equivalência entre essas duas transformações (observador e partícula). Estudamos também a violação da invariância de Lorentz através da consideração de alguns termos referentes ao modelo padrão estendido, com foco na eletrodinâmica quântica estendida. Efetuamos um cálculo não perturbativo no coeficiente cμν , coeficiente este responsável pela violação da simetria de Lorentz de partícula, no entanto impomos invariância rotacional. A partir dos resultados desse cálculo, conseguimos recuperar o resultado perturbativo para o efeito da divisão de fótons no vácuo, assim como a ação efetiva de Euler-Heisenberg com violação de Lorentz, linear no coeficiente c00.