Dynamics of species, families and plant functional types (PFTs), and diversity of a natural grassland submitted or not to burning and grazing, in different relief positions (concave a convex slope) were evaluated. Treatments consisted of the associations of those three factors, in a completely randomized design, with variable number of replicates, from two to five. Rotational grazing were used, with an average occupation period of six days. Grazing animals were from Nelore, Charolais and its crosses. Stocking rate was calculated to obtain between 20 to 35 % of disappearing of forage mass. Diversity was evaluated using Shannon and Simpson index and frequency of species. The analysis of dry matter availability, on the relative participation of main species and the relative frequency of the other species were performed by double sampling. Data were submitted to cluster and ordination analysis and an analysis of variance via randomization tests. With respect to diversity, burned and grazed areas had lower index than those only grazed. Considering relief and grazing interaction, higher diversity occurred in convex slope. Including burning interaction, diversity was higher in concave slope. In grazing excluded areas, higher index were observed under burning effect, and considering this factor, higher diversity were registered in convex slope. Analyzing frequency of families, Poaceae, Cyperaceae and Asteraceae were present in all plots. The most versatile species were A. lateralis, Frimbristylis diphylla and Dichanthelium sabulorum, occurring in all treatments. Burning and grazing had a positive influence in vegetation diversity, however when interacting or in its absence, they turned dynamics to a dominance of a few species. The evaluation of dynamics showed that interpretation of the results through PFTs were more efficient to explore the differences between treatments, when compared to analysis by families or by species. The seasonal dynamics of the vegetation was affected both by grazing, burning and relief position, independently if evaluated through species or functional types of plants. / Foi avaliada a dinâmica por meio de espécies, famílias e tipos funcionais de plantas (TFs), e a diversidade de uma pastagem natural submetida aos fatores queima (presença ou ausência) e pastejo (ausência ou presença), em diferentes posições topográficas (encosta ou baixada). Os tratamentos foram constituídos pela associação dos três fatores, em um delineamento completamente casualizado com número variável de repetições, entre duas e cinco. O pastejo foi rotacionado, com um período de ocupação médio de seis dias, sendo utilizados animais das raças Nelore, Charolês e suas cruzas. A carga foi calculada adotando-se uma taxa de desaparecimento entre 20-35% da massa de forragem existente. A diversidade foi avaliada através dos índices de Shannon, Simpson e da freqüência de ocorrência de espécies. As avaliações da disponibilidade total de matéria seca, da participação relativa das principais espécies e da freqüência relativa das demais espécies foram realizadas por meio de dupla amostragem. Os dados obtidos foram submetidos às análises de agrupamento, ordenação e de variância via teste de aleatorização. Com relação à diversidade, as áreas queimadas com pastejo possuíram índices menores do que apenas com pastejo. Considerando a interação relevo e pastejo, a maior diversidade se deu na encosta. Incluindo-se a interação com o efeito de queima, essa foi superior nas áreas de baixada. Na exclusão de pastejo, os índices mais elevados foram encontrados com queima, e dentro desse distúrbio, maiores índices na posição de relevo de encosta. Já na ausência da queima, o maior índice foi observado na baixada. Na análise da freqüência de ocorrência por família, destacaram-se Poaceae, Cyperaceae e Asteraceae, com presença em todos os ambientes estudados. Já as espécies com maior versatilidade foram A. lateralis, Frimbristylis diphylla e Dichanthelium sabulorum, encontrados em todos os tratamentos avaliados. O emprego da queima ou pastejo tiveram uma influência positiva na diversidade da vegetação, porém quando em conjunto ou totalmente ausentes direcionaram a dinâmica a uma dominância de poucas espécies. O estudo da dinâmica mostrou que a interpretação dos resultados através dos TFs foi mais eficiente para explorar as diferenças entre os tratamentos, quando comparado às análises por famílias botânicas ou por espécies. A dinâmica estacional da vegetação foi afetada pelos fatores pastejo, queima e posição de relevo, independentemente se avaliados através de espécies ou tipos funcionais de plantas.

The objective was to model on a scale spatiotemporal dynamics of rangeland vegetation types characterized by functional when subjected to different disorders, aiming to predict patterns in the vegetation inventory for future analysis of the fractal dimension associated with the model of cellular automata. So, initially evaluated the use of fractal analysis as a tool to determine patterns in a reduced scale of grazing on natural pastures under different managements. The experiment evaluated the effect of grazing and burning disturbances applied in two relief positions in a natural grassland located in Santa Maria-RS. Another area located in Bagé-RS assesses the improvement of natural grassland with the introduction of ryegrass, white clover and birdsfoot trefoil. The diversity of the pasture was derived by Shannon and Equitabilidade indices. The information fractal dimension was calculated by regression between the Shannon index(ε) and ε natural algorithm, and the slope of the fractal dimension information. The results showed that the fractal dimension can be a tool for determining patterns in plant community in small-scale grazing. The limitation of this technique to small scales is the need for a greater number of repetitions. Secondly, we validated a model is spatially explicit empirical predictive vegetation dynamics of a natural grassland subjected to different disorders based on cellular automata using the approach of plant functional types by comparing the model predictions with actual observations of experiments. The simulations were performed in two temporal and spatial scales, small and large. The temporal resolution of monthly simulation was considered when the spatial dimension was 0.0625 square meters, featuring a reduced scale. A wide range was considered when the temporal resolution was annual and the spatial dimension was 306.25 m². The factors were: grazing, absence and presence, he burns the absence and presence and position of relief, slope and lowland. The model consists of a three-dimensional array, the first being characterized by the temporal dimension and the second and third, representing flat two-dimensional space, each cell being a PFT, which changes with each step in time as the composition of cell itself and the eight neighboring cells. The model evaluated proved to be efficient in predicting the dynamics of natural grassland vegetation can be used to simulate different scenarios. However, the limitation of the model is correct in determining the level of disturbance. Finally, we introduced the fractal dimension to the previously mentioned model and simulated the effect of grazing management of the biennial burns or every three years, with each simulation corresponded to 100 iterations with a spatial resolution of 306.25 m² and temporal equal to one year. The level of disturbance adopted to characterize both the grazing and burning was 0.18. In the treatments with burns, the years when it was used the level of disorder was 0.36, corresponding to the sum of grazing disturbance and burning. The treatments were evaluated in relation to two situations of environmental resources (and with great restraint). The evaluation of fractal dimension in spatially explicit model based on cellular automata has proven to be a viable tool to determine patterns and dynamics of plant communities regardless of scale. The model does not adequately simulated the colonization of species, this being a key topic for future studies that use this approach. The use of only two functional types allowed better visualization of results. The determination of the amount of functional types to be used in the simulation will depend on further investigations. / O objetivo deste trabalho foi modelar em uma escala espaço-temporal a dinâmica vegetacional de pastagens naturais caracterizada por tipos funcionais quando submetidas a diferentes distúrbios, visando predizer padrões na vegetação de inventários futuros pela análise da dimensão fractal associada ao modelo de autômatos celulares. Assim, inicialmente avaliou-se o emprego da análise fractal como ferramenta na determinação de padrões em uma escala reduzida de pastejo sobre pastagens naturais submetidas a diferentes manejos. O experimento avaliou o efeito dos distúrbios pastejo e queima, aplicados em duas posições de relevo, em uma pastagem natural localizada em Santa Maria-RS. Outra área avaliada localizou-se em Bagé-RS onde foram introduzidos azevém, trevo branco e cornichão na pastagem natural. A diversidade da pastagem foi obtida pelos índices de Shannon e Equitabilidade. A informação da dimensão fractal foi calculada pela regressão entre o índice de Shannon(ε) e o algoritmo natural de ε, sendo a inclinação da linha a informação da dimensão fractal. Os resultados demonstraram que a dimensão fractal pode ser uma ferramenta na determinação de padrões na comunidade vegetal na escala reduzida de pastejo. A limitação do emprego desta técnica para escalas reduzidas é a necessidade de um número maior de repetições. Num segundo momento, validou-se um modelo espacialmente explícito empírico e preditivo da dinâmica vegetacional de uma pastagem natural submetida a diferentes distúrbios. Esse foi baseado em autômatos celulares, utilizando a abordagem de tipos funcionais de plantas, através da comparação das predições do modelo com observações reais de experimentos. As simulações foram realizadas em duas escalas temporais e espaciais, reduzida e ampla. A resolução temporal da simulação foi mensal quando a dimensão espacial considerada foi de 0,0625 m², caracterizando a escala reduzida. A escala ampla foi considerada quando a resolução temporal foi anual e a dimensão espacial foi de 306,25 m². Os fatores testados foram: pastejo, ausência e presença; queima, ausência e presença e posição de relevo, encosta e baixada. O modelo é formado por uma matriz representando duas dimensões espaciais planas, sendo cada célula um PFT, a qual se altera a cada passo no tempo conforme a composição da própria célula e de oito células vizinhas. O modelo avaliado demonstrou eficiência na predição da dinâmica da vegetação da pastagem natural podendo ser utilizado para simular diferentes cenários. Entretanto, a limitação do modelo está na correta determinação do nível de distúrbio. Por fim, avaliou-se a dimensão fractal ao modelo citado anteriormente e simulou-se o efeito do pastejo no manejo da queima bianual ou a cada três anos, sendo que cada simulação correspondeu a 100 iterações com resolução espacial de 306,25 m² e temporal igual a um ano. O nível de distúrbio adotado para caracterizar tanto o pastejo como a queima foi de 0,18. Nos tratamentos com queima, nos anos em que ela foi utilizada, o nível de distúrbio foi de 0,36, correspondendo a soma dos distúrbios pastejo e queima. Os tratamentos foram avaliados em relação a duas situações de recurso ambiental (ótimo e com restrição). A avaliação da dimensão fractal em modelo espacialmente explícitos baseados em autômatos celulares demonstrou ser uma ferramenta viável na determinação de padrões e da dinâmica da comunidade vegetal independente da escala. O modelo não simulou adequadamente a colonização de espécies, sendo este um tema fundamental para futuros trabalhos que utilizarem esta abordagem. A utilização de apenas dois tipos funcionais permitiu uma melhor visualização dos resultados. A determinação da quantidade de tipos funcionais a serem utilizados na simulação dependerá de futuras investigações.

Made available in DSpace on 2014-06-11T19:25:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-16Bitstream added on 2014-06-13T18:53:09Z : No. of bitstreams: 1 campos_ap_me_jabo.pdf: 283557 bytes, checksum: 460ed3df0cf7a95babadb02e25a47755 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Este trabalho teve como objetivo avaliar possíveis fontes de resistência de cultivares de amendoim de hábitos de crescimento ereto e rasteiro, a Spodoptera frugiperda (J. E. Smith, 1797) (Lepidoptera: Noctuidae) dos tipos não-preferência para oviposição, alimentação (com e sem chance de escolha) e antibiose. Os experimentos foram conduzidos em laboratório, sob condições controladas de temperatura (25 ± 2°C), umidade (60 ± 10%) e fotofase (12 horas). Foram utilizadas cultivares de amendoim de hábitos de crescimento ereto (IAC 5, IAC 8112, IAC 22 e IAC Tatu ST) e rasteiro (IAC 503, IAC 505, IAC 147, IAC 125, IAC Caiapó e IAC Runner 886). Estas cultivares foram avaliadas separadamente devido ao hábito de crescimento do material em todos os testes. Os testes de não-preferência para oviposição foram realizados com adultos recém-emergidos, os quais foram alimentados com solução de mel a 10%, permanecendo nas gaiolas por quatro dias até o início das avaliações. Estas consistiram na quantificação do número de ovos e posturas, com posterior cálculo do número de ovos por postura. Para os testes de não-preferência para alimentação foram colocados discos foliares das cultivares em placas de Petri, liberando uma lagarta de terceiro ínstar por cultivar. Avaliou-se a atratividade a 1; 5; 10; 15; 30; 60; 120; 360; 720; 1440 minutos, contando o número de lagartas que se alimentavam nas cultivares e, ao término do experimento, quantificou-se a área foliar consumida por cultivar. No teste de antibiose, além da identificação de cultivares de amendoim resistentes a S. frugiperda, determinaram-se, também, os graus de resistência através da análise multivariada. As cultivares foram semeadas em campo. Lagartas de primeiro ínstar foram individualizadas em placas de Petri forradas com papel filtro umedecido. Diariamente, foram fornecidos folíolos novos. Avaliaram-se... / This study aimed to evaluate possible sources of resistance of peanut cultivars of the upright growth and runner growth habit, to Spodoptera frugiperda (J. E. Smith, 1797) (Lepidoptera: Noctuidae) by non-oviposition and non-feeding preference (tests choice and no-choice) and antibiosis. The experiments were conducted in laboratory under controlled conditions of temperature (25 ± 2°C), humidity (60 ± 10%) and photophase (12 hours). Peanut cultivars of upright growth habit (IAC 5, IAC 8112, IAC 22 and IAC Tatu ST) and runner growth habit (IAC 503, IAC 505, IAC 147, IAC 125, IAC Caiapó and IAC Runner 886) were evaluated. These cultivars were evaluated separately due to the material growth habit in all tests. Tests of non-oviposition preference were conducted with newly emerged adults, and they were fed with a 10% honey solution, remaining in the cages for four days until the start of evaluations. Evaluations consisted of quantifying the eggs and egg masses numbers, followed by calculation the number of eggs per egg masses. To perform non-feeding preference tests, leaves discs from different cultivars were placed in disposable Petri dishes followed by releasing of a third instar caterpillar for each cultivar. The attractiveness at 1; 5; 10; 15; 30; 60; 120; 360; 720 and 1,440 minutes was evaluated by counting the caterpillars number which were fed on cultivars, quantified the leaf area consumed by cultivar was evaluated at the end of the experiment. Additionally, identification of peanuts cultivars resistance to S. frugiperda, and the resistance degree was evaluated by multivariate analysis of the antibiosis test. The cultivars were planted in plots on the field. First instar larvae were placed individually in disposable Petri dishes plates, over a moistened filter paper. New leaflets were provided every day. The duration (days), weight (mg) and viability... (Complete abstract click electronic access below)

A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação importante da complexidade do universo de discurso Por outro lado, certos problemas são altamente complexos e requerem um tratamento diferenciado.Esses problemas exigem, para sua resolução, um grande conhecimento do universo de discurso. O ponto critico nesta situação é que o domínio do problema não é exato como poderia ser um domínio matemático. Pelo contrario, ele inclui geralmente aspectos ambíguos e pouco formais que dificultam seu entendimento. Tal domínio a chamado de senso comum e é objeto de estudo de uma linha da computação, a Inteligência Artificial (IA). Para [KRA 87], entre outros, as soluc6es pare muitos problemas de IA dependern mais da capacidade de adquirir e manipular conhecimento do que de algoritmos sofisticados. Por este motivo, existem na IA muitos tipos de linguagens que tentam, de di verses maneiras,facilitar a representação de conhecirnentos sobre universos de discurso de problemas particulares. São as chamadas Linguagens de Representação de Conhecimento. A noção de tipo e implícita nas linguagens de representação de conhecimento, uma vez que tal noção é natural no raciocínio humano e esta intimamente ligada ao conceito de abstração. Este trabalho visa explicitar a noção de tipo subjacente ao núcleo definido da linguagem RECON-II. Para isto, foi realizado um estudo semântico prévio para identificar os tipos semânticos da linguagem. A partir da noção semântica dos tipos foi possível definir a correspondente sintática e finalmente, descrever um Sistema de Tipos para RECON-II. Um Sistema de Tipos consiste numa Linguagem de Tipos (tipos básicos + construtores de tipos) e num Sistema de Dedução que relaciona as expresses da linguagem objeto (linguagem de programação com as expresses da linguagem de tipos. Para a primeira etapa realizada neste trabalho, a determinação da semântica da linguagem, foi utilizado o método algébrico. Nele toda expressão RECON-II é um termo de uma assinatura Z, de modo quo cada assinatura Z determina um conjunto de expressos RECON-UL Mas, por outro lado, uma assinatura também determina um conjunto de álgebras. Dessas álgebras-Z só um subconjunto significativo para as expressões RECON-II. As álgebras-Z significativas são aquelas que satisfazem a assinatura-Z mais um conjunto E de axiomas. A assinatura-Z junto como o conjunto E de axiomas constituem o quo se denomina Tipo Abstrato de Dados, T=CZ, E), e as álgebras-Z significativas são os chamados modelos-Z do tipo T. Assim, uma expressão RECON-II a e um elemento da álgebra de termos quo g uma Álgebra gerada a partir do E. Essa álgebra, 44 4-) conjunto das expressi5es_: RECON-II significativas, e o modelo inicial de tais expressões WOG 781 Dado um tipo abstrato T existe um único modelo para T, ou uma classe de modelos, não isomórficos, denominada MCT>. No segundo caso, asses modelos constituem uma "quasi" ordem parcial com modelo inicial e terminal. A existência e unicidade do modelo inicial para qualquer tipo T foi demonstrada por [GOG 77] Com Σ = (S, F). a (Ws )para 9 S, e o conjunto dos termos de "sort." e. Na RECON-II, são os termos de uma categoria sintática determinada. As categorias sintáticas principais são : Conceitos, Relações, Funções e Redes. Um tipo semântico para s E S é um subconjunto M(T) S M(T) quo satisfaz os axiomas E exigidos de (WΣ) s, constituindo o tipo abstrato T .s.(por exemplo TConceitos, TRedes, etc.) Por último foi definido o Sistema de Tipos, que consiste numa estrutura sintática adequada para os tipos semânticos de cada expressão-RECON e, para cada expressão de tipo, um conjunto de regras de inferências que permuta, a partir de uma expressão-RECON inferir seu tipo mais geral. / The notion of type is intrinsic to human reasoning, since human beings tend to classify objects according their use and behaviour as part of the problem solving process. By classifying objects, their irrevelant characteristics are abstrated; in this way, the complexity of the universe of discourse is much reduced. On the other hand, certain problems are higly complex and require a differentiated treatament. In order to solve these problems, a great knowledge of de universe of discourse is needed. The critical proint in this situation is that the domain of the problem isn't as precise as a matliematic domain. On the contrary, it generally, includes ambiguous and not very formal aspects wich make its uderstanding difficult.. Such a domains is known as common sense and this is the object of studies of one line of Computer Science, Artificial Intelligence CAI). For [KRA 871, among others, the solutions for many AI problems depend on the ability for acquiring and manipulating knowledge rather than on sophisticated algorithm. For this reason, there are in AI many type of languages that attemps in different ways, to represent the UD of a particular problem. These languagesare known as Knowledge Representation Languages. The notion of type is implicit in Knowledge Representation Languages, since it is natural in human reasoning and closely rrelated to the concept of abstraction. This work intends to make the notion of type intrinsic to the RECON-II's kernel language, explicity. In order to do this, a preliminary semantic stidy was carriedaut to identify the semantic types of the languages. From the semantic notion of the types it was possible to define the sintactic counterpart and finally to describe a Type System for RECON- II. A Type System conssit of a type language (basic types + types constructors) end a deduction system that relattes expressions in the language object (programming language) to the expressions in the type language. In the first step of this work, language semantic determination, the algebric method was used. In it every RECON-II expression is one term of a signature 2, so Chet every signature 2 determines a RECON-II expressions set. On the other hand, a signature also determines a set of algebras. Out of these 2-algebras only one subset is significant to the RECON-II expressions. The significant 2-algebras are those t.het satisfy the 2-signature and a' set E of axioms. Together the 2-siganture and the set E of axioms, constitute what is called Abstract Data Type T = (2, E) and the significant E-algebras are the so-called Z-models of type T. Therefore a RECON-II expressions a is an element, of the wich is an algebra generated from E. This 2- 211)1`.9 is the set. of Sl !.171-11. RECON-II expressions, and is the initia; model of such expressions CLOG 78]. Given an abstract type T there is one single model for T or one class of nonisomorphic models denominated M(T). In the second cas,4, these models constitute a "quasi" partial order with an initial and terminal model. the exixstence nad uniqueness of the inititia1 model for any type T was shown at. CLOG 773. With r = <SS, F ) , (W ) for s S. is the set of terms of e sort. In RECON-II, those are •he term of determinate sintactic category. The main -sintactic categories are Concepts, Relations, Functions and Nets. A semantic type for s E S is s subset MCI') S MCT> that satisfies the axioms E required from C.W_), constituting the 8 2- abstract type T (for instance Tconcepts, Tnets, etc.). 8 Finally, the type systems was defined, consisting a syntatic structure suitable for the semantic types of each RECON-II expressions and for every type expressions, a set of inference rules wich allows infering its more general type from a RECON-II expressions.

Nowadays, mobile computing is more present in daily life. Mobile phones, notebooks, smart phones and wireless networks are part of everyday life. With this technology available, the research in pervasive computing is growing. The idea of pervasive computing was introduced by Mark Weiser in 1991, with a personal vision of how would be computing in the 21st century. Weiser s idea was that information processing would become part of everyday life, and would be available everywhere. Furthermore, it would be so natural as being invisible in the ambient. To make computing invisible, applications must be proactive, asking for a minimum of user intervention for its operation. An important concept that arises with pervasive computing is the context awareness . Context is any information that can be used to characterize an entity. Based on contextual information, applications can dynamically adapt to the environments in which they operate, becoming proactive and conveying the idea of invisibility. New programming languages or even new paradigms are being developed trying to make more intuitive the programming of pervasive applications. Most of these programming languages attempt to add new features into existing programming languages. However, some authors argue that there must be new formalisms that help to model the properties of pervasive systems, in particular the context awareness. The formal description of a system modeled by formal methods can be used to demonstrate that some properties of the system are correctly modeled. In this sense, this work studies a formal model that can be used as a basis for specifying a new programming language, called Calculus of Context-aware Ambients (CCA), proposed to describe mobile and pervasive applications. Another formal method used in the specification of programming languages are the type systems. Type systems helps to ensure that the system behaves according to the specification, that is, is a way to formally prove the absence of undesirable behavior in a system. Thus, the main contribution of this work is the definition of a type system for the CCA with the focus in the communication between processes. As a case study two real scenarios were modeled using the CCA, demonstrating the use of the type system developed. The preservation (or subject reduction) property of the type system was formally proved, demonstrating that the type system is correct, i.e., achieving the main purpose of the present work. / Atualmente, a computação móvel está mais presente na rotina das pessoas. Celulares, notebooks, smartphones e redes sem fio fazem parte do cotidiano. Com essa tecnologia disponível, as pesquisas na área de computação pervasiva crescem a cada dia. A ideia da computação pervasiva surgiu com um artigo escrito por Mark Weiser em 1991, com uma visão pessoal de como seria a computação no século 21. Weiser descreveu que a computação faria parte do cotidiano das pessoas, e estaria acessível em todos os ambientes. Além disso, seria tão natural que passaria a ideia de estar invisível no ambiente. Para tornar a computação invisível, as aplicações devem ser pró-ativas, solicitando o mínimo de intervenção do usuário para o seu funcionamento. Um conceito importante que surge na computação pervasiva é a sensibilidade ao contexto . Contexto é qualquer informação que possa ser utilizada para caracterizar uma entidade. Com base em informações contextuais, as aplicações podem se adaptar dinamicamente aos ambientes nos quais estão inseridas, tornando-se pró-ativas e transmitindo a ideia da invisibilidade. Novas linguagens de programação ou até mesmo novos paradigmas de programação estão sendo desenvolvidos, tentando tornar mais intuitiva a programação de aplicações pervasivas. A maioria dessas linguagens tenta adicionar novas funcionalidades em linguagens já existentes. Porém, alguns autores defendem que deveriam existir novos formalismos que ajudem a modelar as propriedades dos sistemas pervasivos, em especial a sensibilidade ao contexto. A descrição formal de um sistema modelado através de métodos formais pode ser utilizada para demonstrar que algumas propriedades de um sistema estão corretamente modeladas. Nesse sentido, este trabalho estuda um modelo formal que pode servir como base para a especificação de novas linguagens de programação, chamado Cálculo de Ambientes Sensível ao Contexto (CASC), proposto para descrever ambientes móveis e aplicações pervasivas. Outro método formal que é utilizado para especificar linguagens de programação são os sistemas de tipos. Sistemas de tipos ajudam a garantir que um sistema se comporta de acordo com a sua especificação, ou seja, são uma maneira de provar formalmente a ausência de comportamentos indesejados dentro de um sistema. Dessa forma, a principal contribuição deste trabalho é a definição de um sistema de tipos para o CASC com o foco no controle de comunicação entre processos. Como estudo de caso, dois cenários reais foram modelados utilizando o CASC, demonstrando o uso do sistema de tipos desenvolvido. A propriedade preservation (ou subject reduction) do sistema de tipos foi provada formalmente, demostrando que o sistema de tipos está correto, ou seja, atingindo o objetivo principal do trabalho. Palavras-chave: Sistema de Tipos. Cálculo de Ambientes. Computação Pervasiva. Sensibilidade ao Contexto.

A economia mundial encontra-se em estado de constante mudança impulsionada por fatores como desintermediação e desregulamentação que aliadas à evolução tecnológica resultam na redução de elos das cadeias de valor agregado que unem agentes que ofertam e demandam produto e serviços. O resultado dessa redução de elos é uma crescente aproximação entre os extremos das cadeias de valor agregado. Os canais de distribuição cumprem o importante papel de promover a entrega de produtos e serviços do agente que oferta para o agente demandante. Na indústria financeira de varejo os canais eletrônicos de distribuição já respondem por aproximadamente 85% das transações, reconfigurando portanto a logística de distribuição bancária que têm como forças-motrizes a convergência e a mobilidade. Nos canais eletrônicos bancários o cliente se identifica antes de realizar sua transação, transformando dessa maneira o fluxo pré-identificado de clientes no ativo mais valioso da instituição, fazendo do uso eficaz de sua ferramenta de gestão do relacionamento com cliente, um instrumento de vantagem competitiva. No sentido de se conferir uma maior capacidade de interpretação à ferramenta de gestão do relacionamento com clientes, buscou-se incorporar os tipos psicológicos ao elenco de variáveis que descrevem seu\' comportamento financeiro. O presente estudo utilizou uma amostra de 876 atendentes de um call center de uma instituição financeira de varejo com o propósito de se identificar evidências de associação entre os tipos psicológicos dos atendentes, apurados pela aplicação do Keirsey Temperament Sorter, e seus comportamentos financeiros e desempenhos profissionais. Foram desenvolvidas análises descritivas e qualitativas. As atitudes Introversão Extroversão apresentaram-se como as variáveis com maior poder de explicação das evidências de associação encontradas. / World economy is facing an ever changing scenario due to desintermediation, deregulation and technology evolution causing a reduction in the size of the value added chain that gathers demand and offer economic agents. The distribution channels play the important role of delivering products and services from the offer agent to the demand agent. In the retail banking industry the electronic channels, that represent approximately 85% of the transactions, are reshaping the distribution logistics empowered by two main drivers: convergence and mobility. In the banking electronic channels the customer has to identify himself before he does his transaction, by doing so the pre identified flow of customers becomes the most valuable corporate asset, transforming the CRM into a competitive advantage tool. In order to provide the CRM a better understanding, the psychological types were added to the variables that describe the customer behavior. This study used a sample of 876 attendants from a retail bank call center searching for evidences of association among psychological types of the attendants that answered the Keirsey Temperament Sorter, and their financial behavior and professional performance. Descriptive and qualitative analysis were developed. Introversion and Extraversion attitudes were the variables that showed the more significant evidences among the associations that were found.

Made available in DSpace on 2016-06-02T19:06:18Z (GMT). No. of bitstreams: 1 6327.pdf: 10668384 bytes, checksum: 806ac414d43596c366d93b4bfc0febe0 (MD5) Previous issue date: 2014-10-09 / Universidade Federal de Minas Gerais / A data warehouse is a solution for organizing and storing multidimensional data related to decision-making processes in companies, generating a historical, highly voluminous, subject-oriented and nonvolatile database. A geographic data warehouse (GDW) additio¬nally to the conventional data storage (i.e. numeric and alphanumeric data), stores spatial data as attributes in dimension tables or as measures in fact tables, storing data represented by geometries. Points, lines and polygons are examples of spatial data types. While spatial data currently stored in GDWs are crisp, i.e., they have exact location in the space, strict interiors and well-defined boundaries, geographic applications have required the storage of vague spatial data, which have inaccurate location, inexact interiors or uncertain bounda¬ries. This Master s research aims at incorporating vague spatial data to GDWs. More speci¬fically, we propose and implement a new abstract data type (ADT) called VagueGeometry to represent vague spatial data in the Spatial Database Management System (SDBMS) Post- greSQL/PostGIS. The proposal of the ADT VagueGeometry encompasses the issue of phy¬sical storage for vague spatial data, which are complex and can have several disjoint parts. It also focuses on definitions of operations to handle vague spatial objects, such as vague topological predicates and its operators. Experimental evaluations were conducted in order to assess the performance of the ADT VagueGeometry in comparison to available solutions, such as implementation of vague topological predicates utilizing existing operations of the PostGIS. The proposed ADT VagueGeometry shown reductions in query processing with vague topological predicates from 81.63% to 90.34% in spatial databases and reductions from 92.46% a 95.20% in GDW environments. This Master s project, therefore, advances in the state of art in GDWs to study this gap in the literature. Additionally, fuzzy models to represent vague spatial data was also studied, and as a result, a preliminary proposal of a ADT, called as FuzzyGeometry, was also developed. / Um data warehouse é uma solução para a organização e o armazenamento de dados mul-tidimensionais relacionados a tomada de decisão estratégica em empresas, constituindo um banco de dados histórico, volumoso, orientado ao assunto e não volátil. Um data warehouse geográfico (DWG) adicionalmente ao armazenamento de dados convencionais (tais como dados numéricos e alfanuméricos), armazena dados espaciais como atributos em tabelas de dimensão ou como medidas em tabelas de fatos, ou seja, armazena dados representados por meio de geometrias. Pontos, linhas e polígonos são exemplos de dados espaciais armazena¬dos. Enquanto estes dados armazenados atualmente em DWGs sao crisp, ou seja, possuem localização, interiores e fronteiras bem definidas, aplicações geográficas tem demandado o armazenamento de dados espaciais vagos, os quais possuem localização, interiores ou fronteiras incertas. Esta pesquisa de mestrado visa incorporar dados espaciais vagos em DWGs. Mais especificamente, foi proposto e implementado um novo tipo abstrato de dados (TAD), denominado VagueGeometry, para representar dados espaciais vagos no Sistema Gerenciador de Banco de Dados (SGBD) PostgreSQL com a extensão espacial PostGIS. A proposta do TAD VagueGeometry engloba a proposta de uma forma de armazenamento interna para os dados espaciais vagos, os quais são complexos e podem possuir diversas partes disjuntas. Isso também inclui a definição de operações para manipular objetos espa¬ciais vagos, tais como os relacionamentos topológicos vagos e seus operadores. Avaliações experimentais foram conduzidas para medir o desempenho do TAD VagueGeometry frente a soluções existentes, tal como a implementação de predicados topológicos vagos reuti¬lizando operações existentes do PostGIS. A proposta do TAD VagueGeometry apresentou reduções no tempo de processamento de predicados topológicos vagos de 81,63% a 90,34% em bancos de dados espaciais e reduções de 92,46% a 95,20% em ambientes de DWG. Este trabalho, portanto, avança no estado da arte em DWGs de forma a preencher essa lacuna existente na literatura. Adicionalmente, modelos fuzzy para representação dos dados espa¬ciais vagos também foram estudados e uma proposta preliminar de um TAD, denominado FuzzyGeometry, também foi desenvolvida.

Made available in DSpace on 2016-06-02T19:31:50Z (GMT). No. of bitstreams: 1 3025.pdf: 1800244 bytes, checksum: b376383f9bf312a9c49a427e22dcd8c9 (MD5) Previous issue date: 2010-03-08 / Financiadora de Estudos e Projetos / Interactions between endofagous insects in fruits play an important role in ecological communities, since the seed survivorship and hence the successes in recruitment of plant populations are directed related to damage caused by the herbivory from these insects. Because of the specialization of the herbivorous insects, the insect-plant interactions tend to be structured in compartments of insects which use different groups of plant. The aims of this study were: (1) to identify if insect-plant interactions in fruits of the cerrado are compartmented; and (2) to identify if plant species in compartments are related. With two monthly field trips, the fruits of 34 plant species were sampled. The insects that emerged from fruits were classified in morphospecies. A correspondence analysis was used to identify the compartments. About 97 morphospecies of insects were identified. Although there is no consensus if the competitive forces structure the compartmented networks or, if directly or indirectly, chemicals defences of plants, the compartmentation seems to be an overall characteristic of food webs and, thus, of insect-plant networks. There is also evidence of the role of the phylogeny in the structure of compartmented networks. / As interações de insetos endófagos em frutos têm um importante papel nas comunidades ecológicas, porque a sobrevivência das sementes e, consequentemente, o sucesso no recrutamento das populações de plantas estão diretamente relacionados aos danos causados pela herbivoria desses insetos. Devido à especialização dos insetos herbívoros, as interaçãos inseto-planta tendem a estruturar-se em compartimentos de insetos que usam diferentes subgrupos de plantas. O presente trabalho teve como objetivos: (1) identificar se as interações inseto-planta em frutos de cerrado são compartimentadas; e (2) identificar se as espécies de plantas nos compartimentos são relacionadas filogenéticamente. Com duas excursões mensais ao campo durante um ano, foram amostrados os frutos de 34 espécies vegetais. Os insetos que emergiram dos frutos foram identificados em 97 morfoespécies. Análise de correspondência foi usada para identificar os compartimentos. Os resultados indicam que a compartimentação parece ser uma característica geral de redes de alimentação entre herbívoros e plantas e, portanto, das redes entre parasitóides de herbívoros e plantas. Há também evidência de que a compartimentação de redes de interações pode ser filogeneticamente estruturada.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / It was studied growth dynamics of Andropogon lateralis, Aristida laevis, Axonopus affinis, Paspalum notatum and Paspalum plicatulum in a natural grassland of the Depressão Central of Rio Grande do Sul, subjected to rotational grazing with heifers, in the spring and summer of 2010/2011. The experimental design was completely randomized with 5 x 2 factorial arrangements, with two grazing intervals, defined by thermal sums of 375 and 750 degree-days, and five species of grasses. Leaf tissue flows, tiller dynamics and stability index of plant population of these grasses were assessed. The studied grasses had a higher leaf growth flow and balance between flows when subjected to grazing intervals of 750 degreedays and higher real efficiency of utilization, tiller appearance rate and site filling when subjected to grazing intervals of 375 degree-days. A. lateralis showed the highest flows of leaf growth, intake and senescence. A. laevis exhibited the lowest real efficiency of utilization. A. affinis and P. notatum had the highest rates of appearance of tillers. P. plicatulum was the only species with stability index of less than one in mean of the period and who had decline in their population of plants. Evaluation periods and/ or seasons influenced the number of senescent leaves per tiller, leaf intake flow, rates of appearance, survival and mortality of tillers and tiller population stability. Summer and, especially the month of December, represented a period of reproductive development of grasses. Intervals between grazing defined in order to respect the natural rhythms of growth of the species tend to optimize the productivity of natural grasslands. / Estudou-se a dinâmica de crescimento de Andropogon lateralis, Aristida laevis, Axonopus affinis, Paspalum notatum e Paspalum plicatulum em uma pastagem natural da Depressão Central do Rio Grande do Sul, submetida a pastoreio rotativo com novilhas, na primavera e verão de 2010/2011. O delineamento experimental foi inteiramente casualizado com arranjo fatorial 2 x 5, sendo dois intervalos entre pastoreios, definidos por somas térmicas de 375 e 750 graus-dia, e cinco espécies de gramíneas. Foram avaliados os fluxos de tecido foliar, a dinâmica de perfilhamento e índice de estabilidade da população de plantas dessas gramíneas. As gramíneas estudadas apresentaram maior fluxo de crescimento foliar e balanço entre os fluxos quando submetidas a intervalos de pastoreio de 750 graus-dia e maior eficiência real de utilização do pasto, taxa de aparecimento e ocupação de sítios quando submetidas a intervalos de pastoreio de 375 graus-dia. A. lateralis apresentou os maiores fluxos de crescimento, consumo e senescência foliar. A. laevis exibiu a menor eficiência real de utilização. A. affinis e P. notatum apresentam as maiores taxas de aparecimento de perfilhos. P. plicatulum foi a única espécie com índice de estabilidade inferior a um, na média do período experimenta e que apresentou declínio em sua população de plantas. Os períodos de avaliação e/ou a estações do ano influenciaram o número de folhas em senescência por perfilho, fluxo de consumo foliar, taxas de aparecimento, sobrevivência e mortalidade de perfilhos e índice de estabilidade da população de perfilhos. O verão e, principalmente o mês de dezembro, foi caracterizado como período de desenvolvimento reprodutivo das gramíneas. Intervalos entre pastoreios definidos de forma a respeitar os ritmos naturais de crescimento das espécies tendem a otimizar a produtividade das pastagens naturais.

Conselho Nacional de Desenvolvimento Científico e Tecnológico / Understanding the dynamics of vegetation could facilitate decision making and adoption of new management practices, seeking a better use of available resources in areas of natural grassland. This study aimed to evaluate the dynamics of a natural grassland vegetation subject to grazing and fertilization, in four different locations in the counties of Pinheiro Machado and Piratini, located in the upper basin region of Rio Camaquã. The treatments were a combination of the above factors. The estimation of species composition and biomass followed BOTANAL field method procedures, with some adjustments. There was a change in vegetation dynamics in the treatments as a response of the interaction of evaluation period, fertilization and grazing, showing a divergence of the trajectories of vegetation and there is no clear distinction of functional types. There was not a clear association between the functional types and environmental variables. The diversity and evenness of species were quantified using the Shannon and equitability indexes. There were no significant differences between different fertilization, but for grazing, there was a significant difference between the evaluation periods. Areas subjected to controlled grazing, show a tendency to increase the diversity of species compared to areas subjected to continuous grazing. The use of controlled grazing had a positive influence on species diversity. / A compreensão da dinâmica vegetacional pode facilitar as tomadas de decisões a adoção de novas práticas de manejo, visando um melhor aproveitamento dos recursos disponíveis em áreas de pastagem natural. Este estudo teve como objetivo avaliar a dinâmica vegetacional de uma pastagem natural submetida aos fatores adubação e pastejo, em quatro locais diferentes, nos municípios de Pinheiro Machado e Piratini, localizados no terço superior da bacia região do Rio Camaquã. Os tratamentos foram constituídos pela associação dos fatores acima. As estimativas da composição de espécies e suas respectivas biomassas seguiram os procedimentos de campo do método BOTANAL, com algumas adaptações. Visando gerar hipóteses sobre os efeitos dos tratamentos, foram utilizadas análises multivariadas para os dados de dinâmica de espécies e tipos funcionais. A diversidade e uniformidade de espécies foram quantificadas através dos índices de Shannon e da equitabilidade. Houve uma mudança na dinâmica vegetacional em função dos efeitos compostos pelos fatores períodos de avaliação, adubação e pastoreio, indicada por uma divergência nas trajetórias da vegetação. Não foi evidenciada uma associação nítida entre os tipos funcionais e as variáveis ambientais. A diversidade e uniformidade de espécies foram quantificadas através dos índices de Shannon e da equitabilidade. Não foram observadas diferenças significativas entre as diferentes adubações, para o pastejo, houve diferença significativa na comparação entre os períodos de avaliação. Áreas submetidas a pastoreio controlado demonstraram uma tendência ao aumento da diversidade de espécies, quando comparadas a áreas submetidas a pastoreio contínuo e sem controle que apresentaram valores menores.