989 resultados para Axiomatização dos Reais


Relevância:

10.00% 10.00%

Publicador:

Resumo:

A pesar del cuadro crítico de la pobreza y desigualdad social en que vivimos en el país, las perspectivas actuales apuntan para el fin del Estado Interventor y para la reducción del gasto público destinado a las políticas sociales. Con el enjugamiento del estado, el Tercer sector está encargado de pacificar la cuestión social, reduciéndola al ámbito del deber moral. Convocado al compromiso social, el psicólogo también empieza a trabajar en la frontera de la exclusión, sin cuestionar la finalidad y las implicaciones políticas del nuevo escenario. El objetivo de este trabajo es investigar la práctica social del psicólogo, en el ámbito del tercer sector , buscando el análisis que hace del nuevo campo de trabajo, así como las estrategias utilizadas en el enfrentamiento de la pobreza. Para la investigación, fueron realizadas 20 (veinte) encuestas semiestructuradas con psicólogos que actúan en instituciones del tercer sector . Las encuestas fueron analizadas cualitativamente, a la luz de la perspectiva gramsciana de sociedad civil y emancipación humana, bien como de los preceptos de la Psicología Comunitaria y Intervención Psicosocial. Utilizamos como base de análisis, todavía, el Método Comparativo Constante. Los resultados fueron agrupados en tres ejes: quien son los nuevos quijotes de la Psicología, las demandas del Tercer Sector y las estrategias utilizadas por el psicólogo en el Tercer Sector . La perspectiva defendida en este trabajo es la de que en el campo de las intervenciones sociales, y más acentuadamente en el Tercer Sector , los psicólogos serían nuevos quijotes , actuando con buena voluntad, con grandes sueños de transformación, pero realizando acciones que no parten de una lectura crítica y adecuada de la realidad, no percibiendo sus posibilidades reales y sus límites de actuación. Finalmente, defendemos que se debe buscar, con la inserción profesional; mejorar la calidad de vida y el bienestar, a través de una intervención proactiva, buscando el desarrollo, la organización y la emancipación de las personas, grupos y comunidades

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study investigates the chemical species produced water from the reservoir areas of oil production in the field of Monte Alegre (onshore production) with a proposal of developing a model applied to the identification of the water produced in different zones or groups of zones.Starting from the concentrations of anions and cátions from water produced as input parameters in Linear Discriminate Analysis, it was possible to estimate and compare the model predictions respecting the particularities of their methods in order to ascertain which one would be most appropriate. The methods Resubstitution, Holdout Method and Lachenbruch were used for adjustment and general evaluation of the built models. Of the estimated models for Wells producing water for a single production area, the most suitable method was the "Holdout Method and had a hit rate of 90%. Discriminant functions (CV1, CV2 and CV3) estimated in this model were used to modeling new functions for samples ofartificial mixtures of produced water (producedin our laboratory) and samples of mixtures actualproduced water (water collected inwellsproducingmore thanonezone).The experiment with these mixtures was carried out according to a schedule experimental mixtures simplex type-centroid also was simulated in which the presence of water from steam injectionin these tanks fora part of amostras. Using graphs of two and three dimensions was possible to estimate the proportion of water in the production area

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dentre os vários aspectos da saúde do idoso, a saúde bucal merece atenção especial pelo fato de que, historicamente, nos serviços odontológicos, não se considera esse grupo populacional como prioridade de atenção. Por isso, se faz necessária a produção de um indicador multidimensional capaz de mensurar todas as alterações bucais encontradas em um idoso, facilitando a categorização da saúde bucal como um todo. Tal indicador representará um importante instrumento capaz de elencar prioridades de atenção voltadas à população idosa. Portanto, o estudo em questão propõe a produção e validação de um indicador de saúde bucal a partir dos dados secundários coletados pelo projeto SB Brasil 2010 referente ao grupo etário de 65 a 74 anos. A amostra foi representada pelos 7619 indivíduos do grupo etário de 65 a 74 anos que participaram da pesquisa nas 5 (cinco) regiões do Brasil. Tais indivíduos foram submetidos à avaliação epidemiológica das condições de saúde bucal, a partir dos índices CPO-d, CPI e PIP. Além disso, verificou-se o uso e necessidade de prótese, bem como características sociais, econômicas e demográficas. Uma análise fatorial identificou um número relativamente pequeno de fatores comuns, através da análise de componentes principais. Após a nomenclatura dos fatores, foi realizada a soma dos escores fatoriais por indivíduo. Por último, a dicotomização dessa soma nos forneceu o indicador de saúde bucal proposto. Para esse estudo foram incluídas na análise fatorial 12 variáveis de saúde bucal oriundas do banco de dados do SB Brasil 2010 e, também 3 variáveis socioeconômicas e demográficas. Com base no critério de Kaiser, observa-se que foram retidos cinco fatores que explicaram 70,28% da variância total das variáveis incluídas no modelo. O fator 1 (um) explica sozinho 32,02% dessa variância, o fator 2 (dois) 14,78%, enquanto que os fatores 3 (três), 4 (quatro) e 5 (cinco) explicam 8,90%, 7,89% e 6,68%, respectivamente. Por meio das cargas fatoriais, o fator um foi denominado dente hígido e pouco uso de prótese , o dois doença periodontal presente , o três necessidade de reabilitação , já o quarto e quinto fator foram denominados de cárie e condição social favorável , respectivamente. Para garantir a representatividade do indicador proposto, realizou-se uma segunda análise fatorial em uma subamostra da população de idosos investigados. Por outro lado, a aplicabilidade do indicador produzido foi testada por meio da associação do mesmo com outras variáveis do estudo. Por fim, Cabe ressaltar que, o indicador aqui produzido foi capaz de agregar diver sas informações a respeito da saúde bucal e das condições sociais desses indivíduos, traduzindo assim, diversos dados em uma informação simples, que facilita o olhar dos gestores de saúde sobre as reais necessidades de intervenções em relação à saúde bucal de determinada população

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The International Labor Organization (OIT) estimates that there are around 118 million children subjected to child labor around the world. In Brazil, there are 3.5 million workers aged between 5 and 17. This exploitation practice constitutes a serious social problem, including of Public Health, since these workers are exposed to a wide range of risks, such as those related to health, physical integrity and even to life, which may cause them to become sick adults and/or interrupt their lives prematurely. Therefore, this research aims to investigate the relationship between the frequency of child labor in the age group of 10 to 13 years and some socio-economic indicators. It is a quantitative research in an ecological study whose levels of analysis are the Brazilian municipalities grouped in 161 regions, defined from socioeconomic criteria. The dependent variable of this study was the prevalence of child labor in the age group of 10 to 13 years. The independent variables were selected after a correlation between the 2010 Census of child labor in the age group of 10 to 13 years and secondary data had been conducted, adopting two main independent variables: funds from the Family Allowance Program (PBF) per 1,000 inhabitants and Funds from the Child Labor Eradication Program (PETI) per a thousand inhabitants. Initially, it was conducted a descriptive analysis of the variables of the study, then, a bivariate analysis, and the correlation matrix was built. At last, the Multiple Linear Regression stratified analysis was performed. The results of this survey indicate that public policies , like the Bolsa Familia Program Features per 1000 inhabitants and Resources Program for the Eradication of Child Labour to be allocated to municipalities with HDI < 0.697 represent a decrease in the rate of child labor ; These programs have the resources to be invested in municipalities with HDI > = 0.697 have no effect on the rate of child labor. Other adjustment variables showed significance, among these the municipal Human Development Index (IDH), years of schooling at 18 years of age, illiteracy at 15 years of age or more, employees without employment contract at 18 years of age and the Gini Index. It is understood that the child labor issue is complex. The problem is associated, although not restricted to, poverty, the social exclusion and inequality that exist in Brazil, but other factors of cultural and economic nature, as well as of organization of production, also account for its aggravation. Fighting child labor involves a wide intersectoral articulation, shared and integrated with several public policies, among them health, sports, culture, agriculture, labor and human rights, with a view to guaranteeing the integrality of the rights of children and adolescents in situation of labor and of their respective families

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance- CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance-CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

OBJETIVOS: analisar o desempenho de escolares de 2ª a 5ª série do ensino fundamental em provas de habilidades metalinguísticas e leitura segundo critérios psicolinguísticos e cognitivo-linguísticos e verificar similaridade e diferenças entre as análises. MÉTODOS: participaram 120 escolares de 2ª a 5ª série do ensino municipal, de ambos os gêneros, na faixa etária de sete a 12 anos de idade, divididos em 4 grupos de 30 escolares de cada série. Os escolares foram submetidos à aplicação de provas de habilidades metalinguísticas e de leitura. RESULTADOS: houve diferença estatisticamente significante entre os grupos nas habilidades metalinguísticas, nas regras de decodificação de palavras reais e pseudopalavras para todas as variáveis na leitura de palavras reais, com exceção do erro tipo Recusas, com médias superiores para Tentativas de Som Mal Sucedidas e Falha na Aplicação de Regras Ortográficas, indicando que esses tipos de erros foram os de maior ocorrência. Na leitura de pseudopalavras houve diferença estatisticamente significante em Tentativas de Som Mal Sucedidas, indicando que os escolares apresentaram desempenho inferior na decodificação de palavras que exigiram a utilização de informação fonológica. CONCLUSÃO: a adoção de critérios psicolinguísticos ou cognitivo-linguísticos na avaliação da leitura de palavras e pseudopalavras juntamente com a avaliação das habilidades metalinguísticas fornecem subsídios para a compreensão de como o escolar vem processando os complexos princípios do sistema de escrita do português do Brasil, além de dar o suporte necessário à compreensão das dificuldades específicas apresentadas pelos escolares, orientando o profissional fonoaudiólogo em relação aos objetivos precisos no seu atendimento.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work we propose a technique that uses uncontrolled small format aerial images, or SFAI, and stereohotogrammetry techniques to construct georeferenced mosaics. Images are obtained using a simple digital camera coupled with a radio controlled (RC) helicopter. Techniques for removing common distortions are applied and the relative orientation of the models are recovered using projective geometry. Ground truth points are used to get absolute orientation, plus a definition of scale and a coordinate system which relates image measures to the ground. The mosaic is read into a GIS system, providing useful information to different types of users, such as researchers, governmental agencies, employees, fishermen and tourism enterprises. Results are reported, illustrating the applicability of the system. The main contribution is the generation of georeferenced mosaics using SFAIs, which have not yet broadly explored in cartography projects. The proposed architecture presents a viable and much less expensive solution, when compared to systems using controlled pictures

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The objective of the researches in artificial intelligence is to qualify the computer to execute functions that are performed by humans using knowledge and reasoning. This work was developed in the area of machine learning, that it s the study branch of artificial intelligence, being related to the project and development of algorithms and techniques capable to allow the computational learning. The objective of this work is analyzing a feature selection method for ensemble systems. The proposed method is inserted into the filter approach of feature selection method, it s using the variance and Spearman correlation to rank the feature and using the reward and punishment strategies to measure the feature importance for the identification of the classes. For each ensemble, several different configuration were used, which varied from hybrid (homogeneous) to non-hybrid (heterogeneous) structures of ensemble. They were submitted to five combining methods (voting, sum, sum weight, multiLayer Perceptron and naïve Bayes) which were applied in six distinct database (real and artificial). The classifiers applied during the experiments were k- nearest neighbor, multiLayer Perceptron, naïve Bayes and decision tree. Finally, the performance of ensemble was analyzed comparatively, using none feature selection method, using a filter approach (original) feature selection method and the proposed method. To do this comparison, a statistical test was applied, which demonstrate that there was a significant improvement in the precision of the ensembles

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices