Neste estudo é feita uma apresentação de alguns aspectos da obra de Herbert A. Simon que foram julgados de particular importância para a economia. A teoria comportamental do autor é o eixo em torno do qual estes aspectos resultaram girar. Esta teoria por sua vez foi aqui dividida em dois temas: o da racionalidade e o da organização. Estes temas são duas partes essenciais da teoria e devem caminhar sempre juntos no sentido de que, respectivamente, tratam da estrutura da teoria e do contexto ao qual ela se aplica. No que diz respeito ao tema da racionalidade, são tratados aqui os argumentos de Simon relativos às restrições ao exercício da racionalidade pelos agentes associadas às suas capacidades cognitivas. Em particular, Simon argumenta que a hipótese de onisciência, implicada pelas hipóteses de racionalidade da teoria econômica neoclássica, gera problemas para a teoria, tanto em sua faceta normativa quanto na positiva. São também apresentados os conceitos de racionalidade restrita e de racionalidade procedimental. Este último foi desenvolvido por Simon a partir do primeiro, tendo em vista principalmente as dificuldades da teoria econômica de lidar com situações de incerteza. Na medida em que as restrições à racionalidade são admitidas pela teoria, o comportamento passa a depender fortemente tanto do contexto em que ocorre quanto das características psicológicas (cognitivas) do agente. Grande parte do trabalho de Simon em economia girou em torno do conceito de organização. De fato, organizações constituem um contexto predominante do comportamento econômico, tanto mais quanto grandes organizações têm dominado o cenário nas últimas décadas. Neste sentido, é questionada também a predominância do conceito de mercado sobre o de organização na teoria. Esta dependência que o comportamento econômico tem do contexto leva Simon a argumentar em favor de uma aproximação entre economia e empiria, em particular do estudo empírico de como o comportamento se dá na prática – ou seja, onde empiria não deve ser tomada como sinônimo de econometria. Uma contextualização histórica do trabalho de Simon também foi realizada. Foram explorados aí alguns temas. Primeiro, foi conceituado o “regime da Segunda Guerra Mundial” surgido em torno da confluência entre as empreitadas científica e militar durante a Segunda Guerra. Em segundo lugar, a importância deste regime para a carreira de Simon foi discutida, em particular a disponibilidade do computador, a partir de meados da década de 1950, para sua pesquisa. Em terceiro lugar, foi identificada e descrita como importante manifestação desse regime a “pesquisa operacional” e foram traçadas algumas de suas implicações para a economia em particular e, de maneira mais vaga, para as ciências sociais em geral. / This study presents some aspects of Herbert A. Simon’s work that were thought to have particular importance to economics. The author’s behavioral theory is the axis around which these aspects orbit. This theory, in turn, was divided here into two themes: rationality and organization. Both of them are essential parts of the theory and always work hand in hand in the sense that, respectively, they are the structure of the theory and the context to which it applies. Concerning rationality, Simon’s arguments about the constraints to the exercise of rationality related to the agents’ cognitive limitations are presented. In particular, he argues that the hypothesis of omniscience, implied by the neoclassical economic theory hypothesis of rationality, causes trouble to the theory, in either its normative or positive side. The concepts of bounded rationality and procedural rationality are also presented. The latter was developed by Simon based on the former in an attempt to circumvent the difficulties of the economic theory to deal properly with uncertainty. When the bounds to rationality are admitted by the theory, behavior then depends strongly on the context in which it occurs and on the agent’s psychological (cognitive) characteristics. A major part of Simon’s work in economics dealt with the concept of organization. Indeed, organizations constitute a predominant context to economic behavior, especially when we consider the role large organizations have been playing in the last decades. Proceeding in that line of thought, the preponderance in economics of the concept of market over the concept of organization is questioned. The aforementioned dependency of behavior to the context leads Simon to argue in favor of an approximation of economics and empiric work, especially concerning how behavior is to be found in practice – or else, where empiric work is not to be taken as synonym for econometrics. Simon’s work was historically contextualized and some themes were explored as related to this context. First, the “World War II regime”, emerging out of a confluence of the military and scientific enterprises in the war, was conceptualized. Second, the importance of this regime to Simon’s career was stressed, and particularly important was the availability of the computer for his research from the mid-fifties on. Third, an important manifestation of this regime, “operations research”, was identified and described. Some of its implications for economics in particular and, in a vaguer manner, for the social sciences in general were also traced.

Os sistemas prediais de água não potável podem ser do tipo centralizado, quando os efluentes oriundos de diversas edificações são coletados e transportados para um único local de tratamento e redistribuídos para um conjunto de residências; ou descentralizado, quando a coleta, o tratamento e o transporte dos efluentes ocorrem próximos ao local de produção. Porém, tanto o sistema centralizado quanto o descentralizado possui particularidades que os fazem interessantes ou não em aspectos sociais, econômicos e ambientais. Desta forma, o objetivo principal desta pesquisa foi formular modelos matemáticos que permitissem comparar o sistema centralizado com o descentralizado. Para o desenvolvimento do estudo realizou-se uma revisão bibliográfica com o intuito de coletar informações sobre as principais variáveis que interferem na tomada de decisão de cada tipo de sistema. A partir dos princípios da Programação Linear Inteira foram formulados três modelos que permitiram encontrar qual tipo de sistema apresenta o menor custo total acumulado, quanto é o valor desse custo ao longo do tempo e quantos sistemas são necessários instalar para atender a uma demanda específica. Com base nos dados da literatura consultada, o sistema centralizado apresentou-se mais vantajoso do que os sistemas descentralizados quanto aos custos de implantação, de manutenção e de operação considerando uma vida útil de 20 anos. Todavia, verificou-se que a escolha do sistema mais viável não deve se concentrar apenas nos custos, mas também devem ser consideradas variáveis qualitativas. Deste modo, as formulações gerais dos modelos permitem a inserção de outras variáveis de decisão e restrições para aprimorar a tomada de decisão quanto ao tipo de sistema predial de água não potável a ser implantado. / Non-potable water systems may be of the centralized type when effluents from several buildings are collected and transported to a single treatment site and redistributed to a set of residences; or decentralized, when the collection, treatment and transportation of the effluent occurs near the place of production. However, both the centralized and decentralized systems have particularities that make them interesting or not in social, economic and environmental aspects. In this way, the main objective of this research was to formulate mathematical models that allowed to compare the centralized system with the decentralized one. For the development of the study a bibliographic review was carried out in order to collect information on the main variables that interfere in the decision making of each type of system. From the principles of Linear Programming, three models were formulated that allowed to find out which type of system has the lowest cumulative total cost, what is the value of this cost over time and how many systems are needed to meet a specific demand. Based on the data of the literature, the centralized system was more advantageous than the decentralized systems in terms of the implantation, maintenance and operation costs considering a useful life of 20 years. However, it has been found that the choice of the most viable system should not only focus on costs but should also be considered as qualitative variables. In this way, the general models formulations allow the insertion of other decision variables and constraints to improve the decision making regarding the type of non-potable water system to be implanted.

Este trabalho teve como objetivo avaliar a influência do ambiente competitivo na solução de problemas de localização de instalações e desenho da cadeia desenvolvendo um modelo matemático que captasse simultaneamente muitos dos aspectos práticos que impactam no funcionamento da cadeia de suprimentos. A seleção destes aspectos foi baseada nos comentários e sugestões que autores desta linha de pesquisa propuseram para aprofundamento da literatura da área. Foi desenvolvido um modelo de programação linear inteira mista (PLIM) aplicando-o em um problema exemplo para avaliar a hipótese de que a configuração de menor custo da cadeia não necessariamente proporciona maior acessibilidade ao mercado e, em seguida, o mesmo modelo foi aplicado a um problema real, de maior porte, no setor de fertilizantes. / The goal of this study was to evaluate the influence of a competitive environment in solving facility location and network design problems by developing a mathematical model that could capture several of the practical aspects that influence both decisions and operations of the supply chain. The selection of these aspects was based on the comments and suggestions proposed by several authors of this field of the literature. The mathematical program developed is based on mixed integer linear programming (MILP) and is firstly applied on an example problem to evaluate the hypothesis that the chain configuration that provides the lowest cost not necessarily also provides the greatest accessibility to the market. Afterwards, the same optimization model is applied to a larger real problem in the fertilizer industry.

Orientador: Eleri Cardozo / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-23T18:16:56Z (GMT). No. of bitstreams: 1 Rocha_LucioAgostinho_D.pdf: 2075379 bytes, checksum: 846d7b99386d80658fc1896a4e20a957 (MD5) Previous issue date: 2013 / Resumo: A Computação em Nuvem é um modelo para a oferta de serviços sob demanda na Internet. Neste modelo, um provedor de serviço de nuvem oferece serviços de processamento e armazenamento de informação por meio da virtualização de uma infraestrutura computacional, composta de servidores, equipamentos de comunicação, sistemas de armazenamento de dados, aplicativos, dentre outros. Na Computação em Nuvem as máquinas virtuais (VMs) são entidades que permitem o compartilhamento seguro de recursos na nuvem. Visando obter economia de escala, os provedores de serviço operam dezenas de data centers cada qual abrigando milhares de servidores e interconectados por redes de comunicação de alta capacidade. O consumo de energia nesta ampla infraestrutura física é responsável por uma parcela cada vez mais significativa dos custos operacionais das nuvens computacionais, além de contribuírem com a emissão de gases responsáveis pelo efeito estufa. Neste sentido, o processamento de informação em larga escala com baixas emissões de carbono, a chamada Computação Verde, assume um papel importante na Computação em Nuvem. O interesse pela Computação Verde tem motivado o surgimento de várias estratégias de alocação de recursos computacionais (VMs) em data centers com o objetivo de otimizar o consumo de energia na nuvem. Esta tese propõe uma estratégia capaz de otimizar o consumo de energia na infraestrutura de nuvem mantendo níveis de qualidade de serviço (QoS) na rede de comunicação dentro de limites definidos pelo provedor de serviço. Essa estratégia de otimização híbrida combina algoritmos genéticos, programação linear inteira mista e simulação de redes / Abstract: Cloud Computing is a model for the offering of on demand services through the Internet. In this model, a cloud service provider offers processing and data storage services by virtualizing a computing infrastructure, composed of servers, communication equipments, storage systems, and applications, among others. In Cloud Computing virtual machines (VMs) are the entities that allow the secure sharing of resources in the cloud. In order to achieve economies of scale, service providers operate tens of data centers each one holding thousands of servers and interconnected by a high capacity communication network. The energy consumption in this wide physical infrastructure responds by an increasing and significant portion of the operational costs of the cloud, and contributes to the emission of greenhouse gases. In this scenario, the large scale information processing with low emissions of carbon dioxide, the Green Computing, is becoming a major concern in Cloud Computing. The interest in Green Computing has motivated the emergence of strategies for allocating computing resources (VMs) in data centers with the objective of optimizing the energy consumption in the cloud. This thesis proposes a strategy able to optimize the energy consumption in cloud infrastructure keeping levels of quality of service (QoS) in the network communication within thresholds defined by service provider. This strategy of hybrid optimization combines genetic algorithms, mixed integer linear programming, and network simulations / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador: Cid Carvalho de Souza / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T18:36:28Z (GMT). No. of bitstreams: 1 Marini_BrunoConti_M.pdf: 1252984 bytes, checksum: 40439ec279501ea9ca594d950e42a229 (MD5) Previous issue date: 2011 / Resumo: Uma das formas mais econômicas e, em relação ao meio ambiente, mais seguras de se transportar combustíveis é bombeá-los através de redes de dutos. Contudo, as diversas restrições operacionais que precisam ser consideradas fazem com que o planejamento das atividades de bombeamento se transforme em um grande desafio. Dentre os diversos cenários em que o problema se apresenta, investiga-se nessa dissertação o caso de uma rede composta de um único duto onde diversos produtos são bombeados unidirecionalmente. Trata-se de uma situação real enfrentada pela Petrobras no gerenciamento da rede OSBRA. Na literatura existem propostas de vários modelos matemáticos para tratar esta instância particular do problema. Contudo, no melhor do nosso conhecimento, não existem comparações efetivas entre estes modelos e os algoritmos usados para computá-los. Nessa dissertação faz-se uma comparação aprofundada entre três desses modelos, a qual se baseia em uma metodologia sugerida pelos técnicos da Petrobras. Neste trabalho são destacadas não só as dificuldades envolvendo a implementação dos modelos, bem como as deficiências encontradas na aplicação da metodologia de comparação usada pela empresa. Propostas são feitas nessa dissertação no intuito de superar estes obstáculos / Abstract: One of the most economical and, with respect to the environment, safest ways to transport fuel is to pump them through pipeline networks. However, the several operational constraints that have to be considered turn the planning of these activities into a major challenge. Among the several cenarios in which the problem arises, in this dissertation we investigate the case of a network composed of a single pipeline through which several products are pumped unidirectionally. This is a real situation faced by Petrobras in the management of the OSBRA network. In the literature there are proposals of various mathematical models to tackle this particular instance of the problem. However, to the best of our knowledge, there are no effective comparisons of these models and of the algorithms used to compute them. In this dissertation an in-depth comparison is made between three of these models, which is based on a methodology suggested by the technical staff of Petrobras. In this work we highlight not only the difficulties involving the implementation of the models but also the deficiencies encountered in the application of the comparison methodology used by the company. Proposals are made in this dissertation in an attempt to overcome these obstacles / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

[pt] Foi feito um estudo da linha de montagem de viaturas do Parque regional de Manutenção da Primeira Região Militar com o objetivo de propor o uso de uma ferramenta computacional que auxilie no planejamento da produção desta organização militar. Para isso, foi criado um modelo, composto de várias estações de trabalho, dispostas em linha e utilizou-se o software de simulação ARENA. Foram executadas análises de sensibilidades e ajustes no modelo, com o objetivo de ajustá-lo. Com os resultados obtidos, conclui-se que uso desta ferramenta computacional proporciona aos gestores desta OM de manutenção do Exército Brasileiro um melhor planejamento da produção anual e conseqüentemente um retorno mais rápido das viaturas às OM de origem. Foi feito, também, uma breve explanação sobre Logística Militar, Fases da Logística Militar, Níveis de Apoio Logístico, Função Logística Manutenção, Escalões de manutenção, Organização da Logística no EB, Teoria de Filas e Simulação. / [en] It was made a study of the assembly line of vehicles of the Regional Park of Maintenance of the First Military Área (PqRMnt/1) with the objective of proposing the use of a computation tool that aids in the planning of the production of this military organization. For that, a model was created, composed of several work stations (workshops), disposed in line and the software of simulation ARENA was used. Analyses of sensibilities and fittings were executed in the model, with the objective of adjusting him/it. With the obtained results, it was ended that use of this computation tool provides to the managers of this OM of maintenance of the Brazilian Army (EB) a better planning of the annual production and consequently a faster return of the vehicles to origin OM. It was done, also, an abbreviation explanation on Military Logistics, Phases of the Military Logistics, Levels of the Logistic Support, Functions Logistics of the Maintenance, Steps of Maintenance, Organization of the Logistics in EB, Theory of Queues and Simulation.

A determinação do mix de produtos deve considerar fatores internos e externos à empresa. Os externos referem-se principalmente aos preços de produtos, empresas competidoras, produtos substitutos, produtos complementares, canais de distribuição, fornecedores, clientes, localização industrial, impostos, taxas de juros dentre outros. Os fatores internos estão relacionados principalmente ao uso da capacidade industrial, à oferta (preços e quantidades) de matérias-primas, de recursos humanos, aos produtos conjuntos etc. Observe-se que os fatores externos causam impactos nos preços dos produtos finais e dos insumos, enquanto os internos influenciam principalmente o custo de produtos. Em suma, a determinação do mix de produtos influencia diretamente a competitividade empresarial. Na literatura especializada identificam-se vários métodos de custeio para medir adequadamente o custo do produto, tais como: custeio direto (variável); custeio por absorção, custeio pleno (full cost), e custeio por atividades (ABCActivity Based Costing). Estes métodos divergem em função da maneira com que são apropriados os fatores que compõem o custo dos produtos. A presente pesquisa mostra o mix de produtos, o uso da capacidade industrial e os métodos de custeios analisados conjuntamente por meio de programação matemática (programação Linear), com o objetivo de simular quantitativamente a eficiência de cada método. A tradução dos diferentes paradigmas em modelos matemáticos elimina a possibilidade dos autores refutarem métodos de custeio em função de suas tendências teóricas. Para demonstrar as limitações da Teoria das Restrições e do Modelo Geral de Kee e Schmidt foi realizada uma pesquisa bibliográfica que contempla as principais referências sobre os principais métodos de custeio e modelos de tomada de decisão aplicados à possibilidade dos autores refutarem métodos de custeio e modelos de tomada de decisão aplicados à seleção de mix de produtos. O modelo ABC revelou resultados mais consistentes para definição de mix de produtos quando da expansão ou redução de capacidade produtiva, ao se considerarem os custos discricionários. / The optimal product mix selection must consider internal and external factors of a manufacturing company. The external ones are mainly products prices, industry competition, substitute and complementary products, distribution channels, industrial location, and government taxes among others. The internal factors are related mainly to the use of the industrial capacity, to raw materials and human resources supply (prices and quantities), and to joint production. The external factors cause impacts in the prices of the input and final products, while the interns influence mainly the cost of products. In short, the determination of the product mix influences directly the company competitiveness. Our research has done a bibliographical research and a comparative analysis of three important frameworks to support the product-mix optimal decision: Activity based costing (ABC), Goldratt´s Theory of Constraints and the Kee & Schmidt General Model. In specialized literature some costing methods are identified to the properly measurement of products costs, such as: direct costing, burden costing, full costing, and activity based costing (ABC). These methods differ in the way that productive factors are distributed to the products costs. This thesis shows the product mix, the use of the industrial capacity and the costing methods analyzed jointly by means of mathematical programming, aiming to simulate each method performance. The translation of different frameworks in mathematical models eliminates the possibility to refute costing methods as function of author theoretical meanings. It is shown that the ABC surpasses the two other models for presenting the biggest profit and using less resources in the productive activities, when is considered discretionary costs.

A estrutura tributária brasileira proporciona uma dificuldade a mais no planejamento de redes logísticas, principalmente no caso do Imposto sobre Circulação de Mercadorias e Serviços (ICMS). A omissão do fator tributário na modelagem de redes logísticas no cenário brasileiro atual poderá resultar em cenários não ótimos, devido à marcante influência da mesma na localização das instalações e na definição dos fluxos de origem e destino. Devido aos impactos da legislação brasileira na perda de competitividade das empresas brasileiras atualmente, a Reforma Tributária se faz necessária por estas e outras razões não logísticas, alterando a forma como este imposto é cobrado. Alguns estudos foram realizados para avaliar o impacto da reforma tributária no planejamento de redes logísticas, porém o presente estudo atualizou a demanda e os custos logísticos para os valores atuais de mercado, buscando aprofundar a compreensão sobre as principais modificações da rede. Além disso, procurou-se avaliar o impacto da modificação da alíquota interna e externa na configuração de redes logísticas. Para estudar o impacto do ICMS na rede logística de uma empresa, recorreu-se ao modelo de Programação Linear Inteira Mista (PLIM). Os resultados do estudo evidenciam que a reforma tributária irá trazer melhorias significativas no aspecto de fluxo origem e destino e na localização das instalações. Porém, a estruturação da rede logística ainda irá sofrer interferência do ICMS, contribuindo assim para o aumento do Custo Brasil pela permanência do turismo fiscal. / The Brazilian tax structure provides a further difficulty in the planning of logistics networks, especially in the case of the Tax on Circulation of Goods and Services. The omission of the tax factor in modeling logistics networks in the current Brazilian scenario could result in non-optimal, due to the strong influence in the same location of facilities and on defining the flows of origin and destination. Due to the impacts of the Brazilian legislation in the loss of competitiveness of Brazilian companies currently the Tax Reform is needed for these and other logistical reasons not changing the way this tax is levied. Some studies were conducted to evaluate the impact of tax reform in the planning of logistics networks, but the present study updated the demand and logistics costs for the current market values, seeking to deepen the understanding of the main changes to the network. In addition, we sought to evaluate the impact of changes of the internal rate in the configuration of logistics networks. To study the impact of the ICMS in the logistics network of a company, we used the model of Mixed Integer Linear Programming (MILP). The study results show that tax reform will bring significant improvements in the appearance of flow origin and destination and the location of facilities. However, the structuring of the logistics network will still suffer interference from the ICMS, thus contributing to the increase in Brazil cost the tax residence of tourism.

Esta pesquisa trata o Problema de Programação de Tripulantes (PPT), presente no planejamento operacional das empresas aéreas. O principal objetivo do PPT é atribuir o conjunto de tripulantes requeridos para a operação dos voos de uma malha aérea de maneira a minimizar o custo total da tripulação, levando em conta a legislação pertinente e a satisfação dos tripulantes. O PPT é normalmente dividido na literatura em dois subproblemas independentes, modelados e resolvidos sequencialmente: Problema de Determinação de Viagens (PDV) e Problema de Atribuição de Escalas (PAE). Esta decomposição não incorpora os atributos (disponibilidade, qualificação, senioridade e preferências individuais) dos tripulantes de forma global, o que não permite uma estimativa real de custo e afeta a qualidade da solução final. O estado da arte envolve a solução integrada do PPT, eliminando a necessidade de se resolver inicialmente o PDV e permitindo a obtenção de uma solução mais realista. O PPT, no entanto, é de natureza combinatória. Assim sendo, esta pesquisa propõe e explora modelos baseados em programação linear inteira e em heurísticas para a solução integrada do PPT. Essas heurísticas incorporam fundamentos da meta-heurística GRASP, da heurística de economias de Clarke e Wright e da heurística day-by-day. Os modelos foram testados com sucesso para a solução de instâncias baseadas na malha real de três empresas aéreas brasileiras. / This doctoral research treats the Crew Scheduling Problem (CSP), as part of the airlines operational planning. The CSP consists of optimally assigning the required crew members to planned flights, in such a way that it minimizes the total cost of the aircrew, taking into consideration the proper legislation and the satisfaction of the crew members. The CSP is usually divided into two independent subproblems, modeled and solved sequentially: Crew Pairing Problem (CPP) and Crew Rostering Problem (CRP). This decomposition does not incorporate all the crew members attributes (availability, qualification, seniority and individual preferences), which does not lead to a real cost estimate and affects the quality of the final solution. The state of the art involves the integrated solution of CSP, without solving the CPP at first and providing a more realistic solution. The CSP, however, has a combinatorial nature. This research proposes and explores models based on integer linear programming and on heuristics to solve the CSP in an integrated way. These heuristics incorporate GRASP metaheuristic, Clarke and Wright savings heuristic and day-by-day heuristic. The models were successfully tested to solve instances related to the networks of three Brazilian airlines.

Os Sistemas Distribuídos (SDs) tem apresentado uma crescente complexidade no seu gerenciamento, além de possuir a necessidade de garantir Qualidade de Serviço (QoS) aos seus usuários. A Computação Autonômica (CA) surge como uma forma de transformar os SDs em Sistemas Distribuídos Autonômicos (SDAs), com capacidade de auto-gerenciamento. Entretanto, não foi encontrado um processo de desenvolvimento de software, focado na criação de SDAs. Na grande maioria dos trabalhos relacionados, simplesmente é apresentado um SD, juntamente com qual aspecto da CA deseja-se implementar, a técnica usada e os resultados obtidos. Isso é apenas uma parte do desenvolvimento de um SDA, não abordando desde a definição dos requisitos até a manutenção do software. Mais importante, não mostra como tais requisitos podem ser formalizados e posteriormente solucionados por meio do auto-gerenciamento fornecido pela CA. Esta tese foca na proposta de um processo de desenvolvimento de software voltado para SDAs. Com esse objetivo, foram integradas diferentes áreas de conhecimento, compreendendo: Processo Unificado de Desenvolvimento de Software (PU), SDs, CA, Pesquisa Operacional (PO) e Avaliação de Desempenho de Sistemas Computacionais (ADSC). A prova de conceito foi feita por meio de três estudos de caso, todos focando-se em problemas NP-Difícil, são eles: (i) otimização off-line (problema da mochila com múltiplas escolhas), (ii) otimização online (problema da mochila com múltiplas escolhas) e (iii) criação do módulo planejador de um gerenciador autonômico, visando realizar o escalonamento de requisições (problema de atribuição generalizado). Os resultados do primeiro estudo de caso, mostram que é possível usar PO e ADSC para definir uma arquitetura de base para o SDA em questão, bem como reduzir o tamanho do espaço de busca quando o SDA estiver em execução. O segundo, prova que é possível garantir a QoS do SDA durante sua execução, usando a formalização fornecida pela PO e sua respectiva solução. O terceiro, prova que é possível usar a PO para formalizar o problema de auto-gerenciamento, bem como a ADSC para avaliar diferentes algoritmos ou modelos de arquitetura para o SDA. / Distributed Systems (DSs) have an increasing complexity and do not have their management, besides having a quality of service (QoS) to its users. Autonomic Computing (AC) emerges as a way of transforming the SDs into Autonomous Distributed Systems (ADSs), with a capacity for self-management. However, your software development process is focused on creating SDAs. In the vast majority of related works, simply an SD model, along with what aspect of the AC implement, a technique used and the results obtained. This is only a part of the development of an ADS, not approaching from an definition of requirements for a maintenance of software. More importantly, it does not show how such requirements can be formalized and subsequently solved through the self-management provided by AC. This proposal aims at a software development process for the DASs. To this end, different areas of knowledge were integrated, including: Unified Software Development Process (PU), SDs, CA, Operations Research (OR) and Computer Systems Performance Evaluation (CSPE). The proof of concept was made through three case studies, all focusing on NP-Hard problems, namely: (i) off-line optimization (problem of the backpack with multiple choices), (ii) (Problem of the backpack with multiple choices) and (iii) creation of the scheduling module of an autonomic manager, aiming to carry out the scheduling of requests (problem of generalized assignment). The results of the first case study show that it is possible to use OR and CSPE to define a base architecture for the DAS in question, as well as reduce the size of the search space when SDA is running. The second, proves that it is possible to guarantee the QoS of the DAS during its execution, using the formalization provided by the OR and its respective solution. The third, proves that it is possible to use the PO to formalize the self-management problem, as well as the ADSC to evaluate different algorithms or architecture models for the ADS.