A atividade de crédito consiste, em termos financeiros, na entrega de um valor presente mediante uma promessa de pagamento em data futura. Uma vez que se trata de promessa de pagamento, existe a possibilidade de que a mesma não seja cumprida, dando origem ao risco de crédito. Dada a existência desse risco, cabe às instituições que concedem crédito realizar uma análise do proponente, buscando aferir se o mesmo possui condições de cumprir o compromisso assumido. Um dos aspectos a ser levado em consideração nessa análise diz respeito à capacidade de pagamento da empresa, realizada através de projeções do fluxo de caixa da mesma. Com base nisso, o presente trabalho teve por objetivo a construção de um modelo de simulação para avaliar a capacidade de pagamento de empresas em financiamentos de longo prazo. Entende-se que a aplicação de um modelo dessa natureza pode trazer informações adicionais relevantes para o problema em análise. A avaliação do modelo construído, realizada através de consulta a experts no problema de decisão de crédito, aponta que tanto a técnica utilizada quanto o modelo construído mostram-se adequados e aderentes à realidade, propiciando uma maior segurança para a tomada de decisão.

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.

[pt] O entendimento da organização antes de iniciar o desenvolvimento dos sistemas organizacionais tem se mostrado bastante eficaz na elicitação de requisitos. Neste contexto, a utilização dos conceitos de intencionalidade através do Framework i asterisco tem sido amplamente empregada por pesquisadores e em algumas empresas. Porém, o uso do framework i asterisco para a modelagem da intencionalidade organizacional carrega a complexidade intrínseca dos modelos. Sendo assim, este trabalho tem como principal objetivo elaborar uma estratégia baseada em simulação para ajudar o engenheiro de requisitos a validar os modelos em i asterisco elicitados junto aos interessados, sem que os mesmos precisem absorver a complexidade inerente a esses modelos. São apresentados também os resultados obtidos com a aplicação desta estratégia em um estudo de caso. / [en] The understanding of the organization before starting the development of organizational systems has been very effective in requirements elicitation. In this context, the use of intentionality concepts through the i asterisk framework has been widely used by researchers and by some companies. However, the use of i asterisk framework to modeling organizational intentionality brings the inherent complexity of the models. Thus, this work has the main objective to develop a simulation–based strategy to help the requirements engineer to validate the i asterisk models elicitated with the stakeholders, without absorbing the inherent complexity of these models. We also present the results of the strategy implementation in a case study.

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.

A atividade de crédito consiste, em termos financeiros, na entrega de um valor presente mediante uma promessa de pagamento em data futura. Uma vez que se trata de promessa de pagamento, existe a possibilidade de que a mesma não seja cumprida, dando origem ao risco de crédito. Dada a existência desse risco, cabe às instituições que concedem crédito realizar uma análise do proponente, buscando aferir se o mesmo possui condições de cumprir o compromisso assumido. Um dos aspectos a ser levado em consideração nessa análise diz respeito à capacidade de pagamento da empresa, realizada através de projeções do fluxo de caixa da mesma. Com base nisso, o presente trabalho teve por objetivo a construção de um modelo de simulação para avaliar a capacidade de pagamento de empresas em financiamentos de longo prazo. Entende-se que a aplicação de um modelo dessa natureza pode trazer informações adicionais relevantes para o problema em análise. A avaliação do modelo construído, realizada através de consulta a experts no problema de decisão de crédito, aponta que tanto a técnica utilizada quanto o modelo construído mostram-se adequados e aderentes à realidade, propiciando uma maior segurança para a tomada de decisão.

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.

A atividade de crédito consiste, em termos financeiros, na entrega de um valor presente mediante uma promessa de pagamento em data futura. Uma vez que se trata de promessa de pagamento, existe a possibilidade de que a mesma não seja cumprida, dando origem ao risco de crédito. Dada a existência desse risco, cabe às instituições que concedem crédito realizar uma análise do proponente, buscando aferir se o mesmo possui condições de cumprir o compromisso assumido. Um dos aspectos a ser levado em consideração nessa análise diz respeito à capacidade de pagamento da empresa, realizada através de projeções do fluxo de caixa da mesma. Com base nisso, o presente trabalho teve por objetivo a construção de um modelo de simulação para avaliar a capacidade de pagamento de empresas em financiamentos de longo prazo. Entende-se que a aplicação de um modelo dessa natureza pode trazer informações adicionais relevantes para o problema em análise. A avaliação do modelo construído, realizada através de consulta a experts no problema de decisão de crédito, aponta que tanto a técnica utilizada quanto o modelo construído mostram-se adequados e aderentes à realidade, propiciando uma maior segurança para a tomada de decisão.

[pt] Nesta dissertação aborda-se um problema pouco estudado - o processo de planejamento/programação de saída de contêineres de importação, movimentados por reach stackers. Clientes pré-agendam a retirada de seus contêineres em janelas de tempo de duas horas, sem especificação de horário. Efetua-se a présegregação dos contêineres na noite anterior à da efetiva entrega, com a formação de pilhas por faixa de horário e área buffer para a movimentação. A proposta deste trabalho é identificar e avaliar comparativamente as variáveis de desempenho envolvidas no atendimento de um máximo de 30 contêineres em cada janela de tempo, estruturados em seis pilhas de cinco contêineres de altura cada. São analisadas duas regras de sequenciamento diversas: (a) Primeiro a entrar, primeiro a sair (PEPS) e (b) Tempo de processamento mínimo (SPT) ou Movimentação Mínima (que se confundem neste problema). O modelo é necessariamente de simulação, uma vez que o processo em estudo envolve a movimentação de pilhas de contêineres (formadas aleatoriamente), com acesso por equipamentos stackers (segundo políticas de acesso típicas), e chegada das carretas com ordenamento aleatório, segundo distribuição própria. Com a aplicação do modelo, conclui-se que, num regime de atendimento PEPS, a janela de tempo de duas horas é insuficiente para atender à demanda de 30 (trinta) contêineres em um regime de chegada segundo Poisson. Já no segundo regime de atendimento estudado, com atendimento seletivo de fila de espera segundo critério decisório de movimentação mínima esperada, os resultados foram bastantes mais promissores embora insuficientes ao atendimento das carretas, em média, na janela de tempo disponibilizada e nas condições operacionais oferecidas pela instalação. Cenários outros foram simulados e seus resultados devidamente avaliados. / [en] In this work, the focus is on a rarely studied problem in the technical literature - the inbound containers (importation) process delivery, with reach stackers for moving the containers . In this process, customers schedule their containers withdrawal in one of the several allowable time windows - two hours time, without fixed arrival order. Containers pre-segregation occurs in the night before the effective delivery day. Thirty containers are stacked by time windows in six stacks five containers high and a buffer area allocated for subsidiary movements. The purpose of this work is to identify and to evaluate comparatively the key performance indicators associated with the thirty containers maximum delivery levels in each time window. The model is necessarily a simulation one, because it involves the container stack packing (random), its access and movement by reach stacker equipment (with typical access policies) and the truck arrival for withdrawing the container (also random). Two different sequencing rules are compared - first in, first out (FIFO) and smallest processing time (SPT). Solving the model in a FIFO delivery discipline, the conclusion is that the two hours time window is insufficient to deal with the 30 (thirty) containers delivery in a Poisson process arriving trucks. The second delivery system studied - a decision process applied in the waiting queue (based on selecting the container with the minimal expected unproductive movements), more promising results have been obtained, although insufficient to pick up all the containers. Alternative scenarios were then offered to solve the problem.

[pt] Apresenta-se uma técnica de projeto para sistemas (computadores) a serem construídos com circuitos integrados digitais. A base da técnica é a simulação dos diferentes elementos físicos por rotinas especializadas e a simulação de conjunto por chamadas a essas rotinas. Para exemplificar a técnica apresenta-se o projeto de um pequeno computador com módulos integrados TTL MSI. No simulador do computador exemplo, cada elemento físico é substituído pela chamada à rotina típica simuladora, e as ligações são representadas pela passagem de parâmetros (pontos terminais do elemento à rotina equivalente). / [en] This thesis presents a project technique for systems (computers in particular) by use of digital integrated circuits. The technical foundation of the project is the simulation of the various physical elements through specialized routines and consequently the simulation of the whole system by calling these routines. As a practical example of the technique proposed here a project for a small size computer with integrated modular TTL MSI is presented. Finally, in the simulation of this computer each physical element is substituted by the corresponding routine that simulates it. Also, the various joints are represented by the flow of parameters (terminal points of the physical elements to the equivalent routines).