A tutela constitucional da exploração de petróleo em águas internacionais em face do princípio do desenvolvimento sustentável: a possibilidade de responsabilização civil do dano futuro

The demands brought by a society doomed to the constant production of global risks, which whose effects are not immediately noticed effects are not perceived immediately, claim from the Law a new Theory about the Risk, that would offer a broad environmental protection, at the same time it would still be compatible with the idea of economic efficiency, required by the Modern Industry. The expansion of the methods and technologies regarding the exploitation and production of oil causes the constant expansion of the exploitable boundaries, especially in ultra-deep waters with the Pre-salt layer, in Brazil, or the still incipient research about the polymetallic nodules and other mineral sources in international waters, like the Atlântico Sudoeste, by the Programme on Ocean Science in Relation do Non Living Resources (OSNLR), a global study performed in partnership with the Intergovernmental Oceanographic Commission, from UNESCO (IOC UNESCO) and also with the Division of Ocean Affairs and Law of the Sea (UNDOALOS). Thus, we aim to analyze the correlation, and possible collisions between the right to a balanced environment and the free exercise of economic activity and the occurrence of environmental damages from the perspective of the exploitation activities of oil and other natural resources in international waters, specifically in the Area, from the constitutional principle of sustainable development and its legitimacy by the environmental international protection. Therefore, this study also aims to evaluate the legal framework for exploration and production of oil in international waters, particularly in the Area, and appraise how the constitutional instruments and mechanisms for environmental protection can impact on the international environmental protection system in order to ensure the present and future generations an ecologically balanced environment, laid down in Article 225 of the Brazilian Constitution, even with so many risks posed by the activities of exploitation and production of oil in international waters. In the meantime, we intend to also intend to investigate the possibility of future liability for environmental damage in order to ensure that constitutional principle and, consequently, and try to define the concept of environmental damage and its implications on the constitutional principle of environmental protection. Given all that was in summary, this work aims to contribute to the evolution of the new Theory of Environmental Risk, turning the law into something more than a punitive or corrective element in this society, but into a legal risk management, that may be triggered even before the consolidation of the damage

Apelação no código de processo civil: uma análise sob o prisma do princípio da efetividade

The present dissertation, elaborated is based on the deductive method, through the use of the General Theory of Resources concepts, by the main types of judgments existing in the Code of Civil Procedure, the interlocutory judgment and sentence, as well as the features and effects that challenge these decisions, we sought to identify on this theme one of the greatest evils facing the justice system in the world, which is the processing delays. This slowness in adjudication affects seriously the principle of effectiveness, one of the postulates of procedural law and society as a whole. Thus, the use of tort serves to fight the interlocutory decision and appeal which challenges the judge`s ruling. It is a resource for excellence in appellate system as it meets with the most awaited decision of the process. In weighing the importance of the appeal that seeks to oppose the court decision today by the numerous reforms that the procedural system has been through, it has ended up to transform the process ineffective or inconsistent, for it is much easier to have efficacy in a interlocutory decision for preliminary injunction than by judgment on the merits of the judge. This is due to the prevision of the resources and their effect to those decisions. That is, the interlocutory decision involves interlocutory appeal only in the devolved effect, allowing its provisional execution, and the sentence has as recourse to appeal the double effect, remanding and suspension, which necessarily prevents its provisional execution. But it undeniably shows a paradox, because as to give effect to a measure that is based on a mere probability by a summary cognition, partial and superficial, and stop it on a decision by a court that is closer to the truth and sure, for a full and depleting cognition? It is seriously affect the principle of effectiveness. Therefore, starting from this ineffectiveness, sought to defend the solution of this problem with the approval of the bill n. º 3.605/2004 or the new Code of Civil Procedure project that modifies the general rule the effects of appeal. That is, remanding and suspensive, as to merely remanding effect to and thereby enable the provisional execution of the judgment of the court of the first degree of jurisdiction, giving effectiveness and enhancing the decision of the magistrate, making a fair distribution of time in the process and better guaranteed principle of access to justice

Nacionalização do trabalho e constituição: análise das regras de nacionalização do trabalho à luz do princípio da isonomia

There is a clear relationship between citizenship and labor market. While foreign nationals are equal in dignity and rights in the laws governing the employment of this labor force. Motivated by reasons of state security or political direction, such laws to a greater or lesser degree, create establish a system of worker protection in the face of the foreign national. These rules have a direct impact on economic regulation, as they can affect the supply of skilled labor or not, articulating with the economic order envisaged by the 1988 Constitution. The Constitution adopts several principles in its economic order, so that the issues involving the rules of the nationalization of all work must be considered in a systematic way, one can not choose a pleasure interpreter. The nationalization of the work rules are not unique to Brazil, similar rules exist in several countries of South America and Africa. In Europe they already existed, but lost out on the basis of treaties setting up the European Union, although other mechanisms are used for the purpose of protecting the citizens of the member states, making policies equal treatment legislation symbolic. The nationalization of the work rules governing the relationship between nationality and the labor market and are in a legal category, which has a function to fulfill in the Brazilian legal system. Not all rules nationalization violate the principle of equality, as it is possible, depending on the circumstance indeed adopt a criterion that implies differentiation between nationals and foreigners. The Constitution has a will arising from its normative force, so that the assumptions it (constitution) used to discriminate may also be possible by ordinary legislation, since the situation is actually justifiably constitutional

O sistema de certificação do etanol brasileiro sob a ótica do princípio constitucional do desenvolvimento sustentável

The gradual inclusion of biofuels is a necessary change that countries must include in their energy mixes. Energy sources still widely used in the world, such as oil and coal, are endowed with a high pollution load to the environment, bringing damages to the water, to the air and to humans as well. In addition, although there are conflicting studies, they are also identified as major causes of the greenhouse effect and the global warming phenomenon. They are, moreover, finite sources of energy, given that its reserves will surely run out. However, even if the introduction of biofuels, such as ethanol, in the energy mix is crucial for the survival of the present and future populations, this insertion cannot settle so disorderly and, thus, one must ensure the quality of these resources and promote transparency in international trade. In this manner, a certification process for ethanol is essential to attest that this biofuel meets the sustainable requirements defined for its production. Hence, this study sought to address the importance of the adoption of certification in the ethanol industry, according to the principle of sustainable development, by analyzing the evolution of its concept, its combination with the fundamental objectives sculptured in the Constitution of 1988, its regulation under Brazilian laws and the need for a balance between economic activities and the mentioned principle. The work also encompassed the criteria used to establish certification standards and their participating actors, combined with a study of ongoing initiatives. Finally, the consequences of the adoption of a certification process for ethanol in Brazil were presented, both in terms of sustainable development and in international trade

A construção do princípio do cooperação na Pedagogia Freinet:uma prática em sala de aula do ensino fundamental

Cette recherche est ancrée dans les racines de la pédagogie de Célestin Freinet, un des plus importants éducateurs du XXème siècle, car ses propositions naissaient de la réalité de l élève lequel était, de ce fait, valorisé. Au début de ses recherches, Freinet s est rendu compte que pour pouvoir édifier une école qui, effectivement, atteigne les classes populaires, il devrait réaliser des changements dans le milieu scolaire. Notre travail le principe de coopération dans les actions développées par le professeur et ses élèves dans le quotidien de la salle de classe. Les décisions pour la réalisation de ce travail ont exigé, de notre part, une profonde et globale réflexion vis à vis des pas qui devraient être entamés, considérant que notre intention n était pas de faire une simple intervention dans le système scolaire avec une programmation pré-établie, sans instruments crées à priori pour le développement d actions dans le contexte scolaire. Comme questions principales nous pouvons souligner: Comment la coopération contribue pour le vécu des élèves? De quelle manière ce principe se réalise dans le quotidien de la salle de classe? Le principe coopératif, pourrait-il agir comme une alternative qui favorise la dynamique de la salle de classe et des relations entre les élèves? Le principe de la coopération exige la création d une ambiance en salle de classe dans laquelle il existe des éléments médiateurs dans la relation professeur-élève. Ainsi, l organisation de la salle a un caractère important; il faut considérer la participation des élèves dans la construction de ses connaissances. Pour cela, il est nécéssaire créer des structures qui doivent être complétées à partir de l activité des propres élèves. Dans la ligne de cette pensée nous avons, donc, comme objectifs spécifiques: 1) Investiguer, dans l action pédagogique du professeur, l utilisation de stratégies pour la consolidation du principe coopératif pour la salle de classe; 2) Faire une réflexion à propos de l organisation du travail coopératif développé par le professeur en observant comment celui-ci est réalisé en salle de classe; 3) Établir un répertoire des vécus de coopération construits en salle de classe par les élèves et le professeur. Ainsi, pour développer une interaction avec les sujets de la recherche [professeurs et élèves] des études ont été développés ancrés sur les principes de la recherche qualitative de type ethnographique pour considérer ce dernier un référentiel méthodologique plus indiqué à l utilisation des téchniques d observation, interviews et analyse de documents, car ces téchniques sont, traditionnellement, associées à l ethnographie. Cette recherche a pour but comprendre la vision de ce qui arrive quotidiennement dans la salle de classe observée et les multiples relations imbriquées dans le processus de motivation de l apprentissage utilisant la coopération

Algoritmos inteligentes para auto-correção, auto-verificação e auto-validação de medidas em sensores

This work presents a set of intelligent algorithms with the purpose of correcting calibration errors in sensors and reducting the periodicity of their calibrations. Such algorithms were designed using Artificial Neural Networks due to its great capacity of learning, adaptation and function approximation. Two approaches willbe shown, the firstone uses Multilayer Perceptron Networks to approximate the many shapes of the calibration curve of a sensor which discalibrates in different time points. This approach requires the knowledge of the sensor s functioning time, but this information is not always available. To overcome this need, another approach using Recurrent Neural Networks was proposed. The Recurrent Neural Networks have a great capacity of learning the dynamics of a system to which it was trained, so they can learn the dynamics of a sensor s discalibration. Knowingthe sensor s functioning time or its discalibration dynamics, it is possible to determine how much a sensor is discalibrated and correct its measured value, providing then, a more exact measurement. The algorithms proposed in this work can be implemented in a Foundation Fieldbus industrial network environment, which has a good capacity of device programming through its function blocks, making it possible to have them applied to the measurement process

Metodologia de Verificação Funcional para Circuitos Analógicos

This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed

O trabalho como princípio educativo: algumas reflexões

Após algumas reflexões sobre o conceito de trabalho e formação, este artigo aborda algumas orientações, ou princípios, que podem contribuir para a organização de programas de formação de adultos. Ao trabalhar em programas de formação dessa natureza, devemos ter em mente que trabalhamos com indivíduos que já possuem conhecimentos elaborados, experiências práticas e vivências que devem ser consideradas como ponto de partida. Assim, devemos considerar que a aprendizagem acontece ao longo da vida, e que um curso é apenas parte do percurso de aprendizagem. Outro aspecto importante é que programas de formação para adultos, especialmente aqueles desenvolvidos em situação de trabalho, devem ter sentido para aqueles que irão participar. Os participantes devem, portanto, aderir voluntariamente à proposta; caso contrário, ela poderá ser entendida apenas como algo imposto, e não como um ganho profissional efetivo. Nas situações de formação em situações de trabalho, é também fundamental que os programas sejam elaborados a partir de um apurado conhecimento da realidade daqueles que irão participar. Avaliar e preservar a memória do que foi realizado evita que ocorram eternos recomeços. Por fim, é fundamental que os programas de formação contem também com um programa de apoio aos participantes, de tal forma que eles se sintam mais seguros no trilhar os caminhos das mudanças, quando retornarem aos seus respectivos espaços de trabalho.

Uma abordagem histórica para o ensino do princípio da inércia

Placed in the field of Didactic of Science, this paper proposes an approach to the introduction of the History of Science in science education, at high school level. It was designed and implemented a series of activities regarding the history of the Principle of Inertia. The aim of this approach was to give more meaning to scientific education, while opening new avenues for a better understanding of the processes of construction of scientific knowledge. The preparation of the activities involved a study of the historical development of the concept of motion, from the Aristotelian physics through physical movement concepts at medieval period, from Galileo, Gassendi, Descartes, until the first law of Newton. The strategy of teaching was applied to three classes of high school (night period) of a state public school at the city of Natal (RN). The results indicated the difficulty of overcoming alternative conceptions about movement by students. Nevertheless, we consider that the implementation of this strategy of teaching both represented gains for the learning of students, and contributed to the resizing of pedagogical practices of the teacher-researcher

Nexus: da relacionalidade do princípio à metafísica do inominável em Nicolau de Cusa

We indicate the idea of nexus or conexio, thought of as intelligible connection with the intelligent, the foundation on which the reason why you can understand and name, even if inadequately, what the intellect sees incomprehensible and unnameably. Thus, it opens a way for our research: we will take the idea of nexus as fundamental to the interpretation of the divine names and the "metaphysics of the unnameably" and we show how the divine names, mainly in possest, mirrored in the Trinity, relatedness of the principle and therefore also the nexus. For that you need to think some preliminary questions: we will place Nicholas of Cusa in the tradition of medieval Christian Neoplatonism, we resume some discussions on the problem of naming and the philosophy of language in his thinking, we will reflect such thinking is molded from active dialogue with the tradition and how it is your speculation is founded upon the dynamic and dialectical relationship between philosophy and theology to be thought of in our text using the relationship between faith and understandig (intellectus). After introductory clarify these issues we will come to consider introductory understanding of the Trinitarian Beginning and speculation about the nexus taking as its starting point from where the De venatione sapientiae nexus or conexio is designed as a hunting field of wisdom and the First Book of De docta ignorantia where the maximum is now thought of as one and triune. From the Second Book of the same work and the Idiota. De mente we will show in what sense the universe and men, as imago dei, imitate the eternal Trinity. Finally, we will resume the notion of the scientia aenigmatica of De beryllo and some information that will clarify that Nicholas assumes the divine names as enigmas. Finally, we will try to show that the enigmatic or symbolic names also mirror the triune Beginning principle. So, before we return some traces of this aspect in some divine names and texts of the "late period" and then conclude with that which in itself already indicates the nexus and therefore the trinity: possest

O princípio metafísico da poética de Aristóteles

Aristotle's definition of tragedy indicates a metaphysical project insinuated by a notion of kátharsis. The reconstruction of Aristotle's method of definition is inspired in the concepts of enérgeia and dýnamis taken from Physics, understanding cause as substance. The Doctrine of the Four Causes is the theoretical basis of the definition of tragedy, placing tragedy in the genre of imitation and distinguishing its species: language (material cause), noble and complete action (formal cause), actors (efficient cause) and kátharsis (temporarily identified with the final cause). Nevertheless, there is no final cause in the definition of tragedy. The kátharsis of passions is experienced by the spectator when he witnesses tragedy, which is the imitation of a noble action, executed by actors and not narrated. Aristotle justifies hid proposition in favor of mimesis by assuming that imitation is natural to man since infancy and the view of objects allows whoever contemplates them to identify and learn the originals. As a metaphysical principle, kátharsis is projected to beyond definition of tragedy, where it is manifested cathartically, in the spectator. Research about the spectator brings one back to the definition of tragedy, where the imitation is an imperfect copy which evokes in the spectator the presence of the originals of the imitated sentiments, thus realizing the kátharsis of these emotions. In this way kátharsis reveals itself as selfknowledge and approach of divine truth and perfections.

Princípio da Indução Matemática no Ensino Médio

We developed this dissertation aiming its in the process of teaching and learning of the Principle of Mathematical Induction and we set our efforts so that the students of the first year of the high school can assimilate the content having the knowledge seen in the basic education as foreknowledge. With this, we seek to awake in the student the interest on proofs, showing how much it s needed in examples that involve contents that he is already seen

O princípio da precaução e a saúde no trabalho

O princípio da precaução (PP) é uma diretriz em saúde que vem ganhando relevo nos últimos 20 anos. Seu propósito é orientar medidas nas situações em que o conhecimento científico está ainda incompleto, denotando a incerteza. As condições de economia de mercado estimulam o uso de produtos e processos inovadores, dependentes do desenvolvimento científico e das novas descobertas em curso. Suas implicações para a saúde nem sempre estão inteiramente avaliadas, expondo a população trabalhadora às incertezas. O exame da literatura mostra que o uso do PP, embora sob consenso dos órgãos reguladores em diferentes países, ainda é objeto de intenso debate na comunidade científica. em coerência com os propósitos básicos, a proteção do meio ambiente conta com milhares de citações do seu emprego, em contraste com as poucas recomendações de uso para as exposições ocupacionais. Entre estas, o PP vem sendo entendido como pouco adequado ao âmbito dos especialistas e mais indicado à proteção de populações vulneráveis. Investigações históricas mostram que a noção de precaução foi quase sempre usada em sentido inverso, fazendo-se uso da dúvida para conter as possíveis melhorias de proteção no trabalho. Conclui-se que o uso do PP depende do pressuposto da incerteza científica, caracterizada pela noção de risco, em detrimento do determinismo da causa, condição ainda não superada nas relações de trabalho.

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification