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

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

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]

Especificação do tipo intervalar parametrizado em CASL

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

Otimização global topográfica aplicada a problemas de otimização com restrições de igualdade e desigualdade

Os métodos de otimização que adotam condições de otimalidade de primeira e/ou segunda ordem são eficientes e normalmente esses métodos iterativos são desenvolvidos e analisados através da análise matemática do espaço euclidiano n-dimensional, o qual tem caráter local. Esses métodos levam a algoritmos iterativos que são usados para o cálculo de minimizadores globais de uma função não linear, principalmente não-convexas e multimodais, dependendo da posição dos pontos de partida. Método de Otimização Global Topográfico é um algoritmo de agrupamento, o qual é fundamentado nos conceitos elementares da teoria dos grafos, com a finalidade de gerar bons pontos de partida para os métodos de busca local, com base nos pontos distribuídos de modo uniforme no interior da região viável. Este trabalho tem como objetivo a aplicação do método de Otimização Global Topográfica junto com um método robusto e eficaz de direções viáveis por pontos-interiores a problemas de otimização que tem restrições de igualdade e/ou desigualdade lineares e/ou não lineares, que constituem conjuntos viáveis com interiores não vazios. Para cada um destes problemas, é representado também um hiper-retângulo compreendendo cada conjunto viável, onde os pontos amostrais são gerados.

Trabalhadoras e economia solidária na associação de mulheres do município de Igarapé-Miri/Asmim-Pará: da resistência à estratégia de desenvolvimento local

O presente estudo retrata a constituição da Associação de Mulheres do Município de Igarapé-Miri –ASMIM/Pará, como um espaço de lutas, resistências e associativismo de mulheres trabalhadoras. Visa contribuir com o debate acerca das conquistas de uma experiência prática coletiva, na construção do desenvolvimento local, em Igarapé-Miri. Para isso, procurou-se nesta pesquisa entender o cenário da economia solidária, bem como, as diferentes concepções que giram em torno dessa temática em interface com o desenvolvimento local, à medida que, se entende ambas, como estratégias importantes para a constituição da mulher enquanto um sujeito coletivo capaz de romper com a invisibilidade e empoderar-se, no sentido de se tornar protagonista de sua própria história. Ressaltou-se importantes momentos de lutas e resistências femininas em torno de igualdade de direitos, geração de renda e participação na vida pública. Nesse sentido, a ênfase das organizações e movimentos sociais aos quais essas mulheres estiveram/estão articuladas foi importante para compreender de que forma elas foram galgando seu espaço de representação política em nível local, regional e nacional, ou seja, demonstrando novas práticas sócio-econômicas e político-culturais em que se tornaram referências e alteram a realidade do seu papel na sociedade contemporânea. Por fim, realçou-se que essa construção em Igarapé-Miri foi/é de muitas lutas, e, por conseguinte, conflitos que se expressam em âmbito familiar e de trabalho evidenciando desigualdades existentes e, muitas vezes, escamoteadas. Esta pesquisa traz para o debate os princípios de economia solidária, enquanto ambiente propício ao empoderamento das mulheres, de estratégia para um desenvolvimento local e de visibilidade pública para essas mulheres.

O movimento negro mineiro e a esfera pública: desafios e perspectivas para um Fórum Intergovernamental de promoção da igualdade racial

Pós-graduação em Ciências Sociais - FCLAR

As Políticas Públicas para a promoção da igualdade racial no contexto de Presidente Prudente

This work aims at presenting the historical and social path traversed in Brazil since slavery until the implementation of affirmative public policies to promote racial equality, at the local level, in the municipality of Presidente Prudente-SP. Therefore, the starting point was the equal rights guaranteed by the Constitution. As a result, there was a brief historical path of national trajectory, starting from slavery to the so-called cordial racism, seeking to demonstrate the route of racial discrimination in the country. Later, we made notes about the necessity and debate on public policy statements of various fields, were made explicit in the text and the articles of the Constitution which prescribe the crime of racism and some of the situations that were highlighted in the national media. The focus in the city of Presidente Prudente was through historical research, interviews, photographic records and documents that informed about the presence of black people in the city. From these data, based on previous research, it was possible to trace the formation and development of the Black Movement in the city and thus point the way to the formation of this City Council for Racial Equality and the need for application of affirmative action policies for the municipality by hereby. Data from the 2000 Census and 2010 indicate the demand of Presidente Prudente as the percentage of blacks self-declared grew this decade. The main demands are paring the areas of Health since the rate of black women Administrative Region (RA) of Presidente Prudente who die in puerperium and high; Education through enhanced, by the Municipal Education Law No. 10,639, and due attention to african-Brazilian culture by respecting the religious manifestations of African origin among others... (Complete abstract click electronic access below)

(Des)igualdades de Género nas Organizações de Trabalho: o caso de uma autarquia local

Em Portugal, cerca de duas centenas de organizações estão empenhadas a criar e implementar Planos para a igualdade de homens e mulheres. Entre elas estão empresas públicas e privadas, autarquias, associações empresariais, organizações do setor terciário, associações de desenvolvimento, universidades, ministérios e outros departamentos governativos. A pesquisa que aqui se expõe inscreveu-se num projeto mais amplo de diagnóstico em realização na Câmara Municipal da Lousã, que se encontra a promover um Plano Municipal para a Igualdade. Nesse âmbito mostrou-se necessário fazer um diagnóstico interno à organização com uma perspetiva de género, quer em termos de desigualdades de género na composição e situação dos seus efetivos quer de forma a conhecer as representações das pessoas que trabalham na autarquia, em torno do fenómeno da (des)igualdade de mulheres e homens. Para a sua realização foi feita análise estatística a dados fornecidos pela organização, e aplicou-se um inquérito por questionário ao pessoal ao serviço da autarquia. Concluiu-se que estamos na presença do fenómeno da desigualdade em função do sexo na estrutura da organização traduzida pela segregação ocupacional e segregação vertical, sendo os homens que apresentam os maiores níveis de antiguidade, que justificarão, de certa forma, as disparidades salariais existentes. Confirmamos uma dualidade entre o ideal de mulher como mãe e dona-de-casa e o de mulher como pessoa independente, especialmente quando são evocadas as consequências da sua atividade profissional sobre os/as filhos/as e a vida familiar. O papel de cuidar surge assim como o obstáculo a conceções menos tradicionalistas e individualizadoras da identidade feminina que nos remete para uma mudança na atribuição do lugar social de homens e mulheres dentro e fora da família. Sobressai a valorização e enfatização da maternidade e do cuidado das crianças na identidade feminina; ao passo que aos homens se atribui uma maior valorização da atividade profissional. Esta constatação comprova a ambivalência e dicotomia de valores e atitudes entre uma fuga à convencional polarização entre papéis “masculinos” e “femininos” rígida e estereotipadamente definidos. / In Portugal, about two hundred organizations are committed to create and implement plans for men and women’s equality. These include public and private companies, local authorities, business associations, third sector organizations, development associations, universities, ministries and other governmental departments. The research exposed here is part of a broader diagnostic project taking placa in the City Hall, of Lousã which is promoting a Municipal Plan for Equality. In this context it was necessary to make an internal diagnosis to the organization from a perspective of gender, either in terms of gender inequalities in the composition and status of their workers or in order to know the workers representations around the phenomenon of women and men’s equality. To make it passible the organization provided statistical data which was analysed and subsequentaly a questionnaire was applied to the municipality staff. We concluded that there is the phenomenon of gender inequality in the structure of the organization namely occupational/professional segregation and vertical segregation, - men having the highest levels of seniority, which may justify in some way the existing wage gap. The study confirms a duality between the ideal of woman as a mother and housewife and the woman as an independent person, especially when the consequences suggested are related to their professional activity on their children and life family. The role of caring emerges as the obstacle to less traditionalist conceptions of female identity and individualization, which leads us to talk about a change of the social position of men and women within and outside the family. It points out the valuation and emphasizing of motherhood and care in female identity, whereas men are given a greater appreciation of the professional activity. This conclusion confirms the ambivalence and dichotomy of values and attitudes between escape from the conventional polarization between rigid and stereotypically defined roles of "male" and "female".

A Universidade, a massificação, a pós-massificação, o(a) estudante universitário(a) local, as novas prioridades da Universidade, o currículo universitário

A Universidade está, na actualidade, confrontada com um dos seus maiores desafios da história contemporânea: a chegada à universidade de um número crescente de estudantes, com perfis muito diferentes daquele que encontrávamos nos estudantes mais tradicionais, com novas prioridades, no âmbito da sua qualificação, e procurando concretizar, na universidade, não só a sua qualificação académica, mas também, terem oportunidade de viver um dos períodos mais importantes das suas vidas: a juventude. Neste contexto, a universidade encontra-se perante um enorme desafio: acolher, no seu seio, um número crescente de indivíduos, assegurando, em simultâneo, uma qualidade da qualificação, que, no fundo, se traduza em verdadeira igualdade de oportunidades para aqueles que acedem à universidade.