Made available in DSpace on 2014-06-12T15:52:59Z (GMT). No. of bitstreams: 2 arquivo4837_1.pdf: 1490840 bytes, checksum: 1e2239b5952d87633b8a93c565229e3e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A reestruturação de programas no contexto da orientação a objeto é também conhecida como refactoring e consiste em mudanças na estrutura interna de um software, sem modificar seu com portamento externo, a ¯m de melhorar sua legibilidade e torn¶a-lo mais f¶acil de passar por futuras mudan»cas. Na pr¶atica, refactoring baseia-se em compila»c~ao e testes para assegurar a preserva»c~ao do comportamento. Trabalhos como os de Opdyke e Roberts foram realizados com vistas µa formaliza»c~ao de refac- torings por meio da identi¯ca»c~ao de condi»c~oes que devem ser satisfeitas para assegurar que uma mudan»ca num programa preserva o comportamento do mesmo. As condi»c~oes, geralmente escritas na linguagem do c¶alculo de predicados, s~ao introduzidas como pr¶e e p¶os-condi»c~oes dos refactor- ings. Outras abordagens para a prova de preserva»c~ao do comportamento de refactorings usam formalismos como an¶alise conceitual e reescritura de grafos. Contudo, n~ao h¶a t¶ecnica alg¶ebrica que apresente refactorings como transforma»c~oes que preservam o comportamento, com prova deste fato. Nossa principal contribui»c~ao constitui-se na apresenta»c~ao de refactorings como transforma»c~oes de programas escritos em rool (Re¯nement object-oriented Language), uma linguagem baseada em Java, com classes, controle de visibilidade, liga»c~ao din^amica, e recurs~ao. A linguagem rool permite que raciocinemos sobre programas orientados a objetos e especi¯ca»c~oes, pois a mesma une estas constru»c~oes como no c¶alculo de re¯namentos de Morgan. A sem^antica de rool ¶e baseada em weakest preconditions. Um conjunto de leis de programa»c~ao est¶a dispon¶³vel tanto para os comandos imperativos de rool quanto para construtores relacionados µa orienta»c~ao a objetos. A prova, na sem^antica de rool, de que tais leis s~ao corretas, ¶e tamb¶em uma contribui»c~ao do presente trabalho. Apresentamos refactorings como regras alg¶ebricas de re¯namento envolvendo programas. A prova da preserva»c~ao do comportamento ¶e realizada pela aplica»c~ao de leis de programa»c~ao a um lado da regra a ¯m de obtermos o lado oposto. N¶os generalizamos a t¶ecnica padr~ao de re¯namento de dados a ¯m de lidar com hierarquia de classes. Neste trabalho tamb¶em apresentamos como obter um sistema estruturado segundo um padr~ao de projeto, por meio da aplica»c~ao de regras de refactoring. Padr~oes de projeto constituem-se num objetivo natural para a realiza»c~ao de transforma»c~oes por meio da aplica»c~ao de refactorings. Trabalhos presentes na literatura sobre padr~oes de projeto que prop~oem a formaliza»c~ao dos mesmos, em geral, concentram-se em suas descri»c~oes formais, n~ao na transforma»c~ao de um sistema com vistas a estrutur¶a-lo de acordo com padr~oes de projeto. Tamb¶em apresentamos a transforma»c~ao de uma aplica»c~ao monol¶³tica para uma aplica»c~ao estruturada segundo um padr~ao arquitetural.

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4503_1.pdf: 1699387 bytes, checksum: a380c2efc65af0dc41d98e1aec5f4fba (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / O desenvolvimento orientado a agentes é recente, no entanto, este novo paradigma de desenvolvimento de software tem sido utilizado cada vez mais em aplicações industriais, tais como telecomunicações e comércio eletrônico. Entre as principais preocupações para a consolidação desse novo paradigma, destacamos a necessidade de metodologias, técnicas, notações e ferramentas adequadas para suportar o desenvolvimento de sistemas orientados a agentes. Neste sentido, o projeto Tropos está desenvolvendo uma abordagem de desenvolvimento orientado a agentes centrada em requisitos que visa suportar todas as fases do desenvolvimento de software orientado a agentes. A metodologia Tropos define cinco fases de desenvolvimento de software: Requisitos Iniciais, Requisitos Finais, Projeto Arquitetural, Projeto Detalhado e Implementação. No entanto, Tropos não define atividades relacionadas ao rastreamento dos requisitos necessárias para identificar, por exemplo, a origem destes no sistema, quem os identificou e porquê eles foram incluídos no documento de requisitos. A atual versão de Tropos também não identifica como os artefatos gerados em cada uma das fases da metodologia estão relacionados com os requisitos. Uma extensão da metodologia Tropos para tratar de forma adequada a questão do rastreamento de requisitos proporcionará muitos benefícios, pois não apenas permitirá um melhor atendimento aos requisitos do cliente, como também apoiará a avaliação do impacto de mudanças solicitadas (mesmo antes das suas implementações no sistema). Como resultado haverá uma melhoria na qualidade do software em desenvolvimento em decorrência da melhoria do processo de desenvolvimento o que levará a redução de tempo e custo da manutenção do software. Diante do exposto, propomos nessa dissertação, a utilização de um processo para elaboração de um modelo de rastreamento de requisitos a fim de incluir as atividades de rastreamento de requisitos na metodologia Tropos. A proposta será validada através da elaboração de um estudo de caso que utiliza a metodologia Tropos para o desenvolvimento de um sistema de software multiagentes para uma aplicação de comércio eletrônico

Made available in DSpace on 2018-08-01T23:40:26Z (GMT). No. of bitstreams: 1 tese_12100_Dissertacao - Murilo Zamboni.pdf: 1952203 bytes, checksum: bf947c10ffd69ddff6dd15cc17b89bf1 (MD5) Previous issue date: 2018-04-20 / As atuais cadeias de suprimentos são redes globais complexas que favorecem os eventos interruptores que podem afetar não só uma empresa, mas diversos membros de sua cadeia. Ocorre que algumas cadeias possuem a habilidade de retornar de forma mais célere do que outras ao seu estado normal, ou melhorar após a ocorrência desses eventos, emergindo daí os estudos e a essencialidade do tema resiliência em cadeias de suprimentos. Embora alguns modelos tenham sido desenvolvidos para explicá-la, o presente estudo considera trabalhos anteriores capazes, mas insuficientes, já que ignoram a interdependência entre as capabilidades que resultam em resiliência, ignoram o papel da orientação analítica nesse cenário cada vez mais incerto, bem como adotam dimensões além da recuperação para operacionalizar o construto. Nesse sentido, o principal objetivo deste estudo foi verificar se o desenvolvimento de um pacote de capabilidades em resiliência (colaboração, visibilidade, flexibilidade e orientação analítica) e o gerenciamento de riscos em cadeias de suprimentos resultam na resiliência em cadeias de suprimentos. De forma complementar, buscou-se contribuir com uma melhor compreensão acerca do construto resiliência em cadeias de suprimentos, além de verificar o impacto do pacote de capabilidades proposto na gestão de riscos. Para tal, um questionário online foi aplicado a profissionais-chave de indústrias de diferentes portes e setores da Região Sudeste, obtendo-se 143 respostas. Após a coleta, os dados foram analisados por meio da modelagem de equações estruturais no software Smart-PLS. Os resultados apontam que o pacote de capabilidades em resiliência impacta positivamente a resiliência em cadeias de suprimentos; por outro lado, o mesmo não se pode dizer da relação entre gerenciamento de riscos e resiliência. De modo geral, o modelo testado foi capaz de explicar 14,50% da variação na resiliência em cadeias de suprimentos e 31,40% da variação na gestão de riscos em cadeias de suprimentos. Ademais, contribuiu-se para a ampliação da discussão acerca do construto resiliência em cadeias de suprimentos. Palavras-chave: Resiliência em cadeias de suprimentos. Orientação analítica. Colaboração. Flexibilidade. Visibilidade. Gestão de riscos.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-10-03T20:16:43Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Silvana Mara de Morais dos Santos.pdf: 3052624 bytes, checksum: 86a2debd371428b80d0384c427ae133d (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-14T16:16:36Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Silvana Mara de Morais dos Santos.pdf: 3052624 bytes, checksum: 86a2debd371428b80d0384c427ae133d (MD5) / Made available in DSpace on 2018-11-14T16:16:36Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Silvana Mara de Morais dos Santos.pdf: 3052624 bytes, checksum: 86a2debd371428b80d0384c427ae133d (MD5) Previous issue date: 2005-08-31 / Este trabalho analisa o pensamento das esquerdas sobre as formas de opressão com o objetivo de apreender a direção social contida nas reivindicações, táticas e formas de luta dos sujeitos que atuam na defesa da liberdade de orientação sexual no Brasil, no período de 1988-2005. As fontes de pesquisa que serviram de referência foram: (a) documentos, tais como relatórios; resoluções e textos produzidos no universo dos partidos políticos e de entidades que aglutinam a militância e definem as prioridades da luta; (b) entrevistas com militantes e dirigentes das entidades que reivindicam a liberdade de orientação sexual e a identidade de gênero e (c) inúmeros contatos oriundos de oficinas com segmentos de gays, lésbicas, bissexuais, travestis e transexuais (LGBT) que facilitaram a compreensão das dificuldades, limitações e desafios políticos por eles enfrentados. O estudo leva à reflexão sobre os entraves à realização da liberdade de orientação sexual e seus resultados permitem considerar que: (a) a esquerda democrática, composta por diferentes sujeitos coletivos e tendo no PT a principal referencia partidária, formou seu pensamento, que, seguindo tendência mundial, absorveu demandas sobre o antirracismo, a igualdade nas relações sociais e patriarcais de gênero e a liberdade de orientação sexual na perspectiva de superar o economicismo da esquerda tradicional; (b) ao atuar, prioritariamente, na luta pela conquista da igualdade de oportunidades, segmentos expressivos da esquerda se submete a um projeto de conciliação de classe e altera sua intervenção e a própria filosofia política referente a um projeto político radicalmente de esquerda. Ou seja, passa a compreender as relações sociais sem considerar as mediações de classe, diluindo as diferenças entre projetos societários; (c) os sujeitos coletivos que atuam na defesa da liberdade de orientação sexual questionam o Estado de direito e mostram que os segmentos não heterossexuais enfrentam formas variadas de violência e não têm acesso aos direitos; (d) a população LGBT vivencia sua orientação sexual como expressão de identidade e opressão;(e) suas principais reivindicações referem-se à luta contra manifestações da violência, pela garantia dos direitos humanos, notadamente direitos civis, especialmente, o direito à união civil e à livre expressão da sua orientação sexual e acesso aos direitos sociais. Apesar de algumas conquistas, permanecem o tratamento desigual, o preconceito e a discriminação contra a homossexualidade porque a sociabilidade do capital incorpora diferenças, de modo mercantil, em explícita oposição à cultura política de valorização da diversidade humana e sexual e à realização da igualdade e da liberdade substantivas. / This paper analyzes left thinking about forms of oppression in order to understand the social direction contained in the demands, tactics and forms of struggle of the individuals who defend the freedom of sexual orientation in Brazil in the period 1988-2005. The sources of research that served as reference were: (a) documents, such as reports; resolutions and texts produced in the universe of political parties and entities that agglutinate militancy and define the priorities of the struggle; (b) interviews with activists and leaders of entities claiming freedom of sexual orientation and gender identity; and (c) numerous contacts from workshops with lesbian, gay, bisexual, transvestite and transgender (LGBT) segments that facilitated understanding the political difficulties, constraints and challenges they face. The study leads to the reflection on the obstacles to the realization of the freedom of sexual orientation and its results allow to consider that: (a) the democratic left, composed of different collective subjects and having in the PT the main party reference, formed its thinking, which, following has absorbed demands on anti-racism, equality in social and patriarchal gender relations and freedom of sexual orientation with a view to overcoming the economism of the traditional left; (b) acting primarily in the struggle for equality of opportunity, expressive segments of the left submit to a project of class reconciliation and change their intervention and political philosophy itself regarding a radical left-wing political project. That is, it begins to understand social relations without considering class mediations, diluting the differences between social projects; (c) collective actors who advocate for freedom of sexual orientation question the rule of law and show that non-heterosexual segments face varying forms of violence and do not have access to rights; (d) the LGBT population experiences its sexual orientation as an expression of identity and oppression; (e) its main demands relate to the fight against manifestations of violence, the guarantee of human rights, notably civil rights, especially the right to civil union and the free expression of their sexual orientation and access to social rights. Despite some achievements, unequal treatment, prejudice and discrimination against homosexuality remain, because the sociability of capital incorporates differences, in a commercial way, in explicit opposition to the political culture of valuing human and sexual diversity and achieving equality and freedom.

Uma linguagem orientada ao problema de projeto estrutural de edifícios e a correspondente estrutura de armazenamento de dados são apresentados, como núcleo principal do sistema PROADE. Objetiva-se assim permitir ao engenheiro estrutural descrever o problema em termos correntes de Engenharia, organizandose os dados recebidos para posterior análise e dimensionamento da estrutura. São discutidos o problema PROADE e os dados correspondentes, seguidos pela descrição das estruturas de armazenamento de dados do sistema. A seguir, define-se a linguagem PROADE e finalmente apresenta-se a organização do sistema PROADE. / A problem oriented language for the structural design of buildings is presented, as well as the corresponding data-storage structures, working as the kernel of the PROADE system. Its purpose is to aid the structural engineer in the description of the problem using standard engineering terms. The data provided are organized for further analysis and dimensioning of the building structure. The PROADE problem and related data are discussed, followed by the description of data storage structures and the definition of the PROADE language. Finally, the PROADE system organization is presented.

Orientador: Elizabeth Nogueira Gomes da Silva / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-02T03:54:00Z (GMT). No. of bitstreams: 1 Freitas_MariadeFatimaVazde_M.pdf: 1050469 bytes, checksum: bf3098289d16d0707ed858ca38bb27cf (MD5) Previous issue date: 2002 / Mestrado

Orientador: Clesio Luis Tozzi / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T21:31:48Z (GMT). No. of bitstreams: 1 Galo_Mauricio_D.pdf: 6166686 bytes, checksum: 43d84478a2a3cf196a4f69c9626e9240 (MD5) Previous issue date: 2003 / Resumo: Um dos problemas mais pesquisados nas áreas de Visão Computacional e Fotogrametria é o da correspondência ou matching de imagens. Este interesse se deve à dificuldade de obtenção de uma solução robusta, uma vez que este problema é malcondicionado. Na medida que se dispõe de seqüências de imagens adquiridas em situações em que se têm convergência, rotação e diferença de escala entre as imagens, a dificuldade aumenta. Deste modo, neste trabalho é proposta uma solução automática da orientação relativa bem como da correspondência de pontos, a partir do procedimento de rotulação por relaxação, para o caso em que são utilizados pares de imagens sujeitas a estes fatores. No algoritmo de rotulação por relaxação proposto, são consideradas múltiplas métricas, tanto no caso do cálculo da similaridade quanto da compatibilidade entre os pares de candidatos à correspondência. Dentre os aspectos que contribuem para a solução pode-se considerar o uso de métricas baseadas em relações angulares numa vizinhança do espaço de primitivas e a injunção epipolar, via o volume do Paralelepípedo de Matching - PM. O uso desta última métrica é possível uma vez que se tem uma estimativa da orientação relativa, sendo mostrado que o volume do PM tem relação com a geometria epipolar e, deste modo, o uso desta métrica evita que sejam obtidas as equações das linhas epipolares conjugadas, bem como o cálculo da distância entre os pontos candidatos às possíveis linhas epipolares. Experimentos com imagens sintéticas e reais indicam que mesmo para situações em que se têm diferenças de escala, rotação e convergência, tanto a orientação relativa é recuperada quanto a maior parte das correspondências são encontradas / Abstract: One of the main research subject in Computer Vision and Photogrammetry is the correspondence problem or image matching. The interest in this subject can be justified once it is considered as an ill-posed problem, and a robust solution is difficulty to be found. In the case where the images are not in a normal disposition, i.e., affected by convergence, rotation and scale difference, the difficulty is even increased. 80, in this work an approach based on relaxation labeling is proposed, where the relative orientation and points correspondences are automatically solved for non-normal pairs of images. In the proposed algorithm, multiples metrics are considered on both, similarity and compatibility computation. Among the metrics used, one of them is the angular relation between the neighborhood at primitive space, and epipolar constraints, via the volume of Matching Parallelepiped - MP. The volume of the MP can be computed when the relative orientation is available, and it was shown that the MP volume is related to the epipolar geometry. Therefore, it is not necessary to compute the epipolar line equations and distances between the candidates to the epipolar lines. Experiments with synthetic and real images indicate that even for situations where scale differences, rotation and convergence are presented, the relative orientation parameters are recovered and most of the correspondences are correctly found / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador : Luiz Carlos de Freitas / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-14T02:11:50Z (GMT). No. of bitstreams: 1 Miranda_HeideStruziatto_M.pdf: 10107015 bytes, checksum: 5471618276bee85bfdfb97a784200b0a (MD5) Previous issue date: 1992 / Resumo: Este estudo pretende apresentar uma experiência com as disciplinas ¿Didática e Prática de Ensino¿ e ¿Estágio Supervisionado¿, nas quais houve a preocupação de resgatar elementos da prática pedagógica do professor de 1º a 4º séries do 1º grau e, a partir desses elementos, construir nosso caminho. Os elementos retirados da prática pedagógica foram resgatados através do estágio de observação das nossas alunas, que ao voltarem para a sala de aula (aulas de Didática), discutiam e reorganizavam esses elementos na tentativa de avançar e superar as falhas observadas. Essas constatações da necessidade de avanço no trabalho cotidiano na sala de 1º a 4º séries do 1º grau sugerem mudanças no conteúdo e formas de se trabalhar. A disciplina ¿Didática e Pratica de Ensino¿ sugere alternativas para a organização de propostas de trabalho a serem desenvolvida no estágio de regência. O contato com o trabalho do professor nos levou à busca de fundamentação (quer nas aulas de Didática e Prática de Ensino¿ quer na ¿Supervisão de Estágio¿) o que nos indicou caminhos de mudanças que foram concretizados. A experiência aqui relatada foi construída a partir da unidade prática teoria prática e não pretende ser um modelo a ser seguido, mas tem por objetivo das uma contribuição a todos aqueles que estão interessados na formação do professor primário. O Estudo não se fecha em recomendações, mas mostra a necessidade e a possibilidade de mudanças na habilitação especifica de Magistério / Mestrado / Metodologia do Ensino / Mestre em Educação

Orientador : Jose Camilo dos Santos Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-14T02:39:56Z (GMT). No. of bitstreams: 1 Ludwig_AntonioCarlosWill_D.pdf: 30224815 bytes, checksum: 7c20def195cba3787b4ef0a1510035b5 (MD5) Previous issue date: 1992 / Doutorado

Orientador : Fermino Fernandes Sisto / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-14T10:58:13Z (GMT). No. of bitstreams: 1 Feltran_ReginaCeliadeSantis_M.pdf: 11173514 bytes, checksum: 04ce1f620dfb11c881f3af816f26cb60 (MD5) Previous issue date: 1981 / Mestrado