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

Detalhes bibliográficos
Autor(a) principal: Mendes, Nilson Felipe Matos
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: LOCUS Repositório Institucional da UFV
Texto Completo: http://www.locus.ufv.br/handle/123456789/7265
Resumo: 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 Mendes, Nilson Felipe Matoshttp://lattes.cnpq.br/9121716273274257Santos, André Gustavo dos2016-02-15T08:18:36Z2016-02-15T08:18:36Z2015-09-24MENDES, 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/7265O 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 SuperiorporUniversidade Federal de ViçosaProcessos decisórios - Processamento de dadosPesquisa operacionalModelos matemáticosProgramação linearProbabilidadesEstatística matemáticaTeoria das filasSegurança públicaPatrulhamento policialCiência da ComputaçãoTé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 policinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal de ViçosaDepartamento de InformáticaMestre em Ciência da ComputaçãoViçosa - MG2015-09-24Mestradoinfo:eu-repo/semantics/openAccessreponame:LOCUS Repositório Institucional da UFVinstname:Universidade Federal de Viçosa (UFV)instacron:UFVLICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://locus.ufv.br//bitstream/123456789/7265/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52ORIGINALtexto completo.pdftexto completo.pdftexto completoapplication/pdf975311https://locus.ufv.br//bitstream/123456789/7265/3/texto%20completo.pdf2370ab5f5a769402c498fc4adcc292cbMD53TEXTtexto completo.pdf.txttexto completo.pdf.txtExtracted texttext/plain217021https://locus.ufv.br//bitstream/123456789/7265/4/texto%20completo.pdf.txt406475832155aba50a71047812fe643eMD54THUMBNAILtexto completo.pdf.jpgtexto completo.pdf.jpgIM Thumbnailimage/jpeg3546https://locus.ufv.br//bitstream/123456789/7265/5/texto%20completo.pdf.jpge24eba99914d7b6297183792ace89c97MD55123456789/72652016-04-12 23:08:39.355oai:locus.ufv.br:123456789/7265Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositó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.pt-BR.fl_str_mv Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
dc.title.en.fl_str_mv 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.authorLattes.pt-BR.fl_str_mv http://lattes.cnpq.br/9121716273274257
dc.contributor.author.fl_str_mv Mendes, Nilson Felipe Matos
dc.contributor.advisor1.fl_str_mv Santos, André Gustavo dos
contributor_str_mv Santos, André Gustavo dos
dc.subject.pt-BR.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
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
dc.subject.cnpq.fl_str_mv 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.issued.fl_str_mv 2015-09-24
dc.date.accessioned.fl_str_mv 2016-02-15T08:18:36Z
dc.date.available.fl_str_mv 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.citation.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.
dc.identifier.uri.fl_str_mv 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.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
bitstream.url.fl_str_mv https://locus.ufv.br//bitstream/123456789/7265/2/license.txt
https://locus.ufv.br//bitstream/123456789/7265/3/texto%20completo.pdf
https://locus.ufv.br//bitstream/123456789/7265/4/texto%20completo.pdf.txt
https://locus.ufv.br//bitstream/123456789/7265/5/texto%20completo.pdf.jpg
bitstream.checksum.fl_str_mv 8a4605be74aa9ea9d79846c1fba20a33
2370ab5f5a769402c498fc4adcc292cb
406475832155aba50a71047812fe643e
e24eba99914d7b6297183792ace89c97
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
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_ 1801212884772978688