Foram utilizados 4 novilhos Nelore, pesando ao redor de 300 Kg, canulados no rúmen e duodeno, em um delineamento em Quadrado Latino 4x4, com o objetivo de se testar a possibilidade de melhor sincronização da degradação ruminal de fontes energéticas e protéicas, através da utilização de 2 formas de processamento de milho (moagem fina (1,5mm) x floculação (300g/l) e 2 fontes protéicas (farelo de soja x uréia). As dietas continham 13% de feno de gramínea tropical e 87% de concentrado, resultando em valores de PB ao redor de 13% e 83% de NDT. A floculação do milho resultou em menor concentração de amido no conteúdo duodenal, sugerindo uma maior degradação deste no rúmen, o que explica a redução de N-NH3 (P<0,01), de pH (P<0,15) e o aumento de C3 (P<0,01) no fluido ruminal. A concentração de uréia plasmática também foi reduzida com a floculação do milho em comparação com a moagem fina. O provável aumento da degradação ruminal do amido através da floculação do milho, resultou em aumento significativo (P<0,01) da digestibilidade deste nutriente no trato digestivo total, com um incremento ao redor de 10 unidades percentuais (89,22 x 98,90%) em comparação com a moagem fina. Entretanto, a digestibilidade da MS no trato digestivo total não foi aumentada (P>0,05) com a floculação do milho, provavelmente devido à redução (P<0,01) da digestibilidade do FDN. A substituição do farelo de soja por uréia não afetou (P>0,05) a fermentação ruminal, nem o consumo e a digestão de nutrientes no trato digestivo total. / Four Nelore steers, cannulated in the duodenum and in the rumen, averaging 300 kg of live weight, were used in a 4x4 Latin Square design, to test the improvement of ruminal synchronization of starch and protein degradation. Two methods of corn processing (fine grinding (1,5mm) vs steam flaking (300g/l)) and 2 protein sources (soybean meal vs urea) were compared in a 2x2 factorial arrangement. The diets contained 13% of tropical grass hay and 87% of concentrate, averaging 13% CP and 83% TDN. Steam flaking of corn decreased (P<0,01) starch concentration in duodenal digesta, suggesting a higher ruminal degradation of this nutrient. This would explain the actual decrease in ruminal N-NH3 (P<0,01) and pH (P<0,15) and the increase in molar concentration of ruminal C3 (P<0,01). PUN concentration was decreased (P<0,01) by steam flaking of corn compared to fine grinding. The probable increase of starch degraded in the rumen and post rumen, due to steam flaking, increased (P<0,01) digestibility of this nutrient in the total tract (89,22 x 98,90%), compared to fine grinding. However, the total tract DM digestibility was not increased (P>0,05) by steam flaking, probably due to the decrease (P<0,01) in NDF digestibility. The replacement of soybean meal by urea had no effect (P>0,05) on ruminal fermentation and on intake and total tract digestion of nutrients.

Made available in DSpace on 2017-07-21T19:59:58Z (GMT). No. of bitstreams: 1 Bruna Steckling.pdf: 1617437 bytes, checksum: a310841fa34ee2fb3a59be3ff493fbe8 (MD5) Previous issue date: 2013-03-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Agrochemicals have become necessary to improve crops yields and provide the increasing demand for foods. Nevertheless, pesticides can persist in the environment and be harmful to non target organisms. Mesotrione, the active ingredient of Callisto, is a selective herbicide recommended for pre and post-emergent weed control in corn culture, with high leaching potential, and it has the ability to inhibit the activity of HPPD enzyme, interfering with the synthesis of carotenoids in target plants. The aim of this work was to evaluate the strategies used by the strain Bacillus megaterium Mes13 to avoid toxic effects of Callisto and its active substance, mesotrione, by analyzing the differential expression of antioxidative enzymes, mesotrione degradation, and changes in membrane structure. There were no specific responses from isozymes to herbicides. Catalase activity at Callisto treatment was lower than control, suggestingother mechanisms affecting cellular defense. Lipid peroxidation (MDA), which depends on saturation degree of membrane fatty acids, was lower at Callisto treatment, and changes in bacterial membrane were observed at Callisto treatment, probably protecting membrane against lipid peroxidation. Mesotrione was used neither as C nor N source for growing of Bacillus megaterium, although degradation of mesotrione was higher at minimal medium with no N source, suggesting that herbicide degradation occurs as a cometabolism. Probably the membrane modifications and mesotrione degradation made this bacteria able to tolerate the herbicides at experimental conditions. / O uso de agroquímicos se faz necessário para aumentar a produtividade e suprir a crescente demanda por alimentos. Entretanto, estes químicos podem persistir no meio ambiente e serem danosos aos organismos não-alvo. O mesotrione é um herbicida seletivo indicado para o controle pré e pós-emergente de plantas daninhas na cultura do milho com alto potencial de lixiviação, que apresenta a capacidade de inibir a atividade da enzima 4-hidroxifenil-piruvato-dioxigenase (HPPD), interferindo na síntese de carotenóides. Neste trabalho analisamos três possíveis estratégias utilizadas pela linhagem Bacillus megaterium Mes13 para tolerar o herbicida Callisto e seu princípio ativo, mesotrione: expressão de enzimas antioxidativas, degradação do princípio ativo e modificações na estrutura de lipídeos da célula. Avaliações de atividade e perfil proteico de catalase (CAT) e superóxido dismutase (SOD) foram realizadas para avaliar os possíveis danos gerados pelo contato da bactéria com o herbicida. Nenhuma isoforma específica foi observada em resposta aos tratamentos contendo os xenobióticos e a atividade de CAT foi mais baixa no tratamento contendo Callisto indicando outros possíveis mecanismos de defesa celular. Corroborando estes resultados, as análises de peroxidação lipídica (MDA), que dependem do estado de saturação de lipídeos de membrana, mostraram taxas mais baixas no tratamento com Callisto. Modificações na membrana bacteriana foram observadas nos tratamentos contendo Callisto, o que, possivelmente diminuíram as taxas de peroxidação lipídica. Esta linhagem não utiliza mesotrione como fonte de nitrogênio e carbono, contudo, o processo de degradação do herbicida foi mais eficiente na ausência de Nitrato de Sódio em meio de cultura. A degradação provavelmente se dá por uma enzima inespecífica. Na ausência da fonte primária de nitrogênio, esta linhagem degrada o mesotrione por cometabolismo. Provavelmente as modificações na membrana plasmática aliada a degradação da molécula do xenobiótico conferiram a linhagem capacidade de tolerar a presença dos herbicidas nas condições experimentais testadas. Palavras-chave: SOD, CAT, MDA, Biodegradação de herbicidas, Fonte de nitrogênio, modificações na membrana plasmática.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-05-14T13:06:50Z No. of bitstreams: 1 Roberta Magalhães Gubert_.pdf: 2454824 bytes, checksum: 2034a86fa9e3e4d3b4b805b0bf52a0ed (MD5) / Made available in DSpace on 2018-05-14T13:06:50Z (GMT). No. of bitstreams: 1 Roberta Magalhães Gubert_.pdf: 2454824 bytes, checksum: 2034a86fa9e3e4d3b4b805b0bf52a0ed (MD5) Previous issue date: 2017-01-05 / UNISINOS - Universidade do Vale do Rio dos Sinos / A tese de doutorado versa sobre o tema das Fontes do Direito e a necessidade de uma concepção atualizada de fontes, congruente com o contexto da teoria do Direito contemporânea, fundada na importância do constitucionalismo e na discussão que emerge da tensão provocada pelas crises do Estado moderno e suas implicações – perda de soberania, internacionalização e privatização das fontes – e está delimitada, especificamente, pelo objetivo de desenvolver uma teoria das fontes adequada à Crítica Hermenêutica do Direito (CHD), de Lenio Streck. Desta forma, o problema de pesquisa está centrado no questionamento acerca do sentido de fonte que, enquanto categoria que tradicionalmente compõe a teoria do Direito, é mais adequado à realidade contemporânea, visivelmente alterada pelo constitucionalismo e pela internacionalização. Como hipótese original, o trabalho defende a tese de uma nova formulação da diferença ontológica heideggeriana entre “ser e ente”, para o âmbito do Direito, agora denominada diferença ontológica entre fonte normativa e norma jurídica. O método de trabalho é o fenomenológico-hermenêutico, fundado principalmente na filosofia hermenêutica de Martin Heidegger e na hermenêutica filosófica de Hans- Georg Gadamer, nos conceitos-chave de diferença ontológica e de círculo hermenêutico (pré-compreensão) e na crítica ao pensamento metafísico. O principal referencial teórico no âmbito do Direito é a Crítica Hermenêutica do Direito (CHD), de Lenio Streck. No capítulo dois enfrentam-se os aspectos dogmáticos das fontes, sua evolução histórica e principais classificações, tema bastante emaranhado, em decorrência da plurivocidade de sentidos do termo figurativo “fontes do Direito”. O capítulo três trata de forma crítica das concepções de fonte desenvolvidas pelas correntes positivistas dos séculos XIX e XX. O capítulo quatro aborda o contexto brasileiro e analisa de forma crítica a Lei de Introdução às Normas do Direito Brasileiro. O capítulo cinco, mais propositivo, apresenta o cenário contemporâneo de internacionalização e privatização das fontes, e propõe um novo conceito de diferença ontológica no Direito, entre fonte normativa e norma jurídica, como forma mais adequada de superar as teses positivistas de fontes e harmonizar as fontes tradicionais – leis, doutrina, jurisprudência – às novas fontes do Direito – princípios, tratados, normas, contratos e decisões internacionais, standards e indicadores, entre outros –, e que seja compatível com a Crítica Hermenêutica do Direito e sua preocupação com a autonomia do Direito, capaz de superar a arbitrariedade judicial. / The doctorate thesis explores the theme Sources of Law and the necessity of an updated concept of sources, congruent with the contemporary law theory. Founded in the importance of constitutionalism and the debate that emerges from the tensions raised by the crisis in the classical elements that characterizes modern States, such as the sovereignty principle, and today’s implications – internationalization and privatization of sources. The theme is specially delimitated by the purpose of developing a source theory that is suitable for the Critical Hermeneutics Legal Theory, proposed by Lenio Streck. The research problem questions the meaning of source that, as a traditional category in law’s theory, is more suitable for contemporary’s reality, clearly altered by constitutionalism and internationalization. As the original hypothesis, the paper suggests a new formulation for Heidegger’s ontological difference between “being and entity” in the context of Law, now denominated ontological difference between normative source and legal norm. The methodology adopted was the hermeneutical-phenomenology of Martin Heidegger’s hermeneutical philosophy and Hans-Geog Gadamer’s philosophical hermeneutics. The main concepts of this current of thought used were ontological difference and hermeneutical circle (previous comprehension) and the criticism of metaphysical thought. The main theoretical frame in the scope of Law was Lenio Streck’s Critical Hermeneutics of Law Theory. Chapter two confronts conceptual and theoretical aspects of sources, as well as its historical evolution and main classifications, which considering the plurality of possible meanings attributed to the figurative term “sources of law” is a very tangled matter. Third chapter critically analyzes XIX and XX’s century positivism conceptions about sources of law. Chapter four talks specifically about the Brazilian context and criticizes the “Introduction to Brazilian Norm’s Statue”. The fifth chapter, more propositional, presents the current scenario for the new international and private sources and proposes a new concept for ontological difference in the field of Law, between normative source and legal norm. This is considered a more suitable alternative to overcome positivist thinking as well as to harmonize traditional sources – statues, jurisprudence, precedents – with new kinds of sources – principles, treaties, contracts and international decisions, standards and indicators, and others. This new concept is also considered to be the most compatible with Lenio Streck’s Critical Hermeneutics Legal Theory, that is very concerned with Law’s autonomy and the surpassing of judicial arbitrariness.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-05-07T18:11:50Z No. of bitstreams: 1 Carine Molz.pdf: 2307899 bytes, checksum: b2478459c37bae0098da022c723daeba (MD5) / Made available in DSpace on 2015-05-07T18:11:50Z (GMT). No. of bitstreams: 1 Carine Molz.pdf: 2307899 bytes, checksum: b2478459c37bae0098da022c723daeba (MD5) Previous issue date: 2013-12-20 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / UNISINOS - Universidade do Vale do Rio dos Sinos / A presente pesquisa propõe a utilização de um contactor biológico rotatório (CBR) com 4 estágios, no tratamento de lixiviado de aterro sanitário visando à remoção de matéria orgânica e nitrogênio amoniacal. Para auxiliar na nitrificação do nitrogênio amoniacal foi utilizado glicerina como fonte externa de carbono. O monitoramento da unidade experimental foi dividido em três etapas: Etapa 1 consistiu no uso de três estágios do CBR, com alimentação de 5,1 L/h, TDH de 24 hs e 12 RPM, Etapa 2 com as mesmas condições hidráulicas e a introdução da recirculação de 1,32 L/h do efluente para um estágio localizado antes do Estágio 1, e Etapa 3 que operou com as mesmas condições da Etapa 2, mais a adição de glicerina na razão 4,2 DQO:N no estágio 1 (entrada). O monitoramento dos seguintes parâmetros ocorreu semanalmente: alcalinidade, demanda bioquímica de oxigênio, demanda química de oxigênio, oxigênio dissolvido, pH, carbono inorgânico, carbono orgânico e carbono orgânico total, nitrogênio amoniacal, nitritos, nitratos, sólidos totais, sólidos suspensos totais, fixos e voláteis e fosfato. Esta abordagem buscou avaliar o desempenho do CBR no tratamento de lixiviado de aterro sanitário com baixa relação DBO5:DQO, visando a nitrificação do nitrogênio amoniacal e redução da matéria orgânica carbonácea. Durante o monitoramento da Etapa 1 foi observado acúmulo de nitritos e baixa produção de nitratos. O consumo de nitrogênio amoniacal foi de 682±274 mg N/L, DQO 335±925 mg O2/L e DBO568±106 mg O2/L. Na Etapa 2 o consumo de alcalinidade aumentou, porém ainda observou-se acúmulo de nitritos. A produção de nitratos aumentou em relação à Etapa 1, o consumo de nitrogênio amoniacal foi de 1.182±367 mg N/L, DQO 2.365±2.273 mg O2/L e DBO5510±90 mg O2/L. No monitoramento da Etapa 3, a adição de glicerina possibilitou um aumento na produção de nitratos, observando-se aumento significativo de sua concentração. O consumo de nitrogênio amoniacal foi de 742 ±139 mg N/L, DQO 1.558±558 mg O2/L e DBO5421±162 mg O2/L. No decorrer do monitoramento das Etapas pode-se observar que a glicerina e a recirculação auxiliaram na produção das bactérias oxidadoras de nitritos, porém ainda não o suficiente para a nitrificação completa do nitrogênio amoniacal afluente. / This research proposes the use of a rotating biological contactor (CBR) with 4 stages in the treatment of landfill leachate seeking the removal of organic matter and ammonia nitrogen. To help nitrification of ammonium nitrogen was usedas external carbon source glycerol. The monitoring of the experimental unit was divided into three steps: Step 1 consisted of three stages with power of 5.1 L/h, TDH 24 hours and 12 RPM, Step 2 with the same hydraulic conditions and the introduction of recirculation of1.32 L/h the effluent to a stage located before the stage 1, Step 3 and which was operated with the same conditions as Step 2 plus the addition of glycerin in the ratio 4.2 COD:N in the first stage (input). The monitoring of the following parameters occurred weekly: alkalinity, biochemical oxygen demand, total suspended chemical oxygen demand, dissolved oxygen, pH, inorganic carbon, organic carbon and total organic carbon, ammonia, nitrites, nitrates, total solids, solid, fixed and volatile and phosphate. This approach sought to evaluate the performance of RBC for the treatment of landfill leachate with a low BOD:COD, aiming nitrification of ammonia nitrogen and reduction of residual carbonaceous organic matter. During monitoring of Step 1 accumulation of nitrite and low nitrate production was observed, the consumption of ammonia nitrogen was 682±274 mg N/L, COD 335±925 mg O2/L and BOD 68±106 mg O2 /L. In Step 2 the consumption of alkalinity increased, but still there was accumulation of nitrite, nitrate production increased compared to Step 1, the consumption of ammonia nitrogen was 1.182±367 mg N/L, COD 2.365±2.273 mg O2/ L and BOD 90±510 mg O2/ L. Already, in the monitoring of Step 3, the addition of glycerin assited produce nitrates occurring significant increase in their concentrations, the presence of significant concentrations of nitrites, ammonia nitrogen consumption was 742±139 mg N/L, COD 1,558±558 mg O2/ L and BOD5 421±162 mg O2/ L. In the course of monitoring steps may be notedthat the recirculation glycerin supported in the production of nitrite-oxidizing bacteria, but still not enough for complete nitrification.

Neste trabalho, a decomposição por via úmida em sistema fechado assistida por radiação micro-ondas (MW-AD) e a decomposição por via úmida em sistema fechado assistida por radiação micro-ondas e ultravioleta (MW-UV) foram avaliadas para amostras comerciais de biodiesel para posterior determinação de Ba, Co, Cr, Cu, Mn, Mo, Ni, Pb, Sr, V e Zn por espectrometria de massa com setor eletromagnético com plasma indutivamente acoplado (SF-ICP-MS). A MW-AD empregando ácido diluído foi primeiramente avaliada sendo possível a decomposição de até 700 mg de biodiesel com HNO3 7 mol L-1 e 2 mL de H2O2 30% (m/m). As soluções finais apresentaram teor de carbono residual (RCC) de 8,7% e acidez residual (RA) de 4%. Posteriormente, com o objetivo de obter maior eficiência de decomposição, o método MW-UV foi avaliado para a decomposição de biodiesel. Com o emprego deste método até 950 mg de amostra foram decompostas com HNO3 7 mol L-1 e soluções finais com RCC de 17,4% e RA de 19,3% foram obtidas. As soluções finais, para ambos os métodos, foram adequadas para a determinação de elementos traço por SF-ICP-MS. Possíveis interferências na etapa de determinação dos analitos, causadas pela presença de carbono residual, foram estudadas através do emprego de padrão interno 115In e de ensaios de recuperação de analito para monitorar a formação de espécies poliatômicas no plasma. Os resultados obtidos mostraram a necessidade da utilização de padrão interno, sendo o instrumento operado no modo de baixa resolução para a determinação da maioria dos analitos, com exceção de 52Cr, para o qual o instrumento foi operado no modo de média resolução. A exatidão dos métodos propostos foi avaliada mediante a análise de material de referência certificado, obtendo-se resultados concordantes, com nível de confiança de 95% (teste t-student), com os valores certificados para a maioria dos elementos. Ensaios de adição de analito também foram feitos para a avaliação da exatidão e recuperações de 92 à 109% foram obtidas. Os limites de detecção (LD) obtidos para o método MW-UV foram inferiores aos obtidos para MW-AD, na faixa de 0,08 a 6,9 ng g-1 e 1,0 a 14 ng g-1, respectivamente. / In this work, the microwave-assisted digestion (MW-AD) and microwave-assisted ultraviolet digestion (MW-UV) were evaluated for commercial biodiesel samples for subsequent determination of Ba, Co, Cr, Cu, Mn, Mo, Ni, Pb, Sr, V and Zn by sector field inductively coupled plasma mass spectrometry (SF-ICP-MS). Using the MW-AD method with diluted acid up to 700 mg of biodiesel were digested with 7 mol L-1 HNO3 and 2 mL of 30% (w/w) H2O2. Final solutions presented residual carbon content (RCC) of 8.7% and residual acidity (RA) of 4%. In order to improve the digestion efficiency, the MW-UV method was evaluated for biodiesel digestion. Using MW-UV method up to 950 mg of sample were digested with 7 mol L-1 HNO3 and the final solutions with RCC of 17.4% and RA of 19.3% were obtained. The final solutions obtained for both methods were suitable for the determination of trace elements by SF-ICP-MS. Interferences in the determination step were studied using 115In as internal standard and analyte recovery to monitor the formation of polyatomic species in the plasma. The low resolution mode was used for the determination of almost of the analytes with the exception of 52Cr that was determine using medium resolution mode. Accuracy of the investigated methods were evaluated by analysis of certified reference material and the values obtained were in agreement with 95% confidence level (t-student test) with the certified values for all elements. Analyte recovery was also performed to evaluate the accuracy and recoveries of 92 to 109% were obtained. The limits of detection (LOD) obtained by the MW-UV method were lower than MW-AD method and are in the range of 0.08 to 6.9 ng g -1 and 1.0 to 14 ng g -1, respectively.

Este trabalho apresenta um estudo da discretização de controladores ressonantes aplicados a fontes ininterruptas de energia (UPSs, do termo em inglês, Uninterruptible Power Suppllies). Primeiramente, diferentes métodos de discretização serão considerados na obtenção de um modelo em tempo discreto da UPS. Além disso, estes métodos serão comparados do ponto de vista frequencial para a definição da formulação do controlador ressonante a ser utilizado. Então, uma metodologia de projeto robusto do controlador ressonante em tempo discreto é proposta a partir de uma representação em espaço de estados do sistema em malha fechada e os parâmetros do controlador são obtidos através da solução de um problema de otimização convexa sujeito a restrições na forma de Desigualdades Matriciais Lineares (do inglês, Linear Matrix Inequalities - LMIs). A estratégia proposta foi validada por meio de resultados de simulação e experimentais obtidos com um inversor comercial de 3,5 kVA considerando os critérios estabelecidos na norma IEC 62040-3. Nestas condições, demonstrara-se um desempenho melhor do que os obtidos com a discretização do controlador projetado em tempo contínuo, sobretudo quando consideradas frequências de amostragem menores. / This work presents a study about discrete-time resonant controllers applied to uninterruptible power supplies (UPSs). First, different discretization methods are considered to obtain an equivalent UPS discrete-time model. Moreover, these methods are compared in the frequency domain in order to define the resonant controller structure to be employed. Then, a robust design methodology to the discrete-time resonant controller is proposed using a state-space representation of the closed-loop system and the controller parameters are obtained by solving a convex optimization problem subject to constraints in the form of Linear Matrix Inequalities (LMIs). The proposed strategy was validated by means of simulation and experimental results obtained with a 3.5 kVA commercial inverter taking into account the IEC 62040-3 norm requirements. In this conditions, a better performance was achieved than those obtained through discretization of a continuous-time controller, especially when considering smaller sampling frequencies.

Uma série de problemas de filas em sistemas de transportes com picos de tráfego, ou um número finito de elementos no sistema, são usualmente representados pelo modelo de fonte infinita, dadas as dificuldades de utilização do modelo exato de fonte finita. Este trabalho apresenta uma solução alternativa baseada no cálculo de um limitante superior para as probabilidades de equilíbrio do modelo exato de fonte finita, e compara as medidas de desempenho dos sistemas calculadas pelos dois modelos. Mostra-se que para índices de congestionamento menores que um, as diferenças entre estas medidas são tanto menores quanto menor for este índice. A partir destes resultados, compara-se as medidas de desempenho do modelo aproximado proposto com as do modelo de população infinita, para diferentes tamanhos de população e números de servidores. Conclui-se que os modelos conduzem a resultados numéricos muito próximos para uma ampla variação do índice de congestionamento, e que estes resultados são tão melhores quanto maior for o número de servidores no sistema e o número de elementos na população. São também apresentados três estudos de casos comparando os resultados induzidos pelos modelos exato, proposto e usual de fonte infinita, que ilustram a aplicabilidade prática dos resultados deste trabalho em sistemas de transportes. / A set of stochastic queueing problems in transportation systems with traffic peaks, or a finite number of elements in the system, are usually represented by the infinite source model, due to the difficulties of applying the exact finite source model. This study presents an alternative solution based on the upper bound values of the equilibrium probabilities of the exact finite source model, and compares the performance measurements of the two models. It is shown that for congestion factors below one, the smaller the value of the congestion factor, the smaller is the difference between the models. Based on this results the measures of performance of the proposed aproximate model are compared with the results of the usual infinite source model for different population sizes and number of servers. It is concluded that the models lead to very close numerical results for a wide range of congestion factors of the system and that these results are the better the larger is the number of servers and the number of elements in the system. Three case studies ilustrating the pratical applicability of the results of this study to transportation systems are also presented.

A hierarquia do gerenciamento de resíduos sólidos apresenta-se como a melhor opção global em termos ambientais ao prever práticas de redução na fonte e processos de recuperação material e energética anteriores à disposição final. Suas diretrizes foram incorporadas pela Política Nacional de Resíduos Sólidos, redefinindo responsabilidades e estratégias em gerenciamento de resíduos sólidos. Aplicada aos resíduos sólidos urbanos (RSU), a hierarquia envolve, além do aspecto ambiental, a análise de viabilidade econômica, aspectos sociais, aspectos de saúde pública, a análise de viabilidade técnica e a motivação política, tornando contextual a tomada de decisão para implementação de estratégias nesse sentido. Dessa forma, esta pesquisa teve como objetivo avaliar a preferência de especialistas por cenários orientados à hierarquia do gerenciamento de RSU em São Carlos/SP utilizando a Metodologia Multicritério de Apoio à Decisão. Inicialmente, foram identificadas, através da revisão da literatura, ações e/ou métodos de tratamento de RSU voltados à hierarquia do gerenciamento de RSU. Posteriormente, foram identificados os critérios de decisão por meio da construção de mapas cognitivos com 6 atores de reconhecida experiência em gerenciamento de RSU no contexto do município. Os mapas cognitivos também restringiram as alternativas de decisão àquelas passíveis de serem empregadas pelo poder público municipal. Com base na avaliação dos mapas, foram selecionados 10 critérios de decisão e construídos 11 cenários (ações potenciais) contemplando as alternativas, compondo o modelo multicritério de apoio à decisão. Os critérios de decisão englobaram aspectos econômicos, ambientais, de saúde pública e sociais. Os cenários foram construídos considerando estratégias de recuperação material (compostagem e reciclagem), recuperação energética (biogás e incineração) e redução na fonte (cobrança de taxas, consumo consciente e incentivo à reutilização). Para avaliação da importância dos critérios utilizou-se a metodologia Delphi, associada ao Analytic Hierarchy Process, envolvendo 18 especialistas que também avaliaram o desempenho dos cenários segundo os objetivos de cada critério. Dentre os critérios, obtiveram as maiores importâncias relativas aqueles relacionados à saúde pública e à recuperação material, sendo os de mais baixa importância relativa os critérios de recuperação energética e de geração de créditos de carbono. O julgamento do modelo multicritério pelos especialistas subsidiou a aplicação dos Métodos Multicritério de Apoio à Decisão Compromise Programming, Cooperative Game Theory, ELECTRE II e PROMETHEE II, disponíveis para apoio à decisão no software MCDA-FEC (UNICAMP). Seus resultados mostraram que os cenários preferidos foram aqueles que conjugaram estratégias de recuperação material e energética, sendo menos preferidos aqueles que previram apenas a incineração, com ou sem recuperação energética. / Waste management hierarchy presents the best global option in environmental terms as it foresees ways of source reduction, material and energy recovery processes, and establishes the final disposition as the last desired option. Its policies were incorporated by the \"Política Nacional de Resíduos Sólidos\", conditioning resolutions for solid waste management strategies in Brazil. Besides the environmental aspect, applied to municipal solid wastes hierarchy involves evaluation of costs, social impacts, public health criteria, analysis of technical viability and political motivation, contextualizing the decision-maker related to the implementation of strategies in this direction. Thus, this study aimed to evaluate specialists preference for scenarios that were oriented to MSW management hierarchy in Sao Carlos/SP using the Multicriteria Decision Aid methodology. Strategies and/or MSW treatment methods associated with hierarchy\'s policies were initially identified through literature revision. Afterwards, decision criteria were identified through the construction of cognitive maps with 6 experienced people of accepted importance for the MSW management in the city\'s context. Cognitive maps also restricted decision alternatives to those susceptible of being taken by public law in the county. Ten decision criteria were selected and eleven scenarios were constructed based on the alternatives, composing the decision support model for multi-criteria analysis. Decision criteria included economical, environmental, public health and social aspects. Scenarios were composed of material recovery strategies (composting and recycling), energy recovery (biogas and incineration) and source reduction (fee collection, environmental education and reuse incentive). For criteria importance evaluation, Delphi methodology (associated to Analytic Hierarchy Process) was used involving 18 specialists that also evaluated scenarios performance according to each criterion objective. Regarding the criteria, those related to public health and material recovery obtained the highest relative importance, and the lowest relative importance were obtained by criteria of energy recovery and generation of carbon credits. The information obtained by specialists model evaluation supported the application of Multicriteria Decision Aid methods Compromise Programming, Cooperative Game Theory, ELECTRE II and PROMETHEE II, available for decision support in MCDA-FEC software. Its results show that the most preferable scenarios are those conjugate material and energy recovery strategies, and those that use the incineration process are less preferable, with or without energy recovery system.

The teaching and learning process of computer programming is a complex task which requires a lot of practice and creativity. Usually, there are numerous solutions to the same problem. Therefore, the student needs that his solutions are evaluated quickly for a faster and effective learning. To face these challenges, teachers and students can rely on resources from the evolution of Information and Communication Technology. Virtual learning environments and online judge systems are attractive alternatives used in this context. This work presents a unified approach to specify and check source code restrictions supported by a static analyzer. Although current tools are able to indicate if the program produced the expected output from a given input, not all are able to determine if the student used (or not) a given programming language construct, such as creating a function and using it in the program. Among those that are capable, there are problems that were solved in the approach proposed in this work, such as: ease of use, unified approach and degree of flexibility. In addition, this work presents an analysis of the database of The Huxley with the purpose of discovering the main restrictions of source code used by the teachers and attended by the students. This analysis was done based on data obtained from the use of the developed static analyzer and in conjunction with a survey applied to the teachers of introduction to programming with the purpose of knowing the main restrictions that would be used by them if they had a tool to specify and check restrictions. / O processo de ensino e aprendizagem da programação de computadores é uma tarefa complexa que requer bastante prática e criatividade. Geralmente há inúmeras soluções para um mesmo problema. Por isso, o aluno precisa que suas soluções sejam avaliadas rapidamente visando um aprendizado mais ágil e eficaz. Para enfrentar esses desafios, os professores e alunos podem contar com recursos provenientes da evolução da Tecnologia da Informação e Comunicação. Os ambientes de aprendizagem virtual e os sistemas de juiz on-line são alternativas atrativas utilizadas nesse contexto. Este trabalho apresenta uma abordagem unificada de especificação e checagem de restrições de código-fonte apoiada por um analisador estático. Apesar das ferramentas atuais serem capazes de indicar se o programa produziu a saída esperada a partir de uma entrada fornecida, nem todas são capazes de determinar se o aluno utilizou (ou não) determinada construção de linguagem de programação, como por exemplo criar uma função e utilizá-la no programa. Entre as que são capazes, existem problemas que foram sanados na abordagem proposta neste trabalho, como: facilidade de uso, abordagem unificada e grau de flexibilidade. Além disto, este trabalho conta com uma análise da base de dados do The Huxley com o objetivo de descobrir quais são as principais restrições de código-fonte utilizadas pelos professores e atendidas pelos alunos. Esta análise foi feita com os dados obtidos da aplicação do analisador estático de código-fonte desenvolvido e em conjunto com um survey aplicado aos professores de introdução à programação com o propósito de conhecer as principais restrições que seriam utilizadas por eles se possuíssem uma ferramenta de especificação e checagem de restrições. / São Cristóvão, SE

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O esquema iterativo de fonte de espalhamento (SI) é tradicionalmente aplicado para a convergência da solução numérica de malha fina para problemas de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas com fonte fixa. O esquema SI é muito simples de se implementar sob o ponto de vista computacional; porém, o esquema SI pode apresentar taxa de convergência muito lenta, principalmente para meios difusivos (baixa absorção) com vários livres caminhos médios de extensão. Nesta dissertação descrevemos uma técnica de aceleração baseada na melhoria da estimativa inicial para a distribuição da fonte de espalhamento no interior do domínio de solução. Em outras palavras, usamos como estimativa inicial para o fluxo escalar médio na grade de discretização de malha fina, presentes nos termos da fonte de espalhamento das equações discretizadas SN usadas nas varreduras de transporte, a solução numérica da equação da difusão de nêutrons em grade espacial de malha grossa com condições de contorno especiais, que aproximam as condições de contorno prescritas que são clássicas em cálculos SN, incluindo condições de contorno do tipo vácuo. Para aplicarmos esta solução gerada pela equação da difusão em grade de discretização de malha grossa nas equações discretizadas SN de transporte na grade de discretização de malha fina, primeiro implementamos uma reconstrução espacial dentro de cada nodo de discretização, e então determinamos o fluxo escalar médio em grade de discretização de malha fina para usá-lo nos termos da fonte de espalhamento. Consideramos um número de experimentos numéricos para ilustrar a eficiência oferecida pela presente técnica (DSA) de aceleração sintética de difusão. / The scattering source iterative (SI) scheme is traditionally applied to converge finemesh numerical solutions to fixed-source discrete ordinates neutron transport problems. The SI scheme is very simple to implement under a computational viewpoint. However, the SI scheme may show very slow convergence rate, mainly for diffusive media (low absorption) with several mean free paths in extent. In this work we describe an acceleration technique based on an improved initial guess for the scattering source distribution within the slab. In other words, we use as initial guess for the fine-mesh average scalar flux in the scattering source terms of the SN discretized equations used in the transport sweeps, the coarse-mesh solution of the neutron diffusion equation with special boundary conditions to account for the classical SN prescribed boundary conditions, including vacuum boundary conditions. To apply this coarse-mesh diffusion solution into the fine-mesh SN transport sweep discretized equations, we first perform within-node spatial reconstruction, and then we determine the fine-mesh average scalar flux for use in the scattering source terms. We consider a number of numerical experiments to illustrate the efficiency of the offered diffusion synthetic acceleration (DSA) technique.