Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano

Bibliographic Details
Main Author: Mendes, Nilson Felipe Matos
Publication Date: 2015
Format: Master thesis
Language: por
Source: LOCUS Repositório Institucional da UFV
Download full: http://www.locus.ufv.br/handle/123456789/7265
Summary: O provimento de segurança pública é uma questão de grande relevância na administração pública e que interfere diretamente na qualidade de vida das pessoas. Dentre vários fatores que podem tornar uma sociedade mais ou menos segura, está a boa organização e o uso das forças policiais. Este trabalho apresenta uma abordagem computacional baseada em técnicas de Pesquisa Operacional para o problema de alocação de forças policiais em uma área urbana. Tal problema consiste em determinar onde unidades policiais, a pé ou em algum veículo, devem ser posicionadas de forma a prover uma cobertura eficiente de uma área, de acordo com critérios pré-determinados. São apresentados dois modelos matemáticos para descrever o problema. O primeiro é um modelo determinístico baseado no modelo de cobertura máxima gradual e no modelo de cobertura máxima com restrições de obrigatoriedade de proximidade. Ele aparece em duas versões, com poucas diferenças entre si, sendo a última mais rápido de ser resolvido por softwares de otimização inteira-mista, tal como o CPLEX. Além da solução exata, foram propostos algoritmos baseados em simulated annealing e busca tabu para resolução de grandes instâncias. O segundo modelo é estocástico, baseado na teoria das filas, no Modelo De Filas em Hipercubo (Hypercube Queuing Model ), no MERLP(Maximal Expected Response Location Problem) e no primeiro modelo. Para este modelo, foi proposta uma heurística baseada no VND (Variable Neighborhood Descent), com inicialização por busca tabu.
id UFV_17d7c7b4e53f8d99a14fb45f94e13be5
oai_identifier_str oai:locus.ufv.br:123456789/7265
network_acronym_str UFV
network_name_str LOCUS Repositório Institucional da UFV
repository_id_str 2145
spelling Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbanoCombinatorial optimization techniques applied to the creation of strategies for urban policingProcessos decisórios - Processamento de dadosPesquisa operacionalModelos matemáticosProgramação linearProbabilidadesEstatística matemáticaTeoria das filasSegurança públicaPatrulhamento policialCiência da ComputaçãoO provimento de segurança pública é uma questão de grande relevância na administração pública e que interfere diretamente na qualidade de vida das pessoas. Dentre vários fatores que podem tornar uma sociedade mais ou menos segura, está a boa organização e o uso das forças policiais. Este trabalho apresenta uma abordagem computacional baseada em técnicas de Pesquisa Operacional para o problema de alocação de forças policiais em uma área urbana. Tal problema consiste em determinar onde unidades policiais, a pé ou em algum veículo, devem ser posicionadas de forma a prover uma cobertura eficiente de uma área, de acordo com critérios pré-determinados. São apresentados dois modelos matemáticos para descrever o problema. O primeiro é um modelo determinístico baseado no modelo de cobertura máxima gradual e no modelo de cobertura máxima com restrições de obrigatoriedade de proximidade. Ele aparece em duas versões, com poucas diferenças entre si, sendo a última mais rápido de ser resolvido por softwares de otimização inteira-mista, tal como o CPLEX. Além da solução exata, foram propostos algoritmos baseados em simulated annealing e busca tabu para resolução de grandes instâncias. O segundo modelo é estocástico, baseado na teoria das filas, no Modelo De Filas em Hipercubo (Hypercube Queuing Model ), no MERLP(Maximal Expected Response Location Problem) e no primeiro modelo. Para este modelo, foi proposta uma heurística baseada no VND (Variable Neighborhood Descent), com inicialização por busca tabu.The public security provision is a matter of great importance in public administration that directly affects the quality of life. Among many factors that can turn a society a more or less safe, is the good organization and use of police forces. This work presents a computational approach based on Operations Research techniques to the problem of police forces allocation in an urban area. Such problem is to define where police units, on foot or in a vehicle, should be positioned to provide efficient coverage of an area, according to predetermined criteria. Two mathematical models are presented to describe the problem. The first is a deterministic model based on gradual maximum coverage model and maximum coverage model with proximity mandatory restrictions. It appears in two versions, with few differences between them, and the last is faster to be solved by a mixed-integer optimization software, such as CPLEX. Besides the exact solution we have proposed algorithms based on simulated annealing and tabu search for solving large instances. The second model is stochastic, based on queuing theory, the Hypercube Queuing Model, the MERLP (Maximal Expected Response Location Problem) and the first model. For this mo- del, a heuristic based on VND (Variable Neighborhood Descent) was proposed, using a tabu search to provide a initial solution.Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorUniversidade Federal de ViçosaSantos, André Gustavo doshttp://lattes.cnpq.br/9121716273274257Mendes, Nilson Felipe Matos2016-02-15T08:18:36Z2016-02-15T08:18:36Z2015-09-24info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfMENDES, Nilson Felipe Matos. Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano. 2015. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Viçosa, Viçosa. 2015.http://www.locus.ufv.br/handle/123456789/7265porinfo:eu-repo/semantics/openAccessreponame:LOCUS Repositório Institucional da UFVinstname:Universidade Federal de Viçosa (UFV)instacron:UFV2016-04-13T02:08:39Zoai:locus.ufv.br:123456789/7265Repositório InstitucionalPUBhttps://www.locus.ufv.br/oai/requestfabiojreis@ufv.bropendoar:21452016-04-13T02:08:39LOCUS Repositório Institucional da UFV - Universidade Federal de Viçosa (UFV)false
dc.title.none.fl_str_mv Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
Combinatorial optimization techniques applied to the creation of strategies for urban policing
title Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
spellingShingle Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
Mendes, Nilson Felipe Matos
Processos decisórios - Processamento de dados
Pesquisa operacional
Modelos matemáticos
Programação linear
Probabilidades
Estatística matemática
Teoria das filas
Segurança pública
Patrulhamento policial
Ciência da Computação
title_short Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
title_full Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
title_fullStr Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
title_full_unstemmed Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
title_sort Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
author Mendes, Nilson Felipe Matos
author_facet Mendes, Nilson Felipe Matos
author_role author
dc.contributor.none.fl_str_mv Santos, André Gustavo dos
http://lattes.cnpq.br/9121716273274257
dc.contributor.author.fl_str_mv Mendes, Nilson Felipe Matos
dc.subject.por.fl_str_mv Processos decisórios - Processamento de dados
Pesquisa operacional
Modelos matemáticos
Programação linear
Probabilidades
Estatística matemática
Teoria das filas
Segurança pública
Patrulhamento policial
Ciência da Computação
topic Processos decisórios - Processamento de dados
Pesquisa operacional
Modelos matemáticos
Programação linear
Probabilidades
Estatística matemática
Teoria das filas
Segurança pública
Patrulhamento policial
Ciência da Computação
description O provimento de segurança pública é uma questão de grande relevância na administração pública e que interfere diretamente na qualidade de vida das pessoas. Dentre vários fatores que podem tornar uma sociedade mais ou menos segura, está a boa organização e o uso das forças policiais. Este trabalho apresenta uma abordagem computacional baseada em técnicas de Pesquisa Operacional para o problema de alocação de forças policiais em uma área urbana. Tal problema consiste em determinar onde unidades policiais, a pé ou em algum veículo, devem ser posicionadas de forma a prover uma cobertura eficiente de uma área, de acordo com critérios pré-determinados. São apresentados dois modelos matemáticos para descrever o problema. O primeiro é um modelo determinístico baseado no modelo de cobertura máxima gradual e no modelo de cobertura máxima com restrições de obrigatoriedade de proximidade. Ele aparece em duas versões, com poucas diferenças entre si, sendo a última mais rápido de ser resolvido por softwares de otimização inteira-mista, tal como o CPLEX. Além da solução exata, foram propostos algoritmos baseados em simulated annealing e busca tabu para resolução de grandes instâncias. O segundo modelo é estocástico, baseado na teoria das filas, no Modelo De Filas em Hipercubo (Hypercube Queuing Model ), no MERLP(Maximal Expected Response Location Problem) e no primeiro modelo. Para este modelo, foi proposta uma heurística baseada no VND (Variable Neighborhood Descent), com inicialização por busca tabu.
publishDate 2015
dc.date.none.fl_str_mv 2015-09-24
2016-02-15T08:18:36Z
2016-02-15T08:18:36Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv MENDES, Nilson Felipe Matos. Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano. 2015. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Viçosa, Viçosa. 2015.
http://www.locus.ufv.br/handle/123456789/7265
identifier_str_mv MENDES, Nilson Felipe Matos. Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano. 2015. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Viçosa, Viçosa. 2015.
url http://www.locus.ufv.br/handle/123456789/7265
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Viçosa
publisher.none.fl_str_mv Universidade Federal de Viçosa
dc.source.none.fl_str_mv reponame:LOCUS Repositório Institucional da UFV
instname:Universidade Federal de Viçosa (UFV)
instacron:UFV
instname_str Universidade Federal de Viçosa (UFV)
instacron_str UFV
institution UFV
reponame_str LOCUS Repositório Institucional da UFV
collection LOCUS Repositório Institucional da UFV
repository.name.fl_str_mv LOCUS Repositório Institucional da UFV - Universidade Federal de Viçosa (UFV)
repository.mail.fl_str_mv fabiojreis@ufv.br
_version_ 1834470563831087104