Brazil is the world's largest orange producer (Citrus sinensis L. Osbeck), whose production in 2014/2015 amounted to approximately 16.7 million metric tons and with an expected decrease in production of 14.3 million metric tons for the 2015/2016 crop. The orange production would be even greater, if it were not for damages caused by citrus leprosis viruses (Citrus Leprosis Virus - CiLV), transmitted by citrus leprosis mites of the genus Brevipalpus spp. found in all citrus producing regions of the world. Citrus leprosis is considered one of the most important viruses in citrus orchards in Brazil with significant results on the reduction of production and life span of plants, due to lesions and premature fall of fruits and leaves. It may also cause death of branches and shoots. Thus, researches aimed at the proper management of the virus vector are becoming increasingly necessary to reduce production costs and increase fruit quality and plant longevity. Therefore, studies were carried out in an area of monoculture of citrus, and in other areas with system of cultivation in consortium of citrus with teak, in the citrus growing areas of the state of Pará aiming to study the spatial distribution of citrus leprosis associated with its vector and abiotic factors in the Brazilian Amazon through geostatistics, and to test the spatial distribution by means of dispersion indices Morisita index (Iδ), Green coefficient (Cx), exponent k of the negative binomial distribution, Taylor's power law, and estimation of the common k exponent) to elaborate a sequential sampling plan for the citrus leprosis mite under local conditions, in order to optimize the sampling method. It was verified that for the methods studied, the citrus leprosis and its vector presented an aggregated spatial distribution in the two evaluated citrus cultivation systems. Using geostatistics, it was verified that the spatial dependence of the citrus leprosis mite varied from 15 to 80 meters in a monoculture system, and from 28 to 44 meters in a consortium system with teak, whereas for citrus leprosis the spatial dependence was from 25 to 75 meters in monoculture, and 20 to 40 meters in a consortium system. For the sequential sampling plan, it is concluded that the spatial distribution model that best represented the data was the Negative Binomial Distribution and, for the number of mites per plant, the expected maximum number of sample units for decision making is 21 mites per plant in both cropping systems, while for the number of mites in six branches this value is 28 sample units. / O Brasil é o maior produtor mundial de laranja (Citrus sinensis L. Osbeck), com uma produção na safra 2014/2015 de aproximadamente 16,7 milhões de toneladas e com expectativa de diminuição de produção para 14,3 milhões de toneladas para a safra 2015/2016. A produção da laranja seria ainda maior se não fosse os danos causados pela leprose dos citros (Citrus Leprosis Virus – CiLV), transmitida pelos ácaros da leprose dos citros, do gênero Brevipalpus spp., que são encontrados em todas as regiões no mundo produtoras de citros. A leprose dos citros é considerada uma das mais importantes viroses dos pomares citrícolas no Brasil devido aos efeitos significativos na redução da produção e no período de vida das plantas, causado por lesões e queda prematura dos frutos e folhas, podendo ainda ocasionar morte de ramos e brotações. Dessa forma, trabalhos que visem ao manejo adequado do vetor do vírus, tornam-se cada vez mais necessários para que sejam reduzidos os custos de produção e se aumente a qualidade dos frutos e longevidade das plantas. Neste trabalho, foram realizados estudos em uma área de monocultivo de citros e em outra área com sistema de cultivo em consórcio de citros com teca, no pólo citrícola do estado do Pará, com objetivo de se estudar a distribuição espacial da leprose dos citros associada ao seu vetor e fatores abióticos na Amazônia brasileira, por meio da geoestatística, e também estudar a distribuição espacial por meio de índices de dispersão (índice de Morisita (Iδ), coeficiente de Green (Cx), expoente k da distribuição binomial negativa, lei da potência de Taylor e estimativa do expoente k comum) para elaborar um plano de amostragem sequencial para o ácaro da leprose dos citros em condição local, afim de otimizar o método de amostragem. Verificou-se que os métodos estudados, a leprose dos citros e seu vetor, apresentaram distribuição espacial agregada nos dois sistemas de cultivo de citros avaliados. Com a utilização da geoestatística, verificou-se que a dependência espacial do ácaro da leprose dos citros variou de 15 a 80 metros em sistema de monocultivo e de 28 a 44 metros em sistema consorciado com teca, enquanto que para leprose dos citros a dependência espacial foi de 25 a 75 metros em monocultivo e 20 a 40 metros em sistema consorciado. Para o plano de amostragem sequencial conclui-se que o modelo de distribuição espacial que melhor representou os dados foi o da Distribuição Binomial Negativa e, para o número de ácaros por planta, o número máximo esperado de unidades amostrais para tomada de decisão é de 21 unidades amostrais, enquanto que para o número de ácaros em seis ramos esse valor é de 28 unidades amostrais.

Orientador: José Carlos Barbosa / Coorientador: Luiz Evaldo de Moura Pádua / Banca: Arlindo Leal Boiça Júnior / Banca: Francisco Jorge Cividanes / Banca: Marília Gregolim Costa / Banca: Eulália Maria Sousa Carvalho / Resumo: O controle de pragas da soja representa até 36,50% do custo de produção. As lagartas desfolhadoras podem comprometer a produção de soja causando desfolhas de até 100%. A dificuldade de controle, associada ao aumento populacional e seriedade dos danos causados colocam a subfamília Plusiinae em destaque nacional, sendo mais abundante a espécie Pseudoplusia includens (Walker). Portanto, objetivou-se com este trabalho estudar a distribuição espacial da P. includens em dois sistemas de cultivo de soja, bem como, elaborar um plano de amostragem sequencial para a praga. Para monitoramento dos insetos foram realizadas coletas semanais através do método do pano de batida. Estudou-se a distribuição espacial do inseto, através de índices de dispersão e testes de ajuste às principais distribuições de probabilidade. Testaram-se os ajustes às distribuições de Poisson e binomial negativa. Os valores dos índices de dispersão, para lagartas de P. includens, em sistema de plantio convencional de soja, indicaram distribuição agregada para as duas categorias de lagartas (pequenas e grandes). Os resultados na área com sistema de plantio direto foram semelhantes. Desta forma, é possível afirmar que lagartas de P. includens apresentaram disposição agregada no campo independentemente do sistema de plantio. Lagartas de P. includens apresentam disposição agregada no campo independentemente do sistema de plantio. O ajuste do número de lagartas coletadas à distribuição de probabilidades binomial negativa possibilitou a elaboração de plano de amostragem sequencial para monitoramento da praga independentemente do sistema de plantio. O número mínimo de unidades amostrais necessário para tomada de decisão é quatro / Abstract: The soybean pest control represents to 36.50% of the cost of production. The defoliating caterpillars may compromise the production of soy causing defoliation of up to 100%. The difficulty of control, with increased population and seriously damage the subfamily Plusiinae put into national prominence, being the most abundant species Pseudoplusia includens (Walker). Therefore, the aim of this work was to study the spatial distribution of P. includens in two systems of land use, as well as develop a sequential sampling plan for the pest. The insects were collected weekly by the ground cloth method. The spatial distribution of the insect was studied, using dispersion indices and testing the main probability distributions. Tested the adjustments to the distributions of Poisson and negative binomial. The values of aggregation index to P. includens larvae in conventionally tilled soybean indicated aggregated distribution for the two categories of larvae (small and large). The results in the area with no-tillage system were similar. Caterpillars of P. includens present aggregate provision in the field regardless of tillage system. Adjusting the number of caterpillars collected the negative binomial probability distribution enabled the development of sequential sampling plan for monitoring the pest regardless of tillage system. The minimum number of sample units required for decision making is four / Doutor

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.

Submitted by Gisele Mara Hadlich (gisele@ufba.br) on 2017-10-23T14:32:50Z No. of bitstreams: 1 SILVA MJ_2012.pdf: 1343880 bytes, checksum: c33b9de88236318fa91ad98fb6dc08c0 (MD5) / Made available in DSpace on 2017-10-23T14:32:50Z (GMT). No. of bitstreams: 1 SILVA MJ_2012.pdf: 1343880 bytes, checksum: c33b9de88236318fa91ad98fb6dc08c0 (MD5) / O desenvolvimento desta pesquisa foi contemplado no projeto “Disponibilidade de metais traço na Baía de Todos os Santos: aplicação dos métodos Tessier e SVA-MES” (projeto FAPESB 4493/2009). O presente trabalho tem como objetivo avaliar a disponibilidade, mobilidade e distribuição dos metais-traço (Cr, Cu, Ni, Pb e Zn) nos ambientes de manguezal, apicum, encosta vegetada e área urbana no município de Madre de Deus, Bahia. Para avaliar a disponibilidade, distribuição e/ou mobilidade dos metais, em solos e sedimentos, oriundos de aportes naturais ou antropogênicos, são utilizados diferentes métodos de extração, designados simples (um único extrator) ou sequenciais (utilização de uma série de extratores, também conhecido com fracionamento químico). A extração parcial promove a retirada dos metais fracamente adsorvidos nas frações geoquímicas. Os métodos de fracionamento químico visam avaliar os metais associados desde a fração trocável até os metais que estão fortemente ligados na fração residual, com a utilização de reagentes seletivos sob condições experimentais específicas para cada etapa de extração. Neste trabalho foram realizadas extração sequencial, extração parcial e digestão total em 97 amostras de solo ou sedimento superficial (0-5 cm). Para o fracionamento foi utilizado o método proposto por Tessier et al. (1979), adaptado. Foram realizadas também as seguintes análises: granulometria, pH, Eh, salinidade, matéria orgânica (MO), nitrogênio total (N), fósforo assimilável (P), capacidade de troca catiônica (CTC). O metal-traço Pb (digestão total) permaneceu abaixo dos limites de detecção em todas as amostras. Análises estatísticas mostraram que há diferenças significativas entre os ambientes estudados em relação aos parâmetros físico-químicos e a distribuição dos metais. Dada essa diferenciação, os dados passaram a ser analisados separadamente por ambiente. A Análise de Componentes Principais (PCA) mostrou que, a depender do ambiente, os parâmetros que mais interferem na distribuição dos metais (extração parcial e digestão total) são granulometria, pH, MO e P. O fracionamento químico revelou distribuições diferenciadas dos metais nas frações geoquímicas de solos e sedimentos. Os metais Cr, Cu e Zn apresentaram distribuição diferenciada nas frações nos quatro ambientes estudados; já o Ni apresentou sempre uma maior proporção na fração residual. Com o Fator de Mobilidade foi possível verificar que os metais Cr, Cu e Ni possuem maior associação com as frações geoquímicas consideradas imóveis, principalmente o Ni. O Índice de Partição Reduzida (IR) também indicou concentração do Ni em uma única fração, sendo o Cu, Cr e Zn um pouco mais distribuídos entre as frações nas encostas e áreas urbanas. Uma comparação entre protocolos de extração parcial, digestão total e fracionamento químico evidenciou as diferenças de concentração e distribuição de Cr, Cu e Zn segundo os ambientes estudados, diferenças essas relacionadas às características físico-químicas dos ambientes e às fontes de origem dos metais. Recomenda-se o uso de digestão total em acompanhamento ao fracionamento químico.

Submitted by Gisele Mara Hadlich (gisele@ufba.br) on 2017-11-08T17:26:17Z No. of bitstreams: 1 NURIA_DISSERTA.pdf: 2389644 bytes, checksum: 4e22a20a8e92fd654c38e74451d5d61a (MD5) / Made available in DSpace on 2017-11-08T17:26:17Z (GMT). No. of bitstreams: 1 NURIA_DISSERTA.pdf: 2389644 bytes, checksum: 4e22a20a8e92fd654c38e74451d5d61a (MD5) / O presente trabalho tem como objetivo avaliar a disponibilidade, mobilidade e distribuição dos metais-traço (Cd, Cr, Cu, Fe, Mg, Ni, Pb e Zn) em áreas cultivadas com olericólas do município de Jaguaquara, Bahia. Para avaliar a disponibilidade, distribuição e/ou mobilidade dos metais nos solos oriundos de aportes antropogênicos, como uso intensivo de agroquímicos, são utilizados diferentes métodos de extração, designados parciais (EDTA e água régia), digestão total ou extração sequencial (utilização de uma série de extratores, também conhecido com extração sequencial). A extração parcial promove a retirada dos metais fracamente adsorvidos nas frações geoquímicas; total também os teores não lábeis. Os métodos de fracionamento químico visam avaliar os metais associados desde a fração trocável até os metais que estão fortemente ligados na fração residual, com a utilização de reagentes seletivos sob condições experimentais específicas para cada etapa de extração. Neste trabalho foram realizadas extração sequencial, extração parcial (EDTA e água régia) e digestão total em 37 amostras de solos cultivados (0-20 cm). Para o fracionamento foi utilizado o método proposto por Tessier et al. (1979), adaptado. Foram realizadas também as seguintes análises: granulometria, pH, Eh, matéria orgânica (MO), nitrogênio total (N), fósforo assimilável (P), capacidade de troca catiônica (CTC). Os metais-traço Ni e Cr (digestão com EDTA) permaneceram abaixo dos limites de detecção em todas as amostras. Análises estatísticas mostraram que há diferenças significativas entre os métodos estudados e em relação aos parâmetros físico-químicos e a distribuição dos metais. Os parâmetros que mais interferem na distribuição dos metais (extração EDTA e água régia) são granulometria, pH, MO e P. O fracionamento químico revelou distribuições diferenciadas dos metais nas frações geoquímicas de solos e sedimentos. Os metais Cr, Pb e Zn apresentaram distribuição diferenciada nas frações; já o Pb apresentou sempre uma maior proporção na fração residual. Com o Fator de Mobilidade foi possível verificar a ordem de mobilidade dos metais Cr >Pb > Zn. Uma comparação entre os métodos mostrou que o EDTA extrai os metais mais facilmente disponíveis, a água régia, extraiu além, desses os metais com menos disponibilidade, e a digestão total extraiu principalmente os metais não disponíveis para ambiente.

Submitted by VICTOR BLASECHI null (victorblasechi@yahoo.com.br) on 2016-05-11T16:11:17Z No. of bitstreams: 1 DISSERTACAO_VICTOR_BLASECHIFINAL_R04.pdf: 1882001 bytes, checksum: 8df7fc0d3db2ba1fe05127d304bbee53 (MD5) / Rejected by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: O arquivo submetido está sem a ficha catalográfica e folha de aprovação. Lembramos que a versão submetida por você é considerada a versão final da dissertação/tese, portanto não poderá ocorrer qualquer alteração em seu conteúdo após a aprovação. Corrija esta informação e realize uma nova submissão contendo o arquivo correto. Agradecemos a compreensão. on 2016-05-13T14:58:00Z (GMT) / Submitted by VICTOR BLASECHI null (victorblasechi@yahoo.com.br) on 2016-05-17T01:32:50Z No. of bitstreams: 1 DISSERTACAO_VICTOR_BLASECHIFINAL_R05.pdf: 1986271 bytes, checksum: b7f47f40ba442b7c083b6159620ea982 (MD5) / Rejected by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: No campo “Versão a ser disponibilizada online imediatamente” foi informado que seria disponibilizado o texto completo porém no campo “Data para a disponibilização do texto completo” foi informado que o texto completo deverá ser disponibilizado apenas 6 meses após a defesa. Caso opte pela disponibilização do texto completo apenas 6 meses após a defesa selecione no campo “Versão a ser disponibilizada online imediatamente” a opção “Texto parcial”. Esta opção é utilizada caso você tenha planos de publicar seu trabalho em periódicos científicos ou em formato de livro, por exemplo e fará com que apenas as páginas pré-textuais, introdução, considerações e referências sejam disponibilizadas. Se optar por disponibilizar o texto completo de seu trabalho imediatamente selecione no campo “Data para a disponibilização do texto completo” a opção “Não se aplica (texto completo)”. Isso fará com que seu trabalho seja disponibilizado na íntegra no Repositório Institucional UNESP. Por favor, corrija esta informação realizando uma nova submissão. Agradecemos a compreensão. on 2016-05-17T15:00:18Z (GMT) / Submitted by VICTOR BLASECHI null (victorblasechi@yahoo.com.br) on 2016-05-17T15:49:29Z No. of bitstreams: 1 DISSERTACAO_VICTOR_BLASECHIFINAL_R05.pdf: 1986271 bytes, checksum: b7f47f40ba442b7c083b6159620ea982 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-05-19T17:10:23Z (GMT) No. of bitstreams: 1 blasechi_v_me_prud.pdf: 1986271 bytes, checksum: b7f47f40ba442b7c083b6159620ea982 (MD5) / Made available in DSpace on 2016-05-19T17:10:23Z (GMT). No. of bitstreams: 1 blasechi_v_me_prud.pdf: 1986271 bytes, checksum: b7f47f40ba442b7c083b6159620ea982 (MD5) Previous issue date: 2016-03-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Os sistemas de mapeamento móvel (SMM) podem ser definidos como um conjunto de sensores instalados sobre uma mesma plataforma com o intuito de obter informação espacial. Estes sensores têm função de imageamento ou orientação. A orientação integrada utilizando a fototriangulação pode ser empregada tanto na extração de informações espaciais quanto para a orientação do SMM. No mapeamento móvel terrestre, o caminhamento fotogramétrico (CF), é um modo especial de levantamento utilizando pares estereoscópicos para determinar as orientações e coordenadas tridimensionais de pontos do terreno. No CF, um mesmo ponto pode ser visto por um par de imagens ou por quantas for possível. Esta característica, entretanto, não garante que erros grosseiros sejam detectados em todas as direções. A introdução de uma terceira câmara que não forme uma geometria coplanar (sobre o plano epipolar) permite uma melhoria na qualidade da determinação da rede fotogramétrica, formada pelos pontos do espaço-objeto e as estações de exposição. Os principais objetivos deste trabalho são mostrar a contribuição da terceira câmara para a qualidade da fototriangulação, encontrar uma situação ótima de trabalho para este arranjo e mostrar que a orientação obtida no processamento sequencial da fototriangulação pode ser utilizada como um sensor de dead-reckoning. Isto é feito através de 9 experimentos, em que são analisadas as características de processamento, geometria e controlabilidade de erros grosseiros. Em todos os experimentos, a determinação da orientação exterior é precisa. Os erros nos pontos de enlace são bem maiores e se propagam na direção do caminhamento. A comparação entre processamento em lote com o sequencial mostra que o processamento em lote pode ser menos oneroso do que o sequencial quando se tem poucas observações, mesmo tendo mais iterações. A controlabilidade é maior no processamento em lote, sendo que a determinação das coordenadas tridimensionais dos pontos de enlace é mais acurada. Maiores janelas de processamento resultam em maior qualidade na orientação, mas não afetam os pontos de enlace. A quantidade de avanços de base não afeta a qualidade. O aumento da distância focal resulta em melhora na estimativa da trajetória no sentido do caminhamento, mas reduz o ângulo de abertura, diminuindo o campo de visão. Uma maior distância focal melhora a determinação das coordenadas tridimensionais dos pontos de enlace proporcionalmente ao aumento da distância focal. Aumentando-se o espaçamento entre as câmaras do arranjo, aumenta-se a qualidade do posicionamento das câmaras no sentido do levantamento, bem como a acurácia das coordenadas dos pontos de enlace, mas torna-se mais difícil a correspondência intra-imagens de feições próximas às câmaras. O distanciamento entre estações de exposição subsequentes não afeta a qualidade da fototriangulação, mas pode dificultar a correspondência de imagens. Na comparação com o arranjo formado por um par estereoscópico, o arranjo triangular permitiu a detecção-localização-tratamento do erro introduzido, enquanto que o par estereoscópico perde convergência já nas primeiras janelas de processamento. Um percurso sinuoso tende a reduzir a acurácia, mas mesmo assim, o programa mostrou conseguir processar toda a sequência. / The Mobile Mapping Systems (MMS) can be defined as a set of sensors embedded on a common platform in order to get spatial information. These sensors are used for imaging or orientation. The integrated orientation using phototriangulation can be employed on both spatial information extracting and MMS orientation. On terrestrial mobile mapping, the photogrammetric bridge (PB) is a special mode of surveying that uses stereopairs to determine the orientation and tridimensional points on terrain. On PB, a point can be viewed by one pair of images or as many as possible images. This characteristic, however, do not ensure that blunders can be detected for all directions. Introducing a third camera having a non-coplanar geometry (based on the epipolar plane) allows a quality improvement of the photogrammetric network determination, formed by the object-space points and exposure stations. The main objectives of this work are showing the third camera contribution for the phototriangulation quality, find an optimal working situation for this set and show that the orientation obtained on the sequential phototriangulation processing can be used as a dead-reckoning sensor. This is done through nine experiments by witch are analyzed processing characteristics, geometry and controllability of blunders. On all experiments, the exterior orientation determination is precise. The tiepoints errors are larger and propagates on the moving direction of the platform. The comparison between batch and sequential processing shows that the batch can be less onerous than sequential when it has few observations, even though it costs more iterations. The controllability is better on the batch processing and the tiepoints tridimensional coordinates determination is more accurate. Bigger processing windows results in more quality on the orientation, but do not affect the tiepoints determination. The dimension of base lift does not affects the quality. A rise of the focal length results on improvement of the trajectory estimation in the movement direction, but reduces the aperture angle, decreasing the field of view. A bigger focal length improves the tiepoints tridimensional coordinates determination proportionally to the rising of focal length. When rising the distance between cameras of the arrange, the positioning quality of the cameras rises in the movement direction as well the tiepoints accuracy, but it turns intra-images matching more difficult for close features. The distance between subsequent exposure stations does not affects the phototriangulations quality, but image matching tends to be more difficult. Comparing with arrange formed by a stereopair, the triangular arrange allowed a detecting-localizationtreatment of an intentionally introduced blunder, while the stereopair lost convergence on the early processing windows. A sinuous trajectory tends to reduce the accuracy, but even so, the program had success on processing the whole sequence.

Made available in DSpace on 2014-06-11T19:32:22Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-11-29Bitstream added on 2014-06-13T18:47:43Z : No. of bitstreams: 1 000733543.pdf: 1641334 bytes, checksum: 5f39de15b1cea423bb3b0b9feb4be9a0 (MD5) / Nesta tese é apresentado o problema de sequenciamento da produção em máquinas paralelas, sem interrupções, sem buffers, com tempos de processamento dependentes da sequência, restrições de capacidade, e sincronismo de execução das tarefas, com o objetivo de minimizar o makespan. Este problema, encontrado no mundo real em processos de fabricação de cilindros de laminação fundidos, possui a particularidade de que pares de tarefas devem ser concluídos ao mesmo tempo, o que torna a solução do problema ainda mais complexa. Inicialmente é proposta uma formulação de programação linear inteira para o problema. A seguir, são desenvolvidos vários métodos de solução que combinam as heurísticas relax-and-fix, iterated local search, variable neighborhood search, e large neighborhood search. Resultados computacionais obtidos a partir de problemas reais mostram que as soluções obtidas pelos métodos propostos superam aqueles obtidos por um software de programação inteira mista padrão executado durante uma hora e meia, sendo que no melhor deles, o gap entre a solução gerada e o melhor limitante inferior conhecido é, em média, de 6% / This paper presents the no-preemptive parallel scheduling problem without buffers,with sequence dependent set-up times,machine eligibility restrictions,and task execution synchronization, with theaim of minimizing themakespan.This problem, found in the real worldin manufacturing processes ofcast rolling mill rolls, has the particularity that pairs of tasks must be completed at the same time, which makes the problemsolution more complex. Initially, a mixed-integerprogramming of the problem isproposed.Following that, several methods thatcombineheuristics relax-and-fix, iterated local search,variable neighborhoodsearch, e large neighborhoodsearch are developed. Computational resultsobtained from real problems showthat the solutions obtained by the proposed methods outperformthose returned by a standardMIP(Mixed Integer Programming) solver after one and ahalf hours. In the best method, the gapbetween the solution andthe best lower bound known isonaverage 6%

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.

Submitted by Jordan (jordanbiblio@gmail.com) on 2017-04-04T16:50:18Z No. of bitstreams: 1 DISS_2015_Gracieli da Silva Henicka.pdf: 44621169 bytes, checksum: 0564cd576f5da3c9d3914ef63b1ae491 (MD5) / Approved for entry into archive by Jordan (jordanbiblio@gmail.com) on 2017-04-17T16:08:59Z (GMT) No. of bitstreams: 1 DISS_2015_Gracieli da Silva Henicka.pdf: 44621169 bytes, checksum: 0564cd576f5da3c9d3914ef63b1ae491 (MD5) / Made available in DSpace on 2017-04-17T16:08:59Z (GMT). No. of bitstreams: 1 DISS_2015_Gracieli da Silva Henicka.pdf: 44621169 bytes, checksum: 0564cd576f5da3c9d3914ef63b1ae491 (MD5) Previous issue date: 2015-08-24 / Pesquisas apontam que é viável a inserção de conceitos relacionados à Teoria da Complexidade (TC) no ensino médio. O objetivo geral desse estudo foi averiguar a viabilidade e as dificuldades no processo de ensino-aprendizagem dos conceitos e princípios da Teoria da Endossimbiose Sequencial (TES) a luz da TC a partir de um produto educacional fundamentado em princípios da Teoria da Aprendizagem Significativa. O trabalho está fundamentado também na epistemologia de Kuhn, Maturana e Varela. Essa pesquisa investigou os conhecimentos prévios dos estudantes do segundo ano do ensino médio da Educação de Jovens e Adultos (EJA) acerca de conceitos de Ecologia, Evolução, Biologia Geral e Genética. Conceitos estes que apresentaram potencialidade para ancorar os novos conceitos relacionados à TES de Lynn Margulis, que foram abordados em seguida. Ao final da pesquisa produziu-se a título de produto educacional, um guia para o professor com orientações e sugestões de aprofundamento do tema, contendo ainda três apresentações em pptx, três textos-apoio para o professor, três textos-apoio para o aluno e sete testes. O material será disponibilizado no site do programa (http://fisica.ufmt.br/pgecn/) e da pesquisadora (www.alegriaeciencia.com.br). A metodologia foi quali-quanti com intervenção. A pesquisa aconteceu em Alta Floresta, MT e foi organizada em cinco encontros entre 19 de março de 2014 e 16 de abril de 2014. Participaram do estudo 94 alunos da EJA, sendo 37 do 2° ano noturno, 32 do 2° ano matutino e 27 do 2° ano vespertino. O 2° ano matutino apresentou em média, excluindo a entrevista, 66,51% de frequência nas atividades da pesquisa, o 2° ano vespertino 64,55% e o 2° ano noturno apenas 44,40%. A análise de todas as turmas juntas mostrou 57,44% de frequência média, o que sugere que os alunos faltaram muito aos encontros, especialmente os alunos do 2° ano noturno. Somente 77 alunos responderam ao pré-teste A onde se investigou o perfil dos alunos. Desses 63,64% são mulheres e 36,36% são homens. Ao analisar as turmas do dia esse cenário se repete, mas não é o caso da turma da noite, onde a maioria são homens na faixa etária de 18 a 22 anos, enquanto a faixa etária dos alunos do dia é mais diversificada, com a presença de alunos de até 62 anos. No tocante às aspirações pessoais a maioria dos alunos em todas as turmas demonstrou intenção em concluir o ensino médio e dar continuidade em sua formação, fazendo cursos técnicos e/ou faculdade. De maneira geral, os resultados das oficinas apontam algumas dificuldades de leitura e interpretação dos alunos o que dificultou o aprendizado, mas também apontam avanços na evolução da aprendizagem dos mesmos, há bons indícios de captação de significados conceituais que podem ser considerados precursores de aprendizagem significativa para alguns conceitos. Esse estudo demonstrou que é viável de inserção da Teoria da Endossimbiose Sequencial a luz da Teoria da Complexidade no ensino médio da EJA. / Researches show that the inclusion of concepts related to Complexity Theory (CT) is feasible in high school. The overall objective of this study was to investigate the feasibility and difficulties in the teaching-learning process of the concepts and principles of the Theory of Sequential Endosymbiosis (TSE) at the light of CT deriving from an educational product reasoned in the principles of the Theory of Meaningful Learning. The work is based also on Kuhn’s, Maturana’s and Varela’s epistemology. This research investigated the previous knowledge of students of the second year of high school of the Youth and Adult Education (EJA) about the concepts ecology of evolution, General Biology and Genetics. Such Concepts showed potential to anchor the new concepts related to TES by Lynn Margulis, which were covered below. At the end of the survey a teacher's guide with directions and issue of deepening suggestions has been created by way of educational product, still containing three presentations in PPTX, three texts-support for the teacher, three texts-support for the student and seven tests. The material will be available on the program website (http://fisica.ufmt.br/pgecn/) and researcher (www.alegriaeciencia.com.br). The methodology was qualitative and quantitative with participant observation. The research took place in Alta Floresta, MT and was organized in five meetings between March 19th 2014 and April 16th 2014. The participants were 94 students of EJA, 37 of the 2nd year from night shift, 32 of the 2nd year from morning shift and 27 the 2nd year from the afternoon shift. The morning shift group showed on average, excluding the interview, 66.51% attendance in the activities of research, the evening shift group 64.55% and the night shift group only 44.40%. The analysis of all the groups together showed 57.44% average rate, suggesting that students skipped many of the meetings, especially the students of the night shift. Only 77 students answered the pretest A which investigated the profile of the students. Of these, 63.64% are women and 36.36% are men. In analyzing the courses of the daytime, this scenario is repeated, but it is not the case of the night shift group, where most are men aged 18-22 years old, while the age group of students of the daytime is more diverse, with the presence students up to 62 years old. Regarding personal aspirations most students in each class demonstrated intention to complete high school and continue on their training, making technical courses and/or college. In general, the results from the workshops pointed to some difficulties in reading and interpreting of students hampering the learning, but also point advances in the evolution of learning, there was a good evidence of uptake of conceptual meanings that can be considered significant precursors to some e-learning concepts. This study demonstrated that it is feasible to insert Theory of Sequential Endosymbiosis at the light of Complexity Theory in high school of EJA.

Made available in DSpace on 2014-12-17T15:14:57Z (GMT). No. of bitstreams: 1 EzequielSS_TESE.pdf: 5032633 bytes, checksum: f9ceb1f9a83a0768f2db67ed0af6938d (MD5) Previous issue date: 1997-09-26 / Neste trabalho investigamos aspectos da propaga??o de danos em sistemas cooperativos, descritos por modelos de vari?veis discretas (spins), mutuamente interagentes, distribu?das nos s?tios de uma rede regular. Os seguintes casos foram examinados: (i) A influ?ncia do tipo de atualiza??o (paralela ou sequencial) das configura??es microsc?picas, durante o processo de simula??o computacional de Monte Carlo, no modelo de Ising em uma rede triangular. Observamos que a atualiza??o sequencial produz uma transi??o de fase din?mica (Ca?tica- Congelada) a uma temperatura TD ≈TC (Temperatura de Curie), para acoplamentos ferromagn?ticos (TC=3.6409J/Kb) e antiferromagn?ticos (TC=0). A atualiza??o paralela, que neste caso ? incapaz de diferenciar os dois tipos de acoplamentos, leva a uma transi??o em TD ≠TC; (ii) Um estudo do modelo de Ising na rede quadrada, com dilui??o temperada de s?tios, mostrou que a t?cnica de propaga??o de danos ? um eficiente m?todo para o c?lculo da fronteira cr?tica e da dimens?o fractal do aglomerado percolante, j? que os resultados obtidos (apesar de um esfor?o computacional relativamente modesto), s?o compar?veis ?queles resultantes da aplica??o de outros m?todos anal?ticos e/ou computacionais de alto empenho; (iii) Finalmente, apresentamos resultados anal?ticos que mostram como certas combina??es especiais de danos podem ser utilizadas para o c?lculo de grandezas termodin?micas (par?metros de ordem, fun??es de correla??o e susceptibilidades) do modelo Nα x Nβ, o qual cont?m como casos particulares alguns dos modelos mais estudados em Mec?nica Estat?stica (Ising, Potts, Ashkin Teller e C?bico)