A investigação criminal e a vedação ao anonimato no sistema jurídico brasileiro

The thesis, prepared with basis on deductive reasoning (through the utilization of general concepts of the fundamental rights theory) and on inductive logic (by means of the consideration of particular situations in which the theme has been approached) deals with the criminal investigation and the prohibition of anonymity in the Brazilian law system. The state criminal investigation activity presents not only a substantial constitutional basis, due to the objective dimension of fundamental rights (which imposes an obligation to protect these essential values), but also a formal constitutional basis, arising from the administrative principles of rule of law, morality and efficiency, referred to in article 37 of the Constitution. The criminal investigation, however, is not an unlimited pursuit, being restrained by the duty to consider fundamental rights that oppose to its realization. One of the limits of the state investigation activity, in the Brazilian law system, is the prohibition of anonymity, referred to in article 5°, IV, of the Constitution. This prohibition is a direct constitutional restriction to the freedom of expression that aims to ensure the credibility of the diffusion of ideas and prevent the abusive exercise of this fundamental right, which could harm both persons and the state, with no possibility of punishment to the offending party. Generally, based on this prohibition, it is affirmed that a criminal investigation cannot begin and progress founded on anonymous communication of crimes. Informations about crimes to the investigative authorities require the correct identification of the stakeholders. Therefore, it is sustained that the prohibition of anonymity also comprehends the prohibition of utilization of pseudonyms and heteronyms. The main purpose of this essay is to recognize the limits and possibilities in starting and conducting criminal investigations based on communication of crimes made by unidentified persons, behind the veil of anonymity or hidden by pseudonyms or heteronyms. Although the prohibition of article 5°, IV, of the Constitution is not submitted to direct or indirect constitutional restrictions, this impediment can be object of mitigation in certain cases, in attention to the constitutional values that support state investigation. The pertinence analysis of the restrictions to the constitutional anonymity prohibition must consider the proportionality, integrated by the partial elements of adequacy, necessity and strict sense proportionality. The criminal investigation is a means to achieve a purpose, the protection of fundamental rights, because the disclosure of facts, through the investigatory activity, gives rise to the accomplishment of measures in order to prevent or punish the violations eventually verified. So, the start and the development of the state criminal investigation activity, based on a crime communication carried out by an unidentified person, will depend on the demonstration that the setting up and continuity of an investigation procedure, in each case, are an adequate, necessary and (in a strict sense) proportional means to the protection of fundamental rights

Performance evaluation on electronic control systemsfor field sprayers using programmable logic controllers

The aim of this study was to develop a laboratory method for time response evaluation on electronically controlled spray equipment using Programmable Logic Controllers (PLCs). For that purpose, a PLC controlled digital drive inverter was set up to drive an asynchronous electric motor linked to a centrifugal pump on a experimental sprayer equipped with electronic flow control. The PLC was operated via RS232 serial communication from a PC computer. A user program was written to control de motor by adjusting the following system variables, all related to the motor speed: time stopped; ramp up and ramp down times, time running at a given constant speed and ramp down time to stop the motor. This set up was used in conjunction with a data acquisition system to perform laboratory tests with an electronically controlled sprayer. Time response for pressure stabilization was measured while changing the pump speed by +/-20%. The results showed that for a 0.2 s ramp time increasing the motor speed, as an example, an AgLogix Flow Control system (Midwest Technologies Inc.) took 22 s in average to readjust the pressure. When decreasing the motor speed, this time response was down to 8 s. General results also showed that this kind of methodology could make easier the definition of standards for tests on electronically controlled application equipment.

A fuzzy logic system applied in lightning models

This paper describes a novel approach for mapping lightning processes using fuzzy logic. The estimation process is carried out using a fuzzy system based on Sugeno's architecture. Simulation results confirm that proposed approach can be efficiently used in these types of problem.

Fuzzy Logic and Geostatistical Techniques for Spatialization of Soil Texture in Region with Rough Terrains

From the geotechnical standpoint, it is interesting to analyse the soil texture in regions with rough terrain due to its relation with the infiltration and runoff processes and, consequently, the effect on erosion processes. The purpose of this paper is to present a methodology that provides the soil texture spatialization by using Fuzzy logic and Geostatistic. The results were correlated with maps drawn specifically for the study area. The knowledge of the spatialization of soil properties, such as the texture, can be an important tool for land use planning in order to reduce the potential soil losses during rain seasons. (c) 2011 Published by Elsevier Ltd. Selection and peer-review under responsibility of Spatial Statistics 2011

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

Circuit board accident - organizational dimension hidden by prescribed safety

This study analyzes an accident in which two maintenance workers suffered severe burns while replacing a circuit breaker panel in a steel mill, following model of analysis and prevention of accidents (MAPA) developed with the objective of enlarging the perimeter of interventions and contributing to deconstruction of blame attribution practices. The study was based on materials produced by a health service team in an in-depth analysis of the accident. The analysis shows that decisions related to system modernization were taken without considering their implications in maintenance scheduling and creating conflicts of priorities and of interests between production and safety; and also reveals that the lack of a systemic perspective in safety management was its principal failure. To explain the accident as merely non-fulfillment of idealized formal safety rules feeds practices of blame attribution supported by alibi norms and inhibits possible prevention. In contrast, accident analyses undertaken in worker health surveillance services show potential to reveal origins of these events incubated in the history of the system ignored in practices guided by the traditional paradigm.

DNA barcoding reveals hidden diversity in the Neotropical freshwater fish Piabina argentea (Characiformes: Characidae) from the Upper Parana Basin of Brazil

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

DNA barcoding of Podonomus (Chironomidae, Podonominae) enables stage association of a named species and reveals hidden diversity in Brazilian inselbergs

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Habits hidden underground: a review on the reproduction of the Amphisbaenia with notes on four neotropical species

We review the information currently available on the reproduction of the Amphisbaenia and provide original data on the reproductive biology of four Neotropical species: Amphisbaena alba; A. mertensi; Cercolophia roberti, and Leposternon infraorbitale. In total, we compiled data for 22 species: 17 Amphisbaenidae, 1 Rhineuridae, 3 Bipedidae, and 1 Trogonophidae. The majority of the species were oviparous with the exceptions of Loveridgea ionidesii, Monopeltis anchietae, M. capensis, and Trogonophis wiegmanni. Viviparity was interpreted as a derived trait that evolved independently for at least 3 times within the Amphisbaenia. In most species, reproduction is synchronized with the hot and rainy season and seems to vary with latitude. Although Amphisbaenia eggs have been found in ant nests, it remains disputable whether this is an obligatory or even a preferable location for egg-laying. Incubation time in A. mertensii lasts 59 days and this is the first report encompassing egg-laying to hatching for any Amphisbaenia species. Nonetheless, a two months incubation period seems to be the common rule for oviparous Amphisbaenia. The general pattern of reproductive output in Amphisbaenia is characterized by a low number of eggs/embryos per clutch whose individual size is comparatively large in relation to adult body size. Eggs are markedly elongated on the long axis and arranged in-line within the abdominal cavity possibly to prevent/diminish biomechanic drawbacks of egg bearing. Hatchlings of A. mertensi possess an egg-tooth implanted at the upper jaw, exhibit positive geotropism, and display defensive behaviors known to be present in adults. Our review shows that our current knowledge of Amphisbaenia reproduction is fragmentary, often based on the examination of small samples, and heavily dependent on the publication of anedoctal observations. Future publications on this subject are encouraged.

Hidden sector effects on double Higgs production near threshold at the LHC

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Search for Dark Photons from Supersymmetric Hidden Valleys

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

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.

Ladder operators for subtle hidden shape-invariant potentials

Ladder operators can be constructed for all potentials that present the integrability condition known as shape invariance, satisfied by most of the exactly solvable potentials. Using the superalgebra of supersymmetric quantum mechanics, we construct the ladder operators for two exactly solvable potentials that present a subtle hidden shape invariance.

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.