O Benefício da Prestação Continuada BCP: as condições de vida dos usuários no Município de Macau/RN

This rescearch comprises a study of the life condictions of the users of the Continuous Installment Allowance in the city of Macau, RN. This benefit has been predicted by the Federal 1988 Constitution and regulated by the Social Assistance Organic Law (LOAS), but it has been carried out only since january 1996. It consists of an amount of half a minimum salary given to old-age and handicapped peoplewhose families mathch the per capita income criterion of less than 0,25 minimum salary. It is a least-income policy relud by the principle of the smallest elegibility. The study focused on aged or handicapped people who were receiving the BPC from 1996 to 2004. Through a quatitative analysis, the life reality of these users has been critically examined. In order to achieve this, it has been necessary to trace their social and economical profile. The research revealed the precarious life conditions of the aged and handicapeed people after they were given the BPC, as well as their interpretation of this politcal directive, and also the need for revision of the eligibility criteria so that a public policy of integral service to the basic needs of the social being can be accomplished

Autoconsciência pura, identidade e existência em Kant

Este artigo estabelece a relação entre apercepção transcendental e identidade, existência e percepção, e procura com isso mostrar que, embora esteja na base da estrutura cognitiva humana, a autoconsciência não elabora conhecimento.

O problema biobjetivo da árvore geradora quadrática em adjacência de arestas

The Quadratic Minimum Spanning Tree Problem (QMST) is a version of the Minimum Spanning Tree Problem in which, besides the traditional linear costs, there is a quadratic structure of costs. This quadratic structure models interaction effects between pairs of edges. Linear and quadratic costs are added up to constitute the total cost of the spanning tree, which must be minimized. When these interactions are restricted to adjacent edges, the problem is named Adjacent Only Quadratic Minimum Spanning Tree (AQMST). AQMST and QMST are NP-hard problems that model several problems of transport and distribution networks design. In general, AQMST arises as a more suitable model for real problems. Although, in literature, linear and quadratic costs are added, in real applications, they may be conflicting. In this case, it may be interesting to consider these costs separately. In this sense, Multiobjective Optimization provides a more realistic model for QMST and AQMST. A review of the state-of-the-art, so far, was not able to find papers regarding these problems under a biobjective point of view. Thus, the objective of this Thesis is the development of exact and heuristic algorithms for the Biobjective Adjacent Only Quadratic Spanning Tree Problem (bi-AQST). In order to do so, as theoretical foundation, other NP-hard problems directly related to bi-AQST are discussed: the QMST and AQMST problems. Bracktracking and branch-and-bound exact algorithms are proposed to the target problem of this investigation. The heuristic algorithms developed are: Pareto Local Search, Tabu Search with ejection chain, Transgenetic Algorithm, NSGA-II and a hybridization of the two last-mentioned proposals called NSTA. The proposed algorithms are compared to each other through performance analysis regarding computational experiments with instances adapted from the QMST literature. With regard to exact algorithms, the analysis considers, in particular, the execution time. In case of the heuristic algorithms, besides execution time, the quality of the generated approximation sets is evaluated. Quality indicators are used to assess such information. Appropriate statistical tools are used to measure the performance of exact and heuristic algorithms. Considering the set of instances adopted as well as the criteria of execution time and quality of the generated approximation set, the experiments showed that the Tabu Search with ejection chain approach obtained the best results and the transgenetic algorithm ranked second. The PLS algorithm obtained good quality solutions, but at a very high computational time compared to the other (meta)heuristics, getting the third place. NSTA and NSGA-II algorithms got the last positions

Instrumento de avaliação de fala para análise acústica (IAFAC) baseado em critérios linguísticos

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

Cultura e identidade surdas: encruzilhada de lutas sociais e teóricas

As expressões cultura e identidade surdas têm se legitimado, principalmente, pela defesa da língua de sinais como sendo a língua natural dos surdos. Essa defesa se faz por meio de uma inversão teórica que toma a língua, num primeiro momento, como determinada pelas práticas e interações sociais e, num segundo, faz dela a definidora dessas mesmas práticas. Este artigo discute os mecanismos de legitimação dessa inversão e suas implicações sociais e teóricas.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

MoSAC: um módulo para seleção de configurações arquiteturais baseado em critérios de QoS no contexto de sistema distribuídos autoadaptativos

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Avaliação da informação de websites turísticos das cidades-sede da copa 2014

This study aims to analyze tourist information provided by the official websites of the 2014 FIFA World Cup host cities. The framework developed by Díaz (2005) was applied to analyze different aspects, such as: local tourist information, tourist services distribution, communication and interaction between website and users, and website foreign language versions. This dissertation describes how society and tourism are related by analyzing the consequences of technological evolution in the travel and tourism sector, showing the importance of the use of information and communication technology to provide accurate, upto- date and low-cost information to tourist destinations. Because of the nature of the study, the research subjects are the 12 Brazilian host cities represented by their respective official webpages (cities, states and convention bureaus), and also Brazil s official website, totalizing 36 elements to be analyzed. The methodology has been characterized as descriptive and exploratory with quantitative analysis, and also using desk research and survey literature review. In order to analyze the data collected, parametric and nonparametric statistics tests were used, such as: variance analysis (ANOVA and KRUSKAL-WALLIS) to measure means variance between groups combined with multiple comparison tests (Tukey and Games Howell); nonparametric correlations tests (Kendall s Tau b); and cluster analyses. Finally, Microsoft Excel was used to collect data and SPSS for managing data through quantitative analyses tests. Overall, the websites of the south region showed better results than the other Brazilian regions. Despite this result, the data analysis demonstrated that the available tourist information are incomplete as it was verified that tourist host cities websites are unable to provide all the information needed for the web visitors to organize and plan their journey. This means that visitors have to look for more information in other sources

Atratividade cultural e potencialidade turística: análise do evento Auto de Natal (Natal RN)

Inserted in the schedule for Christmas celebration in the city of Natal, capital of the state of Rio Grande do Norte, Brazil, the spectacle so called Auto de Natal mixes the Christmas story of Jesus birth with cultural and natural heritage of the state, making possible the integration of professionals from various fields, such as: literature, theater, dance and music. Important for local identity, Auto de Natal integrates elements of intangible heritage in the state. In this context, the research analyzed the perceptions of those who were involved in the production, presentation and organization of the event, planned to be culturally attractive to tourism. For this, it was used the descriptive and exploratory method, making use of documental, bibliographic and field researches. It was applied qualitative techniques to the interpretation of the interviews, while it was applied quantitative techniques to analyze the questionnaires. The research has discovered that Auto de Natal has the potential to add value to Cultural Tourism, diversifying the tourism product. The research has also observed that most of the respondents recognized Auto de Natal as intangible heritage, and concluded that the Christmas theme, which is alluding to the nomenclature of destiny, needs to be well-done to attract more tourists to experience the Natal in Natal

Critérios ecocardiográficos para definição de graus de disfunção ventricular em ratos portadores de estenose aórtica

OBJETIVO: O objetivo deste estudo foi identificar variáveis ecocardiográficas que definam graus de disfunção cardíaca em ratos com estenose aórtica (EAo). MÉTODOS: Ratos Wistar (n = 23), machos (90-100 g), foram submetidos a cirurgia para indução de EAo. As variáveis ecocardiográficas analisadas foram: diâmetros diastólico do ventrículo esquerdo (DDVE) e sistólico do átrio esquerdo em valores absolutos e normalizados para o peso corporal; diâmetro sistólico do VE (DSVE); três índices de encurtamento do VE (% de encurtamento endocárdico, %Enc.Endo; % de encurtamento miocárdico, %Enc.Mio; e velocidade de encurtamento da parede posterior do VE, VEPP); e índice de massa do VE (IMVE). Essas variáveis foram utilizadas para a análise de agrupamento (cluster analysis). RESULTADOS: A análise de agrupamento possibilitou separar os ratos com EAo em dois grupos: disfunção leve (n = 13) e disfunção severa (n = 9). Os intervalos de confiança das seguintes variáveis não apresentaram superposição dos seus valores: DDVE, DSVE, %Enc.Endo, %Enc.Mio, IMVE e VEPP. CONCLUSÃO: A utilização conjunta dos intervalos de confiança dessas variáveis permite identificar dois grupos de ratos com estenose aórtica e diferentes graus de comprometimento cardíaco, possibilitando a realização de estudos longitudinais com grupos homogêneos de animais.

Identidade em Caucaia: etnografia e vicissitudes de uma perícia antropológica

Esse artigo analisa a perícia e o laudo antropológico realizados entre os índios Tapeba do município de Caucaia, área metropolitana de Fortaleza (Ceará). Discuto as diversas circunstâncias e as condições sociais de possibilidade que levaram a esse trabalho. Enfoco as várias questões sociais e culturais, além de políticas, que trataram dos usos e efeitos da história, da performatividade das tradições e das lutas da identidade, envolvendo diretamente esse grupo étnico numa ação judicial recente

Antropologia das mediações: um estudo sobre trocas, tensões e hierarquias em Coqueiros, Vale do Ceará Mirim

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

A moralidade e a vida pregressa do candidato como condição autônoma de elegibilidade

The objective of this work was about fixing the free will paradigm as negative evaluation of political rights which presents a new classification dde such rights, producing species: a) conditions of eligibility autonomous (free will), b) eligibility requirements heteronomous (will third party) and c) ineligibility (court decisions / administrative). This morality and life history as a condition of eligibility unattended, making a hermeneutic analysis of art. 14, § 9 of the Constitution, considering the justification of the views of the voting Minister Carlos Ayres Brito Appeal in Ordinary No 1069/2006 of the Supreme Electoral Tribunal (where Eurico Miranda). Are fixed concepts of morality and life history from the perspective of the moral act freely and consciously. Has resulted in the identification of the moral virtues of honesty and integrity, which are voluntary acts as a reference to morality and integrity respectively. Justifies the morality and life history as a condition of eligibility unattended. who depend exclusively on the willingness of the candidate. It is noteworthy that the conditions for eligibility as a factual finding does not violate the law and does not allow punitive sanctions or setting a deadline in case of refusal to register the application. Attributed to political parties to take responsibility in their statutes moral criteria for the nomination convention in pre candidates, giving an ethical dimension. Analyzes the law under the Clean Record of morality and life history of the candidate and the possible impact on the electoral context

Hiperinsuflação manual combinada com compressão torácica expiratória para redução do período de internação em UTI em pacientes críticos sob ventilação mecânica

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