Definição, classificação, propriedades e exemplos básicos da teoria de superálgebras conformes e módulos conformes. / Definition, classification, properties and basic examples about conformal superalgebras and conformal modules.

Este trabalho analisa a influência das representações do diálogo gênero/ciência presentes na Cultura das Histórias em Quadrinhos de Super-Heróis na construção da identidade de gênero de seus consumidores. Utilizando bases da semiótica , buscamos compreender seus efeitos na construção da identidade de gênero e na relação que seus consumidores desenvolvem com a aprendizagem e o conhecimento das Ciências: em sua origem, os Quadrinhos representavam uma mídia de entretenimento descompromissado, fortemente ligado ao desenvolvimento cultural e econômico de sua sociedade de origem, mas no decorrer dos últimos anos do século XX e início do XXI, seus personagens evoluíram e passaram a convergir entre as muitas mídias de entretenimento disponíveis em nossa sociedade, que passaram a transmiti-los como produto, acompanhados de um discurso carregado por ideologias e valores sociais. Nossa pesquisa iniciou a partir de uma investigação das teorias dos Estudos Culturais e das questões de Gênero, seguida pelo levantamento histórico da origem da Cultura dos Quadrinhos de Super-Heróis até seu ponto focal: a publicação das aventuras dos dois primeiros super-heróis de cada gênero, Superman e MulherMaravilha, uma concepção binária. Com essa base teórica, desenvolvemos uma série de intervenções informais em um ambiente formal, sob a forma de oficinas ministradas a alunos de uma EMEF de tempo integral, no contra turno de suas aulas. A análise do material envolveu o uso de elementos da Semiótica de Greimas e da técnica DAST desenvolvida por Chambers (1983). Os resultados permitem concluir uma forte relação entre as representações de gênero e a propagação de estereótipos masculinos de cientistas na Cultura dos Quadrinhos de Super-Heróis. Indo além, este conhecido universo narrativo de predominância masculina se baseia da interpretação binária para gênero, estabelecendo uma ligação entre os atributos masculino/feminino e um conjunto de valores, no qual a Ciência é ligada somente ao masculino. Ao final, concluímos que a Cultura dos Quadrinhos de Super-Heróis desempenha um papel importante na formação da identidade de gênero de seus consumidores. / This Thesis analyses the dialogue between gender / science representations in the Superheroes Comic Book Culture, starting from a semiotic study, to understand its effects on the construction of gender identity of its consumers and the vision they develop about learning and doing Science. In its origin, the Comic Books was an uncompromising entertainment media, with a strong link to the cultural and economic development of its society, present in their narratives. During the last years of the XX century and the arrival of the XXI, its characters evolved and converged between many media platform that become present in our society, thus making their speech, fulfilled with ideologies and social values, kind of omnipresent. Our research started with an investigation about how the Cultural Studies and Gender theories can be applied over the Culture of Comics of Superheroes, chasing its focal point: the publication of the adventures of the first two binary superheroes, Superman and Wonder-Woman. From this theoretical basis, we developed a series of informal interventions in a formal learning space, workshops that was ministered to students of a full-time School. The analysis of our data has been made using elements of the Greimas Semiotics and the Chambers (1983) DAST technique. Our results allow to conclude a strong relationship between gender representations and the propagation of scientists stereotypes in the Culture of Superheroes. Going further, this well-known narrative universe of masculine predominance bases itself on a binary gender interpretation, establishing a connection between masculine / feminine attributes and a set of values, in which Science is viewed as a masculine field of knowledge, acting as an important player in the formation of the gender identity of its readers.

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-06-24T14:39:16Z No. of bitstreams: 1 Dissertação - Bianca Ladislau Abecassis.pdf: 2268449 bytes, checksum: 34d5216434f218ef401cf5a960610dcd (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-25T13:40:38Z (GMT) No. of bitstreams: 1 Dissertação - Bianca Ladislau Abecassis.pdf: 2268449 bytes, checksum: 34d5216434f218ef401cf5a960610dcd (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-25T15:18:24Z (GMT) No. of bitstreams: 1 Dissertação - Bianca Ladislau Abecassis.pdf: 2268449 bytes, checksum: 34d5216434f218ef401cf5a960610dcd (MD5) / Made available in DSpace on 2015-06-25T15:18:24Z (GMT). No. of bitstreams: 1 Dissertação - Bianca Ladislau Abecassis.pdf: 2268449 bytes, checksum: 34d5216434f218ef401cf5a960610dcd (MD5) Previous issue date: 2011-10-13 / Outras / The growing population of elderly is a worldwide phenomenon, in which many are also older, due to advances in medical technology that enable man to live longer but not a guarantee of quality of life for everyone, because many older, having to struggle with poor with his family to survive. With the increase in life expectancy, older age, those over 80 years, begin to demand for care by performing basic activities of daily living, the incidence of chronic diseases, making them dependent. The family have been going through a remarkable transformation, from the inclusion of women in the labor market, among other factors, causing a reduction in their size, number of emerging models of family and specific demands. The majority of Brazilian families are responsible for the care of their elders, but without any guidance and training, few can still hire a professional caregiver support and formal care. From this perspective, as to the overall goal, we sought to analyze the working conditions of caregivers of frail elders in Manaus. The specific goals: identify who are the caregivers and the frail elderly; describe the activities performed by caregivers in households consider whether working conditions affect their health, causing interference in the practice of caring. The methodology was quanti nature and the case study method. The techniques: documentary research, interviews and use the recorder. Of the total of 248 caregivers identified 08 graduates in 2008, these 05 agreed to participate. The inclusion criteria were consent to participate in the interview as a volunteer, 2) be caring for frail elderly independent of the type of health problem, 3) work at home. As for the exclusion criteria: 1) refused to participate in the interview 2) work in health units, long-term institution or family caregiver. Script was applied semi-structured interview with 05 caregivers and 01 questionnaire to municipal management policy for the elderly, totaling 06 subjects, that after collecting the data we analyze the speeches. Results: The formal caregivers are only women in the group envelhecentes that serve the elderly of middle and upper classes who lived in the north, considered the exploitation of precarious workers activities not covered by its function, with no recognition and appreciation of family, low wages, for not being officially recognized as professionals. The activities are to support the basic activities of daily living autonomy and independence for the elderly. Due to the intense day of work with formal employment contract or not, and no family support to these caregivers, are overloaded, accumulate stress, taking care to leave for work for fear of losing their jobs and the link with the elderly, also by requiring health care and assistance. The role of formal caregiver needs to be recognized as a profession, for the family, the state and society can monitor these services, to provide a skilled care for the elderly at home, significantly reducing gender discrimination, as well as providing better. / O crescimento da população de idosos é um fenômeno mundial, em que muitos também estão envelhecendo, devido aos avanços da tecnologia médica que permitem o homem viver mais, mas não é garantia de qualidade de vida para todos, pois muitos envelhecem pobres tendo que lutar junto com a sua família para sobreviver. Com o aumento na expectativa de vida, os idosos de idade avançada, os acima de 80 anos, passam a demandar por cuidados para realização das atividades básicas de vida diária, pela incidência de doenças crônicas, tornando-se dependentes. A família vêm passando por notáveis transformações, a partir da inserção da mulher no mercado de trabalho, entre outros fatores, ocasionando a redução do seu tamanho, surgindo vários modelos de família e com demandas específicas. A maioria das famílias brasileiras é responsável pelos cuidados dos seus idosos, mas sem nenhuma orientação e treinamento, poucos ainda podem contratar um profissional o cuidador formal para prestar apoio e cuidados. Nessa perspectiva, quanto ao objetivo geral, buscou-se analisar em que condições trabalham os cuidadores de idosos fragilizados nos domicílios em Manaus. Quanto aos objetivos específicos: identificar quem são os cuidadores formais e os idosos fragilizados; descrever as atividades desenvolvidas pelos cuidadores; analisar se a atuação profissional dos cuidadores nos domicílios estão de acordo com o que aprenderam no curso de formação. A metodologia foi de natureza quantiqualitativa e o método utilizado foi o estudo de caso, em que realizamos a análise das falas e dos depoimentos, numa perspectiva crítica da realidade possibilitado através do contato direto com as trabalhadoras. Do total de 248 cuidadores formados em 2008 identificamos 08, destes 05 aceitaram participar. Os critérios de inclusão foram: aceitar participar da entrevista como voluntária; 2) estar cuidando de idosos fragilizados independente do tipo de agravo de saúde; 3) atuar em domicílio. Quanto ao critério de exclusão: 1) não aceitar participar da entrevista 2) atuar em unidades de saúde, instituição de longa permanência ou ser cuidador familiar 3) Falecimento do idoso. Aplicou-se roteiro de entrevista semi-estruturada às 05 cuidadoras e 01 questionário à gestora municipal da política do idoso, totalizando 06 sujeitos, que após a coleta dos dados analisamos as falas. Resultados: As cuidadoras formais são exclusivamente mulheres do grupo envelhecentes, que atendem idosos de classes média e alta, residentes na zona Norte, consideradas trabalhadoras precarizadas pela exploração de atividades não contempladas a sua função, com não reconhecimento e valorização da família, mal remuneradas, por ainda não serem oficialmente reconhecidas como profissionais. As atividades desenvolvidas são para dar apoio às atividades básica de vida diária para autonomia e independência da pessoa idosa. Devido à intensa jornada de trabalho com contrato de trabalho formal ou não, e ausência de apoio da família a esses cuidadores, ficam sobrecarregadas, acumulam estresse, deixam de se cuidar em função do trabalho por medo de perder o emprego e o vínculo com o idoso, demandando também por cuidados de saúde e assistência. A função de cuidador formal precisa ser reconhecida como profissão, para que a família, o Estado e a sociedade possam fiscalizar esses serviços, para propiciar um atendimento qualificado aos idosos em domicílio, reduzindo significativamente a discriminação de gênero, bem como proporcionar melhor remuneração.

O objetivo deste trabalho é apresentar o modelo dos autômatos adaptativos de segunda ordem e mostrar a forte conexão desse modelo com o aprendizado indutivo no limite. Tal modelo é definido com a utilização de um conjunto de transformações sobre autômatos finitos não - determinísticos e a conexão com o aprendizado no limite á estabelecida usando o conceito de mutação composta, onde uma hipótese inicial dá início ao processo de aprendizagem, produzindo, após uma sequência de transformações sofridas por essa primeira hipótese, um modelo final que é o resultado correto do aprendizado. Será apresentada a prova de que um autômato adaptativos de segunda ordem, usado como um aprendiz, pode realizar o processo de aprendizado no limite. O formalismo dos autômatos adaptativos de segunda ordem é desenvolvido sobre o modelo dos autômatos adaptativos de primeira ordem, uma extensão natural do modelo dos autômatos adaptativos clássicos. Embora tenha o mesmo poder computacional, o autômato adaptativo de primeira ordem apresenta uma notação mais simples e rigorosa que o seu antecessor, permitindo derivar novas propriedades. Uma dessas propriedades é justamente sua capacidade de aprendizado. Como consequência, o modelo dos autômatos adaptativos de segunda ordem aumenta a expressividade computacional dos dispositivos adaptativos através da sua notação recursiva, e também através do seu potencial para o uso em aplicações de aprendizado de máquina, ilustrados nesta tese. Uma arquitetura de aprendizado de máquina usando os autômatos adaptativos de segunda ordem é proposto e um modelo de identificação no limite, aplicado em processos de inferência para linguagens livre de contexto, é apresentado. / The purpose of this work is to present the second-order adaptive automaton under an transformation automata approach and to show the strong connection of this model with learning in the limit. The connection is established using the adaptive mutations, in which any hypothesis can be used to start a learning process, and produces a correct final model following a step-by-step transformation of that hypothesis by a second-order adaptive automaton. Second-order adaptive automaton learner will be proved to acts as a learning in the limit. The presented formalism is developed over the first-order adaptive automaton, a natural and unified extension of the classical adaptive automaton. First-order adaptive automaton is a new and better representation for the adaptive finite automaton and to also show that both formulations the original and the newly created have the same computational power. Afterwards both formulations show to be equivalent in representation and in computational power, but the new one has a highly simplified notation. The use of the new formulation actually allows simpler theorem proofs and generalizations, as can be verified in this work. As results, the second-order adaptive automaton enhances the computational expressiveness of adaptive automaton through its recursive notation, and also its skills for the use in machine learning applications were illustrated here. An architecture of machine learning to use the adaptive technology is proposed and the model of identification in limit applied in inference processes for free-context languages.

Uma sequência de imagens de satélite climático é processada aplicando-se um conjunto de operações de filtros, no intuito de extrair padrões de comportamento das nuvens. Caracteres são criados a partir deste tratamento e suas transições são investigadas, explorando a possibilidade de justificar suas ocorrências através de linguagens formais e linguagens bidimensionais, definindo suas gramáticas. Com esta contagem de transições, uma análise de sua forma fractal é iniciada e um paralelo com outras contagens estabelecida, como uma forma de estruturar um modelo computacionalmente menos complexo de prever o tempo, ou o comportamento de qualquer entidade dinâmica que possa ser discretizada. Com estas investigações e experiências, foi possível diminuir a quantidade de símbolos utilizados para justificar as formas das nuvens, bem como criar classes de equivalências para representar conjuntos de símbolos que compartilham as mesmas propriedades, diminuindo ainda mais a complexidade da gramática que se espera encontrar. / A sequence of weather satellite images are processed by applying a set of filtering operations in order to extract the behavior patterns of clouds. Characters are created from this treatment and their transitions are investigated by exploring the possibility of justifying their occurrence across formal languages and two-dimensional languages, defining their grammar. With these count transitions an analysis of their fractals starts and counts a parallel with others established as a way to structure a model less computationally complex to predict the weather, or the behavior of any dynamic entity that could be discretized. With these investigations and experiments, it was possible to reduce the number of symbols used to explain the shapes of clouds and create equivalent classes to represent the symbol sets that share the same properties, further reducing the complexity of the grammar expected to be found.

Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros. / Abstraction is a process of finding similarities in artifacts and omitting unnecessary details at a particular moment. In general, such a process results in simplification, replacing complex and overly detailed real-world situations with understandable models that admit resolution. In computing, there are programming styles that give the programmer a particular insight into the organization and execution of a program. Each style enables forms of representation and treatment of abstractions adhering to the set of concepts, values, perceptions and practices shared by a community. In particular, the term rewriting phenomenon enables transformations along spaces of abstraction. As an instance of such a phenomenon, macros constitute a syntactic pattern that specifies a symbolic or algorithmic transformation over an associated symbol sequence. In the occurrence of an instance, the matched syntactic pattern is replaced by the application of its corresponding transformation. Given the importance of making representation structures more convenient to users\' needs, this thesis aims at addressing the use of rewriting systems as abstraction mechanics in textual transformations. To this end, design techniques and implementation aspects of such systems are presented, focusing on macros.

Made available in DSpace on 2016-04-27T17:26:51Z (GMT). No. of bitstreams: 1 Jairo Ferrandin.pdf: 1505220 bytes, checksum: fff418bd764935e649788a200a263405 (MD5) Previous issue date: 2010-10-08 / This work intends to resume the project of a phenomenological explanation of the Pauline letters concerning the original experience of primitive Christianity, drawn up by Heidegger in his course Einleitung in die Phänomenologie der Religion, in 1920-21. In it, the philosopher seeks to develop new means of access to religious phenomenon based on the notion of experience of life in its factual historicity. This is new reappropriation of tradition, not in the sense of objectivity and the repetition of content, theories and doctrines, but the destruction, which allows reconnecting from the experiences of the generation sense. The notion of facticity permeates all the peculiar characteristics that encompass the initial thought of Heidegger, particularly during their first academic activities. Will also enable the construction of new concept of philosophy, known originally as science or as hermeneutics of facticity, with sense and concepts - the formal indication - that distinguish the ideals of scientific objectivity. The resumption of Heidegger's project also has the intent to highlight how the religious and Christian theology occupied a central place in the early development of the question of the sense of being, and what their possible contributions and directions decisive for the discussion of key issues generated the basic ideas of Sein und Zeit / O presente trabalho pretende retomar o projeto de uma explicação fenomenológica das cartas paulinas referentes à experiência originária do cristianismo primitivo, elaborado por Heidegger em seu curso Einleitung in die Phänomenologie der Religion, de 1920-21. Nele, o filósofo procura desenvolver nova modalidade de acesso ao fenômeno religioso partindo da noção de experiência fática da vida em sua historicidade. Trata-se de nova reapropriação da tradição, não no sentido de repetição de objetividades e conteúdos, de teorias e doutrinas, mas pela destruição, que permite reaproximar-se das experiências geradoras do sentido. A noção de faticidade perpassa o conjunto das características peculiares que circunscrevem o pensamento inicial de Heidegger, especialmente no período de suas primeiras atividades acadêmicas. Possibilitará também a construção de novo conceito de filosofia, denominada como ciência originária ou como hermenêutica da faticidade, com sentido e conceitos próprios - os indícios formais - que a distinguirá dos ideais da objetivação científica. A retomada deste projeto heideggeriano tem também o intento de salientar como a dimensão religiosa e a teologia cristã ocuparam lugar central no desenvolvimento inicial da questão do sentido do ser, e quais suas possíveis contribuições e indicações decisivas para a discussão de temas fundamentais geradores das ideias básicas de Sein und Zeit

Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem o software de apoio à gestão. Entrega com atraso, acima do orçamento e não suprindo as reais necessidades dos usuários finais ou da organização que está financiando o desenvolvimento do sistema, são os principais problemas. Esse último problema é o que mais afeta o desenvolvimento de sistemas e é um desafio para que o desenvolvimento personalizado seja uma solução real para várias empresas. Este trabalho apresenta uma proposta de método de gestão que auxilie a comunicação entre as atividades associadas à engenharia de requisitos e as atividades associadas à modelagem dos processos de negócio. Essa abordagem concerne à gestão e tratamento de requisitos de sistemas baseando-se em técnicas de engenharia de processos de negócios e de engenharia de requisitos, no processo unificado de desenvolvimento de software e na utilização de linguagens semi-formais e formais de modelagem, UML e SysML respectivamente. O método pretende mitigar os efeitos dos problemas de comunicação existentes entre os diversos integrantes de um projeto, com especial atenção para a comunicação entre a equipe de requisitos do projeto e os stakeholders responsáveis pela aceitação e aprovação do sistema. A pesquisa, com o apoio da apresentação de dois casos que ilustram o método de gestão proposto, permite concluir que é possível tornar mais efetiva e produtiva a comunicação entre os diversos envolvidos com o projeto, podendo resultar em um processo mais eficiente para a aceitação dos requisitos junto aos stakeholders. / Despite new and effective software engineering techniques, system development projects are likely to have the same problems that affect the management support software. Delivery delay, above budget and not fitting the real needs of end users or the organization that is funding the system development, are the most common problems. The latter problem is the one that most affects the systems development and is a challenge for the custom development to be a real solution to several companies. This work presents a proposal for a management method to help the communication between the activities associated with the engineering requirements and the activities associated with business processes modeling. This approach, concerns to the systems requirements treatment and management, is based on business processes engineering and requirements engineering, in software development unified process and in the use of semi-formal and formal modeling languages as UML and SysML, respectively. The method seeks to mitigate the effects of the communication problems among the project members, with special attention to the communication between the project requirements team and the stakeholders responsible for the system acceptance and adoption. The research, supported by the presentation of two cases which illustrates the proposed management method, has concluded that it is possible to make more effective and productive communication among members related with the project, which may result a more efficient process for the stakeholders requirement acceptance.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-02T18:26:36Z No. of bitstreams: 1 AlinePriscillaDeAlbuquerqueBraga_DISSERT.pdf: 1012221 bytes, checksum: 2f64a1f7ed1b29d8a6d2b56d99b75cfd (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-03T16:40:31Z (GMT) No. of bitstreams: 1 AlinePriscillaDeAlbuquerqueBraga_DISSERT.pdf: 1012221 bytes, checksum: 2f64a1f7ed1b29d8a6d2b56d99b75cfd (MD5) / Made available in DSpace on 2018-07-03T16:40:31Z (GMT). No. of bitstreams: 1 AlinePriscillaDeAlbuquerqueBraga_DISSERT.pdf: 1012221 bytes, checksum: 2f64a1f7ed1b29d8a6d2b56d99b75cfd (MD5) Previous issue date: 2018-04-03 / Conselho Nacional de Desenvolvimento Científico e Tecnológico - CNPq / Neste trabalho, investigo a oração relativa livre introduzida por quem – a exemplo de “eu conheço quem comprou os ingressos” – no Português Brasileiro (PB) escrito. Objetivo examiná-la com vistas a identificar aspectos formais e funcionais implicados em sua constituição e em seu uso. Em adição, proponho verificar de que modo esse padrão oracional pode situar-se categorialmente, com base em suas propriedades formais e funcionais. O banco de dados desta pesquisa compõe-se de textos extraídos do conjunto de corpora do projeto Para a História do Português Brasileiro (PHPB), mais precisamente anúncios de jornais e cartas particulares que circularam no Brasil ao longo do século XIX. Em relação à fundamentação teórica, apoio-me no arcabouço da Linguística Funcional Centrada no Uso, conforme caracterizada em Furtado da Cunha, Bispo e Silva (2013). Do ponto de vista metodológico, trata-se de uma investigação qualitativa, com suporte quantitativo e caracteriza-se como uma pesquisa descritivoexplicativa. Os resultados apontam que, quanto aos aspectos formais, essa estrutura atua tanto no escopo do Sintagma Verbal quanto no do Sintagma Nominal. Além disso, nesse tipo de oração relativa, o quem perde uma das propriedades de pronome relativo, a de retomar um termo antecedente. Em relação às propriedades funcionais, o quem (acrescido dos outros elementos componentes dessa oração) exibe traços semânticos assim especificados: [+ANIMADO], [+HUMANO], [+-DEFINIDO/GENÉRICO] e, ao uso dessa estrutura, subjazem questões de natureza sociointeracional. Por fim, a análise dos dados indica que, categorialmente, essa estrutura pode estar situada em um continuum entre orações substantivas e orações relativas restritivas com antecedente. / In this work, I investigate the free relative clause introduced by “who(m)” (e.g. “eu conheço quem comprou os ingressos”) in written Brazilian Portuguese (PB). The aim is to examine it in order to detect formal and functional aspects involved in its constitution and use. In addition, I propose to verify how this sentence pattern can be located categorically, based on its formal and functional properties. The database for this research is composed of texts extracted from the set of corpora of the Para a História do Português Brasileiro (PHPB) project, particularly newspaper advertisements and private letters that have circulated in Brazil during the nineteenth century. The theoretical support is the Usage-Based Functional Linguistics, as characterized in Furtado da Cunha, Bispo and Silva (2013). In methodological terms, this research is of eminently qualitative character grounded in quantitative support and it has descriptiveexplanatory objectives. The results show that, from the formal point of view, this clause works both in the scope of the verbal phrase and in the nominal one. Moreover, in this kind of relative clause, the quem loses one of the properties of relative pronouns, that of returning to a preceding term. In relation to functional properties, the "who(m)" (plus other elements of this clause) form a unit of nominal character, whose features are [+ ANIMATE], [+ HUMAN] and [+-DEFINID/GENERIC] and some sociointerational issues underlie the use of this structure. Lastly, data analysis indicates that, categorically, this structure may be situated on a continuum between complement clauses and restrictive relative clauses with antecedent.

A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de uma teoria que fale sobre formalismos de especificação e que ao mesmo tempo nos ofereça conceitos e construções para estabelecer-mos relações entre eles. Com este trabalho temos o objetivo de discutir noções rigorosas para idéia de lógica, técnicas fundamentais para relacioná-Ias e mostrar a utilização destes concei¬tos para abordar a questão da interoperabilidade formal, especialmente de provas. Como formalização para idéia de lógica utilizaremos as Instituições de Goguen & Burstall e a extensão de Meseguer para General Logics. Como técnica para rela¬cionar lógicas trabalharemos com os mapeamentos Plain e Simples de Meseguer. Atenção especial é dada à discussão das propriedades destes mapeamentos com vis¬ta à reutilização de componentes lógicos, especialmente da relação de consequência entre fórmulas. Contribuições desta dissertação incluem um tratamento acessível para os con¬ceitos fundamentais necessários para estudar lógicas e sua integração, uma expo¬sição uniforme e detalhada de uma família de sistemas lógicos e uma apresentação categórica desta integração via mapeamentos. / The integration in a sound and structured way of several specifications (or views) of a system is a key research area in (modern) software specification and development. In this context, we need a theory to speak not only about specification logics, but also one that can offer us concepts and constructions to establish relations between these formalisms. In this work we have the purpose of discussing rigorous notions for the idea of logic, presenting fundamental techniques to relate them, and introducing important constructions to approach the problem of formal interoperability, most notably of proofs. As a formalization of the informal idea of a logical system, we use Goguen & Burstall's concept of Institutions and Meseguer's further extension to General Logics. Meseguer's Plain and Simple Maps of Institutions are the tools we use to relate and map logics. Besides, special attention is given for the discussion of the essential properties of these maps concerning the borrowing of logical components, specially of consequence relations. Contributions of this thesis include a smooth presentation of fundamental techniques to study and relate logics, an uniform and detailed exposition of a num¬ber of logical systems, and a categorical formalization of relations between these formalisms by way of maps between institutions.