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

Interpretação e análise do problema da indução sob uma visão fundamentada em teorias de conjuntos e teoria de probabilidades

The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise

Um Framework para criação de jogos voltados para o ensino de lógica de programação

Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

Sistema inteligente para apoio à decisão na operação de uma malha de escoamento de petróleo

The petroleum production pipeline networks are inherently complex, usually decentralized systems. Strict operational constraints are applied in order to prevent serious problems like environmental disasters or production losses. This paper describes an intelligent system to support decisions in the operation of these networks, proposing a staggering for the pumps of transfer stations that compose them. The intelligent system is formed by blocks which interconnect to process the information and generate the suggestions to the operator. The main block of the system uses fuzzy logic to provide a control based on rules, which incorporate knowledge from experts. Tests performed in the simulation environment provided good results, indicating the applicability of the system in a real oil production environment. The use of the stagger proposed by the system allows a prioritization of the transfer in the network and a flow programming

Trânsito de saberes e campo representacional na visão dos profissionais da saúde da família e do programa de educação pelo trabalho e para a saúde

The Family Health Strategy (ESF) is emerging as a possible restructuring of services and new practices of intervention in health care; it requires skilled professionals to work with that framework. Within this purpose, we established the Education Programme for Work and Health (PET-Saúde), in order to integrate teaching and service activities, focusing on primary care. On this basis, the aim of this work is to apprehend the social representation of nurse, doctor and dentist (Project PET-Natal Health RN preceptors) on the ESF, while practice field of them. It is a descriptive and exploratory study, with a qualitative approach, carried out in 07 Family Health Units (USF) included in the PET-Saúde Natal (RN). The population was composed of 35 professional components of the primary care team with bachelor's degree of the USF linked to this project. The sample was composed of 05 nurses, 05 physicians and 05 dentists, for a total of 15 subjects. Data were collected through three instruments: the drawing-themed story, a semi-structured individual interviews and field diary. The data relating to the identification of the subjects were entered and tabulated by the Microsoft Excel software 2007 version. The drawing analysis and interpretation is given by the significance attributed to the resource chart from title and keywords assigned by the subjects, considering the ESF as an inductive term. The stories and interviews were transcribed and typed and then subjected to read/listen the material and a lexical analysis through Alceste. After this process, the discursive material was analyzed and discussed by theoretical and methodological feature of the Social Representations theory. The majority of health professionals were female, aged between 46 and 52 years old, married, income less than six minimum wage, time since graduation ranged from 22 to 29 years and working time in the ESF range from 02 to 11 years. From the classification system ALCESTE were selected categories identified by: Category 1 - ESF: relations and territory; Category 2 - Training and bond profile; Category 3 - Working process in the ESF; Category 4 - Articulation between teaching and service; Category 5 - Health care and disease prevention. The representational field construction, while a process, followed the logic of structural cores in existing categories. In this sense, it is clear that the ESF is an environment rich in diversity, experience and relationships with potential such as the relationship "very subject-subject" and the link established between professional-community, but also has some weaknesses such as poor working conditions, lack of popular participation and management support, thus difficulties in the achievement of teamwork. Being essential to that end, the teaching-service aimed at the formation of a new health professional able to work in the ESF. In this research, the training of the representational field encountered a diversity of structural cores, or thoughts on training, about the ESF because of the greater emphasis on the here and now of the interaction between health professionals, the ESF, the community, PET Health-UFRN and students, emphasizing that such proposals are still considered as concepts in the context of recent health and that, therefore, are not fully realized in the social imaginary

Uma ferramenta de manipulação de pacotes para análise de protocolos de redes industriais baseados em TCP/IP

This work presents a packet manipulation tool developed to realize tests in industrial devices that implements TCP/IP-based communication protocols. The tool was developed in Python programming language, as a Scapy extension. This tool, named IndPM- Industrial Packet Manipulator, can realize vulnerability tests in devices of industrial networks, industrial protocol compliance tests, receive server replies and utilize the Python interpreter to build tests. The Modbus/TCP protocol was implemented as proof-of-concept. The DNP3 over TCP protocol was also implemented but tests could not be realized because of the lack of resources. The IndPM results with Modbus/TCP protocol show some implementation faults in a Programmable Logic Controller communication module frequently utilized in automation companies

Arquitetura de controladores fuzzy em redes foundation fieldbus

Foundation Fieldbus Industrial networks are the high standard technology which allows users to create complex control logic and totally decentralized. Although being so advanced, they still have some limitations imposed by their own technology. Attempting to solve one of these limitations, this paper describes how to design a Fuzzy controller in a Foundation Fieldbus network using their basic elements of programming, the functional blocks, so that the network remains fully independent of other devices other than the same instruments that constitute it. Moreover, in this work was developed a tool that aids this process of building the Fuzzy controller, setting the internal parameters of functional blocks and informing how many and which blocks should be used for a given structure. The biggest challenge in creating this controller is exactly the choice of blocks and how to arrange them in order to effectuate the same functions of a Fuzzy controller implemented in other kind of environment. The methodology adopted was to divide each one of the phases of a traditional Fuzzy controller and then create simple structures with the functional blocks to implement them. At the end of the work, the developed controller is compared with a Fuzzy controller implemented in a mathematical program that it has a proper tool for the development and implementation of Fuzzy controllers, obtaining comparatives graphics of performance between both

Controle fuzzy espacialmente diferenciado para um sistema de irrigação

Traditional irrigation projects do not locally determine the water availability in the soil. Then, irregular irrigation cycles may occur: some with insufficient amount that leads to water deficit, other with excessive watering that causes lack of oxygen in plants. Due to the nonlinear nature of this problem and the multivariable context of irrigation processes, fuzzy logic is suggested to replace commercial ON-OFF irrigation system with predefined timing. Other limitation of commercial solutions is that irrigation processes either consider the different watering needs throughout plant growth cycles or the climate changes. In order to fulfill location based agricultural needs, it is indicated to monitor environmental data using wireless sensors connected to an intelligent control system. This is more evident in applications as precision agriculture. This work presents the theoretical and experimental development of a fuzzy system to implement a spatially differentiated control of an irrigation system, based on soil moisture measurement with wireless sensor nodes. The control system architecture is modular: a fuzzy supervisor determines the soil moisture set point of each sensor node area (according to the soil-plant set) and another fuzzy system, embedded in the sensor node, does the local control and actuates in the irrigation system. The fuzzy control system was simulated with SIMULINK® programming tool and was experimentally built embedded in mobile device SunSPOTTM operating in ZigBee. Controller models were designed and evaluated in different combinations of input variables and inference rules base

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

Uma abordagem baseada em aspectos e composição dinâmica para a construção de aplicações adaptativas cientes ao contexto

Ubiquitous computing systems operate in environments where the available resources significantly change during the system operation, thus requiring adaptive and context aware mechanisms to sense changes in the environment and adapt to new execution contexts. Motivated by this requirement, a framework for developing and executing adaptive context aware applications is proposed. The PACCA framework employs aspect-oriented techniques to modularize the adaptive behavior and to keep apart the application logic from this behavior. PACCA uses abstract aspect concept to provide flexibility by addition of new adaptive concerns that extend the abstract aspect. Furthermore, PACCA has a default aspect model that considers habitual adaptive concerns in ubiquitous applications. It exploits the synergy between aspect-orientation and dynamic composition to achieve context-aware adaptation, guided by predefined policies and aim to allow software modules on demand load making possible better use of mobile devices and yours limited resources. A Development Process for the ubiquitous applications conception is also proposed and presents a set of activities that guide adaptive context-aware developer. Finally, a quantitative study evaluates the approach based on aspects and dynamic composition for the construction of ubiquitous applications based in metrics

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs