Mellan 2004 och 2006 deltog ett svenskt mekskyttekompani som en del i FN-insatsen i Liberia, UNMIL. Uppsatsen syftar till att utreda hur det svenska kompaniet bidrog till uppfyllandet av den strategiska målbilden inom UNMIL 2004-2006 med hänsyn tagen till svenska direktiv, ordrar och incitament till att bidra till insatsen, samt att dra lärdomar utifrån detta. En fallstudie har använts för att studera verksamhet och erfarenheter från insatsen som sedan analyseras utifrån de olika mål och framgångsfaktorer som låg till grund för insatsen. Fallstudien baseras i huvudsak på slutrapporter från de svenska kontingenterna som verkade i UNMIL. Resultatet visar att det svenska kompaniet bidrog positivt till uppfyllnaden av UNMIL:s strategiska målbild och Regeringens incitament för deltagande men att brister fanns inom Försvarsmaktens direktiv, främst avseende interoperabilitet. Författaren drar utifrån detta slutsatser att mekskytte hade en viktig roll att spela inom UNMIL och att svenska officerare bör utbildas inom FN-doktrin och FN som system. Slutligen kommer författaren fram till att framgång är svårt att mäta på taktisk nivå i fredsfrämjande operationer och att vidare forskning bör bedrivas på området.

No description available.

No description available.

<p>Effective definedness checking is crucial for an implementation of a logic with undefinedness. The objective of the MathScheme project is to develop a new approach to mechanized mathematics that seeks to combine the capabilities of computer algebra systems and computer theorem proving systems. Chiron, the underlying logic of MathScheme, is a logic with undefinedness. Therefore, it is important to automate, to the greatest extent possible, the process of checking the definedness of Chiron expressions for the MathScheme project. This thesis provides an overview of information useful for checking definedness of Chiron expressions and presents the design and implementation of an AND/OR tree-based approach for automated definedness checking based on ideas from artificial intelligence. The theorems for definedness checking are outlined first, and then a three-valued AND/OR tree is presented, and finally, the algorithm for reducing Chiron definedness problems using AND/OR trees is illustrated. An implementation of the definedness checking system is provided that is based on the theorems and algorithm. The ultimate goal of this system is to provide a powerful mechanism to automatically reduce a definedness problem to simpler definedness problems that can be easily, or perhaps automatically, checked.</p> / Master of Science (MSc)

O setor florestal apresenta impacto na economia do Brasil, com valores significativos no PIB, em exportações e geração de empregos. O país possui cerca de 7,74 milhões de hectares de florestas plantadas, o que corresponde a apenas 0,9% do território nacional. Os plantios podem ser realizados em áreas novas ou em áreas que já possuíam eucalipto no ciclo anterior. Neste caso, os tocos remanescentes representam um problema, dificultando o tráfego homogêneo de máquinas e influindo na qualidade das operações florestais. O aproveitamento dos resíduos, por meio da retirada dos tocos remanescentes, pode contribuir para minimizar esses problemas, trazendo benefícios econômicos e energéticos. Com isso, o objetivo deste trabalho consistiu em analisar a viabilidade operacional, econômica e energética de um sistema mecanizado florestal para o aproveitamento de resíduos florestais (toco). Para tanto, um modelo, em planilha eletrônica, foi desenvolvido. Os dados referentes à capacidade de trabalho dos equipamentos envolvidos foram obtidos por meio de um estudo de tempos e movimentos das operações mecanizadas de destoca, baldeio, processamento e transporte. O modelo foi empregado para avaliação de cenários e identificar variáveis críticas. Os resultados evidenciaram que o sistema mecanizado empregado para a destoca e retirada dos resíduos, tocos e raízes, é viável operacional e economicamente e tem um desempenho energético favorável. As restrições do uso desse sistema referem-se à área mínima e a distância de transporte, e que as variações na produtividade, no preço de venda da biomassa e na capacidade de campo operacional impactam sensivelmente na viabilidade econômica do projeto. / The forest sector plays an important role in Brazil\'s economy, with significant share in the GDP, exports and job creation. Brazil has about 7.74 million ha of planted forests, accounting for only 0.9% of the national territory. Plantations may occur in new areas or in areas that already had a previous eucalypt cycle. In this case, the remaining stumps represent a problem hindering the smooth traffic of machinery and affecting forest operations. The use of waste by removing the remaining stumps can help to minimize these problems, bringing economic and energy benefits. Therefore, the aim of this study was to examine the operational, economic and energy viability of a mechanized-harvest forest system for the use of forest waste (stumps). To this end, a model was developed in spreadsheet. The data related to the work capacity of the equipment involved were obtained by means of a time and motion study of mechanized operations of stumps removal, carrying, processing and transportation. The model was used to evaluate scenarios and identify critical variables. The results showed that the mechanized system used for stumps removal, stumps and roots, is operationally and economically viable and has a favorable energy performance. Restrictions of using this system refers to the minimum area and distance of transport. In addition, variations in productivity, selling price of biomass and field operational capacity significantly affect the economic viability of the project.

A produção de cereais constitui uma das atividades de maior importância para o Brasil. O país ocupa posições de liderança na produção mundial, e é um dos principais exportadores. Para que tal desempenho seja cada vez mais superado, o mercado requer custos de produção competitivos e esse se constitui em um dos grandes desafios atuais da agricultura brasileira. Quanto à participação no custo final de produção da tonelada, a operação de colheita é destaque dentre as etapas que compõem o processo produtivo das principais culturas de cereais. Nas culturas do milho e da soja, o custo de suas atividades oscila entre 30 a 40% do total das operações. Mediante tal significância, estratégias de otimização que visem a redução de seu custo operacional, e que ofereçam subsídios para o seu adequado planejamento tornam-se cada vez mais necessárias. Tendo em vista a aplicação de conceitos logísticos no planejamento e coordenação da operação de colheita como um recurso potencial para a redução de seu custo e para a melhoria da qualidade de sua realização, o presente trabalho teve por objetivo analisar estratégias logísticas em sistemas de colheita de cereais. Em função da complexidade das inter-relações que os caracterizam, e do número envolvido de variáveis, optou-se por realizar as análises com base em um modelo computacional de simulação. SisColhe foi o nome escolhido ao programa de logística e simulação de colheita de cereais desenvolvido. As simulações características do estudo ocorreram a partir de três cenários hipotéticos. A partir do desenvolvimento dos cenários, norteou-se a avaliação das estratégias de colheita por seis distintas análises, compreendendo a definição do problema inicial e o desenvolvimento do algoritmo de simulação, a validação dos resultados do programa, a identificação dos parâmetros de maior contribuição para a formação do custo final da tonelada colhida e o entendimento das estruturas de custo e do desempenho operacional da maquinaria. Os resultados demonstraram que a parcela fixa dos custos possui maior participação na formação do custo final da tonelada colhida do que os variáveis, e que o fator de maior contribuição ao aporte de capital é o valor com o qual as colhedoras são adquiridas no mercado. A capacidade de colheita da frota de colhedoras é o parâmetro no qual residem os maiores potenciais de redução de custo. Essa regeu, inclusive, o desempenho dos demais equipamentos, carretas de transbordo e veículos de transporte, demonstrando um comportamento sistêmico entre os componentes da maquinaria. Em se tratando do custo de movimentação de produção, as atividades de carga e descarga dos veículos foram as responsáveis pela maior parcela na formação dos custos de transporte. No planejamento da colheita, o correto dimensionamento da frota, em conjunto com adoção de estratégias alternativas de incremento de desempenho operacional, mostraram-se estratégias viáveis em sistemas caracterizados pela retirada de grandes produções em curtos intervalos de tempo. Os resultados das simulações demonstraram que o SisColhe está apto a auxiliar a análise e a avaliação da colheita mecanizada de cereais. A lógica de comportamento da maquinaria e de suas inter-relações pôde ser reproduzida. As diferenças de validação mostraram-se aceitáveis face às simplificações impostas ao algoritmo e à variabilidade intrínseca ao ambiente agrícola. / Cereals production constitutes one of the most important agricultural activities to Brazil. The country occupies leadership positions in the world production, and it is one of the main exporters. So that such performance be each time more overcame, the market requests competitive production costs, and this is one of the brazilian agriculture great current challenges. Focusing the ton final production cost percentages distribution, the harvest operation is prominence among the main cereals cultures productive process stages. For corn and soybeans cultures, the cost of their activities oscillates among 30 to 40% of the total operations costs. By such significance, optimization strategies that seek for the reduction of its operational cost, and that create conditions for an better harvest planning become more and more necessary. Considering the application of logistical concepts in the harvest operation planning and coordination as a potential resource to the reduction of its cost and improvement of its accomplishment, the present work had for objective to analyze logistical strategies in cereals harvest systems. Due to the complexity of their interrelations, and to the involved variables number, it was decided to base the analyses on a computational simulation model. SisColhe was the chosen name to the logistics and cereals harvest simulation developed software. The simulations that compose the study happened taking in granted three hypothetical sceneries. The evaluation of the harvest strategies was oriented by six different analyses, comprising the initial problem definition and the development of the simulation algorithm, the program results validation, the most cost composition parameters identification and the cost structures and machinery operational performance behavior understanding. The results demonstrated that the fixed components have more participation in the harvest final cost composition than the varied ones, and the larger contribution factor to the capital a port is the value with which the harvesters are acquired. The fleet harvesters operational capacity is the parameter of largest cost reduction potential, since its influenced, besides, the performance of the others fleet equipments, demonstrating a systemic behavior among them. Taking in granted the cost of the production movement, the vehicles charge and discharge activities were the responsible for the largest transport costs portion. In the harvest planning, the correct fleet dimensioning, together with the adoption of performance increment alternative strategies were viable strategies in high productions and small time intervals characterized systems. The simulations results demonstrated that the SisColhe software is capable to aid the analysis and the evaluation of the cereals mechanized harvest. The machinery behavior logic and its interrelations could be reproduced. The validation differences were acceptable due to the algorithm simplifications imposed and to the intrinsic agricultural environmental variability.

A produção de cereais constitui uma das atividades de maior importância para o Brasil. O país ocupa posições de liderança na produção mundial, e é um dos principais exportadores. Para que tal desempenho seja cada vez mais superado, o mercado requer custos de produção competitivos e esse se constitui em um dos grandes desafios atuais da agricultura brasileira. Quanto à participação no custo final de produção da tonelada, a operação de colheita é destaque dentre as etapas que compõem o processo produtivo das principais culturas de cereais. Nas culturas do milho e da soja, o custo de suas atividades oscila entre 30 a 40% do total das operações. Mediante tal significância, estratégias de otimização que visem a redução de seu custo operacional, e que ofereçam subsídios para o seu adequado planejamento tornam-se cada vez mais necessárias. Tendo em vista a aplicação de conceitos logísticos no planejamento e coordenação da operação de colheita como um recurso potencial para a redução de seu custo e para a melhoria da qualidade de sua realização, o presente trabalho teve por objetivo analisar estratégias logísticas em sistemas de colheita de cereais. Em função da complexidade das inter-relações que os caracterizam, e do número envolvido de variáveis, optou-se por realizar as análises com base em um modelo computacional de simulação. SisColhe foi o nome escolhido ao programa de logística e simulação de colheita de cereais desenvolvido. As simulações características do estudo ocorreram a partir de três cenários hipotéticos. A partir do desenvolvimento dos cenários, norteou-se a avaliação das estratégias de colheita por seis distintas análises, compreendendo a definição do problema inicial e o desenvolvimento do algoritmo de simulação, a validação dos resultados do programa, a identificação dos parâmetros de maior contribuição para a formação do custo final da tonelada colhida e o entendimento das estruturas de custo e do desempenho operacional da maquinaria. Os resultados demonstraram que a parcela fixa dos custos possui maior participação na formação do custo final da tonelada colhida do que os variáveis, e que o fator de maior contribuição ao aporte de capital é o valor com o qual as colhedoras são adquiridas no mercado. A capacidade de colheita da frota de colhedoras é o parâmetro no qual residem os maiores potenciais de redução de custo. Essa regeu, inclusive, o desempenho dos demais equipamentos, carretas de transbordo e veículos de transporte, demonstrando um comportamento sistêmico entre os componentes da maquinaria. Em se tratando do custo de movimentação de produção, as atividades de carga e descarga dos veículos foram as responsáveis pela maior parcela na formação dos custos de transporte. No planejamento da colheita, o correto dimensionamento da frota, em conjunto com adoção de estratégias alternativas de incremento de desempenho operacional, mostraram-se estratégias viáveis em sistemas caracterizados pela retirada de grandes produções em curtos intervalos de tempo. Os resultados das simulações demonstraram que o SisColhe está apto a auxiliar a análise e a avaliação da colheita mecanizada de cereais. A lógica de comportamento da maquinaria e de suas inter-relações pôde ser reproduzida. As diferenças de validação mostraram-se aceitáveis face às simplificações impostas ao algoritmo e à variabilidade intrínseca ao ambiente agrícola. / Cereals production constitutes one of the most important agricultural activities to Brazil. The country occupies leadership positions in the world production, and it is one of the main exporters. So that such performance be each time more overcame, the market requests competitive production costs, and this is one of the brazilian agriculture great current challenges. Focusing the ton final production cost percentages distribution, the harvest operation is prominence among the main cereals cultures productive process stages. For corn and soybeans cultures, the cost of their activities oscillates among 30 to 40% of the total operations costs. By such significance, optimization strategies that seek for the reduction of its operational cost, and that create conditions for an better harvest planning become more and more necessary. Considering the application of logistical concepts in the harvest operation planning and coordination as a potential resource to the reduction of its cost and improvement of its accomplishment, the present work had for objective to analyze logistical strategies in cereals harvest systems. Due to the complexity of their interrelations, and to the involved variables number, it was decided to base the analyses on a computational simulation model. SisColhe was the chosen name to the logistics and cereals harvest simulation developed software. The simulations that compose the study happened taking in granted three hypothetical sceneries. The evaluation of the harvest strategies was oriented by six different analyses, comprising the initial problem definition and the development of the simulation algorithm, the program results validation, the most cost composition parameters identification and the cost structures and machinery operational performance behavior understanding. The results demonstrated that the fixed components have more participation in the harvest final cost composition than the varied ones, and the larger contribution factor to the capital a port is the value with which the harvesters are acquired. The fleet harvesters operational capacity is the parameter of largest cost reduction potential, since its influenced, besides, the performance of the others fleet equipments, demonstrating a systemic behavior among them. Taking in granted the cost of the production movement, the vehicles charge and discharge activities were the responsible for the largest transport costs portion. In the harvest planning, the correct fleet dimensioning, together with the adoption of performance increment alternative strategies were viable strategies in high productions and small time intervals characterized systems. The simulations results demonstrated that the SisColhe software is capable to aid the analysis and the evaluation of the cereals mechanized harvest. The machinery behavior logic and its interrelations could be reproduced. The validation differences were acceptable due to the algorithm simplifications imposed and to the intrinsic agricultural environmental variability.

O setor florestal apresenta impacto na economia do Brasil, com valores significativos no PIB, em exportações e geração de empregos. O país possui cerca de 7,74 milhões de hectares de florestas plantadas, o que corresponde a apenas 0,9% do território nacional. Os plantios podem ser realizados em áreas novas ou em áreas que já possuíam eucalipto no ciclo anterior. Neste caso, os tocos remanescentes representam um problema, dificultando o tráfego homogêneo de máquinas e influindo na qualidade das operações florestais. O aproveitamento dos resíduos, por meio da retirada dos tocos remanescentes, pode contribuir para minimizar esses problemas, trazendo benefícios econômicos e energéticos. Com isso, o objetivo deste trabalho consistiu em analisar a viabilidade operacional, econômica e energética de um sistema mecanizado florestal para o aproveitamento de resíduos florestais (toco). Para tanto, um modelo, em planilha eletrônica, foi desenvolvido. Os dados referentes à capacidade de trabalho dos equipamentos envolvidos foram obtidos por meio de um estudo de tempos e movimentos das operações mecanizadas de destoca, baldeio, processamento e transporte. O modelo foi empregado para avaliação de cenários e identificar variáveis críticas. Os resultados evidenciaram que o sistema mecanizado empregado para a destoca e retirada dos resíduos, tocos e raízes, é viável operacional e economicamente e tem um desempenho energético favorável. As restrições do uso desse sistema referem-se à área mínima e a distância de transporte, e que as variações na produtividade, no preço de venda da biomassa e na capacidade de campo operacional impactam sensivelmente na viabilidade econômica do projeto. / The forest sector plays an important role in Brazil\'s economy, with significant share in the GDP, exports and job creation. Brazil has about 7.74 million ha of planted forests, accounting for only 0.9% of the national territory. Plantations may occur in new areas or in areas that already had a previous eucalypt cycle. In this case, the remaining stumps represent a problem hindering the smooth traffic of machinery and affecting forest operations. The use of waste by removing the remaining stumps can help to minimize these problems, bringing economic and energy benefits. Therefore, the aim of this study was to examine the operational, economic and energy viability of a mechanized-harvest forest system for the use of forest waste (stumps). To this end, a model was developed in spreadsheet. The data related to the work capacity of the equipment involved were obtained by means of a time and motion study of mechanized operations of stumps removal, carrying, processing and transportation. The model was used to evaluate scenarios and identify critical variables. The results showed that the mechanized system used for stumps removal, stumps and roots, is operationally and economically viable and has a favorable energy performance. Restrictions of using this system refers to the minimum area and distance of transport. In addition, variations in productivity, selling price of biomass and field operational capacity significantly affect the economic viability of the project.

Resumo: Com o objetivo de avaliar a demanda energética nas operações de descompactação do solo e a produtividade das culturas da soja e milho, em um NITOSSOLO Vermelho distroférrico há 11 anos cultivado sob o sistema plantio direto, foram conduzidos experimentos com a cultura da soja e do milho, na Fazenda Experimental do Lageado, pertencente à Faculdade de Ciências Agronômicas da UNESP, localizada no município de Botucatu-SP. O delineamento experimental foi de blocos casualizados com quatro repetições, contendo os seguintes tratamentos: Subsolagem a 0,40 m antes da implantação da cultura de inverno, subsolagem a 0,40 m antes da implantação da cultura de verão, escarificação a 0,30 m antes da implantação da cultura de inverno, escarificação a 0,30 m antes da implantação da cultura de verão, escarificação a 0,20 m antes da implantação da cultura de inverno, escarificação a 0,20 m antes da implantação da cultura de verão, plantio direto com hastes sulcadoras e, como testemunha, plantio direto com discos duplos. Os parâmetros avaliados foram: demanda energética, desempenho operacional nos manejos do solo, parâmetros físicos do solo, características agronômicas das culturas e a produtividade de matéria seca e de grãos das culturas. A demanda energética, nas operações de subsolagem e escarificação em solo sob sistema plantio direto, foram proporcionais às profundidades de trabalho das hastes, sendo que quanto maior profundidade, maior a demanda de energia. Os efeitos da subsolagem e da escarificação persistiram após a colheita das culturas, mantendo os valores de densidade do solo abaixo dos obtidos anteriormente a instalação do experimento. A ocorrência de baixos índices pluviométricos no período de semeadura da soja não interferiu no desenvolvimento das plantas e na produtividade de grãos, no sistema plantio direto. A subsolagem e escarificação... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The aim of this study was to evaluate the energy demand during operations of soil decompression and crop yield growth on a Hapludox soil after 11 years of continuous no-tillage system. With this objective, experiments were carried out with soybean and maize, at Fazenda Experimental Lageado, Faculdade de Ciências Agronômicas, UNESP, located in Botucatu city, state of São Paulo, Brazil. The experimental design used randomized blocks with four replications of the following treatments: subsoiling to a depth of 0.40 m before the winter crop sowing; subsoiling to a depth of 0.40 m before the summer crop sowing; chiseling to a depth of 0.30 m before the winter crop sowing; chiseling to a depth of 0.30 m before the summer crop sowing; chiseling to a depth of 0.20 m before the winter crop sowing; chiseling to a depth of 0.20 m before the summer crop sowing, no-tillage with shank in the seeding machine; and no-till with double discs. The parameters evaluated were: energy demand, operational performance in soil tillage, soil physical parameters, crops agronomic characteristics, dry matter production, and grain yield. The results showed that the specific use of energy per area in the operations of subsoiling and chiseling of soil under no-tillage system was proportional to the working depths of the stems during tillage operation. The effects of subsoiling and chiseling on soil density persisted after harvest, showing lower values than those obtained prior to the experiment established. The occurrence of low rainfall at the time of soybean sowing did not interfere on plant development and grain yield under no- tillage system. Sporadic subsoiling and chiseling in soils under no-tillage system did not interfere on plant development and grain yield in maize / Orientador: Sérgio Hugo Benez / Coorientador: Paulo Roberto Arbex Silva / Banca: Luiz Macoln Mano de Mello / Banca: Kléber Pereira Lanças / Banca: Carlos Eduardo Angeli Furlani / Banca: Antonio Renan Berchol da Silva

Today billions of people live without access to basic sanitation facilities, and thousands die every week due to diseases caused by fecal contamination associated with improper sanitation. It has thus become crucial for decision makers to have access to relevant and sufficient data to implement appropriate solutions to these problems. The Global Water Pathogen Project http://www.waterpathogens.org/ is dedicated to providing an up-to-date source of data on pathogen reduction associated with different sanitation technologies that are important if the world is to achieve the Sustainable Development Goals (SDGs) related to health and sanitation provision. In this research, a subset of the Global Water Pathogen Project (GWPP) data is used to access the reduction of bacteria and viruses across different mechanical and natural sanitation technologies. The order of expected removal for bacteria during wastewater treatment was reported as highest for a membrane bioreactor (4.4 log10), waste stabilization pond (2.3 log10), conventional activated sludge (1.43 log10), anaerobic anoxic oxic activated sludge (1.9 log10), trickling filter (1.16 log10), and upflow anaerobic sludge blanket reactor (1.2 log10). Furthermore, the order of expected removal for viruses was reported as highest for a membrane bioreactor (3.3 log10), conventional activated sludge (1.84 log10), anaerobic anoxic oxic activated sludge (1.67 log10), waste stabilization pond (1 log10), upflow anaerobic sludge blanket reactor (0.3 log10) and trickling filter (0.29 log10). It was found that hydraulic retention time (HRT) had a statistically significant relation to the reduction of bacteria in an anaerobic, anoxic oxic treatment system. Similarly, a significant relation was found between the number of waste stabilization ponds in series and the expected reduction of bacteria. HRT was also found to be a significant factor in virus reduction in waste stabilization ponds. Additionally, it was observed that waste stabilization ponds, trickling filters, and UASB reactors could obtain a greater reduction in bacteria (5-7 log10) when combined with additional treatment (e.g., chemical disinfection or use of maturation ponds). Also, mechanized systems, such as activated sludge systems and membrane bioreactors, obtained a greater reduction (2-3 log10) of viruses when compared to a natural system. It was concluded that the selection of the best suitable technology for pathogen reduction depends on environmental, design, and operational factors as well as considering the performance of specific wastewater treatment systems individually as well as when combined with other treatment technologies that may provide added removal of microbial constituents.