O escalonamento de veículos para múltiplas garagens é um problema clássico da Pesquisa Operacional de grande relevância à otimização da malha de transportes, de forma a buscar a melhor alocação dos recursos disponíveis. O problema é conhecido por ser do tipo NP-hard, e portanto a sua solução para grandes instâncias é realizada por heurísticas. Este trabalho aborda o desenvolvimento de uma heurística simples e eficiente para solucionar o MDVSP, buscando através da redução de possibilidades de viagens, pela retirada de viagens com baixas chances de pertencer a solução ótima reduzir a complexidade da rede. O problema reduzido, é então resolvido pela técnica de geração de colunas truncado e modificado, para resolver o problema de forma aceitável, encontrando soluções com bom compromisso entre tempo de execução e valor da função objetivo. A geração de colunas foi testada e validada através de comparações com trabalhos similares, enquanto que, cada técnica de redução de espaço de estados (de forma conjunta e individual) foram validados através da comparação com os resultados validados da geração de colunas modificada. A heurística mostrou uma melhoria considerável por meio da otimização do tempo de resolução, sem prejudicar os resultados de melhor valor, ficando com uma diferença máxima de 1% em comparação com os valores obtidos com geração de colunas. Se a redução for usada parcialmente, os tempos de solução podem ser reduzidos mais de sete vezes, com um pequeno incremento no valor da função objetivo. Pelas validações e experimentos realizados, pode-se afirmar que a heurística tem potencial para ser utilizada em problemas do mundo real, bem como servir como parte da solução de problemas correlatos mais complexos, como o crew scheduling, o disruption management e o escalonamento em tempo real. / The Multi Depot Vehicle Scheduling is a classical problem of Operations Research, with a great relevance to optimize the transportation network, as to find the best allocation of available resources. This problem is known to be NP-Hard, and therefore the solution of large instances is generally carried out by heuristics. This work proposes the development of a simple and efficient heuristic to solve the MDVSP, seeking by the reduction of travel possibilities, droping traveis with low chances to be in the best solution. The reduced problem is then solved by a modified truncated column generation technique, to solve the problem by an acceptable form, founding solutions for the MDVSP with a good compromise between time and costs. The column generation was tested and validated by the comparison of execution time and the value of objective function. The column generation was tested and comparised with similar works, whereas, each space state reduction technique (individual and joint) was validated in comparison with validated results of column generation truncated and modificated. The heuristics showed considerable improvements by the optimization of resolution time, without harm the best value results, obtaining differences lower as 1% comparing with the obtained values by the column generation solution. If the reduction is used partially, the solution times can be reduced in more then seven times, with a small increment in the objective function value. By the validations and experimenta realized, we can confirm that the heuristics has potential to be used in real world situations, as well as to serve as basis for the development of solution methods for more complex and correlated problems, as the crew scheduling problem, disruption management, and the real time assignment.

Os Problemas de Roteirização em Arcos constituem uma classe dos Problemas de Roteirização de Veículos, nos quais as demandas ocorrem de maneira contínua ao longo dos segmentos de uma rede de transporte. O campo de aplicação dos Problemas de Roteirização em Arcos abrange o planejamento da operação de serviços como a coleta de lixo; a entrega de correspondência e de jornais; a leitura de medidores de energia elétrica, água e gás; e o transporte escolar por ônibus. Nas situações de ordem prática é comum a ocorrência de restrições operacionais que impossibilitam o atendimento de todas as demandas existentes em uma rede de transporte por um único veículo ou pessoa. Desse modo, além da seqüência de percurso, é necessário determinar o conjunto de segmentos de via que cada unidade de trabalho pertencente a uma frota ou equipe de serviço deve atender. Este trabalho apresenta os aspectos conceituais e resolutivos dos Problemas de Roteirização em Arcos e do Problema do Particionamento de Redes de Transporte. É feita também a proposição de um modelo de resolução, desenvolvido a partir da estratégia de agrupar primeiro – roteirizar depois, para o Problema de Roteirização em Arcos Capacitado descrito em grafos não orientados. A demonstração do modelo é feita através de sua aplicação em um estudo de caso. São feitas, a seguir, a análise do desempenho do modelo nesta aplicação e a comparação entre os resultados obtidos e a prática atualmente utilizada, a qual é baseada na experiência de um planejador.

Made available in DSpace on 2014-06-12T17:22:27Z (GMT). No. of bitstreams: 2 arquivo6225_1.pdf: 901894 bytes, checksum: e9babb601107f80acd723b870194f54c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Este trabalho examinou o princípio constitucional da economicidade, indo da etimologia do termo economicidade, até os problemas práticos para sua efetivação. Com marco teórico no pós-positivismo, a pesquisa abordou as influências e os problemas enfrentado pelos Tribunais de Contas (TCs) ao avaliar o desempenho da administração pública, através de Auditorias de Natureza Operacional (ANOPs). O objetivo inicial é propor um conceito de economicidade que melhor se adapte à atividade de controle externo, legitimando a avaliação do custo/benefício alcançado na execução dos orçamentos públicos. Examinou-se a forma como Tribunais de Contas exercem o controle externo da administração, ressaltando a influência do modelo burocrático de administração e as mudanças demandadas pelo modelo gerencial, além de demonstrar os problemas na implantação da metodologia das ANOPs. O trabalho detecta uma forte influência do modelo burocrático no exercício do controle externo. A fiscalização dos TCs, centrada basicamente na verificação da legalidade, tem por foco o cumprimento dos procedimentos administrativos, pois é assim que está estruturada a Administração Pública nacional. Ficou demonstrada a insuficiência da fiscalização da aquisição de bens e serviços pelo setor público, pois é campo extremamente diminuto em relação ao total de gastos realizados pela máquina pública. A Reforma Gerencial da Administração Pública brasileira, iniciada em 1995, reservou aos TCs papel fundamental na avaliação de resultado das ações do governo, pedra-de-toque do novo modelo proposto. Não obstante, este trabalho apurou que a administração pública gerencial está longe de se tornar uma realidade no Brasil, pois ainda não houve êxito na implantação da cultura gerencial. Faltam indicadores de desempenho claros e confiáveis, orçamentos detalhados por programas de governo e outros instrumentos de planejamento, prevendo os resultados a serem atingidos. A metodologia das ANOPs, que investiga a eficiência e a economicidade da gestão pública, encontra-se ainda em incipiente processo de implantação nos TCs. A implementação da cultura gerencial e a institucionalização da citada metodologia são os grandes desafios da Reforma Administrativa

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2017-11-30T19:32:07Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao-mestrado.pdf: 1137883 bytes, checksum: 9a8f7f4770dbbe3447440be8dc484c65 (MD5) / Made available in DSpace on 2017-11-30T19:32:07Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao-mestrado.pdf: 1137883 bytes, checksum: 9a8f7f4770dbbe3447440be8dc484c65 (MD5) Previous issue date: 2016-09-15 / FACEPE / Testes constituem uma parcela significativa da energia despendida em projetos voltados ao desenvolvimento de software. Estima-se que entre 30% a 50% do custo total do projeto é destinado a testes. Esta necessidade de verificar a regularidade de sistemas é bastante antiga e nos últimos anos a busca por novas técnicas e ferramentas que mitiguem o esforço gasto nestas verificações vem se acentuando. Neste contexto, uma técnica que se destaca é a de verificação de modelos (Model checking) que consiste em explorar exaustivamente todos os estados alcançáveis de um determinado sistema no intuito de descrever cenários que indiquem possíveis comportamentos, embasando tal verificação em matemática precisa e inequívoca. Esta técnica tem despertado o interesse de muitas indústrias devido ao sucesso obtido pelo apoio das ferramentas de verificação de modelos (model checkers) em vários projetos de alta complexidade. Estes verificadores são ferramentas que exploram um sistema de transições rotuladas (LTS), construído a partir de algumas especificações (um modelo M), para determinar se uma dada fórmula (f) em lógica temporal, ou propriedade, é válida; ou simplesmente, M |ù f. O presente trabalho apresenta uma forma sistemática de construir um verificador de modelos LTL para um subconjunto da linguagem Circus totalmente baseado na semântica operacional desta linguagem. Mas em vez de codificar diretamente o verificador de modelos em alguma linguagem de programação, é usado o framework K por se tratar de um framework semântico executável à base de reescrita em que as linguagens de programação, sistemas de tipos e ferramentas de análise formais podem ser definidos usando configurações, computações e regras. Além disso, a ferramenta resultante deste trabalho é demostrada com alguns estudos de caso no intuito de comparar seu desempenho bem como aspectos qualitativos com outros verificadores de modelos. / Tests constitute a significant portion of the energy expended in projects aimed at software development. It is estimated that between 30% and 50% of the total project cost is spent in testing. This need to verify the correctness of systems is quite old and in recent years the search for new techniques and tools to mitigate the effort spent on these checks has been increasing. In this context, a technique that stands out is Model Checking. This technique consists in exhaustively exploring all reachable states of a given system in order to check whether a given property, usually given in terms of some temporal logics, is valid. Several industries are interested in this technique due to the success achieved by the support of model checking tools (Model checkers) in various projects of high complexity. This paper presents a systematic way to build a LTL model checker for a subset the Circus language using its operational semantics. But instead of directly encoding the semantics using a programming language, we use the K framework because it is an executable semantic framework based on rewrite rules. Moreover, the resulting tool is exercised with few case studies in order to compare their performance as well as qualitative aspects with other model checkers.

Orientador : Paulo Morelato França / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T02:35:45Z (GMT). No. of bitstreams: 1 Moscato_Pablo_D.pdf: 3523210 bytes, checksum: 6740911a425dfa7a62b17eba1413e358 (MD5) Previous issue date: 2001 / Doutorado

Orientador : Roberto Testezlaf / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Agricola / Made available in DSpace on 2018-07-31T15:03:24Z (GMT). No. of bitstreams: 1 AvelinoNeto_Sebastiao_M.pdf: 2019593 bytes, checksum: 0b53340f65156cce861c9404bda99c56 (MD5) Previous issue date: 2000 / Mestrado

Made available in DSpace on 2014-06-12T18:35:15Z (GMT). No. of bitstreams: 2 arquivo7844_1.pdf: 1535365 bytes, checksum: 0b638b249684bcaf7dfbf52710565c4d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Este estudo objetiva sinalizar alternativas para a institucionalização da auditoria operacional no Tribunal de Contas do Estado de Pernambuco (TCE-PE), através da Auditoria de Natureza Operacional (ANOP), metodologia desenvolvida pelo Tribunal de Contas da União (TCU), e de outras modalidades de auditorias operacionais, apontando formas de estruturação e estratégias de atuação. Este trabalho situa-se no exame das novas formas de auditorias que vêm sendo desenvolvidas pelas Entidades Fiscalizadoras Superiores (EFS) nos últimos anos, especificamente em auditoria de desempenho governamental e nas dimensões que interferem na modelagem e no desenvolvimento dessas novas prerrogativas, bem como nas discussões encampadas pelo novo institucionalismo no que se refere aos fatores que influenciam o processo de institucionalização dessas atividades. O modelo analítico de estudo abrange a realização de pesquisas de campo com dois grupos: o corpo técnico responsável pela implementação da metodologia ANOP no TCU, no TCE-PE, e no Tribunal de Contas do Estado da Bahia (TCEBA); e o corpo gerencial e técnico do TCE-PE não envolvido com a realização de auditorias operacionais. Os resultados demonstram que os processos de implementação da ANOP guardam diferenças entre os três tribunais consultados, em função principalmente do arranjo organizacional e do apoio institucional. A pesquisa também evidencia a existência não só de fatores que dificultam a realização de auditorias operacionais no TCE-PE, mas também de oportunidades para que o seu processo de institucionalização seja iniciado. Por fim, que para que a auditoria operacional seja institucionalizada no TCEPE, é essencial − além da criação de uma estrutura permanente e centralizada, que garanta a capacitação do pessoal e a coordenação dos trabalhos com qualidade − que essas atividades sejam legitimadas, construindo um consenso do corpo dirigente e técnico sobre a importância e a pertinência desses trabalhos

Orientador: Jose Antonio Scaramucci / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computacao Científica / Made available in DSpace on 2018-07-13T23:20:46Z (GMT). No. of bitstreams: 1 Bordoni_OrlandoFredericoJoseGodoy_M.pdf: 1164442 bytes, checksum: 0f2414df4ee4a9cebcb29c42eebac07e (MD5) Previous issue date: 1990 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Otimização e Pesquisa Operacional / Mestre em Matemática Aplicada

Orientador: Clovis Perin Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T00:13:37Z (GMT). No. of bitstreams: 1 Rangel_MariadoSocorroNogueira_M.pdf: 1539388 bytes, checksum: 1b7cb5400a240ba143c6750c03f7c7ac (MD5) Previous issue date: 1990 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:53:19Z (GMT). No. of bitstreams: 1 99227.pdf: 1448705 bytes, checksum: a068a40fabbc7b22d1abb1d08aac8dd3 (MD5) Previous issue date: 1995 / Projeto e implementação de um sistema operacional para multicomputador, fundamentado no modelo cliente-servidor, com micronúcleo distribuído e interface de programação compatível com a do sistema Unix, objetivando a exploração do paralelismo a nível de aplicações e de sistemas. Construção de um simulador multiprogramado para um multicomputador com rede de interconexão dinâmica, objetivando servir como plataforma para a implementação do sistema operacional proposto.Projeto e implementação de um sistema operacional para multicomputador, fundamentado no modelo cliente-servidor, com micronúcleo distribuído e interface de programação compatível com a do sistema Unix, objetivando a exploração do paralelismo a nível de aplicações e de sistemas. Construção de um simulador multiprogramado para um multicomputador com rede de interconexão dinâmica, objetivando servir como plataforma para a implementação do sistema operacional proposto.