O objetivo do presente trabalho foi determinar o papel da integração sensório-motora sobre o efeito do estímulo precedente visual. A investigação também teve a intenção de delimitar a estratégia relacionada à modulação do efeito do estímulo precedente. Para isso, foram utilizadas variações de tarefas de tempo de reação (TR) de escolha, e os dados de TR e acurácia foram analisados. Encontramos uma propensão a antecipar respostas na tarefa de TR de escolha de local, devido ao aparecimento do estímulo precedente. A análise revelou uma troca velocidade-acurácia, indicativa de mudança no critério. Uma adaptação da Teoria de Detecção de Sinais mostrou que o critério de decisão foi elevado, evitando erros de antecipação e de alarmes falsos. A tarefa de TR de escolha de forma apresentou diminuição nos tempos de reação no local do estímulo precedente, sem trocas de velocidade por acurácia. Nossos resultados principais indicam que a integração de estímulo e resposta pode interferir no efeito do estímulo precedente através de modulações de estratégia, dependentes de características do estímulo relevantes à tarefa em questão. / The aim of the present work was to determine the role of sensory-motor integration on the effect of the visual prime stimulus. The investigation intended also to delimit the strategy related to this prime stimulus effect modulation. In order to do that, variations of choice reaction time (RT) task were used, and RT and accuracy data were analyzed. We found a propensity to anticipate responses in the location-based choice RT task, due to the onset of the prime stimulus. The analysis revealed a speed-accuracy trade-off, indicative of criterion shift. An adaptation of the Signal Detection Theory showed that the decision criterion was raised, avoiding anticipatory and false alarm errors. The form-based choice RT task presented decrease in response time in the prime stimulus location, with no speed-accuracy trade-offs. Our main results indicate that stimulus-response integration can interfere with the prime stimulus effect through strategic modulations dependent on stimuli features relevant to the task in hand.

Submitted by EDWIN SANTIAGO RIOS ESCALANTE null (esre_2808@hotmail.com) on 2016-09-12T20:28:02Z No. of bitstreams: 1 template-feg-2016-VERSÃO FINAL.pdf: 3419531 bytes, checksum: 2e6eca3a01fecef269a3334812ba75d2 (MD5) / Approved for entry into archive by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br) on 2016-09-14T19:40:34Z (GMT) No. of bitstreams: 1 escalante_esr_me_guara.pdf: 3419531 bytes, checksum: 2e6eca3a01fecef269a3334812ba75d2 (MD5) / Made available in DSpace on 2016-09-14T19:40:34Z (GMT). No. of bitstreams: 1 escalante_esr_me_guara.pdf: 3419531 bytes, checksum: 2e6eca3a01fecef269a3334812ba75d2 (MD5) Previous issue date: 2016-07-12 / Agência Nacional de Petróleo, Gás Natural e Biocombustíveis (ANP) / Os limites superior e inferior de inflamabilidade são as concentrações máximas e mínimas de um combustível no ar, respectivamente, na qual uma chama pode se propagar, eles são considerados ferramentas chaves na predição do fogo, avaliando a possibilidade de explosão e projeto de sistemas de proteção. Existe interesse em encontrar os limites de inflamabilidade do etanol misturado com um diluente para pressões reduzidas para o futuro uso desse biocombustível em aplicações aeronáuticas tendo em conta a altitude típica de um avião comercial (<40 000 ft.). Neste trabalho foi desenvolvido experimentalmente a inflamabilidade do combustível líquido: Etanol hidratado e utilizou-se como gás diluente o nitrogênio. A bancada experimental usada, consiste de um recipiente esférico de 20 litros como câmara de aquecimento, uma fonte de ignição por faísca localizada na parte central da câmara. O líquido foi injetado com uma seringa de precisão de 1ml de volume para logo se evaporar no interior da câmara, o nitrogênio e ar foram injetados usando pressões parciais. O método para medir a inflamabilidade foi baseado na ignição elétrica e observação visual da propagação da chama conforme norma ASTM E-681. Primeiro os limites superior e inferior de inflamabilidade foram determinados para elevada temperatura (60℃) e pressão ambiente (101,325 kPa) para comparar os resultados com os dados publicados na literatura científica. Depois procedeu-se trabalhar com pressões reduzidas (80, 60, 40 e 20 kPa) para essa mesma temperatura, finalmente foram realizados testes para uma temperatura maior (110℃) para avaliar a influência da temperatura sobre os limites de inflamabilidade de misturas etanol-ar-diluente, os resultados foram plotados como função da relação e adição de nitrogênio e esses gráficos seguem a mesma tendência de trabalhos publicados na literatura científica. / The upper and lower limits of flammability are the maximum and minimum concentrations of a fuel in the air, respectively, in which the flame can spread; they are considered key tools for predicting fire, evaluating the possibility of explosion and protection system design. There is interest in finding the flammability limits of ethanol mixed with a diluent to reduced pressure for future use this biofuel in aeronautical applications having regard the typical height of a commercial aircraft (<40, 000 ft.). In this experimental work was carried flammability of the liquid fuel: Ethanol hydrate and used as a diluent gas nitrogen. The experimental apparatus consists of a 20 liters spherical vessel as heating chamber, a spark ignition source located in the central part of the chamber. The liquid was injected with a 1 ml syringe precision volume immediately evaporates in the chamber; nitrogen and air were injected using partial pressures. The method for flammability measuring was based in both visual observation electric ignition and flame propagation as defined by ASTM E-681. First, the upper and lower flammability limits were determined to a high temperature (60 ℃) and ambient pressure (101.325 kPa) to compare the results with data published in the scientific literature. After, we proceeded to work at reduced pressures (80, 60, 40 and 20 kPa) to same temperature. Finally, tests were carried out for a higher temperature (110 ℃) to evaluate the influence of temperature on the flammability limits ethanol-air-diluent mixtures, the results were plotted as a function of the relationship and adding nitrogen and these graphs follow the same trend of papers published in scientific literature.

Orientador: Sérgio Campos / CoOrientador: Rodrigo Lilia Manzione / Banca: Edson Luis Piroli / Banca: Ferananda Leite Ribeiro / Banca: Mirleia Aparecida de Carvalho / Banca: Renata Cristina Batista Fonseca / Resumo: A intensificação do uso agrícola e pecuário desrespeitando a aptidão do solo bem como a inadequação do planejamento urbano, e os impactos da poluição difusa em áreas de alta vulnerabilidade natural tem ocasionado relevante mudança na dinâmica funcional de uma bacia hidrográfica, interferindo na qualidade hídrica dos mananciais superficiais e subterrâneos, demonstrando sua fragilidade mediante a exploração desordenada dos recursos naturais. O objetivo deste estudo foi identificar a fragilidade ambiental da APA Corumbataí-Botucatu-Tejupá (Perímetro Botucatu) na Bacia Hidrográfica do Rio Capivara inserida em área de afloramento do Sistema Aquífero Guarani adotou-se a metodologia baseada no uso de geotecnologias utilizando planos de informação como o uso da terra, solos, declividade e geologia, no intuito de atestar a hipótese se a bacia está protegida pela APA. Estes atributos foram combinados utilizando álgebra de mapas através da técnica da combinação linear ponderada em que cada um deles foi considerado um fator condicionante à fragilidade ambiental. A normalização dos fatores se deu através das classes de fragilidade com notas variando de um a cinco, de muito baixa à muito alta, respectivamente, e a determinação dos pesos pelo método do Processo Hierárquico Analítico. Os resultados indicaram que a BHRC apresentou altos índices de fragilidade, em 90,4% de sua área total, tendo o uso da terra ocupado pelas áreas de pastagens degradadas como o maior vetor de pressão para estes elevados índices. Somente 9,6% da área total da bacia foram classificadas com baixos índices de fragilidade onde estão as áreas com cobertura florestal (Floresta Estacional Semidecidual, Cerradão, transição Floresta Estacional Semidecidual/Cerradão, Cerrado, mata ciliares, eucalipto e as áreas de várzea) fragmentadas por toda a extensão da bacia. Estes índices acompanham a ... / Abstract: The intensification of agricultural and livestock use disrespecting soil fitness and inadequate urban planning, and the impacts of diffuse pollution in high natural vulnerability areas has caused significant change in the functional dynamics of a watershed, affecting the water quality of surface and groundwater sources, showing its fragility by uncontrolled exploitation of natural resources. The aimed of this study was identify the environmental fragility of the protected area Corumbataí-Botucatu-Tejupá (Botucatu perimeter) in Capivara River Watershed inserted in the outcrop area of the Guarani Aquifer System adopted the methodology based on the geotechnologies using information layers as land use, soil, slope and geology, in order to test the hypothesis that this watershed is protected by the protected area. These attributes are combined using algebra maps through weighted linear combination technique in which each of them a conditioning factor to the environmental fragility. The standardization factors was given through the fragility classes with notes ranging from one to five, very low to very high, respectively, and the determination of weights by the Analytical Hierarchy Process method. The results indicated that the Capivara River Watershed showed high levels of fragility, in 90.4% of total area, and the land use occupied by degraded pastures as the greatest pressure vector for these high rates. Only 9.6% of the basin total area were classified as low fragility indices, which are the areas with forest cover (Semideciduous Forest, transition by Semideciduous Forest/ Savana Forest, Brazilian Savana, Riparian Forest, Eucalyptus Forest and Lowland Areas) fragmented throughout the basin. These indices follow the Hydric Conservation Zone 1, Natural Heritage Conservation Zone and the Agricultural Forestry and Pasture Zone of the protected area providing high fragility and increasing vulnerability to ... / Doutor

Esse trabalho tem como objetivo propor um modelo para determinação da criticidade em processos industriais, utilizando a análise multicritério. Inicialmente é proposta uma classificação por prioridade dos elementos mais críticos de um sistema industrial e posteriormente, uma ordenação desses elementos dentro das suas respectivas classes de criticidade, obtendo com isso a criticidade de cada um. O modelo baseia-se nos métodos de sobreclassificação ELECTRE TRI e PROMETHEE II. Uma aplicação do modelo é realizada nesse trabalho, onde são considerados os critérios: segurança; meio-ambiente; qualidade; impacto operacional; impactos econômicos; tempo médio entre falhas e tempo médio de reparo. Como resultado, são apresentadas comparações do modelo proposto com os métodos tradicionais de determinação de criticidade, procurando observar aspectos subjetivos e objetivos de forma conjunta, a fim de fornecer uma visão clara e sistêmica sobre os problemas implícitos na determinação da criticidade em sistemas industriais. É possível concluir que o uso da análise multicritério na determinação da criticidade possibilita maior profundidade na avaliação e constitui uma ferramenta que auxilia na gestão da manutenção e no aumento da confiabilidade para os sistemas produtivos. / This work aims to propose a model for determining the criticality in industrial processes, using the multi-criteria analysis. Initially it is proposed a priority rating of the most critical elements of an industrial system and later, an ordering of the elements within their respective classes of criticality, thus obtaining the criticality of each. The model is based on outranking methods ELECTRE TRI and PROMETHEE II. An application of the model is carried out in this work, where the criteria are considered: security; environment; quality; operational impact; economic impacts; mean time between failures and mean time to repair. As a result, are presented comparisons of the proposed model with the traditional methods of determination of criticality, trying to observe subjective aspects and objectives jointly in order to provide a clear and systemic view of the problems implicit in determining the criticality in industrial systems. It was concluded that the use of multi-criteria analysis to determine criticality enables greater depth in the assessment and is a tool that helps in the management of maintenance and increased reliability for production systems.

Quando um conjunto de dados possui uma estrutura hierárquica, uma possível abordagem são os modelos de regressão multiníveis, que se justifica pelo fato de haver uma porção significativa da variabilidade dos dados que pode ser explicada por níveis macro. Neste trabalho, desenvolvemos a seleção de modelos de regressão multinível aplicados a dados educacionais. Esta análise divide-se em duas partes: seleção de variáveis e seleção de modelos. Esta última subdivide-se em dois casos: modelagem clássica e modelagem bayesiana. Buscamos através de critérios como o Lasso, AIC, BIC, WAIC entre outros, encontrar quais são os fatores que influenciam no desempenho em matemática dos alunos do nono ano do ensino fundamental do estado de São Paulo. Também investigamos o funcionamento de cada um dos critérios de seleção de variáveis e de modelos. Foi possível concluir que, sob a abordagem frequentista, o critério de seleção de modelos BIC é o mais eficiente, já na abordagem bayesiana, o critérioWAIC apresentou melhores resultados. Utilizando o critério de seleção de variáveis Lasso para abordagem clássica, houve uma diminuição de 34% dos preditores do modelo. Por fim, identificamos que o desempenho em matemática dos estudantes do nono ano do ensino fundamental do estado de São Paulo é influenciado pelas seguintes covariáveis: grau de instrução da mãe, frequência de leitura de livros, tempo gasto com recreação em dia de aula, o fato de gostar de matemática, o desempenho em matemática global da escola, desempenho em língua portuguesa do aluno, dependência administrativa da escola, sexo, grau de instrução do pai, reprovações e distorção idade-série. / When a dataset contains a hierarchical data structure, a possible approach is the multilevel regression modelling, which is justified by the significative amout of the data variability that can be explained by macro level processes. In this work, a selection of multilevel regression models for educational data is developed. This analysis is divided into two parts: variable selection and model selection. The latter is subdivided into two categories: classical and Bayesian modeling. Traditional criteria for model selection such as Lasso, AIC, BIC, and WAIC, among others are used in this study as an attempt to identify the factors influencing ninth grade students performance in Mathematics of elementary education in the State of São Paulo. Likewise, an investigation was conducted to evaluate the performance of each variable selection criteria and model selection methods applied to fitted models that will be mentioned throughout this work. It was possible to conclude that, under the frequentist approach, BIC is the most efficient, whereas under the bayesian approach, WAIC presented better results. Using Lasso under the frequentist approach, a decrease of 34% on the number of predictors was observed. Finally, we identified that the performance in Mathematics of students in the ninth year of elementary school in the state of São Paulo is most influenced by the following covariates: mothers educational level, frequency of book reading, time spent with recreation in classroom, the fact of liking Math, school global performance in Mathematics, performance in Portuguese, school administrative dependence, gender, fathers educational degree, failures and age-grade distortion.

Este trabalho propõe um modelo de teste para programas concorrentes que utilizam memória compartilhada. O modelo é inovador em três aspectos principais: (1) tratar a sincronização e a comunicação de threads de forma separada, (2) considerar a sincronização decorrente da inicialização/finalização de threads, e (3) apresenta um método baseado em timestamps para determinar as comunicações exercitadas em uma dada execução do programa. Os critérios de cobertura existentes para programas concorrentes foram adaptados ao contexto de programas baseados no paradigma de memória compartilhada. A ferramenta chamada ValiPThread foi implementada neste trabalho para apoiar a aplicação do modelo e dos critérios definidos. Com essa ferramenta é possível criar sessões de teste que podem ser salvas, interrompidas e retomadas a qualquer momento. Também é possível adicionar e executar casos de teste, avaliando a cobertura do código fonte em relação aos critérios de teste. A implementação da ferramenta mostra que é possível instanciar o modelo proposto em um software que auxilie a atividade de teste no contexto de programas com memória compartilhada. O trabalho apresenta soluções significativas para os principais desafios impostos pela programação concorrente para a atividade de teste, destacando-se dentre eles: (1) desenvolvimento de novas técnicas de análise estática para analisar programas concorrentes no contexto de memória compartilhada; (2) testar aspectos cruciais à programação concorrente como: sincronização, comunicação e fluxo de dados; (3) reproduzir uma execução de maneira controlada; (4) mapeamento de critérios de teste já existentes para programas concorrentes com passagem de mensagem para o contexto de memória compartilhada; (5) projetar critérios de fluxo de dados para programas concorrentes, considerando variáveis compartilhadas e (6) desenvolvimento de uma ferramenta de apoio a essas atividades / This work presents a novel test model for shared memory concurrent programs. Some important new features in this model are: (1) analysis the communication and synchronization in an isolated manner, (2) examines the synchronization due the start and the finish of threads, and (3) employs a method based on timestamps to check the communication exercised for an execution of the program. The coverage criteria set defined for concurrent programs was adjusted to the shared memory programs. In this work, the tool ValiPThread was implemented to support the application of the test model and of the coverage criteria. This tool allows to create a test session that can be saved, stopped and resumed at any time. In this tool is also possible to add and to execute test cases, analyzing the source code coverage with respect to the coverage criteria. The new tool shows that is possible instance the proposed model in a software that supports the test activity in context of shared memory. This work presents solutions for the major challenges related to task of to test concurrent programs, such as: (1) develop new techniques to do static analyzes of shared memory programs; (2) test important aspects to concurrent programs such as like: synchronization, communication and data flow; (3) replay and deterministic re-execution; (4) adjust coverage criteria from the context of message passing concurrent programs to shared memory context; (5) design data flow criteria based on shared variables and (6) build a tool to support these activities

Orientador: Archimedes Perez Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Geociências / Made available in DSpace on 2018-08-18T20:39:58Z (GMT). No. of bitstreams: 1 Adami_SamuelFernando_D.pdf: 5891216 bytes, checksum: cc17f24dfac01e46191de849700c1742 (MD5) Previous issue date: 2011 / Resumo: O recente momento de expansão da agroindústria sucroalcooleira tem resultado na grande ampliação das áreas cultivadas com cana-de-açúcar no estado de São Paulo, substituindo outras culturas e penetrando em regiões que não eram tradicionalmente ligadas à produção canavieira. A abordagem proposta buscou integrar modelos autômatos celulares, sistemas de informações geográficas e métodos de avaliação multicriterial para simular a dinâmica espacial da cana-de-açúcar no território do escritório de desenvolvimento regional de Araçatuba no período entre 2001 e 2008. Esse lapso temporal foi considerado adequado após um estudo da periodização da agroindústria canavieira a partir do enfoque ambiental. Foram levantadas as preferências de especialistas e gestores de usinas, e essas informações tratadas por meio da aplicação dos métodos multicriteriais programação por compromisso e teoria dos jogos cooperativos para determinação das áreas mais importantes para a expansão da cana-de-açúcar. A partir dessa avaliação, um modelo autômato celular foi empregado para simular o crescimento da cultura canavieira na área de estudos. Os resultados foram comparados àqueles obtidos pela aplicação de métodos tradicionais, como cadeias de Markov, e classificações técnicas, exemplificada pela capacidade de usos das terras; todos os processos embasaram a aplicação de modelos autômatos celulares. Os resultados demonstraram que os métodos propostos, ao incorporar as preferências dos atores e dos especialistas, apresentaram desempenho superior na simulação da dinâmica espacial da cultura canavieira, pois foram obtidos valores mais elevados nos índices Kappa, acurácia total, e Lee-Salleem e menores erros de omissão e comissão para a cultura canavieira, além de aproximações maiores em parâmetros simples de análise da paisagem, quando comparados aos métodos tradicionais. Os procedimentos metodológicos propostos permitem simular a expansão da cana-de-açúcar e dimensionar seus efeitos sobre os usos das terras em nível regional e, assim, subsidiar os debates sobre o modelo de desenvolvimento do campo brasileiro / Abstract: The recent period of sugar cane industry growth has resulted in a major expansion in the cultivated areas with sugar cane at São Paulo, Brazil, replacing other agricultural land uses and moving into regions traditionally characterized by another rural production kind. The suggested approach sought to integrate cellular automata models, geographic information systems and multicriterial evaluation methods for simulating the spatial dynamics of sugar cane plots at the territory of regional development office of Araçatuba between 2001 and 2008. This time lapse was considered appropriate after a study of the periodization of the sugar industry from the environmental approach. The preferences of experts and mill managers were collected and this information was analyzed by applying the method of compromise programming and cooperative game theory to determine the most important areas for growth of sugar cane. Based on this assessment a cellular automaton model has been used to simulate the growth of sugar cane cultivation in the study area. The results were compared with those obtained by applying traditional methods such as Markov chains, and expert's classification, exemplified by the capacity of land uses, both associated with cellular automata models. The results showed that the methods proposed by incorporating the preferences of social actors and experts, were superior in the simulation of spatial dynamics of the sugar cane crop. Higher values were achieved for the Kappa index, overall accuracy, and Lee-Salle index, whereas minor omission errors and commission errors for the sugar cane land use were obtained. The results of proposed methods were closer to the real values at simple parameters of landscape analysis compared to traditional methods. The methodological procedures proposed allow to simulate the expansion of sugar cane and its effects on the land uses at the regional level and thus subsidize the debates about the development model of the brazilian countryside / Doutorado / Análise Ambiental e Dinâmica Territorial / Doutor em Ciências

Orientador: Jansle Vieira Rocha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Agrícola / Made available in DSpace on 2018-08-21T11:13:18Z (GMT). No. of bitstreams: 1 Soare_PedroHenriqueQuariguasy_M.pdf: 1800080 bytes, checksum: 366d3c0b4ab5c21ad87e119c7754ed91 (MD5) Previous issue date: 2012 / Resumo: Atualmente o Sensoriamento Remoto tem avançado a sua utilização em diversos segmentos da sociedade acadêmica e empresarial, assim como, das iniciativas públicas e privadas, haja vista a quantidades de satélites já em órbita e os lançamentos contínuos dos mais diversos tipos de sensores remotos. Diversas nações têm como objetivo a independência geoespacial, seja por questões de segurança nacional ou estratégias de política de desenvolvimento econômico, razão pelo qual os vultosos valores investidos em inovação e tecnologias geoespaciais. Neste sentido, podemos citar inúmeras aplicações do sensoriamento remoto, como subsídio ao planejamento de políticas públicas de uso e ocupação terrestre, fiscalização governamental de fronteiras, planejamento ambiental, mapeamentos e análises de cobertura, análise da dinâmica espaço-temporal de uso e ocupação de solos, de florestas, de agricultura, dentre os mais diversos. Em relação às questões das aplicações do sensoriamento remoto na agricultura, vale ressaltar a importância do segmento sucroenergético nacional como fonte de diversas riquezas, como a produção de açúcar, etanol, bioeletricidade e derivados, e ainda contribuindo com uma matriz energética renovável. Desta forma, o presente trabalho tem a finalidade de hierarquizar as aplicações do Sensoriamento Remoto no setor sucroenergético, assim como, avaliar as restrições de utilização das geotecnologias no segmento. Para efeito didático da pesquisa, assim como, para o diagnóstico mercadológico foi classificado nesta pesquisa três grandes e principais grupos de a utilização das geotecnologias, sendo, aplicações em na gestão agronômica dos fatores de produção, aplicações nas ambientais e, no suporte à gestão dos negócios. No grupo de análise de restrições foram elencados três principais fatores atuais de restrição de utilização: conhecimento de sensoriamento remoto, custos das tecnologias de sensoriamento remoto e a disponibilidade de recursos humanos para o setor sucroenergético. O presente trabalho foi realizado com uma pesquisa de opinião com especialistas junto aos principais "players" do segmento sucroenergético, nas áreas de produção das regiões Centro-sul. A representatividade da pesquisa considerando a safra 2012/2013, foi de aproximadamente 35% da produção total, que tem como previsão 448 milhões de toneladas (Conab, 2012). Como ferramenta de análise e suporte às informações provenientes das pesquisas de opinião, foi utilizado o método multicritério AHP - Analytic Hierarchy Process. Os resultados apresentados nesta pesquisa hierarquizam como principais aplicações do sensoriamento remoto: Aplicações Agrícolas, Meio Ambiente e Gestão de Negócios; e como principais restrições: Conhecimento da Tecnologia do sensoriamento remoto, Disponibilidade de Recursos Humanos e Custos das Tecnologias do Sensoriamento Remoto. Com estes resultados, foi possível elencar e adequar os esforços acadêmicos e comerciais para subsidiar o aumento de utilização das geotecnologias, assim como, diagnosticar suas restrições, para aperfeiçoar e estimular alternativas de uso e aplicação / Abstract: Currently, remote sensing has advanced its use in various segments of the academic society and business, as well as, the public and private initiatives, given the amounts of satellites already in orbit and the ongoing launches of several types of remote sensors. Several nations have the goal of geospatial independence, either by national security issues or strategies of economic development policy, which is why the huge amounts invested in innovation and geospatial technologies. In this sense, we can cite numerous applications of remote sensing, as planning policies for land use and occupation, government oversight of borders, environmental planning, mapping and analysis of land use, analysis of the spatial-temporal dynamics of soil use and land use, forests, agriculture, among many others. Regarding the questions of applications of remote sensing in agriculture, is worth emphasizing the importance of national energy sector sugar as a source of various wealth, as the production of sugar, ethanol, bioelectricity and sub products, and also contributing to a renewable energy matrix. Thus, this study aims to identify and prioritize the main applications of Remote Sensing in the sugar energy sector, as well as, assess the constraints to increase use of geotechnologies. For didactic purposes of this research, as well as, marketing for the diagnosis was classified in this study three main groups of geotechnologies uses, applications in the management of agronomic factors of production, environmental applications, and support of business management. In the group analysis of constraints were listed three major factors restricting current use, such as remote sensing knowledge and costs of remote sensing technologies, as well as, the availability of Human Resources for the energy sector sugar. This work was carried out with a survey with experts with the major players in the segment of sugar energy in the Mid-South production areas. The representativeness of the survey considering 2012/2013 was approximately 35% of total production, which is forecasting 448 million tons (Conab, the first survey - April 2012). As a tool of analysis and supporting information from polls was used multicriteria method AHP - Analytic Hierarchy Process. The results presented in this research prioritize the main applications of remote sensing as Applications for Agriculture, Environment and Business Management, and as major constraints are: Knowledge of Remote Sensing Technology, Human Resource Availability and Costs of Remote Sensing Technologies. With these results, it was possible to list and tailor academic and commercial efforts in order to support geotechnologies use, as well as, diagnosing its constraints, to improve and encourage alternatives for use and application / Mestrado / Planejamento e Desenvolvimento Rural Sustentável / Mestre em Engenharia Agrícola

O teste de software é considerado uma atividade importante para a revelação de falhas. Apesar desta vantagem, tem sido pouco explorado no âmbito de aplicações de Realidade Virtual (RV). Dentre as lacunas existentes, a definição e automatização de critérios de teste de software para esse domínio foi identificada, uma vez que esses sistemas possuem características próprias que requerem definição ou adaptação de técnicas de teste, fazendo com que aplicações nesse domínio constituam sistemas de alta complexidade. Diante disso, o objetivo desta tese é apresentar uma abordagem denominada Virtual Reality-Requirements Specification and Testing (VR-ReST) que visa apoiar a especificação de requisitos de aplicações de RV com base na descrição de casos de uso e conceitos do domínio de RV e Grafo de Cena (GC), derivar requisitos de teste e gerar dados de teste a partir dos requisitos especificados. Além disso, é apresentado um apoio ferramental chamado de Virtual Requirements Specification and Testing (ViReST), que permite automatizá-las. A abordagem é composta por três módulos: (i) especificação dos requisitos por meio do auxílio de um modelo denominado Virtual Requirements Specification (ViReS); (ii) mapeamento dos requisitos por meio de uma linguagem semi-formal chamada Behavior Language Requirement Specification (BeLaRS) para garantir uma especificação padronizada; e (iii) geração automática dos requisitos de teste e dos dados de teste. Foi realizado um estudo de caso para avaliar a conformidade e a usabilidade da BeLaRS em auxiliar a especificação de requisitos de uma aplicação de RV. Além disso, também foi realizado um experimento para avaliar a eficácia da abordagem VR-ReST por meio da ferramenta ViReST. Usando teste de mutação neste último experimento, a abordagem VR-ReST alcançou um escore de mutação médio de 15,49% maior que o teste aleatório. Portanto, os resultados mostraram que a abordagem, bem como o apoio ferramental, podem auxiliar o projetista durante a atividade de especificação de requisitos e o testador na geração dos testes para aplicações de RV. / Software testing is considered an important activity towards fault revealing. Despite this advantage, it has been few explored within the scope of Virtual Reality (VR) applications. Among the existing gaps, the definition and automation of software testing criteria for this domain were identified, since these systems have their own characteristics that require definition or adaptation of testing techniques, making applications in this domain constitute highly complex systems. Therefore, a Virtual Reality-Requirements Specification and Testing (VR-ReST) approach is presented to perform the functional test of VR applications using Scene Graph (SG) concepts and a support tool called Virtual Requirements Specification And Testing (ViReST), which allows you to automate them. The approach is composed of three modules: (i) the first consists in specifying the requirements by means of a model called Virtual Requirements Specification (ViReS); (ii) the second involves mapping the requirements through a semi-formal language called Behavior Language Requirement Specification (BeLaRS) to ensure a standardized specification; and (iii) the third is the automatic generation of test requirements and test data. A case study was conducted to evaluate the compliance and usability of BeLaRS in assisting the requirements specification of an RV application. Also, an experiment was also carried out to evaluate the effectiveness of the VR-ReST approach using the ViReST tool. Using mutation testing in this latter experiment, the VR-ResT approach achieved a mean mutation score of 15.49% higher than the random testing. Therefore, the results showed that the approach, as well as tooling support, can assist the designer during the requirement specification activity and the tester in generating the tests for RV applications.

Made available in DSpace on 2016-04-26T20:24:06Z (GMT). No. of bitstreams: 1 Tese-Solon-Sehn-25-11-2015.pdf: 1845933 bytes, checksum: 21648572dc0f2ab5539d2efa9c47062a (MD5) Previous issue date: 2015-12-18 / After a literature review and a critical analysis of existing theories, the thesis presents a new theory concerning the imposition of the tax on import under the Brazilian law. The study, based on a hypothetic-deductive method, concluded that the tax rule has as material criterion the behavior of import (verb) goods (complement), or the act of introducing goods into the national territory with the intention of incorporated into them. The space criterion is the Customs territory. The time criterion is the moment when a person did or should have done the registration of customs declaration. The creditor (active subject) is the Federal Union, while the debtor (passive subject) is the importer. The customs duties shall be calculated on an ad valorem basis consistent with the methods of valuation established by the GATT Valuation Code. The rate of duty, on the other hand, vary according the origen and the nomenclature under which particular goods should be classified / Após a revisão bibliográfica e a análise crítica das teorias existentes, a tese apresenta uma nova proposta para a compreensão dos pressupostos de incidência do imposto de importação no direito brasileiro. O estudo, baseado no método hipotético-dedutivo, concluiu que o critério material da hipótese de incidência compreende a conduta de importar (verbo) e produtos (complemento), isto é, a introdução de bens móveis e corpóreos no território nacional com a finalidade integradora. O critério espacial corresponde ao território aduaneiro. Já o critério temporal, ao momento em que se promove ou deveria promover o registro da declaração de importação perante a autoridade aduaneira. O credor (sujeito ativo) é a União Federal, recaindo a sujeição passiva sobre o importador (devedor). A base de cálculo equivale ao valor aduaneiro, determinado de acordo com os métodos de valoração do Acordo de Valoração Aduaneira (AVA). As alíquotas ad valorem, por sua vez, são determinadas em função com a origem e a classificação fiscal do produto