A Construção/reconstrução das competências profissionais do assistente social diante da gestão do serviço social da indústria SESI a partir dos anos 90

L´étude du processus de construction / reconstruction des compétences de l´assistant social sous la gestion du SESI (Service Social de l´ Industrie), Natal/RN, dès la moitié des années 90 a réaffirmer la perspective que ce processus est le résultat de déterminations macrosociétaires qui sont présents, particulièrement au Brésil, aussi que, la façon par laquelle l´assistant social, le professionnel inscrit dans la division sociale et technique du travail, fait développer son perfectionement technique et intelectuel dans un milieu de nouvelles structures productives qui éxigent un nouveau profil du professionnel face à la crise du capital et de l´État. Cette recherche, de nature qualitative et quantitative, a eu lieu par de combinaisons de recherche bibliographique et empirique. Les sujets ont été huit assistants sociaux et six travailleurs administratifs du SESI, Natal/RN. Les donnés ont été obtenus par des interviews semi-structrées. On a analisé les changements qui sont arrivés dans les gestions du SESI et les compétences qui sont éxigées de l´assistant social ; l´influence du milieu socio-occupationel sur l´action professionnelle et sur le processus de construction/reconstruction de compétences; l´agrandissement de demandes institutionnelles pour l´assistant social par rapport à la prestation de services ; aussi que la constatation de l´importance de ce professionnel, sa hardiesse, mais aussi quelques limites et défis affrontés face à la qualification stimulé par le SESI, en amenant le professionnel dans un processus contradictoire de qualification et disqualification professionelle

As Mulheres e as Muralhas do Patriarcado e do Capitalismo: Terceirização e Precarização do Trabalho no Sistema do Capital

Our dissertation deals with the material living conditions of women workers and the relations of the wage who undergo in the hospital scope, taking as the locus of empirical research the Hospital Dr. João Machado, located in Natal / RN. Its purpose is to analyze the main implications of precarious work contracts in the economic and social dimensions from life of workers, explaining the main conditionings. The majority presence of women in wage relations not only in the hospital service, as well as in the service sector in general has motivated us to appreciation of the form of participation of women in health services and, in particular, at the hospital space. From the critical dialectical method, through processes of successive approximations to the reality, we analyze the patriarchal system of social relations and their repercussions for the Social and Sexual Division of Labor in the context of contemporary capitalist society, explaining the determinants of inequality, founded in social relations of sex, to the predominance of women in the hospital service and unveiling these participation trends in the labor market. The analyzes are based on bibliographic research - theoretical and methodological basis of research - combined with reflections that emerged from the field. The systematized and analyzed information reveal the uniqueness of the current social and economic situation of workers women with ties outsourced, paradoxically expresses on the expansion of the insertion in universe of labor, in overexploitation, in the precariousness of work and living conditions and persistent inequality in and in the social relations and in relations between the sexes

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

Em direção a uma representação para equações algébricas :uma lógica equacional local

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