Política externa no período FHC: a busca de autonomia pela integração

Durante o governo FHC buscou-se substituir a agenda reativa da política externa brasileira, dominada pela lógica da autonomia pela distância, por uma nova agenda internacional proativa, determinada pela lógica da autonomia pela integração. Segundo essa agenda, o país deveria ampliar o poder de controle sobre o seu destino e resolver seus problemas com uma adesão ativa à elaboração das normas e das pautas de conduta da gestão da ordem mundial. No entanto, essa política de integração, adesão e participação não foi plenamente acompanhada de tomadas de posições que implicassem responsabilidades práticas, em virtude de debilidades estruturais. As responsabilidades teriam como função preparar tanto o governo como a sociedade civil para uma inserção internacional de perfil mais elevado no pós-Guerra Fria. Os ganhos ocorridos nos governos FHC não foram suficientes para alterar significativamente o peso brasileiro no contexto mundial.

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Practical considerations of embryo manipulation: Preimplantation genetic typing

In the past years, research in embryo technologies is moving to the establishment of preimplantation genetic typing or also denominated preimplantation genetic diagnosis (PGD). The objectives of these tests are the prevention of genetic diseases transmission and the prediction of phenotypic characteristics, as well as sex determination, genetic disorders and productive and reproductive profiles, prior to the embryo transfer or freezing, during early stages of development. This paper points out the state-of-the-art of PGD, mainly in cattle and discuss the perspectives of multiloci genetic analysis of embryos. (C) 2001 by Elsevier B.V.

Some practical advice on polynomial regression analysis from blocked response surface designs

It is often necessary to run response surface designs in blocks. In this paper the analysis of data from such experiments, using polynomial regression models, is discussed. The definition and estimation of pure error in blocked designs are considered. It is recommended that pure error is estimated by assuming additive block and treatment effects, as this is more consistent with designs without blocking. The recovery of inter-block information using REML analysis is discussed, although it is shown that it has very little impact if thc design is nearly orthogonally blocked. Finally prediction from blocked designs is considered and it is shown that prediction of many quantities of interest is much simpler than prediction of the response itself.

Simulation results and applications of an advection bounded scheme to practical flows

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Dialética da pratica e ação sem prática

O conceito de prática recobriria o de sistema de ação, não fosse a existência de sistemas de ação sem prática. Resta que uma prática é um sistema de ação. Como conseqüência, suposta a reciprocação de sistema com teoria e uma atenta inspeção nos termos da proposição, há equivalência semântica entre prática teóricae sistema de ação prático. Num e noutro caso, a contradição interna aos pares de conceitos se resolve dialeticamente. Graças à dialética, são fundidos numa unidade de sentido, síntese de tensões opostas. Daí a proposta de uma dialética da prática global, conjuntamente abstrata e histórica. Destotalizada ou à margem dessa dialética, pode ser destacada a ação sem prática, exemplificada no drama. Dramática é precisamente uma ação que não é prática. O tempo e o lugar da prática são a história e o mundo do homem; o tempo e o lugar do drama são a ficção cultural e a substância simbólica. Mimese da prática, o drama, reproduz, não os traços do modelo, mas a sua produção, tornando-se por sua vez modelo do modelo. Mimese não é cópia, é forma autônoma de eficiência, paradoxalmente sem prática mas especular.

Testemunho, juízo político e história

A partir de um comentário sobre as propriedades características do gênero testemunhal, descrevem-se as respectivas situações ideológicas que presidiram à recepção de depoimentos sobre os campos de concentração nazistas e comunistas quando da sua publicação no Ocidente. Ao sublinhar a dimensão moral do testemunho e mostrar que os saberes dele advindos baseiam-se em práticas de reconhecimento, aponta-se, complementarmente, para situações em que o historiador vê-se por ele interpelado. Situações em que sua arte depende unicamente do ouvido que prestar ao apelo testemunhal. Nesse momento o testemunho não é mais fonte, pode tornar-se algo como um ultimato. Permutadas, assim, as posições, não fica o historiador exposto ao testemunho, carregando a inteira responsabilidade de sua audiência? Não deve o cultor de Clio a certos endereçamentos, por lacunares e subjetivos que sejam?

Potentialities and practical limitations of absolute neutron dosimetry using thin films of uranium and thorium applied to the fission track dating

Neutron dosimetry using natural uranium and thorium thin films makes possible that mineral dating by the fission-track method can be accomplished, even when poor thermalized neutron facilities are employed. In this case, the contributions of the fissions of (235)U, (238)U and (232)Th induced by thermal, epithermal and fast neutrons to the population of tracks produced during irradiation are quantified through the combined use of natural uranium and thorium films.If the Th/U ratio of the sample is known, only one irradiation (where the sample and the films of uranium and thorium are present) is necessary to perform the dating. However, if that ratio is unknown, it can be determined through another irradiation where the mineral to be dated and both films are placed inside a cadmium box.Problems related with film manufacturing and calibration are discussed. Special attention is given to the utilization of thin films having very low uranium content. The problems faced suggest that it may be better to substitute these films by uranium doped standard glasses calibrated with thicker uranium films (thickness greater than 1.5 x 10(13) mu m).

Electric measurements with constant current: A practical method for characterizing dielectric films

This article assesses the use of the constant current (CC) method for characterizing dielectric films. The method is based on charging the sample with a constant current (current stress) and measuring the corresponding voltage rise under the closed circuit condition. Our article shows that the CC method is an alternative to the constant voltage stressing method to study the electric properties of nonpolar, ferroelectric, and polar polymers. The method was tested by determining the dielectric constant of polytetrafluoroethylene, and investigating the electric conduction in poly(ethylene terephthalate). For the ferroelectric polymer poly(vinylidene fluoride), it is shown that hysteresis loops and the dependence of the ferroelectric polarization on the electric field can be obtained. (C) 2001 American Institute of Physics.

Applying fuzzy logic systems in the estimation of crossflow filtration processes

The crossflow filtration process differs of the conventional filtration by presenting the circulation flow tangentially to the filtration surface. The conventional mathematical models used to represent the process have some limitations in relation to the identification and generalization of the system behavior. In this paper, a system based on fuzzy logic systems is developed to overcome the problems usually found in the conventional mathematical models. Imprecisions and uncertainties associated with the measurements made on the system are automatically incorporated in the fuzzy approach. Simulation results are presented to justify the validity of the proposed approach.

A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.

Enzymatic Logic Gates with Noise-Reducing Sigmoid Response

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in biochemical computing, and summarize the experimental realization of an and logic gate with sigmoid response in one of the inputs. The logic gate is realized with electrode-immobilized glucose-6-phosphate dehydrogenase enzyme that catalyzes a reaction corresponding to the Boolean and functions. A kinetic model is also developed and used to evaluate the extent to which the performance of the experimentally realized logic gate is close to optimal.

PRACTICAL LAND GRADING BASED ON LEAST SQUARES.

Practical methods for land grading design of a plane surface for rectangular and irregularly shaped fields based on a least squares analysis are presented. The least squares procedure leads to a system of three linear equations with three unknowns for determination of the best-fit plane. The equations can be solved by determinants (Cramer's rule) using a procedure capable of solution by many programmable calculators. The detailed computational process for determining the equation of the plane and a simple method to find the centroid location of an irregular field are also given. An illustrative example and design instructions are included to demonstrate the application of the design procedure.