[pt] Neste trabalho foi feito um estudo investigativo sobre animação de fluidos utilizando sistemas de partículas. Baseado nas propostas apresentadas por Muller et al., esta dissertação objetiva investigar e compreender o uso do método Lagrangeano baseado em partículas, conhecido como Smoothed Particle Hydrodynamics (SPH), para simulação de fluidos. A validação do método foi feita através da implementação de uma biblioteca capaz de animar fluidos a taxas interativas. Para testar a eficácia e eficiência do método, a biblioteca desenvolvida permite a instanciação de diferentes configurações, incluindo o tratamento de colisões do fluido com obstáculos, o tratamento da interação entre dois fluidos distintos e o tratamento de forças externas exercidas pelo usuário via um mecanismo de interação. / [en] This work investigates the use of particle-based system for fluid animation. Based on proposals presented by Müller et al., the goal of this dissertation is to investigate and fully understand the use of a Lagrangian method known as Smoothed Particle Hydrodynamics (SPH) for fluid simulations. A library has been implemented in order to validate the method for fluid animation at interactive rate. To demonstrate the method effectiveness and efficiency, the resulting library allows the instantiation of different configurations, including the treatment of fluid-obstacle collisions, interaction between two distinct fluids, and fluid-user interaction.

[pt] Em artigo publicado em 1986 no Journal of Finance, LYON Taming [35], John McConnell e Eduardo Schwartz desenvolveram um modelo para apreçamento do Liquid Yield Option Notes (LYON), um título que não contempla o pagamento de cupom, em que o investidor possui opção de venda e o direito de convertê-lo em um determinado número de ações do emissor que, por sua vez, possui opção de compra, na qual, assim como no caso da opção de venda, o ativo objeto é o próprio título. Como estão inerentes ao título opções e a conversibilidade, o alicerce teórico para a análise realizada pelos autores baseouse na teoria de apreçamento de opções, desenvolvida por Black e Sholes (1973) [6] e estendida por Merton (1973) [37]. McConnell e Schwartz assumiram as taxas de juros como determinísticas e dependentes somente do tempo. Em linhas gerais, o modelo por eles criado norteia-se na resolução da equação diferencial para um derivativo dependente de uma ação que distribui dividendo continuamente. O presente trabalho consiste na avaliação do título conversível LYON a partir da aplicação de três dos métodos mais modernos e eficientes para avaliação de derivativos: Método de Diferenças Finitas Implícito (DFI), Método dos Mínimos Quadrados de Monte Carlo (MQMC) e Método de Grant, Vora e Weeks (GVW). Assim, além de apresentar o modelo desenvolvido baseado no Método de Diferenças Finitas Implícito - que consiste na resolução da equação diferencial por aproximações das derivadas quando não há solução analítica para o problema, resultando em uma malha que representa valores do mesmo para cada instante de tempo e preço da ação do emissor discretizado no modelo-, pretendese avaliar a eficiência do Método de Simulação de Monte Carlo considerando suas sofisticações mais recentes aplicáveis ao apreçamento de derivativos, tais como os modelos MQMC e GVW, que apresentam boa aplicabilidade e versatilidade para o apreçamento de títulos como o em questão. Um grande desafio do trabalho encontra-se na aplicação destes modelos para a avaliação de um título com a complexidade do LYON, já que tanto o modelo MQMC quanto o GVW foram desenvolvidos pelos autores para o apreçamento de opções americanas tradicionais. Por sua simplicidade e aplicação aos problemas em finanças, conforme se pode observar nos trabalhos de Marins (2006) [33] e Frota (2005) [19], utilizou-se a técnica de Variáveis Antitéticas como técnica de aceleração de convergência nas adaptações dos modelos MQMC e GVW desenvolvidas. Embora outras técnicas também gerem um bom nível de eficiência, esta é uma das que comprovadamente reduz o tempo de processamento dos modelos de simulação, além de gerar melhorias significativas em termos de convergência, conforme também se pode observar nos trabalho de Marins e Frota. As demais técnicas de importância já reconhecida também são descritas brevemente no trabalho. Conforme afirmam McConnell e Schwartz (1986) [35], a utilização da taxa de juros como determinística não traz nenhum tipo de problema. Ramos (2005) [41] afirma também que os modelos de apenas um fator são considerados mais precisos, uma vez que a modelagem da taxa de juros como estocástica mostrou-se de importância secundária em diversos trabalhos já desenvolvidos neste sentido. Desta forma, serão aplicados os três métodos para apreçamento do derivativo considerando como variável estocástica o preço da ação do emissor. A avaliação dos modelos será realizada através da comparação entre os resultados encontrados, bem como com aqueles apresentados por McConnell e Schwartz no artigo citado anteriormente. / [en] In their 1986 Journal of Finance article, LYON Taming, John McConnell and Eduardo Schwartz outlined a technique for pricing Liquid Yield Option Notes (LYON´s). In the words of McConnell and Schwartz, a LYON is a zero coupon note which is convertible, callable and redeemable. The convertible aspect of the LYON allows the holder of the note to convert the LYON at any time into a predetermined number of shares of the issue´s stock. The callable clause of the contract enables the issuer of the LYON to call the LYON for either, according to the choice of holder, the exercise price of the call option or for an equivalent amount issuer stock. Finally, the holder has the choice to redeem the LYON for a predetermined monetary amount. Considering the fact that these kind of assets have embedded derivatives (i.e., puts and calls), it is quite intuitive that the appropriate way to analyze them is through the contingent claim methodology, valuing them according to the Pricing Options Theory - developed by Black and Shole (1973) [4] and extended by Merton (1976) [22] - McConnell and Schwartz simplified the problem by assuming that, for an instance, the interest rate were flat and known. Based on that, the main idea behind the model is solving the differential equation that describes the behavior of that bond as a function of the stock price (stochastic variable) and the time horizon till the maturity of the bond. This present paper aims at evaluating the LYON convertible bond by means of three of the most modern and efficient methodologies to appraise derivatives: Finite Difference Method (FDM), Least Square Monte Carlo (LSM) and Grant, Vora & Weeks (GVW). Thus, besides presenting the developed model based on the Finite Difference Method (which consists in solving the differential equation when there is no analytical solution to the problem and in determining the behavior of the bond through a network which represents values of the bond achieved by approximations of the derivatives), the aim is to evaluate the efficiency of the Monte Carlo Simulation Methodology considering its more recent features applicable to the appraisal of derivatives such as the LSM and GVW models, which present good applicability and versatility for the appraisal of bonds like the one in question. The great challenge lies in using these models with a view to appraising a bond as complex as LYON, seeing that both the LSM and the GVW models were developed and used by the authors only in the appraisal of traditional American options. For its simplicity and application to the problems in finance, as it can be observed in Marins (2006) [33] e Frota (2005) [19], the Antithetic Variables technique was used so as to accelerate the convergence in the developed adaptations of MQMC and GVW models. Although other techniques also produce a good level of efficiency, this one has proved to reduce the processing time of the simulation models and make significant improvements in convergence terms, as it can also be observed in Marins´s and Frota´s papers. The other techniques of recognized importance in the academic field are also briefly described here. According to McConnell e Schwartz (1986) [35], considering interest rates as deterministic variable doesn´t create problems. In the same line, Ramos (2005) [41] said that the models with just one factor are considered precise. According to several papers analyzed by her, the use interest rates as stochastic variable shows to be of secondary importance. Therefore, the three methods for appraisal of the derivative will be applied, considering the issuer´s stock price as stochastic variable and then a comparison will be made with the results found as well as with those presented by McConnell and Schwartz in the article mentioned above.

[pt] O presente trabalho versa sobre o estudo e modelagem de um sistema de refrigeração para ar condicionado de edifícios. O modelo considera um sistema de compressão de vapor de grande porte, chamado habitualmente chiller; um tanque de armazenamento de água gelada e uma torre de resfriamento.Para o desenvolvimento do modelo utilizam-se as equações constitutivas e as equações de conservação da massa e energia em todos seus componentes.O modelo permite obter as condições de funcionamento ótimo do sistema de refrigeração reduzindo o tamanho de seus componentes (menor custo de investimento) e o consumo de energia (custo de operação) em correspondência com o diagrama de carga térmica do edifício.Consideram-se as variações da temperatura do meio ambiente ao longo do dia (transiente horário) para estudar a influência destas variações no desempenho global do sistema de refrigeração.Aplica-se o modelo à obtenção das características dos componentes do sistema de refrigeração para condicionamento de ar de um dos blocos do prédio Cardeal Leme da PUC-Rio.No presente estudo, a estratégia de operação usada é um fator decisivo na seleção da melhor alternativa econômica. / [en] The present work aims the study and modeling of a system of refrigeration systems for air-conditioning in buildings. The model considers a high capacity vapor-compression refrigeration system, for water cooling (chiller); a tank of thermal storage tank and a cooling tower.For the development of the model the constitutive equations and the equations of conservation of mass and energy are used over all its components.The model provides the optimal operating conditions of the refrigeration system to reduce the size of its components (lesser cost of investment) and the energy consumption (operation cost) according to the thermal load of the building.Daily temperature variations of the environment are taken into account (hourly transient) in order to study the influence of these variations over the global performance of the refrigeration system.The model is applied to the study of the air conditioning system of one block of the Cardeal Leme building, at PUC-Rio.In the present study, the strategy employed is a keye factor in the selection of the best economical alternative.

Além de conhecer o comportamento hidrológico atual de um sistema de rios e planícies, é importante poder prever seu comportamento futuro frente a possíveis impactos decorrentes de atividades antrópicas e face a cenários de variabilidade climática. A modelagem matemática constitui a ferramenta ideal para esse propósito. No caso de sistemas hidrológicos de grande escala, caso o interesse do estudo seja simular padrões espaçotemporais de inundação na planície, as metodologias tradicionais atualmente empregadas não são adequadas. Nesta Tese é apresentado um sistema computacional de simulação desenvolvido com esse propósito, o qual é composto pelo acoplamento de um modelo hidrodinâmico 1D (modelo IPH4), aplicado para simular o escoamento na calha principal dos rios, e um modelo 2D do tipo raster, para a simulação da inundação na planície. Esse modelo discretiza a planície em uma grade regular e simula o escoamento pela planície conforme a topografia e a diferença de níveis de água entre elementos da grade. Um módulo específico simula as trocas laterais canal e planície, conforme a diferença de nível de água, as quais podem acontecer ao longo de toda a extensão dos canais. Outro módulo realiza o balanço vertical entre precipitação e evapotranspiração na planície. Um conjunto de rotinas computacionais foi desenvolvido para agilizar a preparação dos dados de entrada de forma coerente e georreferenciada, principalmente quanto à conexão entre as discretizações do canal e da planície. Como estudo de caso, foram simulados 3965 km de canais de drenagem e 219.514 km2 de planícies (Pantanal) da Bacia do Alto Paraguai, por um período de 11 anos e 4 meses (set/1995 a dez/2006). A despeito da escassez de dados para caracterização física, os resultados obtidos foram satisfatórios, tanto em termos do regime de vazões e variação de nível d’água nos canais de drenagem quanto em termos de áreas inundadas e padrões espaçotermporais de inundações na planície. Nesse último aspecto, o sistema desenvolvido foi capaz de simular o pulso sazonal de inundação do Pantanal. Foram obtidos valores de área inundada coerentes com estimativas de outros autores e manchas de inundação que diferenciaram áreas permanentemente inundadas, devido ao extravasamento de água dos canais, daquelas áreas inundadas sazonalmente pela ocorrência de precipitação. Esse resultado evidenciou a necessidade da consideração dos processos hidrológicos verticais para a simulação das inundações sazonais. Estatísticas de desempenho obtidas pela comparação entre manchas de inundação simuladas e estimadas por satélite em outro estudo foram consideradas equivalentes às obtidas na literatura para estudos de planícies de menor escala e com maior disponibilidade de dados. / Besides understanding the current hydrologic behavior of a river and floodplain drainage system, it is important to be able to predict its future conditions in light of possible impacts due to anthropogenic activities and climate variability. Mathematical modeling is the ideal tool for this purpose. For large scale hydrologic systems, if the objective is to simulate spatiotemporal inundation patterns over floodplain, the traditional methodologies currently being used are not adequate. This Thesis presents a computational simulation system developed for this purpose, which is composed by coupling a 1D-hydrodynamic model (IPH4 model), to simulate flow routing along main channels, and a 2D-raster based model, to simulate floodplain inundation. This floodplain model discretizes the floodplain into a regular grid and simulates the flow over floodplain according with its topography and water level differences between grid elements. A specific module simulates lateral water exchanges between channel and floodplain according with water level differences, which may occur along the whole channel flowpath. Another module performs the vertical water balance between precipitation and evapotranspiration over floodplain. A set of computational routines was developed aimming at facilitating input data preparation in a coherent and georreferenced way, mainly focused on establishing connections between channel and floodplain discretizations. As study case, a total of 3965 km of main channels and of 219.514 km2 of floodplains (Pantanal) of the Upper Paraguay River Basin was simulated for a period of 11 years and 4 months (set/1995 to dez/2006). In spite of data scarcity regarding physical characteristics, the results obtained were satisfactory, in terms of flow regime and water level variation in main channels and also in terms of inundated areas and spatio-temporal inundation patterns over floodplain. Regarding this last issue, the developed system was able to simulate the Pantanal seasonal flood pulse. Calculated inundated areas were coherent with estimates from others authors, and in the inundation maps obtained it was possible to distinguish permanent flooded areas, due to main channel flow spilling, from areas seasonally inundated due to precipitation. This result showed the importance of taking into account the vertical hydrologic proccesses for simulating seazonal floodplain inundation. Performance measures obtained by comparing simulated floodplain maps with those from other study estimated using satellite images were considered similar to the reported values in literature, which in turn refer to modeling lower scale sites with larger data availability.

Este trabalho de pesquisa se propõe a desenvolver uma ferramenta que auxilie os administradores de frentes de caixas de supermercados na tarefa de proporcionar aos consumidores de suas lojas um atendimento mais rápido a custos econômicos viáveis. Essa ferramenta é um sistema simulador de frente de caixas que reproduz o comportamento da frente possibilitando exercício de inúmeras opções de análise. O uso do simulador permitirá que os administradores analisem a sensibilidade de variáveis importantes, relacionadas com os parâmetros de entrada, sem o risco associado às experimentações produzidas sobre a realidade. O trabalho retrata os vários segmentos da pesquisa, partindo de uma fundamentação teórica do assunto, descrevendo detalhadamente cada fase, demostrando a operacionalidade do sistema com descrição e análise de duas aplicações reais e encerrando com uma série de conclusões e recomendações extraídas da totalidade do processo e tidas como relevantes à continuidade e ao aprofundamento da linha de pesquisa. / The main purpose of this research is to develop a tool to help managers of checkout systems in the task of providing their customers faster service at lower costs. A checkout simulator system was developed, making possible countless options of analysis. In using the simulator, managers can analyse the sensitivity of important variables with regard to input parameters, avoiding the risks associated with real experimentation with their stores or customers. This report begins with a theoretical framework of the subject, describing in detail each phase of the research. It shows the operation of the system, analysing two concrete examples. Several conclusions and suggestions extracted from the whole process are offered.

[pt] O presente trabalho trata de modelagem e simulação numérica de carregamentos cíclicos em estruturas elasto-plásticas. Uma decomposição aditiva do problema contínuo é usada para o desenvolvimento de técnicas por elemento finitos para a aproximação da solução com boas propriedades de estabilidade e que: -consideram a matriz de rigidez constante (exatamente igual á obtida num problema elástico equivalente). Esta matriz de rigidez é montada e triangularizada uma única vez ao longo do processo de solução. -integram as leis de evolução elemento por elemento. A eficiência e utilidade das técnicas numéricas propostas é verificada analisando-se o comportamento cíclico de vasos de pressão e treliças de alumínio AU4G e aço inoxidável 316L. / [en] This work is concerned with the modeling and numerical simulation of cyclic loadings in elastro-plastic structures. Na aditive decomposition of the continuum problem is used to develop stable and robust finite element techniques of solution: -that consider a Constant stiffness matrix (exatly the same obtained in na equivalent elastic problem). This matrix is assembled and composed only once along the process of solution. -in which the integration of the evolution Law is performed element-by-element. The effectiveness and usefullness of the proposed numerical technique is verified by analysing the cyclic behaviour of AU4G aluminium alloy and 316 L stainless steel pressure vessels and trusses.

[pt] Nesta tese de mestrado, foram analisados aspectos, propriedades, utilidade e desempenho do bootstrap, um método de reamostragem, na estimação de um parâmetro relacionado à memória longa, ou longa dependência, em séries temporais. Entre outras coisas, obtém-se estimativas do desvio-padrão do estimador do parâmetro, e um teste de hipóteses para o parâmetro. O bootstrap pode conseguir propriedades de grandes amostras a partir de um número pequeno de observações. O procedimento do bootsptrap consiste de reamostrar, com reposição, da amostra original um número grande de amostras do mesmo tamanho. A longa dependência ou memória longa (long memory) pode se caracterizado por um lento decaimento das autocorrelações conforme cresce o valor do lag. A longa dependência pode ser estudada por modelos ARIMA (p,d,q.), com o parâmetro d, relativo integração a ser feita em ruídos brancos na construção da série (ARFIMA), assumindo valor fracionário. Este trabalho está relacionado com o uso do bootstrap na estimação do parâmetro d fracionário dos modelos ARFIMA (p,d,q). / [en] This thesis treats features, properties, utility and performance of the use of bootstrap, a resample techique, in the estimation of a parameter related to long memory in times. Among other things, we estimate the standard deviation of the parameter estimator and define a null hypothesis test for the parameter. With bootstrap, we can get large sample properties from a small sample. It consists of many resamples, with reposition, of the original sample, all with the same size as the original. Long memory can be featured by a small decay of the autocorrelations as the lag tends to infinity. Long memory can be studied by ARIMA (p,d,q) models with the d parameters assuming a fractional value (ARFIMA). This work concerns the use of bootstrap in the estimation of the fractional d parameter of ARFIMA (p,d,q) models.

Além de conhecer o comportamento hidrológico atual de um sistema de rios e planícies, é importante poder prever seu comportamento futuro frente a possíveis impactos decorrentes de atividades antrópicas e face a cenários de variabilidade climática. A modelagem matemática constitui a ferramenta ideal para esse propósito. No caso de sistemas hidrológicos de grande escala, caso o interesse do estudo seja simular padrões espaçotemporais de inundação na planície, as metodologias tradicionais atualmente empregadas não são adequadas. Nesta Tese é apresentado um sistema computacional de simulação desenvolvido com esse propósito, o qual é composto pelo acoplamento de um modelo hidrodinâmico 1D (modelo IPH4), aplicado para simular o escoamento na calha principal dos rios, e um modelo 2D do tipo raster, para a simulação da inundação na planície. Esse modelo discretiza a planície em uma grade regular e simula o escoamento pela planície conforme a topografia e a diferença de níveis de água entre elementos da grade. Um módulo específico simula as trocas laterais canal e planície, conforme a diferença de nível de água, as quais podem acontecer ao longo de toda a extensão dos canais. Outro módulo realiza o balanço vertical entre precipitação e evapotranspiração na planície. Um conjunto de rotinas computacionais foi desenvolvido para agilizar a preparação dos dados de entrada de forma coerente e georreferenciada, principalmente quanto à conexão entre as discretizações do canal e da planície. Como estudo de caso, foram simulados 3965 km de canais de drenagem e 219.514 km2 de planícies (Pantanal) da Bacia do Alto Paraguai, por um período de 11 anos e 4 meses (set/1995 a dez/2006). A despeito da escassez de dados para caracterização física, os resultados obtidos foram satisfatórios, tanto em termos do regime de vazões e variação de nível d’água nos canais de drenagem quanto em termos de áreas inundadas e padrões espaçotermporais de inundações na planície. Nesse último aspecto, o sistema desenvolvido foi capaz de simular o pulso sazonal de inundação do Pantanal. Foram obtidos valores de área inundada coerentes com estimativas de outros autores e manchas de inundação que diferenciaram áreas permanentemente inundadas, devido ao extravasamento de água dos canais, daquelas áreas inundadas sazonalmente pela ocorrência de precipitação. Esse resultado evidenciou a necessidade da consideração dos processos hidrológicos verticais para a simulação das inundações sazonais. Estatísticas de desempenho obtidas pela comparação entre manchas de inundação simuladas e estimadas por satélite em outro estudo foram consideradas equivalentes às obtidas na literatura para estudos de planícies de menor escala e com maior disponibilidade de dados. / Besides understanding the current hydrologic behavior of a river and floodplain drainage system, it is important to be able to predict its future conditions in light of possible impacts due to anthropogenic activities and climate variability. Mathematical modeling is the ideal tool for this purpose. For large scale hydrologic systems, if the objective is to simulate spatiotemporal inundation patterns over floodplain, the traditional methodologies currently being used are not adequate. This Thesis presents a computational simulation system developed for this purpose, which is composed by coupling a 1D-hydrodynamic model (IPH4 model), to simulate flow routing along main channels, and a 2D-raster based model, to simulate floodplain inundation. This floodplain model discretizes the floodplain into a regular grid and simulates the flow over floodplain according with its topography and water level differences between grid elements. A specific module simulates lateral water exchanges between channel and floodplain according with water level differences, which may occur along the whole channel flowpath. Another module performs the vertical water balance between precipitation and evapotranspiration over floodplain. A set of computational routines was developed aimming at facilitating input data preparation in a coherent and georreferenced way, mainly focused on establishing connections between channel and floodplain discretizations. As study case, a total of 3965 km of main channels and of 219.514 km2 of floodplains (Pantanal) of the Upper Paraguay River Basin was simulated for a period of 11 years and 4 months (set/1995 to dez/2006). In spite of data scarcity regarding physical characteristics, the results obtained were satisfactory, in terms of flow regime and water level variation in main channels and also in terms of inundated areas and spatio-temporal inundation patterns over floodplain. Regarding this last issue, the developed system was able to simulate the Pantanal seasonal flood pulse. Calculated inundated areas were coherent with estimates from others authors, and in the inundation maps obtained it was possible to distinguish permanent flooded areas, due to main channel flow spilling, from areas seasonally inundated due to precipitation. This result showed the importance of taking into account the vertical hydrologic proccesses for simulating seazonal floodplain inundation. Performance measures obtained by comparing simulated floodplain maps with those from other study estimated using satellite images were considered similar to the reported values in literature, which in turn refer to modeling lower scale sites with larger data availability.

Este trabalho de pesquisa se propõe a desenvolver uma ferramenta que auxilie os administradores de frentes de caixas de supermercados na tarefa de proporcionar aos consumidores de suas lojas um atendimento mais rápido a custos econômicos viáveis. Essa ferramenta é um sistema simulador de frente de caixas que reproduz o comportamento da frente possibilitando exercício de inúmeras opções de análise. O uso do simulador permitirá que os administradores analisem a sensibilidade de variáveis importantes, relacionadas com os parâmetros de entrada, sem o risco associado às experimentações produzidas sobre a realidade. O trabalho retrata os vários segmentos da pesquisa, partindo de uma fundamentação teórica do assunto, descrevendo detalhadamente cada fase, demostrando a operacionalidade do sistema com descrição e análise de duas aplicações reais e encerrando com uma série de conclusões e recomendações extraídas da totalidade do processo e tidas como relevantes à continuidade e ao aprofundamento da linha de pesquisa. / The main purpose of this research is to develop a tool to help managers of checkout systems in the task of providing their customers faster service at lower costs. A checkout simulator system was developed, making possible countless options of analysis. In using the simulator, managers can analyse the sensitivity of important variables with regard to input parameters, avoiding the risks associated with real experimentation with their stores or customers. This report begins with a theoretical framework of the subject, describing in detail each phase of the research. It shows the operation of the system, analysing two concrete examples. Several conclusions and suggestions extracted from the whole process are offered.

Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de processos de software aparecem como uma proposta para se obter maior controle das atividades realizadas com o intuito de se obter maior qualidade. A simulação de processos de software, através da representação dos passos definidos em um modelo, tem sido utilizada no auxílio a gerentes de projetos de sistemas para fornecer-lhes informações preciosas sobre o desenvolvimento de um sistema especificado. A representação de conhecimento a respeito das características relacionadas a um ambiente de desenvolvimento ajuda na obtenção de simulações mais realísticas. A partir do modelo, o simulador obtém uma descrição do ambiente em que deve atuar, baseado no conhecimento que se tem a respeito do ambiente. Esse trabalho apresenta um modelo de simulação de processos de software baseado em conhecimento para ser inserido em um ambiente de engenharia de processos de software. A função do modelo é simular um processo de software instanciado, procurando detectar inconsistências no mesmo que possam gerar problemas durante a sua execução, como aumento de custos e comprometimento da qualidade do(s) produto(s) obtido(s). Após a simulação o projetista pode constatar a necessidade de se refazer o modelo, ajustar parâmetros ou executar o processo de software. O objetivo da simulação, nesse trabalho, é auxiliar as pessoas responsáveis por um ambiente de desenvolvimento a obter modelos de processos validados. O modelo de simulação foi definido para ser utilizado no ambiente PROSOFT, que é um ambiente de desenvolvimento que permite a integração de novas ferramentas para desenvolvimento de software. O ambiente PROSOFT vem recebendo propostas de extensão que tem contribuído para o seu aprimoramento, fornecendo para seus usuários uma quantidade cada vez maior de ferramentas de auxílio a construção de artefatos de software. As propostas mais recentes foram um modelo para construção de sistemas especialistas, a definição de um ambiente cooperativo e um gerenciador de processos de software. ATOs algébricos (construções do PROSOFT) são utilizados para especificar formalmente o modelo de simulação definido neste trabalho. A validação é realizada através de um modelo em UML (Unified Method Language) que foi utilizado como base para a construção de um programa implementado usando a linguagem Java. Isso ocorre porque a ferramenta do PROSOFT (implementada em Java) que seria utilizada para validar as especificações algébricas ainda não está finalizada.