Os antagonismos da integração sul-americana na ordem jurídica brasileira

The economic regional integration is a phenomenon observed in numerous occasions inside the global economic reality. Watchful to that phenomenon, the 1988 s Brazilian constitutional order establish in its 4th article, single paragraph, the commitment to seek for the Latin- American integration, as a Fundamental Principle to the Brazilian Federative Republic. Regarding the mentioned constitutional disposition s realization, the Brazilian State celebrated, specially, the 1980 s Montevideo Treaty, creating the Latin-American Integration Association, and the 1991 s Asuncion Treaty, performing the duty to establish a common market, in sub regional level, with Argentina, Paraguay and Uruguay, called Mercado Comum do Sul. However, due to an addiction to a wrong comprehension of State s Sovereignty Principle, the Constitution imposes to the international rules an incorporation process, without providing any privilege to those ones regarding the integration constitutional disposition s realization, whether original or derived. The Brazilian s Supreme Court, as matter of fact, affirmed that it is not possible, facing the actual constitutional order, to grant any character of preference. Also in the controversies solution mechanism, responsible for the law s execution in case of its noncompliance, where found malfunctions, most notably the system s open character and its excessive procedural flexibility, in addiction to restricting the access of individuals. It follows from these findings, then, the lack of legal certainty provided by the Mercosul s legal system, considering its effects both international and within the Brazilian state. Among the possible solutions to reduce or eliminate the problem are using the practice of the so-called executive agreements in the Mercosul s original rules incorporation to the Brazilian state, the creation of a Mercosul s court of law and/or a constitutional reform

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos