Sistema de produção sincronizado : uma aplicação em processos produtivos de propriedade contínuos segundo a teoria das restrições

Este trabalho de conclusão investiga o efeito da geração de estoques intermediários nos indicadores principais empregados na Teoria das Restrições (Ganho, Despesa Operacional e Inventário) em uma unidade industrial de processo produtivo de Propriedade contínuo, que emprega embalagens, matérias-primas obtidas em larga escala e cadeias logísticas de longo curso. Este tipo de indústria produz bens de consumo imediato, com pouca variabilidade, de modo “empurrado”. A principal conseqüência é a perda do sincronismo na cadeia logística, resultando em uma grande quantidade de estoques intermediários e custos crescentes, relacionados principalmente ao custo de manutenção destes estoques. Através dos cinco passos de focalização e das ferramentas lógicas da Teoria das Restrições, propõe-se uma alternativa gerencial, que inclui o algoritmo Tambor-Pulmão-Corda e insere a organização em um processo de melhoria contínua, cujos impactos são avaliados por simulação computacional. Através de técnicas estatísticas e software apropriados, constrói-se um modelo de simulação computacional baseado em dados reais de uma planta produtora de cimento. A partir deste modelo, diferentes cenários são testados, descobrindo-se a condição ótima. Chega-se a uma conclusão, considerando a mudança na política de geração de estoques intermediários e seus impactos na redução de custos e riscos.

Uma estratégia para controle e supervisão de processos industriais via Internet

Este trabalho descreve de uma fonna geral a proposta de uma estratégia para controle e supervisão de plantas industriais através da Internet. Tal proposta consiste na apresentação de três contextos distintos: o contexto planta industrial, o contexto servidor e o contexto cliente. O levantamento criterioso de requisitos para cada um dos contextos é apresentado. A união entre as tecnologias Web e os barramentos de campo resultam naturalmente no acesso remoto através da Internet a sistemas de automação industrial, sendo assim, surge uma nova tendência em tennos de supervisão e controle. A motivação para este trabalho surgiu através de alguns estudos de casos presentes na literatura, que disponibilizam laboratórios através da Internet. A maioria destes estudos de caso não possuía os requisitos considerados primordiais para a disponibilização de um processo através da Internet, como por exemplo, a independência de platafonna no lado cliente e um processo de escala industrial no contexto planta industrial. A estratégia proposta tem por objetivo suprir as carências apresentadas pela maioria dos centros de ensino e pesquisa que disponibilizam laboratórios através da Internet. Para validar a estratégia proposta, foi desenvolvido um sistema de acesso remoto no DELET da UFRGS que é constituído de uma Planta Piloto Foundation Fieldbus e sua posterior disponibilização para a Internet Neste trabalho é apresentada sua fundamentação teórica, sua aplicabilidade na área de automação industrial e controle, baseando-se no protocolo de comunicação industrial, o Foundation Fieldbus; descreve-se também como é feito o interfaceamento entre softwares de controle da Planta Piloto e o sistema de supervisão e controle indo até a estrutura de comunicação com a Internet para que se tome possível para o cliente da Internet visualizar e interagir com a Planta Piloto. Configuração de hardware e software e vários outros conceitos ligados às ferramentas utilizadas neste sistema também são abordados neste trabalho.

Monitoramento do impacto de dejetos industriais em amostras de água do Rio Caí através do teste SMART em Dorsophila melanogaster

O presente estudo teve como objetivos (i) avaliar a validade do emprego do teste SMART, em Drosophila melanogaster, como indicador da contaminação de amostras de água superficial associada a misturas complexas, (ii) detectar a atividade tóxico-genética de dejetos industriais, lançados no rio Caí, empregando o cruzamento aprimorado. Dentro desta perspectiva, pretendeu também (iii) comparar os dados obtidos para as amostras sob influência de despejos industriais com aqueles previamente observados para amostras sob influência de dejetos de origem urbana, provenientes das cidades de Montenegro e São Sebastião do Caí (Silva., 1999). Na tentativa de avaliar a genotoxicidade, associada ao curso final do rio Caí, foram selecionados os seguintes pontos de coleta de despejos industriais: Km 18,6 - situado na foz do arroio Bom Jardim, próximo à área de disposição do efluente final líquido e da drenagem das áreas de disposição dos resíduos sólidos do complexo industrial – e Km 13,6 - no canal da bacia de acumulação e segurança 7 do pólo industrial Neste ensaio genético, cada amostra industrial foi administrada às larvas de terceiro estágio em duas diluições (25% e 50%), bem como na sua forma crua (100%) - sendo avaliados um total de 40 indivíduos por amostra por concentração, totalizando a análise de 11.712.000 células por amostra. Foram utilizados dois controles negativos, o controle de campo – representado pela nascente de um riacho localizada em uma área conservada com fraca ação antrópica e próxima aos pontos do rio – assim como o diluente água destilada. Uma vez que as freqüências das diferentes categorias de manchas não foram significantemente superiores àquelas observadas nos controles negativos (água destilada), os pontos Km 18,6 e Km 13,6 foram caracterizados como destituídos de ação genotóxica nos três meses de coleta : março, junho e setembro. Estes achados sugerem que, nas condições experimentais empregadas, os dejetos de origem industrial não foram capazes de induzir lesões do tipo mutação gênica, cromossômica, assim como eventos relacionados com recombinação mitótica. Por outro lado, a comparação dos dados obtidos no presente estudo com os observados por Silva (1999) para dejetos urbanos, revelou a validade do emprego do teste SMART como uma ferramenta para detecção de contaminação ambiental. De fato, as amostras urbanas referentes aos meses de março (Km 52, 78 e 80) e setembro (Km 52) – coletadas concomitantemente com as de origem industrial – foram diagnosticadas como indutoras de aneuploidias e/ou de grandes deleções cromossômicas. As potências genotóxicas médias estimadas mostraram que o Km 80 foi o local com o maior grau de genotoxicidade – seguido pelos Km 78 e 52 – que apresentaram potências semelhantes Considerando os resultados obtidos, em cinco pontos situados ao longo do curso final do rio Caí, conclui-se que os prejuízos causados pelos dejetos urbanos podem ser tão ou mais nocivos que os impostos pelos de origem industrial – especialmente em função de seu grande volume de lançamento.

Construção da "participação popular" : análise comparativa de processos de participação social na discussão pública do orçamento em municípios da Região Metropolitana de Porto Alegre/RS

A presente tese tem como objetivo identificar e analisar os fatores explicativos da participação social em canais de participação direta na gestão pública municipal, utilizando como referência empírica quatro processos de discussão pública do orçamento municipal (o chamado “Orçamento Participativo”) desenvolvidos nos municípios de Alvorada, Gravataí, Porto Alegre e Viamão, todos municípios integrantes da Região Metropolitana de Porto Alegre. Tomando estes processos de participação como uma forma específica de ação coletiva, discute-se, com base em uma investigação comparativa entre os casos, a existência de um conjunto único de variáveis presentes e atuantes em todos eles, que poderiam assim constituir a base de um modelo explicativo generalizável para a explicação destes processos de participação. Em caso de não confirmação desta similaridade entre os processos, busca-se identificar as especificidades locais que atuariam de forma a determinar as dinâmicas próprias empiricamente observadas.

Testes de ajustamento de modelos em processos com longa dependência

Estudamos neste trabalho, o nível de significância empírico dos testes portmanteau baseados nas estatísticas propostas por Ljung e Box (1978), Monti (1994) e Pe˜na e Rodríguez (2002) nos processos ARFIMA(p; d; q). Consideramos o processo ARFIMA(p; d; q) nas situações adequadas para representar séries temporais com características de longa dependência. Para estimar o parâmetro de diferenciação d utilizamos os métodos de estimação propostos por Geweke e Porter-Hudak (1983), Reisen (1994), Robinson (1994) e Fox e Taqqu (1983).

Implementação e consolidação do modelo de organização do trabalho por processos através de equipes autogerenciadas em empresa montadora do ramo automobilístico instalada em Curitiba : fatores dificultadores e facilitadores

Nesta dissertação, apresenta-se um estudo de caso, focando-se duas áreas distintas em empresa industrial do ramo automobilístico, situada na região metropolitana de Curitiba, no estado do Paraná e localizada na região sul-brasileira. Neste estudo, buscou-se identificar os fatores dificultadores e os facilitadores presentes na implementação e manutenção do modelo de trabalho por processos com Equipes Autogerenciadas (EAGs), a partir da percepção dos seus membros. Para efeito de ambientação deste tema, na fase exploratória da pesquisa também foram envolvidos os coordenadores e gerentes das áreas da empresa objeto do estudo. A investigação é de natureza qualitativa, valendo-se também do auxílio dos recursos de processamento estatístico de dados. Inicialmente se conduziu uma pesquisa exploratória seguida de uma pesquisa descritiva, esta, estruturada a partir dos dados obtidos na fase exploratória e do referencial teórico utilizado. O estudo teve o tema como unidade de registro, o que possibilitou a comparação dos resultados encontrados, à luz de alguns pressupostos teóricos. Os resultados da pesquisa apontam para a predominância de fatores dificultadores presentes nas áreas pesquisadas e referentes ao modelo de trabalho com EAGs, devendo-se estar atento à expectativa de incremento do empoderamento das mesmas, bem como do devido reconhecimento, por parte da empresa, em relação às responsabilidades e habilidades adicionais adquiridas pelos membros das mesmas EAGs. Sugere-se que o treinamento em habilidades comportamentais, bem como a melhoria do atual sistema de divulgação das informações também sejam revisados e desenvolvidos pela Empresa junto às áreas estudadas.

Inteligência competitiva no monitoramento do ambiente concorrencial das pequenas e médias indústrias do pólo metal-mecânico da região de Caxias do Sul-RS

A crescente competitividade dos mercados é uma das principais fontes de preocupações das empresas atualmente. As forças concorrenciais podem representar ameaças, principalmente, para as empresas que não monitoram o seu ambiente concorrencial. As atividades que permitem o monitoramento do ambiente através da captura e da análise de informações concorrenciais correspondem ao que se denomina de Inteligência Competitiva (IC). O conjunto de atividades que são atribuídas a essa área permite às empresas uma melhor identificação da situação global dos mercados e oferece condições de posicionamento estratégico e pró-ativo face à concorrência. O objetivo deste trabalho foi verificar como as pequenas e médias empresas do pólo industrial metal-mecânico da região de Caxias do Sul (RS) estão desenvolvendo as atividades de busca de informações do ambiente concorrencial, além de identificar os principais métodos utilizados para essas atividades. Nesta dissertação, foram apresentados, a partir de uma consistente revisão bibliográfica sobre o assunto e do planejamento metodológico, os principais resultados do estudo exploratório realizado junto a uma amostra de trinta e quatro empresas do setor selecionado. Os resultados demonstram a situação das empresas estudadas em relação à busca, análise, sistematização e difusão das informações do ambiente, bem como, algumas características das empresas que monitoram o ambiente concorrencial.

Estudo do desempenho de pavimentos flexíveis a partir de instrumentação e ensaios acelerados

Neste trabalho, são apresentados os resultados obtidos em estudos realizados com o propósito de compreender e quantificar o desempenho de estruturas de pavimentos flexíveis em concreto asfáltico submetidas a ensaios acelerados em escala real com um simulador linear de tráfego. Para tornar possível o monitoramento evolutivo da degradação oferecida por pavimentos flexíveis ao longo do tempo, em termos dos mecanismos principais que condicionam a vida de serviço deste tipo de estrutura, foram construídas e instrumentadas seis seções experimentais, das quais duas foram submetidas aos esforços das cargas do tráfego durante o desenvolvimento deste trabalho. O monitoramento das condições funcional e estrutural das pistas experimentais permitiu o estabelecimento de modelos de regressão que reproduzem o desempenho dos pavimentos em termos da evolução do trincamento do revestimento asfáltico, ocorrência de afundamentos em trilha de roda e evolução das tensões verticais no subleito Os pavimentos foram instrumentados com medidores de tensões e deformações instalados em diferentes pontos no seu interior. Analisam-se processos para cálculo de tensões e deformações em estruturas de pavimentos flexíveis com base na interpretação da instrumentação instalada nas pistas experimentais. Foram investigados aspectos relativos à previsão do desempenho estrutural das seções avaliadas, visando trazer subsídios para a estruturação de modelos de previsão de desempenho. Foi confirmada uma tendência logarítmica de crescimento dos afundamentos em trilha de roda com o tráfego acumulado. Conclui-se pela necessidade da identificação de fatores de correção para determinação de tensões através de células de tensão total em solos. Os resultados das avaliações realizadas revelam que os módulos de elasticidade retroanalisados do FWD e da viga eletrônica se mostraram adequados à interpretação do desempenho estrutural dos pavimentos experimentais. Em contrapartida, os módulos de elasticidade derivados de ensaios laboratoriais, realizados em diferentes épocas, não refletiram as condições apresentadas pelos pavimentos no campo.

Tratamento do efluente alcalino do branqueamento da polpa de celulose pelo processo de separação por membranas

O presente trabalho estuda o reaproveitamento do efluente alcalino do branqueamento da polpa, da indústria de celulose, através de processos de separação com membranas. Para tanto, foram realizados testes com o efluente industrial para diferentes membranas e, simultaneamente, foi pesquisada a aplicação do processo de flotação como pré-tratamento para retirada de fibras do efluente. A avaliação dos resultados foi realizada por meio de determinações analíticas e monitoramento de alguns parâmetros. Os experimentos foram executados em equipamentos de bancada e piloto. A etapa de separação com membranas envolveu os processos de ultrafiltração, nanofiltração, osmose reversa e combinações destas operações. De forma a escolher um processo com retenção e fluxo permeado adequados variou-se durante os testes a pressão através das membranas e a temperatura. As análises realizadas para a caracterização do efluente foram: pH, condutividade elétrica, turbidez, sólidos totais (ST), demanda química de oxigênio (DQO), compostos organo-halogenados (AOX), ferro, magnésio, cálcio, sódio, potássio e manganês. A DQO foi o principal critério utilizado para avaliar a qualidade do permeado. Os ensaios de flotação foram realizados com e sem adição de compostos químicos auxiliares. A eficiência do processo foi avaliada através das análises de ST, condutividade elétrica, pH, recuperação de fibras, teor de alumínio, turbidez e visualmente Os resultados indicaram que todos os processos testados trouxeram uma melhoria nas características do efluente, incluindo reduções de até 90% no valor de DQO em alguns casos. O processo que apresentou a melhor performance foi a combinação UF5+ORP. A investigação preliminar sobre a flotação das fibras mostrou que, apesar de ter atingido uma remoção de fibras de 95% ainda havia a presença de partículas grosseiras, as quais poderiam causar danos aos processos com membranas. Mais estudos devem ser realizados no sentido de otimizar o processo de flotação.

Simulação numérica de processos de solidificação em sistemas binários aplicados à criopreservação de células

A preservação e o armazenamento de células e tecidos têm sido utilizados largamente em pesquisa científica e aplicações clínicas. No entanto, há uma aparente contradição entre o conceito de preservaão e as conclusões baseadas em resultados experimentais que materiais biológicos criopreservados podem ser danificados pelo próprio processo de preservação. A compreensão do processo de solidificação de soluções salinas é fundamental para a proposição de novos protocolos de criopreservação. No presente estudo, o congelamento de uma solução de cloreto de sódio a 1% em massa é simulado. As equações de conservação de massa, momentum, energia, e espécies químicas foram discretizadas e resolvidas numericamente utilizando-se o método dos volumes de controle para um domínio bidimensional que contém a parede da bolsa plástica e a solução salina. A perda de água da célula foi calculada a partir da história de temperatura e concentração durante o processo de solidificação e verificou-se que, dependendo da posição inicial da célula na bolsa, a célula tem probabilidades diferentes de sobreviver durante o processo.

Modelagem física e matemática dos processos de extração de óleo de soja em fluxos contracorrente cruzados

Este trabalho visa desenvolver um modelo físico e matemático geral para os processos de extração sólido-líquido em fluxos contracorrente cruzados (CCC) que são utilizados na indústria de alimentos. Levam-se em consideração os processos principais (o transporte de massa entre as fases, difusão e convecção) envolvidos por todo o campo de extração, com uma abordagem bidimensional evolutiva, incluindo as zonas de carregamento, drenagem e as bandejas acumuladoras. O modelo matemático é formado por equações diferenciais parciais que determinam a alteração das concentrações nas fases poro e “bulk” em todo o campo de extração e equações diferenciais ordinárias (que refletem as evoluções das concentrações médias nas bandejas). As condições de contorno estabelecem as ligações entre os fluxos CCC da micela e matéria-prima e consideram, também, a influência das zonas de drenagem e carregamento. O algoritmo de resolução utiliza o método de linhas que transforma as equações diferenciais parciais em equações diferenciais ordinárias, que são resolvidas pelo método de Runge-Kutta. Na etapa de validação do modelo foram estabelecidos os parâmetros da malha e o passo de integração, a verificação do código com a lei de conservação da espécie e um único estado estacionário. Também foram realizadas a comparação com os dados experimentais coletados no extrator real e com o método de estágios ideais, a análise da influência de propriedades da matéria-prima nas características principais do modelo, e estabelecidos os dados iniciais do regime básico (regime de operação) Foram realizadas pesquisas numéricas para determinar: os regimes estacionário e transiente, a variação da constante de equilíbrio entre as fases, a variação do número de seções, a alteração da vazão de matéria-prima nas características de um extrator industrial e, também foram realizadas as simulações comparativas para diferentes tipos de matéria-prima (flocos laminados e flocos expandidos) usados amplamente na indústria. Além dessas pesquisas, o modelo também permite simular diferentes tipos de solventes. O estudo da capacidade de produção do extrator revelou que é necessário ter cuidado com o aumento da vazão da matéria-prima, pois um pequeno aumento desta pode causar grandes perdas de óleo tornando alto o custo da produção. Mesmo que ainda seja necessário abastecer o modelo com mais dados experimentais, principalmente da matéria-prima, os resultados obtidos estão em concordância com os fenômenos físico-químicos envolvidos no processo, com a lei de conservação de espécies químicas e com os resultados experimentais.

O gerenciamento da rotina através do método de estabilização de processos

Esta dissertação apresenta uma abordagem sistemática para garantir a estabilidade dos resultados dos processos e, assim, o alcance das metas de produção e qualidade. Essa abordagem contempla oito etapas principais: (I) identificação do processo crítico, (iI) tratamento do processo crítico, (iil) padronização operacional, (iv) treinamento operacional, (v) operação conforme o padrão, (VI) tratamento de anomalias, (vil) auditoria de padrão e (viiI) controle estatístico de processo. A metodologia proposta, chamada de "Estabilização de Processo", se propõe a garantir a previsibilidade dos resultados dos processos operacionais de maneira focada, através da identificação dos processos críticos, de seus indicadores, de suas metas-padrão e da manutenção do seu resultado numa faixa de domínio que atenda às necessidades dos clientes. As principais vantagens do método são: (I) um método simples e organizado de atividades corretivas e preventivas, (if) a abordagem estatística, que fornece uma base sólida para a tomada de decisões e (iil) o gerenciamento do processo da rotina com foco no par operador-tarefa. Por fim, é apresentado e discutido um estudo de caso em uma indústria siderúrgica, que contribui para a validação do método proposto.

Caracterização de microorganismos aquáticos por processamento digital de imagens e redes neurais artificiais

A identificação e o monitoramento de microorganismos aquáticos, como bactérias e microalgas, tem sido uma tarefa árdua e morosa. Técnicas convencionais, com uso de microscópios e corantes, são complexas, exigindo um grande esforço por parte dos técnicos e pesquisadores. Uma das maiores dificuldades nos processos convencionais de identificação via microscopia é o elevado número de diferentes espécies e variantes existentes nos ambientes aquáticos, muitas com semelhança de forma e textura. O presente trabalho tem por objetivo o desenvolvimento de uma metodologia para a caracterização e classificação de microorganismos aquáticos (bactérias e microalgas), bem como a determinação de características cinemáticas, através do estudo da mobilidade de microalgas que possuem estruturas que permitem a natação (flagelos). Para caracterização e reconhecimento de padrões as metodologias empregadas foram: o processamento digital de imagens e redes neurais artificiais (RNA). Para a determinação da mobilidade dos microorganismos foram empregadas técnicas de velocimetria por processamento de imagens de partículas em movimento (Particle Tracking Velocimetry - PTV). O trabalho está dividido em duas partes: 1) caracterização e contagem de microalgas e bactérias aquáticas em amostras e 2) medição da velocidade de movimentação das microalgas em lâminas de microscópio. A primeira parte envolve a aquisição e processamento digital de imagens de microalgas, a partir de um microscópio ótico, sua caracterização e determinação da densidade de cada espécie contida em amostras. Por meio de um microscópio epifluorescente, foi possível, ainda, acompanhar o crescimento de bactérias aquáticas e efetuar a sua medição por operadores morfológicos. A segunda parte constitui-se na medição da velocidade de movimentação de microalgas, cujo parâmetro pode ser utilizado como um indicador para se avaliar o efeito de substâncias tóxicas ou fatores de estresse sobre as microalgas. O trabalho em desenvolvimento contribuirá para o projeto "Produção do Camarão Marinho Penaeus Paulensis no Sul do Brasil: Cultivo em estruturas Alternativas" em andamento na Estação Marinha de Aquacultura - EMA e para pesquisas no Laboratório de Ecologia do Fitoplâncton e de Microorganismos Marinhos do Departamento de Oceanografia da FURG. O trabalho propõe a utilização dos níveis de intensidade da imagem em padrão RGB e oito grandezas geométricas como características para reconhecimento de padrões das microalgas O conjunto proposto de características das microalgas, do ponto de vista de grandezas geométricas e da cor (nível de intensidade da imagem e transformadas Fourier e Radon), levou à geração de indicadores que permitiram o reconhecimento de padrões. As redes neurais artificiais desenvolvidas com topologia de rede multinível totalmente conectada, supervisionada, e com algoritmo de retropropagação, atingiram as metas de erro máximo estipuladas entre os neurônios de saída desejados e os obtidos, permitindo a caracterização das microalgas.

Desenvolvimento de programa de gestão voltado à manutenção das máquinas e equipamentos e ao melhoramento dos processos de manufatura fundamentado nos princípios básicos do Total Productive Maintenance (TPM)

Esta dissertação de mestrado trata do tema Total Productive Maintenance (TPM) ou Manutenção Produtiva Total (MPT). O principal objetivo é avaliar sua contribuição no gerenciamento das atividades de manutenção industrial e como uma ferramenta da engenharia de processos para otimização dos processos de manufatura. A avaliação foi realizada com base em estudo de caso onde o TPM foi implementado em uma empresa do ramo eletro - eletrônico localizada na cidade de Caxias do Sul - RS. O plano de implementação foi elaborado baseado em revisão bibliográfica, a qual considerou o pensamento de autores nacionais e internacionais bem como a adequação do TPM levando em consideração a cultura e a realidade do sistema produtivo da empresa. A parte prática do programa envolveu a aplicação dos conceitos e filosofias fundamentais do TPM no sistema produtivo da empresa. Os principais resultados mensuráveis obtidos com a implementação, foram: (1) a elevação do Índice de Rendimento Operacional Global (IROG) de 0,552 para 0,634, observado nas máquinas consideradas restrição do sistema produtivo do setor (gargalos), (2) a redução nas quebras de máquinas em aproximadamente 45 %, (3) a criação de um ambiente que incentiva a participação dos funcionários com sugestões de melhorias, atingindo 3,2 sugestões de melhorias por funcionário por ano e, (4) reduções de 12,6 % de energia elétrica, 40 % no consumo de água e 797 litros de óleo lubrificante por ano. Entre os beneficios não mensuráveis destacam-se a criação de um ambiente de trabalho limpo, organizado e seguro, a formação de operadores multifuncionais e a eliminação de atmosfera de confronto que existia entre a operação e a manutenção. O estudo de caso também mostrou que o comprometimento da alta direção é fator fundamental para o sucesso do TPM.

Um Modelo de simulação de processos de software baseado em conhecimento para o ambiente PROSOFT

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.