Esta dissertação trata da aeração induzida em vertedores com objetivo de mitigar os efeitos da cavitação sobre os mesmos. A análise bibliográfica do tema está calcada na introdução ao mecanismo da cavitação e no levantamento do estado da arte a partir dos trabalhos pioneiros, nos clássicos e nos recentes. Com base nos princípios da física: Conservação de Massa e Primeira Lei da Termodinâmica, foi desenvolvido um modelo matemático para aeração induzida em vertedores. O modelo proposto, após ser analisado do ponto de vista de sua consistência, foi avaliado em comparações com resultados fornecidos por outros pesquisadores, obtidos através de modelos físicos reduzidos. Os resultados obtidos pelo modelo matemático proposto correspondem a boas estimativas das grandezas envolvidas na aeração induzida em vertedores, o que credencia o modelo proposto como uma ferramenta apropriada para projetos de engenharia hidráulica e futuros desenvolvimentos científicos. / This study adress prompt aeration in spillways reaching to reduce the cavitation effects on them. References were based on introduction to cavitation machanism and, state of art survey, to leave on not only earlier studies, but also on classical and most recent ones. Based on principles of Physics, such as Mass Conservation and the First Law of Thermodynamics, a mathematical model has been developed as an example of prompt aeration in spillways. After extensive consistency analyses the proposed model has been validated by comparing different results furnished by studies on physical reduced models by other researchers. Results obtained from the mathematical model proposed here correspond to good estimates of greatnesses involved in prompt aeration is spillways and that turns the proposed model into an adequate tool for Hydraulic Engineering projects and for future scientifics stydies.

Este trabalho relata um estudo realizado para medir a eficiência da abordagem conceitual no ensino da saúde, tendo em vista oferecer subsídios para o planejamento do ensino da saúde. A matéria saúde na escola de 1º Grau foi organizada numa hierarquia conceitual e experiências de aprendizagem planejadas visando à consecução de objetivos cognitivos, afetivos e práticos em relação à saúde. O estudo foi desenvolvido em uma escola pública de São Paulo. Foram tomadas três classes para realizar o estudo. Com o grupo experimental foi usada a abordagem conceitual no ensino; no outro grupo, a metodologia foi escolhida pelo professor, que utilizou a abordagem tradicional; com o grupo controle não se desenvolveu nenhuma atividade específica de ensino da saúde. Comparados os resultados, constatou-se que houve uma diferença significante na aprendizagem do grupo experimental, maior que nos outros grupos. O estudo concluiu que a abordagem conceitual no ensino da saúde do primeiro grau e mais eficiente do que a abordagem tradicional para identificar, selecionar, organizar e desenvolver saúde como materia curricular. / This paper describes a study carried out to measure the efficiency of the conceptual approach in health teaching, in order to contribute to the planning health, teaching in elementary schools. Health was organized in a conceptual hierarchy, and learning experiences were planned covering behavioral objectives to achieve health at the levels cognitive, affective and action. The program was developed in a public school of S.Paulo. Theree classes were chosen: at the experimental the conceptual approach was used for teaching; in the second class the methodology was selected by the teacherwho used the traditional approach; at the third, as the control class, planned activities to teach health were carried out. The results showed that there was a significant difference in learning for the experimental group much greater than in the other classes. The study concludes that the conceptual approach to teach health is more efficient than the traditional to identify, select, organize and develop health as a subject of the school curriculum.

Este trabalho tem o objetivo de mostrar que é possível inserir um tema de Física Moderna e Contemporânea no Ensino Médio, a saber, algumas noções de Mecânica Quântica. O estudo foi realizado com alunos de 3º ano do Ensino Médio de uma escola pública estadual de Porto Alegre, Brasil; foram abordados somente conceitos de Mecânica Quântica, usando poucas fórmulas matemáticas de fácil assimilação. Conceitos da aprendizagem significativa de Ausubel e Novak foram usados como referencial teórico deste estudo e a noção de Perfil Epistemológico, de Gaston Bachelard, como referencial epistêmico. Foi feita uma análise quantitativa e qualitativa das respostas desses alunos usando testes e esquemas conceituais. Não houve grupo de controle, pois este assunto não é trabalhado, em qualquer período do ano letivo, em nenhuma turma da escola. Os resultados dessa análise sugerem que é, de fato, possível abordar tópicos de Física Moderna e Contemporânea no Ensino Médio. / This work aims to show that is possible to insert a topic of modern and contemporary physics at high school level, specifically some notions of quantum mechanics. The study was carried out with third grade high school students from a public state school at Porto Alegre, Brazil, using just a few mathematical equations quite easy to assimilate. Concepts from the meaningful learning theory of Ausubel and Novak were used as theoretical framework whereas Bachelard’s notion of epistemological profile was used as epistemological reference. A quantitative and qualitative analysis of students’ answers to written quizzes and conceptual schemes was done.There was no control group since this subject is not approached with any other group of students in this school. Research findings presented at the end suggest that, indeed, it is possible to deal with notions of modern and contemporary physics at high school level.

O estudo tem como objetivo reavaliar as definições de corrupção, em favor de um novo conceito ontológico que aspira inferir os microfundamentos deste fenômeno e contribuir para a constituição de um marco teórico de referência para a pesquisa teórica e empírica aplicada ao conhecimento das transações corruptas. / Este estudio intenta reevaluar las definiciones de corrupción y, a partir de ahí, construir un nuevo concepto ontológico que, por su vez, pretende inferir los microfuncionamientos del fenómeno y construir un marco teórico de referencia para la investigación teórica y empírica aplicada al conocimiento de las transacciones corruptas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-05-23T04:08:19Z (GMT). No. of bitstreams: 1 345594.pdf: 61655913 bytes, checksum: 66fa1753ad69140db4729210a7a2a019 (MD5) Previous issue date: 2016 / Com a preocupação da sustentabilidade, avaliar em simulação o desempenho de sistemas de tráfego apenas em termos de fluidez não atende mais as expectativas de gestores e da sociedade. Há também a necessidade de medidas confiáveis de aspectos ambientais, como o consumo de combustíveis e a emissão de poluentes. Assim, é importante que simuladores incorporem modelos de consumo de combustível e de emissões que reflitam condições realísticas do tráfego. Neste trabalho, dois modelos de consumo de combustível foram calibrados e validados. O primeiro modelo é implementado no simulador de tráfego AIMSUN. O segundo é um modelo baseado em potência, implementado no simulador de tráfego SIDRA Trip. Os dados de vários sensores de diferentes tipos de veículos foram coletados via diagnóstico de bordo (on-board diagnostics - OBD). A partir desses dados, tem-se as informações operacionais dos veículos para a calibração dos modelos - velocidade e consumo de combustível instantâneos. A calibração do primeiro modelo foi realizada de quatro maneiras diferentes, em que foram aplicadas técnicas de regressão linear, fórmulas e orientações do manual do simulador AIMSUN. A calibração do segundo modelo foi realizada por meio de um processo iterativo sugerido no manual do simulador SIDRA Trip. Para validar a calibração dos modelos, o consumo de combustível medido e o estimado foram comparados utilizando ciclos de condução em áreas urbanas. Os resultados sugerem que a calibração dos modelos de consumo de combustível para simulação de tráfego com dados obtidos via OBD é satisfatória independente da técnica utilizada.<br> / Abstract : Due to the increased concern with sustainability, the performance of traffic systems in simulation on the basis of throughput does not meet managers and the society requirements anymore. Reliable measures of environmental aspects are also needed, such as fuel consumption and emissions. Therefore, traffic simulators are required to incorporate corresponding models that reflect realistic traffic conditions. In this work, two fuel consumption models were calibrated and validated. The first model is implemented in the AIMSUN traffic simulator. The second is a power-based model, implemented in the SIDRA Trip traffic simulator. Data from several sensors of different vehicle types were collected via on-board diagnostics (OBD). From these data, the vehicle operational information is available for the calibration - instantaneous speed and fuel consumption. The calibration of the first model was performed in four different ways, in which linear regression techniques, formulas and guidelines from the AIMSUN simulator's manual were applied. The calibration of the second model was performed with an iterative process suggested in the SIDRA Trip simulator's manual. For the validation of the calibration, measured and estimated fuel consumption were compared using driving cycles in urban areas. The results suggest that the calibration of fuel consumption models for traffic simulation with OBD data is adequate independent of calibration approach.

Submitted by Eduardo Perondi (eduperondi@gmail.com) on 2009-08-25T18:32:40Z No. of bitstreams: 1 Sarandy.pdf: 848043 bytes, checksum: d03bd2690a57d212f5da43623e8e6fca (MD5) / Made available in DSpace on 2009-08-25T18:32:40Z (GMT). No. of bitstreams: 1 Sarandy.pdf: 848043 bytes, checksum: d03bd2690a57d212f5da43623e8e6fca (MD5) / Made available in DSpace on 2018-02-06T14:59:19Z (GMT). No. of bitstreams: 2 Sarandy.pdf: 848043 bytes, checksum: d03bd2690a57d212f5da43623e8e6fca (MD5) Sarandy.pdf.txt: 400192 bytes, checksum: 1067e9b1f79861ea982ad174481378a9 (MD5) Previous issue date: 2009-08-25T18:32:40Z / <http://www.labes.fe.ufrj.br/index.php/pesquisa/dissertacoes.html> / Rio de Janeiro - RJ / UFRJ / Portal do Laboratório de Ensino de Sociologia Florestan Fernandes - UFRJ / Profa. Dra. Gláucia Kruse Villas Bôas / Mestrado em Sociologia

Submitted by Nathália Faria da Silva (nathaliafsilva.ufv@gmail.com) on 2017-07-05T17:06:06Z No. of bitstreams: 1 texto completo.pdf: 629875 bytes, checksum: 322cb0740a47479454d57dc352cbdd07 (MD5) / Made available in DSpace on 2017-07-05T17:06:06Z (GMT). No. of bitstreams: 1 texto completo.pdf: 629875 bytes, checksum: 322cb0740a47479454d57dc352cbdd07 (MD5) Previous issue date: 2001-08-13 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O presente estudo foi desenvolvido com o objetivo de contribuir para a compreensão do “ambientalismo empresarial” do setor florestal brasileiro, particularmente sua relação com os sistemas voluntários de certificação florestal, identificando-se estratégias que possam conduzir a melhorias efetivas de seu desempenho ambiental. Para isto, o trabalho foi divido em três partes: no primeiro capítulo, desenvolveu-se um modelo teórico, utilizando a estrutura de Sistemas Abertos e técnicas do pensamento sistêmico, identificando as variáveis que compõem as dinâmicas institucional e organizacional do setor. O modelo permitiu descrever, compreender e inferir sobre o comportamento futuro do sistema, além de estabelecer hipóteses para novos estudos. A partir do modelo, verificaram-se três diferentes estratégias empresariais na adoção dos padrões para certificação, sendo elas a “Adoção Simbólica”, o “Mimetismo” e a “Adoção Efetiva”. Concluiu-se que a opção por uma estratégia que conduza a mudanças efetivas no setor florestal requer o estabelecimento de uma visão compartilhada de sustentabilidade, que contribua para a consolidação de instituições e que oriente as respostas empresariais. No segundo capítulo, procurou-se identificar quais seriam os elementos que compõem a visão de sustentabilidade para o setor, a partir da opinião de diversos atores sociais, entre empresas florestais, organizações não-governamentais e instituições de pesquisa e ensino. Aplicou-se a técnica de Mapeamento Conceitual, utilizando o programa CONCEPT SYSTEM versão 1.75 para processamento dos dados. As declarações geradas foram agrupadas em seis temas, que abrangeram elementos do manejo florestal ambientalmente adequado, socialmente justo e economicamente viável. Para compor a visão de sustentabilidade do setor florestal brasileiro, os participantes consideraram mais importantes os grupos de conceitos “Floresta e sociedade” e “Conservação ambiental”. As respostas foram comparadas por segmento e considerou-se o nível de importância aplicado aos elementos da visão de sustentabilidade como um reflexo das regras, dos padrões e dos valores cognitivos dos membros do campo organizacional. No terceiro e último capítulo, foram feitas recomendações gerais a respeito do processo de certificação florestal. Destacou-se a importância de as organizações buscarem meios que permitam aplicar os esforços e recursos demandados para atender aos requerimentos da certificação na consolidação efetiva de um sistema que garanta seu melhor desempenho social, ambiental e econômico. / The objective of this study is to contribute to the understanding of corporate environmentalism within the Brazilian forestry sector, particularly in relation to voluntary forest certification systems. To accomplish this, the study is divided into three parts: In the first chapter, a theoretical model is developed that uses the structure of open systems and the techniques of systemic thinking to identify variables which compose the institutional and organizational dynamics of the sector. The model permits description, comprehension and inference of future behavior of the system and suggests hypotheses for future studies. Based on the model, three different corporate strategies for adopting certification standards were identified: symbolic, mimetic, and effective. It is concluded that the option most likely to produce effective change in the forestry sector requires establishing a shared vision of sustainability that contributes to consolidation of institutions that guide corporate responses. In the second chapter, elements that compose the vision of sustainability for the sector are identified, based on opinions of diverse social actors associated with forestry companies, non-governmental organizations and institutions of teaching and research. The technique of concept mapping was applied, using the Concept System program (version 1.75) to process data. The statements thereby generated were grouped into six themes which cover elements of forestry management that are considered environmentally adequate, socially just and economically viable. In composing their vision of Brazilian forestry sector sustainability, the participants considered as most important the concept groups of “Forestry and Society” and “Environmental Conservation.” Responses were compared by segment and considered the level of importance applied to the elements of the sustainability vision as a reflection of the rules, standards and cognitive values of the members of the organizational field. In the third and last chapter, general recommendations were given for the process of forestry certification. These emphasize that organizations should search for means which would permit applying efforts and resources demanded to fulfill certification requirements in effectively consolidating a system that guarantees best social, environmental and social performance.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-06-27T04:15:18Z (GMT). No. of bitstreams: 1 345807.pdf: 39092209 bytes, checksum: 892aa11388857b64f531df1ebedaf6b3 (MD5) Previous issue date: 2016 / Este trabalho trata o problema de controle de rastreamento do ângulo de esterço e velocidade longitudinal desejados pelo condutor de um veículo inclinável de 3 rodas, enquanto mantém o ângulo de inclinação dentro de uma margem de segurança pré-estabelecida de modo a alcançar uma condução segura e fácil em malha-fechada. A idéia principal é projetar controladores que forcem o ângulo de inclinação e a velocidade longitudinal do veículo a rastrearem trajetórias de referências adequadas, onde a trajetória de referência para o ângulo de inclinação evolui dentro de uma margem de segurança pré-estabelecida. A prática comum utilizada na literatura é determinar a estrutura do controlador com base em modelos aproximados de ordem reduzida do veículo. No presente trabalho, serão projetados controladores lineares e não-lineares para tal problema de rastreamento diretamente em um modelo de um protótipo de um veículo inclinável de 3 rodas com 9-GL (graus de liberdade). Seis diferentes metodologias são usadas: controladores PID, Regulador Quadrático Linear (LQR), realimentação linearizante, controle por modos deslizantes de Slotine, Controle Vetorial Unitário (UVC) de Utkin, e uma extensão do UVC proposta recentemente. Os resultados de simulação comparam os desempenhos destes controladores sob condições nominais, assim como sob perturbações de ventos externos e incertezas paramétricas de massa e altura do centro de massa do veículo.<br> / Abstract : This works treats the control problem of tracking the steering angle and longitudinal velocity desired by the driver of a tilting 3-wheeled vehicle, while keeping its tilt angle within a pre-established safety margin, so as to achieve safe and easy driving in closed-loop. The key idea is to design controllers that force the tilt angle and the longitudinal velocity of the vehicle to track adequate reference trajectories, where the reference trajectory for the tilt angle evolves within a pre-established safety margin. A common practice in the literature is to determine the controller structure based upon reduced order approximate models of the vehicle. In the present work, one designs linear and nonlinear controllers for such tracking problem directly on a 9-DOF model of a prototype of a tilting 3-wheeled vehicle. Six different approaches are used: PID controllers, Linear Quadratic Regulator (LQR), feedback linearization, sliding mode control of Slotine, Unity Vector Control (UVC) of Utkin, and a recently proposed extension of UVC. The simulation results compare the performance of these controllers under nominal conditions, as well as under disturbances of the external wind and parametric uncertainties on the mass and center of mass height of the vehicle.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016 / Made available in DSpace on 2016-10-19T13:26:04Z (GMT). No. of bitstreams: 0 Previous issue date: 2016Bitstream added on 2016-10-25T03:12:29Z : No. of bitstreams: 1 342327.pdf: 10243259 bytes, checksum: 34c08009c7f6079999c9bc018cac313f (MD5) / No desenvolvimento de aplicações hipermídia, o projetista pode erroneamente inserir comportamentos indesejados. Metodologias baseadas em teste ou análise de linha temporal para verificar a corretude de aplicações são limitadas, por não serem exaustivas e serem consumidoras de tempo. Outra alternativa é a utilização de metodologias baseadas em verificação formal, que permitem uma análise exaustiva e mais rápida da aplicação. A verificação formal requer que a aplicação e os comportamentos a serem verificados estejam representados em linguagens formais, de difícil aprendizagem por um projetista de aplicação hipermídia. O presente trabalho propõe uma metodologia baseada no uso de verificação formal por model-checking, a partir de uma representação da aplicação, das propriedades a serem verificadas e do diagnostico de eventuais erros, ambos em linguagens e representações de fácil uso e entendimento para o projetista destas aplicações. Essa metodologia é dividida em quatro fases: Modelagem, Transformação, Verificação e Diagnóstico/Correção. Inicialmente, o projetista codifica sua aplicação em alguma linguagem de domínio específico (por exemplo, NCL ou SMIL), e especifica os comportamentos desejados a serem verificados numa linguagem de descrição simples, proposta neste trabalho. A seguir, essas descrições das aplicações e comportamentos são transformadas, seguindo a abordagem MDE (Model Driven Engineering), nos modelos formais utilizados na verificação. Em caso de algum comportamento desejado não ser satisfeito, a ferramenta de model-checking oferece um contraexemplo que, após transformação, é apresentado na forma de uma linha de tempo, permitindo diagnosticar a origem do erro e fornecer informações para a sua correção. Para apoiar a metodologia proposta, foi construído um protótipo de um ambiente de desenvolvimento, no qual o projetista pode verificar o comportamento de sua aplicação. As avaliações da metodologia e de seu ambiente, realizadas em diversas aplicações hipermídia mostram suas potencialidades de uso para aplicações mais complexas e no caso de edição "ao vivo".<br> / Abstract : In the development of hypermedia applications, the designer can mistakenly insert undesirable behaviors. Methodologies based on tests or timeline analysis to verify the correctness of applications are limited because they are not exhaustive and are time consuming. Another alternative is the use of methodologies based on formal verification, allowing an exhaustive and more fast analysis of the application. Formal verification requires that the application and behavior to be verified are represented in formal languages, which are difficult to learn by a hypermedia application designer. This work proposes a methodology based on the use of formal verification by model-checking, from an application representation, the properties to be verified and the diagnosis of errors, both in languages and representations of easy use and understanding by designer of these applications. This methodology is divided into four phases: Modeling, Transformation, Verification and Diagnosis/Correction. Initially, the designer encodes his application in any domain specific language (eg, NCL or SMIL), and specifies the desired behaviors to be checked in a simple description language proposed in this work. Then these descriptions of applications and behaviors are transformed, following the MDE approach (Model Driven Engineering), in formal models used for verification. If some desired behavior is not satisfied, the model-checking tool provides a counterexample that, after processing, is presented as a timeline, allowing to diagnose the source of the error and provide information for its correction. To support the proposed methodology, a prototype development environment was built, in which the designer can verify the behavior of your application. Evaluations of the methodology and its environment, performed in several hypermedia applications, showed their potential of use for more complex applications and in the case of editing "live".

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T06:52:03Z (GMT). No. of bitstreams: 1 199916.pdf: 1192362 bytes, checksum: 68d7db51171e61559daa688c3630f8ef (MD5) / A presente dissertação de mestrado descreve os resultados de uma investigação sobre a modelagem e a implementação de aplicações computacionais sob o paradigma de uma nova filosofia de desenvolvimento de software para sistemas de energia elétrica (SEE). Neste contexto utilizam-se abstrações bem definidas, uma base computacional capaz de representar as mais diversas instâncias do SEE, a Unified Modeling Language (UML) para a documentação e padrões de projeto orientados a objeto. No âmbito das abstrações há uma nítida separação entre a representação de elementos físicos, aplicações de análise e módulos de funções específicas. Neste trabalho, os instrumentos descritos foram utilizados na modelagem e implementação de três metodologias de análise da operação de SEE: (i) cálculo de fluxo de potência, modelos Newton-Raphson e Desacoplado-Rápido; (ii) avaliação da segurança dinâmica usando modelagem detalhada; (iii) seleção e classificação de contingências críticas usando modelagem simplificada e ambiente de processamento paralelo. O projeto e a implementação das aplicações foram realizados com os recursos da base computacional e com o aproveitamento de códigos já desenvolvidos e testados. O escopo dos resultados deste trabalho compreende o processo de desenvolvimento de software propriamente dito e o desempenho computacional específico das aplicações implementadas. No primeiro caso destacam-se a verificação das facilidades propiciadas pela base computacional à incorporação de novas metodologias de análise de SEE bem como a geração de aplicações computacionais de fácil manutenção e incorporação de novos modelos e equipamentos. Na avaliação do desempenho computacional foram realizadas simulações com três configurações do sistema elétrico das regiões sul e sudeste do Brasil, obtendo-se resultados comparáveis ao de programas tradicionalmente empregados no setor elétrico brasileiro.