Política de segurança pública no Brasil contemporâneo : entre a segurança cidadã e a continuidade autoritária

O objeto de estudo dessa pesquisa é a política de segurança pública brasileira visando compreender o seu percurso ideológico e político no contexto de retomada e da consolidação da democracia no Brasil, após 21 anos de ditadura militar. Considerando o contexto no qual se verifica a existência de disputa política em torno da concepção de segurança pública, o objetivo geral deste trabalho é compreender a matriz estruturante da política de segurança pública no Brasil contemporâneo. Seu intuito visa responder à pergunta inicial e condutora do interesse que estrutura este trabalho, aqui apresentada nos seguintes termos: a política de segurança pública no Brasil após o restabelecimento das eleições diretas para a Presidência da República está em vias de transição, tendendo a assumir caráter democrático ou a força da tradição autoritária na cultura política brasileira tem-se garantido a sua continuidade neste campo da intervenção estatal? Ancoramos a nossa reflexão nas categorias teóricas de dominação, coerção e consenso no pensamento clássico de Hobbes, Marx, Weber e Gramsci, extraindo deles os elementos que nos auxiliam no entendimento da política de segurança pública brasileira. Para o estudo dessa política foi fundamental operarmos uma profunda revisão bibliográfica, especialmente para entender como a manutenção da ordem foi se desenhando no contexto brasileiro e como historicamente tem prevalecido um modelo de segurança pública marcado pelo autoritarismo. Entretanto, a partir da redemocratização brasileira há a emergência de outro paradigma para a política de segurança pública, a segurança cidadã, propondo, entre outras coisas, a reforma das instituições de segurança pública e a formação em direitos humanos nas instituições policiais. Para a análise do paradigma emergente de segurança, buscamos apoio no Programa Nacional dos Direitos Humanos e no Plano Nacional de Segurança Pública, documentos federais que representam a construção de uma nova intencionalidade para a segurança pública no Brasil. Finalmente, reconhecemos que, embora haja significativas reformas na segurança pública, tal política, diante da prevalência de um paradigma de segurança tradicional com fortes componentes autoritários, se encontra entre a segurança cidadã e a continuidade autoritária.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Chemical, morphological, rheological and thermal properties of Solanum lycocarpum phosphorylated starches

The increasing need for starches with specific characteristics makes it important to study unconventional starches and their modifications in order to meet consumer demands. The aim of this work was to study physicochemical characteristics of native starch and phosphate starch of S. lycocarpum. Native starch was phosphated with sodium tripolyphosphate (5-11%) added with stirring. Chemical composition, morphology, density, binding ability to cold water, swelling power and solubility index, turbidity and syneresis, rheological and calorimetric properties were determined. Phosphorus was not detected in the native sample, but the phosphating process produced modified starches with phosphorus contents of 0.015, 0.092 and 0.397%, with the capacity of absorbing more water, either cold or hot. Rheological data showed the strong influence of phosphorus content on viscosity of phosphate starch, with lower pasting temperature and peak viscosity higher than those of native starch. Enthalpy was negatively correlated with the phosphorus content, requiring 9.7; 8.5; 8.1 and 6.4 kJ g-1 of energy for the transition from the amorphous to the crystalline state for the starch granules with phosphorus contents of 0; 0.015; 0.092 and 0.397%, respectively. Cluster analysis and principal component analysis showed that starches with 0.015 and 0.092% phosphorus have similar characteristics and are different from the others. Our results show that the characteristics of phosphate modified S. lycocarpum starch have optimal conditions to meet the demands of raw materials, which require greater consistency in stickiness, combined with low rates of retrogradation and syneresis.

Economic analysis of occupational risk prevention: a case study in a textile company

Work accidents affect business and society as a whole. Fewer accidents mean fewer sick leaves, which results in lower costs and less disruption in the production process, with clear advantages for the employer. But workers and their households bear also a significant burden following a work accident, only partially compen-sated by insurance systems. Furthermore, the consequences of work accidents to the State and Society need also to be considered. When an organization performs an integrated risk analysis in evaluating its Occupational Health and Safety Management System, several steps are suggested to address the identified risk situations. Namely, to avoid risks, a series of preventive measures are identified. The organization should make a detailed analysis of the monetary impact (positive or negative) for the organization of each of the measures considered. Particularly, it is also important to consider the impact of each measure on society, involving an adequate eco-nomic cost-benefit analysis. In the present paper, a case study in a textile finishing company is presented. The study concentrates on the dyeing and printing sections. For each of the potential risks, several preventive measures have been identified and the corresponding costs and benefits have been estimated. Subsequently, the Benefit/Cost ratio (B/C) of these measures has been calculated, both in financial terms (from the organisa-tion’s perspective) and in economic terms (including the benefits for the worker and for the Society). Results show that, while the financial analysis in terms of the company does not justify the preventive measures, when the externalities are taken into account, the B/C ratio increases significantly and investments are fully justified.

Confirmatory Factor Analysis of the Behavioural Regulation in Exercise Questionnaire – Portuguese Version

Exercise constitutes one of the pillars of a healthy lifestyle (USDHHS, 1996). Paradoxically, more than 40% of Europeans are sedentary (Eurobarometer 213, 2004), although some interventions, at both community and individual levels, have been established to improve this situation. Some of these interventions are based on Self-Determination Theory (SDT: Deci & Ryan, 1985), which state that more internalized types of behaviour regulation lead to feelings of selfdetermination in one’s chosen activities and, consequently, to greater likelihood of behavioural adherence. Today, SDT is one of the most popular approaches to the study of exercise, thus the cross-cultural validation of instruments that can measure its constructs is a necessary step to further advance in the study of exercise motivation.

Institutional Development for Good Governance: the role of intermediary NGOs in Pará state, Amazonia

The paper analyses the roles of intermediary NGOs for linkages between government and rural communities in carrying out socio-environmental development programs as a mean of institutional development for good governance. In particular, the paper focuses on the Proambiente program that was carried out in Pará State, Amazonia, Brazil. This program was the first experience of a socio-environmental development program in Brazilian Amazonia that took into account local communities' demands to link environmental conservation and small-scale family-based rural production. Methodologically, the research was based on qualitative analysis and used semi-structured interviews for data collection. The paper shows that NGOs as intermediaries between government and rural communities is a significant mechanism to promote the strengthening of the power of local communities, to create bridges between federal government and local communities; and to stimulate participatory processes by engaging rural communities' culture and knowledge in socio-environmental development program as Proambiente.

Ecological aspects of American cutaneous leishmaniasis: 4. Observations on the endophilic behavior of the sandfly and the vectorial role of Psychodopygus intermedius in the Ribeira Valley region of the S.Paulo State, Brazil

The invasive tendency of Psychodopygus intermedius in the home environment, observed initially by Forattini et al. (1976), has now been confirmed by the demonstration of its high endophilic ability and by the use of human residences for shelter. Populations such as Lutzomyia migonei and Pintomyia fischeri were also present in that environment, though their low densities registered during this investigation could be an indication of their poor ability to overcome the barriers raised by the artificial environment. An objective epidemiological analysis based on the variables here given showed that human infection takes place in the extraforest environment, and the principal vectorial function falls, without doubt, on P. intermedius.

Dengue and the risk of urban yellow fever reintroduction in São Paulo State, Brazil

OBJECTIVE: To propose a mathematical method for the estimation of the Basic Reproduction Number, R0, of urban yellow fever in a dengue-infested area. METHODS: The method is based on the assumption that, as the same vector (Aedes aegypti) causes both infections, all the quantities related to the mosquito, estimated from the initial phase of dengue epidemic, could be applied to yellow fever dynamics. It is demonstrated that R0 for yellow fever is, on average, 43% lower than that for dengue. This difference is due to the longer dengue viremia and its shorter extrinsic incubation period. RESULTS: In this study the analysis was expanded to the epidemiological situation of dengue in São Paulo in the year 2001. The total number of dengue cases increased from 3,582 in 2000 to 51,348 in 2001. It was then calculated R0 for yellow fever for every city which have shown R0 of dengue greater than 1. It was also estimated the total number of unprotected people living in highly risky areas for urban yellow fever. CONCLUSIONS: Currently there is a great number of non-vaccinated people living in Aedes aegypti infested area in the state of São Paulo.

Analysis of ground reaction force and electromyographic activity of the gastrocnemius muscle during double support

O documento em anexo encontra-se na versão post-print (versão corrigida pelo editor).

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

O fim de um ciclo? A coconstrução da articulação curricular entre o 1.º e o 2.º Ciclos do Ensino Básico

Dissertação Apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialidade Supervisão em Educação

European information users: topics from a comparative analysis within the European Union

Purpose – The aim of this article is to present some results from research undertaken into the information behaviour of European Documentation Centre (EDC) users. It will reflect on the practices of a group of 234 users of 55 EDCs covering 21 Member States of the European Union (EU), used to access European information. Design/methodology/approach – In order to collect the data presented here, five questionnaires were sent to users in all the EDCs in Finland, Ireland, Hungary and Portugal. In the remaining EU countries, five questionnaires were sent to two EDCs chosen at random. The questionnaires were sent by post, following telephone contact with the EDC managers. Findings – Factors determining access to information on the European Union and the frequency of this access are identified. The information providers most commonly used to access European information and the information sources considered the most reliable by respondents will also be analysed. Another area of analysis concerns the factors cited by respondents as facilitating access to information on Europe or, conversely, making it more difficult to access. Parallel to this, the aspects of accessing information on EU that are valued most by users will also be assessed. Research limitations/implications – Questionnaires had to be used, as the intention was to cover a very extensive geographical area. However, in opting for closed questions, it is acknowledged that standard responses have been obtained with no scope for capturing the individual circumstances of each respondent, thus making a qualitative approach difficult. Practical implications – The results provide an overall picture of certain aspects of the information behaviour of EDC users. They may serve as a starting point for planning training sessions designed to develop the skills required to search, access, evaluate and apply European information within an academic context. From a broader perspective, they also constitute factors which the European Commission should take into consideration when formulating its information and communication policy. Originality/value – This is the first piece of academic research into the EDCs and their users, which aimed to cover all Members State of the EU.

Conhecimentos sobre VIH sida nos clientes de um hospital de Lakes State, Sudão do Sul

Enquadramento: O VIH/Sida exige uma ação direcionada na vertente da prevenção, cujo suporte integra a transmissão de conhecimentos promotores da adoção e manutenção de comportamentos seguros, em conformidade com as características sociais e culturais dos indivíduos. Objetivos: Validar, para a população do Sudão do Sul, a Escala de Conhecimentos sobre VIH/Sida, The HIV Knowledge Questionnaire: HIV-KQ-45, de Carey et al. (1997); analisar de que forma as variáveis sociodemográficas influenciam os conhecimentos sobre VIH/Sida, dos cidadãos de Mapuordit Sudão do Sul; verificar se a frequência de formação sobre VIH/Sida influencia o seu nível de conhecimentos. Metodologia: Estudo quantitativo, descritivo-analítico e transversal, com 232 clientes do Mary Immaculate de Mapuordit Hospital. Foi utilizado um Questionário de caracterização sociodemográfica e do contexto de formação sobre o VIH/Sida, e o HIV Knowledge Questionnaire (HVI-K-Q) de Carey, Morrison-Beedy e Johnson (1997). Resultados: Amostra é maioritariamente masculina (74.6%), com uma média de idade 22,83 (±5.793 anos). A análise fatorial confirmatória do HIV-K-Q permitiu apurar 5 fatores, cujos valores médios mais significativos foram nos fatores preconceitos/medos (média=80.60%), conhecimentos sobre os comportamentos de risco (média=76.58%) e vias de transmissão (média=70.36%). Os sudaneses pontuaram maioritariamente com razoáveis conhecimentos sobre a Sida (média=68.08%). As mulheres, os participantes mais velhos, com companheiro(a), mais escolarizados, profissionalmente ativos, a distar do hospital =<20 Km, deslocando-se num veículo não motorizado e com diagnóstico de VIH relataram mais conhecimentos sobre a Sida. Os participantes com informação sobre a prevenção do VIH/Sida e frequência em workshop na área demonstraram melhores conhecimentos. Revelaram-se preditivas dos conhecimentos acerca da doença as habilitações literárias (β=0.32) e o diagnóstico de VIH/Sida (β=0.14) revelou-se preditor dos conhecimentos sobre os comportamentos de risco. Conclusão: As casuísticas significativas do VIH/Sida justificam considerar as habilitações literárias e a presença de diagnóstico VIH/Sida como variáveis a avaliar previamente ao planeamento estratégico das ações de educação para a prevenção do VIH/Sida no Sudão do Sul. Palavras-chave: Conhecimentos; VIH/Sida; Sudão do Sul.