Made available in DSpace on 2014-06-12T15:53:29Z (GMT). No. of bitstreams: 2 arquivo5188_1.pdf: 1687689 bytes, checksum: b2da1db7d5fbfddc4c6d0cd68135f762 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / Entre as principais preocupações no desenvolvimento de software, destacamos a necessidade de elicitar, compreender e especificar adequadamente os requisitos de sistemas de software. Este trabalho é realizado em conjunto por engenheiros de requisitos e usuários e/ou clientes que solicitam o software. A Engenharia de Requisitos tem apresentado algumas técnicas para auxiliar neste processo. Técnicas baseadas em cenários têm sido bastante utilizadas e recebido uma atenção especial. Cenários podem ser utilizados para descrever as interações entre usuários e sistemas de software, objetivando alcançar algo relevante para o usuário no uso do sistema. Neste contexto, Caso de Uso é um tipo de técnica baseada em cenários que tem se destacado. Isto decorre do fato, de que Casos de Uso, integram e são considerados essenciais na UML (Unified Modeling Language), uma linguagem padronizada para modelagem visual, a qual tem sido considerada um dos mais importantes avanços no paradigma de desenvolvimento orientado a objetos. Tipicamente, Diagramas de CASOS DE USO têm sido usados para capturar requisitos funcionais do sistema a ser desenvolvido. Contudo, o desenvolvimento de sistemas computacionais ocorre dentro de um contexto no qual processos organizacionais estão bem estabelecidos. Portanto, é preciso capturar os requisitos organizacionais para definir como o sistema pretendido irá satisfazer os objetivos da organização, por que ele é necessário, quais as alternativas existentes, quais as implicações das alternativas para as várias partes interessadas, etc. Lamentavelmente, UML e técnicas baseadas em cenários em geral, não estão equipadas para modelar os requisitos organizacionais. Precisamos de outra técnica, tal como i*, para representar estes aspectos. Contudo, os requisitos organizacionais precisam ser relacionados aos requisitos funcionais, representados através de Diagramas de Caso de Uso. Neste trabalho, mostramos a viabilidade e as vantagens de integrar i* e Casos de Uso. São descritas algumas diretrizes para auxiliar engenheiros de requisitos a desenvolver Diagramas de Caso de Uso em UML a partir dos modelos organizacionais propostos na técnica i*. Aplicamos estas diretrizes ao problema bastante conhecido de Agendamento de Reuniões (Meeting Scheduler) e a uma aplicação de comércio eletrônico

Made available in DSpace on 2014-06-12T16:01:14Z (GMT). No. of bitstreams: 2 arquivo7236_1.pdf: 1469430 bytes, checksum: 79c9f0ce97361603b1b7be5d8525cb73 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / A globalização da economia ocorrida nas duas últimas décadas aumentou a competitividade entre as empresas e a busca pelo aumento de produtividade através da inovação tecnológica. Novas formas de comunicação e produção foram propostas, o que levou as empresas a adotar novos sistemas de produção. Todavia, a operação destes sistemas representa um grande desafio para profissionais em engenharia, ciência da computação, matemática e gerenciamento, sendo a modelagem, o controle e a análise de desempenho destes sistemas alguns dos aspectos deste desafio. As Redes de Petri (RdPs) são um modelo formal adequado para a representação de sistemas de produção por conseguir capturar aspectos inerentes a tais sistemas como concorrência, paralelismo e sincronização. Existem algumas ferramentas que usam RdPs para a modelagem de sistemas de produção, contudo estas ferramentas ou são de propósito geral, sendo adaptadas para a modelagem de sistemas produtivos, ou abordam apenas um dos aspectos dos sistemas de produção, que é a manufatura. Neste trabalho foi desenvolvido um modelo em RdPs para a modelagem e análise de sistemas de produção. Esta modelagem envolve a estrutura do produto, os recursos produtivos e o roteiro de produção. Uma ferramenta baseada nesta tecnologia foi desenvolvida, a Production Management System Tool (PMSTool) , a qual provê um ambiente de modelagem de alto nível, que possibilita a modelagem de sistemas sem a real necessidade de conhecimento em RdPs, o que se constitui em outro diferencial em relação a ferramentas similares. A PMSTool utiliza ícones para representar os elementos do sistema produtivo a ser modelado (máquinas, buffers, etc.), além de suas características principais (recursos disponíveis, tamanho de buffer, tempo de falha, tempo de recuperação, etc.). Estes ícones são mapeados automaticamente em RdPs

Made available in DSpace on 2014-06-12T17:22:37Z (GMT). No. of bitstreams: 2 arquivo5857_1.pdf: 2053461 bytes, checksum: b1bef683fa2e10509532df78889e60c0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / O objetivo deste trabalho foi experimentar e analisar uma seqüência de atividades de ensino, abordando o conceito de periodicidade em situações de simulação por computador, utilizando o software MODELLUS. A seqüência foi elaborada a partir de estudos preliminares, revisão da literatura e de um levantamento das concepções prévias do conceito de periodicidade de alunos do 1º ano do ensino médio em um teste de sondagem. O estudo revelou um conjunto de dez concepções alternativas que os estudantes tinham sobre periodicidade. Após essa fase, aplicamos a seqüência de atividades com dois alunos, trabalhando em par, interagindo entre si e com o computador. Analisamos a evolução do conceito de periodicidade nas respostas e justificativas das duplas escolhidas, durante o desenvolvimento da seqüência, levando em consideração a presença ou não das concepções do conceito identificadas previamente na sondagem. Os resultados mostraram que as simulações foram utilizadas pelos alunos como elemento validador de suas respostas e como ferramenta de exploração do conceito de período quando a identificação deste não lhes parecia imediata em outras formas de representação. Sendo utilizadas como uma forma de representação, as simulações favoreceram a superação de algumas concepções e fizeram surgir outras devido a suas limitações de representar um aspecto de um fenômeno real e devido ao fato de não haver intervenção didática por parte de um professor. Concluímos que a abordagem do conceito de periodicidade, a partir de recursos de simulação, favoreceu a sua compreensão e a sua identificação em diversas formas de representação. Porém, para representação algébrica, mostrou necessitar de uma maior ênfase

Made available in DSpace on 2014-06-12T17:35:35Z (GMT). No. of bitstreams: 2 arquivo2281_1.pdf: 1470893 bytes, checksum: daa669dfa7355ee789e60c32be05c213 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Algumas estruturas de concreto em contato direto com a umidade, que tenham sido executadas com o uso de agregado potencialmente reativo e cimento de alto teor de álcali, estão sujeitas ao desenvolvimento de reações álcali-agregado (RAA). O desenvolvimento destas reações leva à formação de um gel que na presença de água expande exercendo pressão na matriz sólida do concreto, causando fissurações e deslocamentos indesejáveis. O presente trabalho mostra os resultados da implementação em um programa de elementos finitos de um modelo constitutivo baseado em observações experimentais que capta a expansão do concreto sujeito as RAA. Neste modelo os parâmetros que determinam velocidade de formação do gel amorfo e a quantidade de água absorvida pelo gel são dependentes do grau de hidratação do concreto, considerado aqui como um meio poroso não saturado. Assim, as equações do problema mecânico (equilíbrio de tensões) devem ser resolvidas simultaneamente com as equações de fluxo de água no concreto, fazendo-se necessária a solução do problema acoplado hidro-mecânico (HM). Foram implementadas equações constitutivas específicas para o concreto (curva de saturação e permeabilidades relativas à água e ao ar). Inicialmente foram modelados ensaios triaxiais com o objetivo de ilustrar o funcionamento do modelo e se familiarizar com seus parâmetros. Nestes exemplos o concreto está saturado com características mecânicas semelhantes às usadas em estruturas existentes. Posteriormente se apresenta um caso de muro de arrimo em condições de umidade variável com indução de expansões diferenciais na massa de concreto. Uma variação paramétrica mostrou uma sensibilidade do modelo à porosidade, aos tempos de desenvolvimento das reações, tempo de absorção de água e relação de concentração do gel de forma a calibrar de maneira fácil e eficiente uma modelagem com base em dados obtidos em laboratório

Made available in DSpace on 2018-08-01T23:37:59Z (GMT). No. of bitstreams: 1 tese_10258_Dissertação Andressa impressão 23-06-17.pdf: 2382397 bytes, checksum: 38805f664360d0f78fc1476b908449f8 (MD5) Previous issue date: 2016-08-26 / Esse estudo tem por objetivo proceder à modelagem do processo de pagamento dos auxílios estudantis associados ao Programa de Assistência Estudantil da Universidade Federal do Espírito Santo (PROAES-UFES) e propor um manual de procedimentos referente a esse processo. A modelagem do processo foi realizada utilizando-se a metodologia BPM (Business Process Modeling) e a notação BPMN (Business Process Modeland Notation) e como ferramenta de modelagem foi utilizado o softwareBizagi. Foram identificados os processos, subprocessos e atividades operacionais que compõem o processo de pagamento para a realização da modelagem e construção do referido manual de procedimentos. Como resultados tem-se a modelagem do processo e a criação do manual, devidamente validados junto aos profissionais envolvidos e ao gestor responsável pelo Programa. Foi identificada a necessidade de modelagem dos demais processos da Pró-Reitoria de Assuntos Estudantis e Cidadania da Universidade Federal do Espírito Santo, a padronização desses processos e a sua implantação.

Made available in DSpace on 2018-08-02T00:00:54Z (GMT). No. of bitstreams: 1 tese_3864_DissertacaoMestradoAlvaroChristianMontanoSaavedra.pdf: 7009838 bytes, checksum: decc6252088c647a4e2b7cc401daf7f3 (MD5) Previous issue date: 2011-05-05 / O trabalho apresenta a montagem e modelagem de uma planta formada por uma turbina hidráulica e um gerador síncrono para seu funcionamento como parte de uma Micro Central Hidroelétrica (MCH) para pequenos sistemas isolados. Uma vez feita a montagem da planta, partiu-se para o desenvolvimento de um modelo empírico do processo, na forma de curvas de reação, obtidas utilizando-se a técnica de resposta ao degrau; e que possibilitou a aproximação das variáveis principais envolvidas para um modelo de primeira ordem com tempo morto. Depois de obtidas as funções de transferência da planta, projetou-se um controlador PID com a finalidade de manter a tensão de saída do gerador num valor de referência adequado para a sua distribuição na rede elétrica no sistema isolado. Com a finalidade de validar os resultados obtidos nas simulações, obtiveram-se curvas de resposta do sistema real em laboratório e compararam-se ambas as respostas, dando um resultado satisfatório e muito parecido. Estes resultados servirão como base para futuros estudos nas áreas de controle de velocidade (ou governador de carga) e estabilidade do sistema, entre outros, no campo das MCHs para pequenos sistemas isolados.

Made available in DSpace on 2018-08-01T21:35:44Z (GMT). No. of bitstreams: 1 tese_10599_tese final Viviane C Meneguzzi.pdf: 4126925 bytes, checksum: 31edab3c7e9415285d9c953233fc1132 (MD5) Previous issue date: 2016-11-29 / Leishmaniose Tegumentar Americana (LTA) é causada por um protozoário do gênero Leishmania e é transmitida por insetos flebotomíneos. O estado do Espírito Santo (ES), área endêmica na região Sudeste do Brasil, tem apresentado elevada prevalência nas últimas décadas, possibilitando a expansão da doença para áreas indenes. Ferramentas computacionais, tais como modelagem de nicho ecológico (ENM), são úteis para predizer o risco potencial de doenças. Neste estudo, ENM foi aplicada para analisar a distribuição potencial das espécies de flebotomíneos e sua relação com a transmissão da LTA no ES, visando a compreender a origem primitiva e a expansão desta doença. Os flebotomíneos foram coletados em 466 localidades rurais entre 1997 e 2013 nas três horas após o crepúsculo, usando uma combinação de captura ativa e passiva. Os insetos foram identificados em nível de espécie e as localidades georreferenciadas. Todos os prontuários dos casos autóctones de LTA atendidos no Hospital Universitário Cassiano Antônio de Moraes (HUCAM) entre 1978 e 2013 foram avaliados. Vinte e uma variáveis ambientais foram selecionadas a partir da base de dados do Worldclim. Maxent foi usado para construir modelos de distribuição potencial para Nyssomyia intermedia, Nyssomyia whitmani, Migonemyia migonei, Evandromyia lenti, Pressatia choti e casos de LTA. ENMTools foi utilizado para sobrepor os modelos das espécies e dos casos da doença. Os testes de Kruskal-Wallis e do qui-quadrado foram realizados, adotando nível de significância de 5%. Aproximadamente 250.000 espécimes foram capturados pertencentes a 43 espécies. Foram registrados 1.472 casos autóctones de LTA, sendo que 10,8% deles apresentaram lesões de mucosa. A área sob a curva (AUC) foi considerada aceitável para todos os modelos. A declividade foi considerada relevante para todas as espécies identificadas e para os casos da doença. O teste de sobreposição identificou Nyssomyia intermedia como principal vetor de LTA na área de estudo. Há evidências da existência de um ciclo silvestre primitivo de LTA em áreas de Mata Atlântica no Sudeste do Brasil. É possível que Leishmania (Viannia) braziliensis tenha sido transferido da região Amazônica para áreas de Mata Atlântica, há milhares de anos, por corredores florestais que ligavam os dois biomas. Observou-se diferença entre os prováveis locais de infecção dos pacientes, indicando que houve expansão da doença para o leste do ES, causada possivelmente pela intensificação do fluxo migratório destinado a região metropolitana do ES. As ferramentas de modelagem permitiram uma análise confiável da associação entre variáveis geoclimáticas, distribuição geográfica das espécies vetoras e ocorrência de LTA no ES. Além disso, possibilitaram melhor compreensão dos fatores relacionados à expansão geográfica em áreas de colonização antiga da região Sudeste do Brasil.

Orientador: Reginaldo Guirardello / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-21T18:43:25Z (GMT). No. of bitstreams: 1 Carbonell_MontserratMotas_M.pdf: 5112285 bytes, checksum: b141a39acf980da40a008bddb4736956 (MD5) Previous issue date: 1996 / Resumo: Esta dissertação apresenta a modelagem e simulação de um reator que opera em leito fluidizado trifásico (gás-liquido-sólido) com arraste de sólidos, para promover a hidroconversão de óleos pesados, em condições severas de temperatura e pressão. A simulação é realizada em duas etapas: inicialmente determinam-se os parâmetros fluidodinâmicos e, a seguir, calcula-se a conversão decorrente do craqueamento do óleo pesado no reator, com a produção de fiações mais leves como gasóleo, diesel, nafta e gases. O modelo fluidodinâmico para as fases gás e lama (fase pseudo-homogênea) é desenvolvido a partir das equações fundamentais da conservação da massa e quantidade de movimento. O modelo é unidimensional na direção radial, representa dispersão no leito através de um modelo turbulento de ordem zero e considera o escoamento desenvolvido.A simulaçãofluidodinâmicafornece a queda de pressão no leito e os perfis radiais de fiação volumétrica, viscosidade efetiva (dispersão) e velocidade de cada fase. O perfil de velocidade da lama mostra o padrão de recirculação na coluna. Os perfis radial e axial de concentração no reator, conversão de óleo pesado e a distribuição de produtos na saída do reator são determinados através da simulação da reação de craqueamento térmico. As simulações mostram uma grande influência da temperatura e do tempo de residência do liquido na conversão obtida e revelam que a reação praticamente não interfere na fluidodinâmica do reator. O modelo desenvolvido representa o reator com elevado grau de mistura, característico de leitos fluidizados. A comparação com informações da literatura mostra que os resultados da simulação apresentamum comportamento consistente / Abstract: This work considers a computational fluid dynamics approach for a slurry bubble column reactor with solid transport, applied for the hydroconversion ofheavy oils under severe operational conditions of temperature and pressure. Simulationsare carried out in two steps: first the fluidynamic parameters are obtained and then the oil cracking conversion is determined, which leads to the production of lighter fractions such as gasoil, diesel, naphtha and gases. It is presented a pseudo-two-phase one-dimensional fluid model (gas and slurry), based on the continuity equation and the momentum balances, which considers fu11ydeveloped axial flow. A zero order turbulence model takes into account the mixing in the bed. Fluid-dynamic simulation results give the pressure drop in the bed as well as the radial distribution of gas and slurry for the holdup, eft'ective viscosity (dispersion) and velocity. The slurry velocity profile indicates. That there is recirculaton inside the reactor. Radial and axial concentration profiles in the reactor, heavy oil conversion and product distribution in the stream that leaves the reactor are obtained by the simulation of a thermal cracking reaction. Results show that there is a considerable influence of temperature and liquid residence time in the conversion and that it can be considered that in this case reaction does not interfere in the dynamics of the bed. It is obtained a high degree of mixture in the reactor for the model presented, which is typical of fluidized beds. Comparison with experimental data availableshows a good behaviour / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Submitted by Almir Azevedo (barbio1313@gmail.com) on 2013-12-09T13:21:48Z No. of bitstreams: 1 dissertacao_mestrado_ien_2010_05.pdf: 3516447 bytes, checksum: d5e517dcd29d749cc561c5c7d57c3279 (MD5) / Made available in DSpace on 2013-12-09T13:21:48Z (GMT). No. of bitstreams: 1 dissertacao_mestrado_ien_2010_05.pdf: 3516447 bytes, checksum: d5e517dcd29d749cc561c5c7d57c3279 (MD5) Previous issue date: 2010 / Este trabalho teve como objetivo avaliar o impacto de liberação acidental de Trítio, postulada a partir de reator de potência, através de modelagem ambiental no meio aquático. Para isso foram usados modelos computacionais hidrodinâmico e de transporte para a simulação da dispersão de trítio causada por um acidente em uma central nuclear do tipo CANDU 6, no sitio em construção de Angra 3 (PWR) no CNAAA. Este exercício foi realizado com auxílio de um sistema de códigos acadêmico desenvolvido pelo Coppe/UFRJ, chamado SisBaHiA. O CANDU é um reator que usa a água pesada (D2O) como moderador e refrigerante do núcleo. Postulou-se então, um acidente do tipo LOCA (Loss of coolant accident) no sistema de resfriamento emergencial do núcleo (sem fusão), durante o qual foi quase instantaneamente perdido 66 m3 de refrigerante. Tal inventário continha 35 PBq de trítio e foi lançada uma carga sob forma líquida de 9.7 TBq/s próximo a praia de Itaorna, Angra dos Reis – RJ. Aplicando-se os modelos citados acima em dois cenários (usina parada e em funcionamento), a diluição da atividade específica da pluma alcançou valores superiores aos níveis de referência para água do mar (1.1 MBq/m³) previstos nas especificações técnicas do licenciamento apenas durante os primeiros 14 dias após o acidente. A diferença entre os dois cenários residiu basicamente na maior diluição alcançada das maiores concentrações no cenário com recirculação de água marinha (bombeamento e descarga) justamente nas primeiras duas semanas, quando as concentrações entre a Praia de Itaorna e a Ilha Sandri variaram 1×109 e 5×105 Bq/m³. Após 180 dias a pluma não poderia mais ser detectada na Baía, pois sua atividade era inferior a mínima detectável (< 11 KBq/m³). / This study has the aim to assess the impact of accidental release of tritium postulate from a nuclear power reactor through environmental modeling of aquatic resources. In order to do that it was used computational models of hydrodynamics and transport for the simulation of tritium dispersion caused by an accident in a CANDU reactor located in the ongoing Angra 3 site. This exercise was accomplished with the aid of a code system (SisBAHIA) developed in the Rio de Janeiro Federal University (Coppe/UFRJ). The CANDU reactor is one that uses heavy water (D2O) as moderator and coolant of the core. It was postulated, then, the LOCA (Loss of coolant accident) accident in the emergency cooling system of the nucleus (without fusion), where was lost 66 m3 of soda almost instantaneously. This inventory contained 35 PBq and was released a load of 9.7 TBq/s in liquid form near the Itaorna beach, Angra dos Reis – RJ. The models mentioned above were applied in two scenarios (plant stopped or operating) and showed a tritium plume with specific activities larger than the reference level for seawater (1.1 MBq/m³) during the first 14 days after the accident. The main difference between the scenario without and with seawater recirculation (pumping and discharge) is based on the enhancement of dilution of the highest concentrations in the last one. This dilution enhancement resulting in decreasing concentrations was observed only during the first two weeks, when they ranged from 1x109 to 5x105 Bq/m³ close to the Itaorna beach spreading just to Sandri Island. After 180 days, the plume could not be detected anymore in the bay, because their activities would be lower than the minimum detectable value (< 11 kBq/m³).

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T19:57:55Z (GMT). No. of bitstreams: 1 Bezerra_FabiodeLima_M.pdf: 2404178 bytes, checksum: 75a7f1763ff0843195f6856c819050a0 (MD5) Previous issue date: 2003 / Resumo: Em domínios de aplicação como a área médica e engenharia de software os sistemas de workfiow existentes são inadequados, pois a definição dos processos nesses sistemas é inflexível. No exemplo da área médica, ninguém sabe quais as ações devem ser tomadas durante a abordagem de um paciente, ou seja, ninguém conhece um processo de tratamento para paciente no instante em que ele é admitido no hospital. Portanto, uma nova forma de interação com os sistemas de workflow se faz necessário. Nesta nova forma de interação um usuário pergunta ao sistema o que deve ser feito para que uma atividade (atividade objetivo) seja executada. Por exemplo, para um médico realizar uma cirurgia em um paciente que procedimentos devem ser executados antes ou mesmo depois? Nesta nova abordagem, o sistema de workflow cumpre, além do papel de despachante de atividades aos usuários, como nos sistemas de workfiow atuais, o papel de ajudante do usuário, pois indica ao usuário quais atividades executar antes e depois de executar uma atividade objetivo. Este trabalho apresenta um novo modelo de definição de processos em sistemas de workflow, o modelo PDBC. Apresentamos também um protótipo de um sistema de workfiow que implementa o modelo PDBC, o servidor Tucupi. A proposta deste novo modelo é permitir que os sistemas de workflow manipulem workfiows mais flexíveis. Para isso usaremos o que chamamos de workflow parcial, que é um workflow parcialmente definido cuja definição completa é realizada apenas durante a execução do workflow. O workfiow parcial é definido como um conjunto de restrições e atividades. Outra maneira de se obter flexibilidade em sistemas de workfiow é através de um mecanismo de tratamento de exceções adequado. Neste trabalho propomos um mecanismo de tratamento de exceções através do uso de restrições violáveis, ou seja, restrições que podem ser violadas em determinadas circunstâncias. Para isso apresentamos o WRBAC, um modelo de controle de acesso para sistemas de workflow, utilizado para provê um mecanismo adequado de sobrecarga das restrições utilizadas na definição de um processo / Abstract: This work presents a new model of process definition in workfiow systems, the PDBC model. We also present a prototype of a workfiow system which implements the PDBC model, the Thcupi server. The proposal of this new model is to allow fiexibility in workfiow systems. For this, we will use what we call partial workfiow, which is a partially defined workfiow whose complete definition is carried through during the execution of workfiow. Partial Workfiow is defined as a set of constraints and activities. Moreover, another way for a workfiow system to get fiexibility is through an exception handling mechanism. Tn this work we consider such mechanism through the use of overriden constraints, that is, constraints that can be violated in determined circumstances. For this we present the WRBAC, a model of access control for workfiow systems, used to provi de an adequate mechanism of violation of the overriden constraints used in the definition of a workfiow / Mestrado / Ciência da Computação / Mestre em Ciência da Computação