Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reificações constituem uma classe de morfismos especiais. Do que se tem conhecimento, é o primeiro modelo de concorrência a satisfazer a composicionalidade diagonal, ou seja, onde as reificações compõem (verticalmente) e distribuem-se sobre a composição paralela (verticalmente). Adjunções entre autômatos não-seqüenciais, redes de Petri e autômatos seqüenciais são introduzidas estendendo a abordagem de Winskel, Nielsen e Sassone onde é proposta uma classificação formal para modelos de concorrência. Dos passos que envolvem a passagem de um modelo para outro, pode-se inferir que os autômatos não-seqüenciais são mais concretos do que as redes de Petri e os autômatos seqüenciais. Para experimentar o domínio semântico proposto, é dada semântica a uma linguagem concorrente, baseada nos objetos, denominada Náutilus. Trata-se de uma versão simplificada e revisada da linguagem de especificação orientada aos objetos GNOME, onde são introduzidos algumas facilidades especiais, inspiradas no domínio semântico, como a reificação e a agregação. Neste contexto, a composicionalidade diagonal é uma propriedade essencial para dar a semântica. / Nonsequential automata constitute a non-interleaving categorial semantic domain for reactive, communicating and concurrent systems. It is based on labeled transition systems, inspired by Meseguer and Montanari's "Petri Nets are Monoids", where synchronization and encapsulation operations are functorial and a class of morphisms stands for reification. It is, for our knowledge, the first model for concurrency which satisfies the diagonal compositionality requirement, i. e., reifications compose (vertical) and distribute over the parallel composition (horizontal). Adjunctions between nonsequential automata, Petri nets and sequential automata are provided extending the approach of Winskel, Nielsen and Sassone where a scene for a formal classification of models for concurrency is set. The steps of abstraction involved in moving between models show that nonsequential automata are more concrete than Petri nets and sequential automata. To experiment with the proposed semantic domain, a semantics for a concurrent, object-based language named Nautilus is given. It is a simplified and revised version of the object-oriented specification language GNOME, introducing some special features inspired by the semantic domain such as reification and aggregation. The diagonal compositionality is an essential property to give semantics in this context.

Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários sistemas reativos são exemplos desta classe de aplicações, como protocolos para sistemas distribuídos e móveis, simulação de sistemas biológicos, entre outros. A verificação de gramática de grafos através da técnica de verificação de modelos já é utilizada por diversas abordagens. Embora esta técnica constitua um método de análise bastante importante, ela tem como desvantagem a necessidade de construir o espaço de estados completo do sistema, o que pode levar ao problema da explosão de estados. Bastante progresso tem sido feito para lidar com esta dificuldade, e diversas técnicas têm aumentado o tamanho dos sistemas que podem ser verificados. Outras abordagens propõem aproximar o espaço de estados, mas neste caso não é possível a verificação de propriedades arbitrárias. Além da verificação de modelos, a prova de teoremas constitui outra técnica consolidada para verificação formal. Nesta técnica tanto o sistema quanto suas propriedades são expressas em alguma lógica matemática. O processo de prova consiste em encontrar uma prova a partir dos axiomas e lemas intermediários do sistema. Cada técnica tem argumentos pró e contra o seu uso, mas é possível dizer que a verificação de modelos e a prova de teoremas são complementares. A maioria das abordagens utilizam verificadores de modelos para analisar propriedades de computações, isto é, sobre a seqüência de passos de um sistema. Propriedades sobre estados alcançáveis só são verificadas de forma restrita. O objetivo deste trabalho é prover uma abordagem para a prova de propriedades de grafos alcançáveis de uma gramática de grafos através da técnica de prova de teoremas. Propõe-se uma tradução (da abordagem Single-Pushout) de gramática de grafos para uma abordagem lógica e relacional, a qual permite a aplicação de indução matemática para análise de sistemas com espaço de estados infinito. Definiu-se gramática de grafos utilizando estruturas relacionais e aplicações de regras com linguagens lógicas. Inicialmente considerou-se o caso de grafos (tipados) simples, e então se estendeu a abordagem para grafos com atributos e gramáticas com condições negativas de aplicação. Além disso, baseado nesta abordagem, foram estabelecidos padrões para a definição, codificação e reuso de especificações de propriedades. O sistema de padrões tem o objetivo de auxiliar e simplificar a tarefa de especificar requisitos de forma precisa. Finalmente, propõe-se implementar definições relacionais de gramática de grafos em estruturas de event-B, de forma que seja possível utilizar os provadores disponíveis para event-B para demonstrar propriedades de gramática de grafos. / Graph grammars are a formal language well-suited to applications in which states have a complex topology (involving not only many types of elements, but also different types of relations between them) and in which behaviour is essentially data-driven, that is, events are triggered basically by particular configurations of the state. Many reactive systems are examples of this class of applications, such as protocols for distributed and mobile systems, simulation of biological systems, and many others. The verification of graph grammar models through model-checking is currently supported by various approaches. Although model-checking is an important analysis method, it has as disadvantage the need to build the complete state space, which can lead to the state explosion problem. Much progress has been made to deal with this difficulty, and many techniques have increased the size of the systems that may be verified. Other approaches propose to over- and/or under-approximate the state-space, but in this case it is not possible to check arbitrary properties. Besides model checking, theorem proving is another wellestablished approach for verification. Theorem proving is a technique where both the system and its desired properties are expressed as formulas in some mathematical logic. A logical description defines the system, establishing a set of axioms and inference rules. The process of verification consists of finding a proof of the required property from the axioms or intermediary lemmas of the system. Each verification technique has arguments for and against its use, but we can say that model-checking and theorem proving are complementary. Most of the existing approaches use model checkers to analyse properties of computations, that is, properties over the sequences of steps a system may engage in. Properties about reachable states are handled, if at all possible, only in very restricted ways. In this work, our main aim is to provide a means to prove properties of reachable graphs of graph grammar models using the theorem proving technique. We propose an encoding of (the Single-Pushout approach of) graph grammar specifications into a relational and logical approach which allows the application of the mathematical induction technique to analyse systems with infinite state-spaces. We have defined graph grammars using relational structures and used logical languages to model rule applications. We first consider the case of simple (typed) graphs, and then we extend the approach to the non-trivial case of attributed-graphs and grammars with negative application conditions. Besides that, based on this relational encoding, we establish patterns for the presentation, codification and reuse of property specifications. The pattern has the goal of helping and simplifying the task of stating precise requirements to be verified. Finally, we propose to implement relational definitions of graph grammars in event-B structures, such that it is possible to use the event-B provers to demonstrate properties of a graph grammar.

Made available in DSpace on 2015-05-14T12:11:59Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 891353 bytes, checksum: 2d056c7f53fdfb7c20586b64874e848d (MD5) Previous issue date: 2010-12-01 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The basic concepts of what later became called category theory were introduced in 1945 by Samuel Eilenberg and Saunders Mac Lane. In 1940s, the main applications were originally in the fields of algebraic topology and algebraic abstract. During the 1950s and 1960s, this theory became an important conceptual framework in other many areas of mathematical research, especially in algrebraic homology and algebraic geometry, as shows the works of Daniel M. Kan (1958) and Alexander Grothendieck (1957). Late, questions mathematiclogics about the category theory appears, in particularly, with the publication of the Functorial Semantics of Algebraic Theories (1963) of Francis Willian Lawvere. After, other works are done in the category logic, such as the the current Makkai (1977), Borceux (1994), Goldblatt (2006), and others. As introduction of application of the category theory in logic, this work presents a study on the logic category propositional. The first section of this work, shows to the reader the important concepts to a better understanding of subject: (a) basic components of category theory: categorical constructions, definitions, axiomatic, applications, authors, etc.; (b) certain structures of abstract algebra: monoids, groups, Boolean algebras, etc.; (c) some concepts of mathematical logic: pre-order, partial orderind, equivalence relation, Lindenbaum algebra, etc. The second section, it talk about the properties, structures and relations of category propositional logic. In that section, we interpret the logical connectives of the negation, conjunction, disjunction and implication, as well the Boolean connectives of complement, intersection and union, in the categorical language. Finally, we define a categorical boolean propositional semantics through a Boolean category algebra. / Os conceitos básicos do que mais tarde seria chamado de teoria das categorias são introduzidos no artigo General Theory of Natural Equivalences (1945) de Samuel Eilenberg e Saunders Mac Lane. Já em meados da década de 1940, esta teoria é aplicada com sucesso ao campo da topologia. Ao longo das décadas de 1950 e 1960, a teoria das categorias ostenta importantes mudanças ao enfoque tradicional de diversas áreas da matemática, entre as quais, em especial, a álgebra geométrica e a álgebra homológica, como atestam os pioneiros trabalhos de Daniel M. Kan (1958) e Alexander Grothendieck (1957). Mais tarde, questões lógico-matemáticas emergem em meio a essa teoria, em particular, com a publica ção da Functorial Semantics of Algebraic Theories (1963) de Francis Willian Lawvere. Desde então, diversos outros trabalhos vêm sendo realizados em lógica categórica, como os mais recentes Makkai (1977), Borceux (1994), Goldblatt (2006), entre outros. Como inicialização à aplicação da teoria das categorias à lógica, a presente dissertação aduz um estudo introdutório à lógica proposicional categórica. Em linhas gerais, a primeira parte deste trabalho procura familiarizar o leitor com os conceitos básicos à pesquisa do tema: (a) elementos constitutivos da teoria das categorias : axiomática, construções, aplicações, autores, etc.; (b) algumas estruturas da álgebra abstrata: monóides, grupos, álgebra de Boole, etc.; (c) determinados conceitos da lógica matemática: pré-ordem; ordem parcial; equivalência, álgebra de Lindenbaum, etc. A segunda parte, trata da aproximação da teoria das categorias à lógica proposicional, isto é, investiga as propriedades, estruturas e relações próprias à lógica proposicional categórica. Nesta passagem, há uma reinterpreta ção dos conectivos lógicos da negação, conjunção, disjunção e implicação, bem como dos conectivos booleanos de complemento, interseção e união, em termos categóricos. Na seqüência, estas novas concepções permitem enunciar uma álgebra booleana categórica, por meio da qual, ao final, é construída uma semântica proposicional booleana categórica.

Made available in DSpace on 2014-12-17T13:53:22Z (GMT). No. of bitstreams: 1 MiriamSOS.pdf: 528436 bytes, checksum: af81952e79e2a384d1425c25303b3f12 (MD5) Previous issue date: 2009-09-14 / The present study regards an applied social research (qualitative) performed in two institutions which lead children s cancer treatment in Natal, Rio Grande do Norte. The main goal of this study is, as of a literature review at works which characterizes the first generations of study about substantive rationality, to detect Decision Making process related aspects that may serve as a basis to elaborate analysis categories from decision making process, aggregating them into a new study that may provide an advance to the theme in administrative science. The academic works based on the analysis model created by Mauricio Serva served as a basis to deep research into such theme, which verifies the predominant rationality in eleven administrative internal processes in productive organizations. This dissertation intends to go beyond the identification of the predominant rationality by elaborating new categories of analysis, and making possible the continuity of the subject in administrative science. Based on Guerreiro Ramos s work, which sees a kind of ideal organization, as known as isonomies, this study still calls upon Karl Polanyi s thoughts, which with the objective of comprehending the independent economic phenomenon of the value that allows considering non-market economies, find that the economy of the men is submerged in his social relations; it also rescues the studies from Max Weber who investigates the meaning of social action to better understand the rationality, and refers to the study of J?rgen Habermas, who proposes a broader conception about rationality, within the theory of communicative action. As a result of this theme s review, seven analysis categories of the decision making process have been formulated. They were applied in the institutions that had been chosen and helped to detect the type of predominant rationality in the categories of the decision making process. The results confirm that, although the decisions making process involves rational elements, such as information, identification of alternatives, there are also specific values of each individual with his experience and view oh the world, permeated not only by instrumental rationality, but also by substantive rationality. The study has verified that two similar institutions may show different types of rationality in the decision making process, when decision factors may tend to instrumental rationality, according to administration classic way, as well as they may emerge from substantive rationality, thus contributing to the process of emancipation of the human being in his sphere of work / O presente trabalho trata de uma pesquisa social qualitativa, realizada em duas institui??es que lidam com o tratamento oncol?gico infanto-juvenil, na cidade de Natal, estado do Rio Grande do Norte. O objetivo da pesquisa ? a partir de uma revis?o de literatura dos trabalhos que caracterizam a primeira gera??o de estudos sobre a racionalidade substantiva, detectar aspectos relacionados ao processo decis?rio, que possam servir de base para elaborar categorias de an?lise do processo Tomada de Decis?o, agregando-as a um novo estudo que possa proporcionar o avan?o do tema na ci?ncia administrativa. Serviram de base para o aprofundamento do tema, os trabalhos acad?micos que seguiram o modelo de an?lise de Maur?cio Serva, cujo quadro verifica a racionalidade predominante em onze processos administrativos internos em organiza??es produtivas. O presente trabalho avan?a no objetivo de ir mais al?m da identifica??o da racionalidade predominante, quando ao elaborar novas categorias de an?lise possibilita a continuidade e aprofundamento do tema na ci?ncia administrativa. Tendo como base a obra de Guerreiro Ramos, que constata a exist?ncia de um tipo de organiza??o ideal, denominada isonomias, o estudo recorre tamb?m ao pensamento de Karl Polanyi, que com o objetivo de compreender o fen?meno econ?mico independente do valor que permite considerar economias n?o mercantis, descobre que a economia do homem est? submersa em suas rela??es sociais; resgata os estudos de Max Weber, que investiga o significado de a??o social para melhor compreender a racionalidade e faz refer?ncia ao estudo de J?rgen Habermas que prop?e uma concep??o mais abrangente de raz?o, na teoria da a??o comunicativa. Como resultado da revis?o do tema foi formulado sete categorias de an?lise do processo Tomada de Decis?o, que aplicadas nas institui??es pretendidas se conseguiu conhecer a racionalidade predominante em cada categoria analisada do processo decis?rio. Os resultados da pesquisa confirmam que, embora a decis?o envolva elementos racionais como levantamento de informa??es, identifica??o de alternativas, existe tamb?m os valores espec?ficos de cada indiv?duo ligados ?s suas experi?ncias de vis?o de mundo, permeados n?o s? pela racionalidade instrumental como tamb?m pela racionalidade substantiva. O estudo comprovou que duas institui??es do mesmo setor podem apresentar diferentes tipos de racionalidade na tomada de decis?o, quando fatores decis?rios podem tender para a racionalidade instrumental, de acordo com o pensamento cl?ssico da administra??o, como tamb?m podem emergir da racionalidade substantiva, contribuindo para o processo de emancipa??o do ser humano na esfera do trabalho

Made available in DSpace on 2014-06-11T19:29:00Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-16Bitstream added on 2014-06-13T20:58:56Z : No. of bitstreams: 1 silveira_ff_me_bauru_prot.pdf: 732799 bytes, checksum: 950f182c84db1a563df6a89c3e056dcc (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / A despeito da eficácia de vários programas de intervenção com cuidadoras ter sio divulgada na literatura, supõe-se que conhecer os procedimentos e resultados não seja suficiente para esclarecer quais comportamentos do terapeuta determinam as mudanças. Pesquisadores propõem que o entendimento do processo de mudança que ocorre em terapia, possa partir da análise da interação terapêutica. A presente pesquisa tem por objetivo, descrever a interação terapêutica estabelecida entre terapeuta e clientes, ou seja, investigar como terapeuta e clientes comportam-se em uma intervenção de grupo e analisar a influência exercida entre ambos. Participaram da pesquisa, uma Terapeuta Comportamental com experiência de três anos, duas mães e uma avó. Foram designadas para a análise, cinco de de treze sessões filmada, num total de 10 horas. Para a análise dos dados, foi utilizado o software The Observer XT, capaz de selecionar imagens, quantificar dados e realizar análises sequenciais. Os dados foram organizados em termos de frequencia e duração das categorias de comportamentos dos participantes e também foram realizadas análises de correlação e sequenciais. Resultados principais: a) as categorias do terapeuta apresentadas com percentuais de ocorrência e duração elevados foram: Aprovação, Recomendação, Interpretação, Informação e Solicitação de relato; b) constatou-se que as categorias Recomendação, Informação e Solicitação de reflexão foram apresentadas com frequencia maior em relação ao grupo de clientes, já as demais, Aprovação, Interpretação, Solicitação de relato, Reprovação e Empatia, foram apresentadas com frequencia maior às clientes individualmente; c) as categorias dos clientes: Relato, Concordância, Estabelece relações e Oposição, representaram as categorias com maiores percentuais de ocorrência e duração para as três clientes; d) as análises de correlação revelaram a existência. / In spite of the efficiency of many interventional programs, it is believed that believed that knowing the procedures and results of such programs is not enough to clarify which attitudes performed by the therapist leaded to the actual results. Researchers propose that the understanding of the changing process originates from the analysis of the interaction established between therapist and client. The present study thus has the purpose of describing the therapeutic interaction established among therapist and clients, specifically to investigate how they behave in a group intervention analyzing therfore the influence that one has on the other. The participants were a Behavioral Therapist, two mothers and one grandmother. Five of thirteen taped sessions were randolmly designated for analysis. The software The Observer XT was designated for the data analysis. They were organized in categories classified by frequency and duration of the participants' behavior, as well as undergone to the correlational and sequential analyses. The duration and frequency were: Approval, Recommendation, Interpretation, Information and Report Solicitation; b) it was observed that the therapist's categories such as Recommendation, Information, and Thinking Request were presented in a higher frequency in relation to the clients group, yet the others such as Approval, Interpretation, Report Request, Criticism and Empathty were presented in a higher degree to the clients individually c) the categories of the clients such as Report, Concordance, Establish Relations and Opposition, represented the categories with higher percentages of requency and duration for the three clients that participated in the research; d) the correlation analysis revealed the existence of correlations among the therapist's categories, for example, Approval and Information; therapist and client's such as Interpretation... (Complete abstract click electronic access below)

Nas últimas décadas, as doenças crônicas têm desempenhado um importante papel na morbimortalidade da população mundial atingindo não só a população idosa, mas também jovens em idade produtiva e principalmente mulheres. Dentre as doenças a cefaléia tem sido considerada uma das principais causas de doença do indivíduo adulto em todo o mundo industrializado e na maioria dos países em fase de desenvolvimento, principalmente, nos grandes centros urbanos, como uma doença crônica. A alta prevalência da doença tem se tornado um grande problema de saúde pública afetando milhares de pessoas e, conseqüentemente, a Qualidade de Vida dessa população. O presente estudo é do tipo transversal com objetivo geral de avaliar a prevalência da cefaléia nas mulheres de uma Instituição de Ensino Superior e a qualidade de vida relacionada à saúde das mesmas de um município do estado de Minas Gerais, no ano de 2006, segundo o Instrumento genérico de avaliação de QVRS, SF-36. A coleta de dados foi realizada junto a mulheres no período entre setembro e dezembro de 2006. Considerando os critérios de exclusão, 150 mulheres foram selecionados para participarem deste estudo, destas 72 faziam parte do grupo de Migrânea, 30 faziam parte do grupo Cefaléia Tensional e 48 não apresentaram cefaléia nos últimos 06 meses. Os resultados relacionados às variáveis aspectos clínicos da dor e impacto (freqüência das crises, intensidade da dor, sintomas associados às crises de dor) nos grupos que apresentavam migrânea e cefaléia tensional foram apresentados e discutidos. Os descritores de maior atribuição relatados pelas mulheres que apresentam migrânea foram alucinante fulminante, insuportável e os de menor atribuição foram aniquiliadora, colossal e brutal. Para as mulheres que apresentavam cefaléia tensional os descritores de maior atribuição foram dilacerante, desumana, terrível, e os de menor atribuição foram desgraçada, apavorante e pavorosa. Os escores padronizados do instrumento SF-36, segundo seus domínios foram apresentados e discutidos segundo os quartis, valores máximos e mínimos e representados por meio de tabelas. Adicionalmente, valores médios e respectivos desvios-padrão foram apresentados. A consistência interna do instrumento foi verificada por meio dos valores de alfa de Cronbach entre os domínios da escala. O programa estatístico SPSS, versão 12.1 para Windows foi utilizado. Entre as mulheres investigadas, idade média igual a 24,5 anos, com desvio-padrão de 8,21 anos,para o grupo Migrânea e idade média igual a 33,5 anos, com desvio-padrão de 9,2 anos,para o grupo Cefaléia Tensional. Em relação às propriedades de medida do SF-36, foi obtido um valor para alfa de Cronbach igual a 0,92, mostrando que houve consistência nas respostas dos indivíduos às questões. Tal resultado pôde ser verificado, também, para cada um dos domínios do SF-36, com valor mínimo para o alfa de Cronbach igual a 0,49 e máximo igual a 0,91. O grupo estudado apresentou um maior comprometimento nos domínios Vitalidade, Dor, Saúde Mental e Aspectos Físicos / In recent decades, chronic diseases have played an important role in global morbidity and mortality rates, affecting not only the aged population, but also young people in the productive age group. Amongst the illnesses the chronic headache has been considered one of the main causes of illness of the adult individual in industrialized the whole world and the majority of the countries in development phase, mainly, in the great urban centers, as a chronic illness. The high prevalence of the illness if has become a great problem of public health affecting thousand of people and, consequently, the Quality of Life of this population. The present study it is of the transversal type with general objective to evaluate the prevalence of the chronic headache in the women of an Institution of Superior Education and the quality of life related to the health of the same ones of a city of the state of Minas Gerais, in the year of 2006, according to generic Instrument of QVRS evaluation, SF-36. The collection of data was carried through next to women in the period between September and December of 2006. Considering the exclusion criteria, 150 women had been selected to participate of this study, of these 72 were part of the group of Migrânea, 30 were part of the group Tensional Chronic headache and 48 had not presented chronic headache in last the 06 months. The results related to the changeable clinical aspects of pain and impact (frequency of the crises, intensity of pain, symptoms associates to the pain crises) in the groups that presented migraine and tensional chronic headache had been presented and argued. The describers of bigger attribution told by the women who present migraine had been alucinante sudden, insuportável and of lesser attribution they had been aniquiliadora, colossal and brutal. For the women who presented tensional chronic headache the describers of bigger attribution had been dilacerante, desumana, terrible, and of lesser attribution they had been poor fellow, appalling and dreadful. You prop up them standardized of instrument SF-36, according to its dominious had been presented and argued according to quartiles, maximum and minimum and represented values by means of tables. Additionally, average and respective values shunting line-standard had been presented. The internal consistency of the instrument was verified by means of the values of alpha of Cronbach enters the dominious of the scale. The statistical program SPSS, version 12.1 for Windows was used. Between the investigated women, equal average age the 24,5 years, with shunting line-standard of 8,21 years, for the Migrânea group and equal average age the 33,5 years, with shunting line-standard of 9,2 years, for the group Tensional Chronic headache. We obtained a Cronbachs alpha of 0.92 for the measurement properties of SF- 36, which revealed consistency between the individuals answers to the questions. We obtained a Cronbachs alpha of 0.92 for the measurement properties of SF-36, which revealed consistency between the individuals answers to the questions. Vitality, Pain, Mental Health and Physical Aspects

Com a atual crise ambiental, surgem diversos desafios para que a conservação dos ambientes naturais seja possível. Diante disso, a educação se torna uma importante aliada na promoção de um engajamento social para a solução dos problemas que a crise abrange. Nesse sentido, os zoológicos apresentam um grande potencial para se abordar a temática na tentativa de possibilitar hábitos e atitudes em prol da conservação da biodiversidade. Desta forma, esta pesquisa teve como objetivo analisar o diálogo entre os significados atribuídos à conservação, a partir da perspectiva da instituição e de seus públicos. Para isso, procurou-se explicitar as percepções dos visitantes sobre o discurso expositivo quanto à conservação biológica, utilizando-se uma abordagem sociocultural baseada nos trabalhos de Vygotsky. Além disso, buscou-se identificar como a conservação da biodiversidade é abordada na exposição \"O Pulo do Sapo\" mantida pela Fundação Parque Zoológico de São Paulo (FPZSP) a partir do discurso expositivo e de seus conceptores. Assim, foram realizadas entrevistas semiestruturadas com quatro conceptores da exposição e oito grupos familiares que a visitaram no período da pesquisa, cujas conversas durante o percurso da visita foram registradas em áudio e vídeo. Para a análise, foram desenvolvidas categorias que permitissem identificar diferentes aspectos da conservação biológica passíveis de serem abordados pelos diferentes sujeitos. Com base nessas categorias, percebe-se que o discurso científico-naturalístico valorizado tanto pela exposição quanto por seus conceptores não é percebido pelos públicos na complexidade com que é abordado. Nesse aspecto, as conversas dos públicos foram basicamente de caráter empírico e pautadas na observação direta e fortemente associadas a uma experiência estética ao despertarem, principalmente, sentimentos de admiração e apreço pelos anfíbios. Além disso, tanto os visitantes como os profissionais relacionaram a conservação biológica ao valor intrínseco atribuído a todos os seres vivos. Por outro lado, embora os conceptores considerem múltiplas formas de se promover a conservação e estas sejam apresentadas na exposição, os visitantes se referiram apenas às ações cotidianas em nível individual, o que não foi abordado pela exposição. Com isso, pode-se considerar que a exposição apresenta certas limitações que podem ter implicações em suas intenções comunicativas. Por outro lado, ainda assim, trata-se de um espaço extremamente importante ao aproximar o público desse grupo de animais e, por isso, a iniciativa da FPZSP é imensamente válida ao permitir que seus visitantes possam \"perceber\" os anfíbios. Para uma complexificação das atribuições de sentidos, é possível que uma abordagem expositiva que polemize sobre os múltiplos aspectos envolvidos na conservação das espécies possa potencializar as elaborações conversacionais sobre o tema, além de ampliar os repertórios conceituais e culturais de seus diferentes públicos. No que se refere às categorias desenvolvidas, espera-se que possam ser utilizadas e aprimoradas como instrumentos de análise que auxiliem os setores educativos dessas instituições a avaliarem suas práticas, 10 procurando aperfeiçoá-las como ações para a conservação. Contudo, para que se possa averiguar o efetivo potencial dessas categorias, fazem-se necessários mais estudos a esse respeito. / There are many challenges for environmental conservation, considering current environmental crisis. Thus, education becomes an important ally to promote social engagement in creative and conative solutions for environmental crisis. In this sense, zoos have great potential to broach this issue in an attempt to promote habits and attitudes in favour of biodiversity conservation in their audiences. In this manner, this study aimed to analyze the meanings attributed to conservation from institution and audience perspective. We tried to explain visitors perceptions about exhibition discourse related to biological conservation, using a socio-cultural approach based on Vygotsky\'s work. In addition, it sought to identify how biodiversity conservation is addressed in the exhibition \"The Frog\'s Leap\" held by the Foundation Zoological Park of Sao Paulo (FPZSP), considering exhibition discourse and its designers. Thus, semi-structured interviews with four exhibition designers and eight visitor groups (families) were carried out. Audience conversations were also recorded during the visit. For the analysis, categories were developed that allowed identifying different aspects that can be considered in relation to biological conservation. Based on these categories, it is clear that the scientific-naturalistic speech valued by both the exhibition and by its designers is not perceived by the public in the complexity with which it is addressed. In this respect, audience talks were basically empirical and guided by direct observation. These interactions were strongly associated with aesthetic experience, which could promote admiration and appreciation related to amphibians. In addition, both visitors and professionals linked biological conservation to an intrinsic value assigned to all living beings. On the other hand, although designers consider multiple ways to promote conservation, which are presented in exhibition, visitors were relative to everyday individual actions. These actions are not covered by exhibition. Thus, it can be considered that exhibition presents certain limitations that may have implications on their communicative intentions. On the other hand, still, this is a very important educational action due its potential to approximate audience and amphibians. Therefore, FPZSP initiative is hugely valid by allowing visitors to \"notice\" this animal group. Furthermore, it is possible that an educational and communicational approach that engage visitors in polemics about many aspects involved environmental conservation can enhance conversational elaborations, in addition to expanding conceptual and cultural audience repertoires. With regard to new categories presented, it is expected that they can be used and refined as analytical tools that help educational sectors to assess their practices, seeking to improve actions for conservation, but more research is necessary in this regard.

A Educação para a Conservação é um campo de pesquisa que se dedica ao estudo das reflexões éticas e das atitudes humanas direcionadas para com o respeito que se deve ter com o ambiente, principalmente pelo estabelecimento de ações conservacionistas pautadas em interações educativas. Os Zoos, de modo geral, estão inseridos nessa perspectiva, uma vez que se apresentam como instituições de cunho educativo voltadas para a conservação da biodiversidade. No entanto, o discurso expositivo apresentado por esses aparatos culturais no Brasil, muitas vezes, não contempla tais elementos em suas exposições. Por este motivo, buscou-se a análise de exposições zoológicas também no exterior, que contemplassem discursos sobre a conservação da biodiversidade em suas exposições, tendo sido escolhida a exposição do Zoo de Barcelona, Espanha, para a realização desta investigação. A pesquisa teve por objetivos compreender como a conservação da biodiversidade é abordada na exposição deste zoológico catalão, com base na formulação de saberes de referência constituídos a partir de diferentes áreas: os Movimentos Ambientalistas, a Filosofia da Conservação e as Éticas Ambientais. Igualmente, buscou-se compreender como o discurso expositivo sobre conservação encontra-se apresentado nos aparatos expográficos distribuídos ao longo da exposição, bem como em livros e documentos. Compreendendo a investigação como um Estudo de Caso, foram acessados documentos institucionais de acesso público encontrados no site da instituição e textos presentes nos painéis expositivos. As análises foram realizadas com base no referencial teórico da Transposição Didática/Museográfica, que permite o estudo da exposição por ao menos três lógicas: a lógica do discurso; a lógica do espaço; e a lógica do gesto. Além disso, o mesmo referencial prevê o estabelecimento de um saber de referência ou saber sábio pautado no conhecimento epistemológico sobre a conservação da biodiversidade e, nesta pesquisa, no discurso de pesquisadores da área, que foram entrevistados sobre este assunto. Este saber de referência ou saber sábio possibilitou a criação de um conjunto de categorias de análise que pautou a análise do discurso expositivo apresentado pelo Zoo de Barcelona. As categorias criadas foram classificadas em duas dimensões: a dos Valores e a das Ações. Duas categorias, a Antropocêntrica e a Não antropocêntrica constituíram a Dimensão dos Valores e quatro categorias, a Desenvolvimentista, a Sustentabilista, a Sócio-humanística e a Técnico-científica constituíram a Dimensão das Ações. Os resultados apontaram que o discurso expositivo é composto predominantemente por informações Técnico-científicas e Sustentabilistas, ambas as categorias contextualizadas por uma visão não antropocêntrica de valorização da natureza. A forma como o discurso expositivo encontra-se apresentado na parte textual da exposição corrobora a linha conceitual de assuntos abordados nos grandes eventos globais promovidos pela ONU ao longo dos últimos 40 anos, sobre a conservação do meio ambiente. Categorias como a Sócio-humanística, a Antropocêntrica e a Dimensão dos Valores foram pouco abordadas. A categoria Desenvolvimentista não foi encontrada na exposição. Pelas evidências levantadas durante a análise dos dados pode-se concluir que o Zoo de Barcelona apresenta um discurso expositivo conservacionista e que há elementos suficientes na exposição para se apontar o desenvolvimento de uma Educação para a Conservação. / Education for Conservation is a research field dedicated to the study of ethical reflections and human attitudes directed towards the respect which must have it for the environment, especially the establishment of conservation actions based on educational interactions. Zoos, in general, are entered in this perspective, as it is presented as an educational institutions type directed to the conservation of biodiversity. Though, the expositive speech presented by this cultural mechanism in Brazil often does not include this kind of elements in its exhibitions. Therefore, it sought the zoo expositions analysis also abroad, that addressed discourses on biodiversity conservation in their expositions, which was chosen the Zoo of Barcelona\' exposition, Spain, to perform this research. The research aimed to understand how biodiversity conservation is addressed in this exposition Catalan zoo, based on the formulation made up from different areas of knowledge reference: the Environmental Movement, the Conservation Philosophy and Environmental Ethics. Also, it sought to understand how the expositive speech on conservation is presented in expographic devices distributed throughout the exhibition, as well as books and documents. Understanding the investigation as a Study\'s Case, it was accessed institutional documents of publicly accessible found on other website and present texts in the exhibition panels. The analysis were performed based on the theoretic framework of Didactic Transposition/ Museographic, allowing the expositive study for at least three logics: the logic of speech; the logic of the space; and the management logic. Moreover, the same reference provides for the establishment of a knowledge reference or wise knowledge, guided the epistemological knowledge about the conservation of biodiversity and, in this study, the area\'s researchers, who were interviewed on this subject. This reference knowledge or wise knowledge allowed creating a set of categories of analysis that guided the analysis of expositive speech presented by the Zoo of Barcelona. The created categories were classified in two dimensions: Values and Actions. Two categories, Anthropocentric and non-anthropocentric composed the Values Dimension and four categories, Developmental, the Sustainable, the Socio-humanistic and technical-scientific formed the Actions Dimension. The results showed that the expositive speech consists mainly of Technical- scientific and Sustainable information, both contextualized categories by a non-anthropocentric vision of nature appreciation. The way the expositive discourse is presented in the textual part of the exhibition confirms the conceptual range of issues addressed in major global events organized by the ONU over the past 40 years on the conservation of the environment. Categories such as socio-humanistic, the Anthropocentric and Dimension Values were rarely addressed. The Developmental category was not found in the exposition. The evidence gathered during the data analysis can be concluded that the Zoo of Barcelona presents a conservation exhibition speech and that there are sufficient elements in the exhibition to point out the development of an Education for Conservation.

Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reificações constituem uma classe de morfismos especiais. Do que se tem conhecimento, é o primeiro modelo de concorrência a satisfazer a composicionalidade diagonal, ou seja, onde as reificações compõem (verticalmente) e distribuem-se sobre a composição paralela (verticalmente). Adjunções entre autômatos não-seqüenciais, redes de Petri e autômatos seqüenciais são introduzidas estendendo a abordagem de Winskel, Nielsen e Sassone onde é proposta uma classificação formal para modelos de concorrência. Dos passos que envolvem a passagem de um modelo para outro, pode-se inferir que os autômatos não-seqüenciais são mais concretos do que as redes de Petri e os autômatos seqüenciais. Para experimentar o domínio semântico proposto, é dada semântica a uma linguagem concorrente, baseada nos objetos, denominada Náutilus. Trata-se de uma versão simplificada e revisada da linguagem de especificação orientada aos objetos GNOME, onde são introduzidos algumas facilidades especiais, inspiradas no domínio semântico, como a reificação e a agregação. Neste contexto, a composicionalidade diagonal é uma propriedade essencial para dar a semântica. / Nonsequential automata constitute a non-interleaving categorial semantic domain for reactive, communicating and concurrent systems. It is based on labeled transition systems, inspired by Meseguer and Montanari's "Petri Nets are Monoids", where synchronization and encapsulation operations are functorial and a class of morphisms stands for reification. It is, for our knowledge, the first model for concurrency which satisfies the diagonal compositionality requirement, i. e., reifications compose (vertical) and distribute over the parallel composition (horizontal). Adjunctions between nonsequential automata, Petri nets and sequential automata are provided extending the approach of Winskel, Nielsen and Sassone where a scene for a formal classification of models for concurrency is set. The steps of abstraction involved in moving between models show that nonsequential automata are more concrete than Petri nets and sequential automata. To experiment with the proposed semantic domain, a semantics for a concurrent, object-based language named Nautilus is given. It is a simplified and revised version of the object-oriented specification language GNOME, introducing some special features inspired by the semantic domain such as reification and aggregation. The diagonal compositionality is an essential property to give semantics in this context.

Made available in DSpace on 2016-12-23T14:33:42Z (GMT). No. of bitstreams: 1 Dissertacao de Caribe Zampirolli de Souza.pdf: 1221547 bytes, checksum: 1e22f89c93c3423e4143b9ac13eeb1c6 (MD5) Previous issue date: 2010-08-27 / A multi-label text categorization system typically computes degrees of belief when it comes to the categories of a pre-defined set, orders the categories by degree of belief, and attributes to the document categories with a higher degree of belief to determined threshold cut. It would be ideal if the degree of belief could inform the probability of the document be part of this category. Unfortunately, there isn t a categorization system that computes such probabilities and to map degrees of belief in probabilities is still a problem that isn`t well explored in IR. In this paper we propose a method based on Bayes rules to map degrees of belief in terms of multi-label text measures of categorization. There are other contributions in this work such as an strategy to determine the limits of threshold cut based on bayesian cut (BCut) and a variant for PBCut (position based bayesian CUT ). As an experience, we evaluated the impact of the proposed methods when performing the two techniques of the multi-label text categorization. The first technique is called knearest neighbor multi-label (ML-KNN) and the second technique is called VG-RAM weightless Neural Networks. Theses evaluations were made in the context of the categorization of economic activities description of Brazilian enterprises, according to the Economic Activities Classification in Brazil (CNAE). In this work we also investigated the impact in the performance of multi-label text categorization of the three cut methods commonly used in the IR literature: RCut, PCut, SCut and RTCut. Moreover, we propose a new variant for the so called PCut* and a new variant for SCut*. Finally, this work shows that the cut approach proposed, BCut and PBCut, produces a categorization performance superior to the other strategies presented in the literature of IR / Dado um documento de entrada, um sistema de categorização multi-rótulo de texto tipicamente computa graus de crença para as categorias de um conjunto pré-definido, ordena as categorias por grau de crença, e atribui ao documento as categorias com grau de crença superior a um determinado limiar de poda. Idealmente, o grau de crença deveria informar a probabilidade do documento de fato pertencer à categoria. Infelizmente, ainda não existem categorizadores que computam tais probabilidades e mapear graus de crença em probabilidades é um problema ainda pouco explorado na área de RI. Neste trabalho, propomos um método baseado na regra de Bayes para mapear graus de crença em medidas de certeza de categorização multi-rótulo de texto. Propomos também uma estratégia para determinar limiares de poda baseada na medida de certeza de categorização - bayesian cut (BCut) - e uma variante para BCut - position based bayesian CUT (PBCut). Avaliamos experimentalmente o impacto dos métodos propostos no desempenho de duas técnicas de categorização multi-rótulo de texto, k-vizinhos mais próximos multi-rótulo (MLkNN) e rede neural sem peso do tipo VG-RAM com correlação de dados (VG-RAM WNNCOR), no contexto da categorização de descrições de atividades econômicas de empresas brasileiras segundo a Classificação Nacional de Atividades Econômicas (CNAE). Investigamos também o impacto no desempenho de categorização multi-rótulo de texto de três métodos de poda comumente usados na literatura de RI - RCut, PCut, e SCut e uma variante de RCut - RTCut. Além disso, propomos novas variantes para PCut e SCut PCut* e SCut*, respectivamente para tratar problemas existentes nestas abordagens. Nossos resultados experimentais mostram que, usando nosso método de geração de medidas de certeza de categorização, é possível prever o quão certo está o categorizador de que as ategorias por ele preditas são de fato pertinentes para um dado documento. Nossos resultados mostram também que o uso de nossas estratégias de poda BCut e PBCut produz desempenho de categorização superior ao de todas as outras estratégias consideradas em termos de precisão