Técnicas de otimização combinatória aplicadas a criação de estratégias de policiamento urbano
Autor(a) principal: | |
---|---|
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 |