Spelling suggestions: "subject:"complexidade"" "subject:"omplexidade""
331 |
Uma lógica de descrição Default / A Description logic for DefaultFrota, Débora Farias January 2011 (has links)
FROTA, Débora Farias. Uma lógica de descrição Default. 2011. 79 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2011. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T13:21:13Z
No. of bitstreams: 1
2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T13:25:42Z (GMT) No. of bitstreams: 1
2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) / Made available in DSpace on 2016-07-15T13:25:42Z (GMT). No. of bitstreams: 1
2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5)
Previous issue date: 2011 / Knowledge formalization and reasoning automatization are central within Arti cial Intelligence. First Order Logic has been traditionally used for such purposes. However, it is better suited to deal with complete knowledge in ideal circumstances. In real situations, in which the knowledge is partial, First Order Logic is not su cient. Nonmonotonic logics have been proposed to better cope with practical reasoning. A successful formalization of nonmonotonic reasoning is the Reiter's default logic which extends classical logic with default rules. Unfortunately, default logic is undecidable. In this work, we propose a description default logic expressible enough to formalize practical reasoning in knowledge bases. It has as its monotonic basis the ALC Description Logic. We add some restrictions to the application of defaults in order to obtain nice properties such as coherence and the elimination of anomalous extensions. We present the main algorithms used to build an extension with a step by step complexity analysis. / A formalização do conhecimento e a automatização do raciocínio são assuntos centrais de pesquisa da Inteligência Artificial. A Lógica de Primeira Ordem tem sido tradicionalmente utilizada para tais propósitos. No entanto, ela é mais adequada para lidar com conhecimento completo em circunstâncias ideais. Em situações reais, nas quais o conhecimento é parcial, a Lógica de Primeira Ordem não é suficiente. Lógicas não-monotônicas têm sido propostas para melhor lidar com o raciocínio prático. Uma formalização do raciocínio não-monotônico bem-sucedida é a Lógica Default de Reiter que estende a Lógica de Primeira Ordem com regras default. Infelizmente, a Lógica Default é indecidível. Nesta dissertação, propomos uma Lógica de Descrição Default expressiva o suficiente para formalizar o raciocínio prático sobre bases de conhecimento. Ela tem como base monotônica a Lógica de Descrição ALC. Adicionamos algumas restrições à aplicação dos defaults a fim de obter propriedades interessantes, tais como a coerência e a eliminação de extensões anômalas. Apresentamos os principais algoritmos usados para construir uma extensão com um passo-a-passo e suas análise de complexidade.
|
332 |
Árvore geradora com dependências mínima / Dependency constrained minimum spanning treeViana, Luiz Alberto do Carmo January 2016 (has links)
VIANA, Luiz Alberto do Carmo. Árvore geradora com dependências mínima. 2016. 69 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2016. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-09-09T12:32:49Z
No. of bitstreams: 1
2016_dis_lacviana.pdf: 590271 bytes, checksum: 9bf849e4e918431886cbd4c9beca22b3 (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2016-09-27T17:45:27Z (GMT) No. of bitstreams: 1
2016_dis_lacviana.pdf: 590271 bytes, checksum: 9bf849e4e918431886cbd4c9beca22b3 (MD5) / Made available in DSpace on 2016-09-27T17:45:27Z (GMT). No. of bitstreams: 1
2016_dis_lacviana.pdf: 590271 bytes, checksum: 9bf849e4e918431886cbd4c9beca22b3 (MD5)
Previous issue date: 2016 / We introduce the Dependency Constrained Minimum Spanning Tree Problem, DCMST(G,D,w), defined over a graph G(V,E) and a digraph D(E,A), whose vertices are the edges of G and whose arcs describe dependency relations between these edges. Such problem consists of finding, among the spanning trees of G(V,E) satisfying the dependency constraints imposed by D(E,A), that one whose cost is minimum, according to a edgeweight function w. The dependency constraints impose that an edge e of G can be part of a solution either if it is a source in D or if some other edge e′, such that the arc (e′, e) is in D, is part of it as well. We prove that deciding whether there is a feasible solution to DCMST(G,D,w) is an NP-complete problem, even if G is a chordal cactus and D is a union of arborescences of height at most 2. NP-completeness also applies if G is bipartite, the dependency constraints occur only between adjacent edges of G and their related arcs describe arborescences whose height is at most 2. The same results are obtained for the problem variants which demand that, instead of “some”, “exactly one”or “all”dependencies be part of a solution. To solve the problem, we introduce some integer programming formulations and some valid inequalities. We propose a strategy to reduce the problem dimension by excluding some edges of G according to the structure of D. We evaluate the introduced models and algorithms using randomly generated instances. Computational results are reported. / Introduzimos o problema de Árvore Geradora com Dependências Mínima, AGDM(G,D,w), definido sobre um grafo G(V,E) e um digrafo D(E,A), cujos vértices são as arestas de G e cujos arcos definem dependências entre tais arestas. O problema consiste em encontrar, dentre as árvores geradoras do grafo G(V,E) que satisfaçam as restrições de dependência impostas pelo digrafo de entrada D(E,A), uma que tenha custo mínimo, segundo a ponderação w das arestas de G. As restrições de dependência exigem que uma aresta e de G só pode fazer parte de uma solução se for uma fonte em D ou se fizer parte da solução alguma outra aresta é tal que o arco (e′, e) esteja em D. Provamos que decidir se há solução viável para AGDM(G,D,w) é um problema NP-completo, mesmo quando G é um cacto cordal e D é a união de arborescências de altura no máximo 2. Sua NP-completude também é mostrada ainda que G seja bipartido, as restrições de dependência ocorram apenas entre arestas adjacentes de G e formem arborescências de altura no máximo 2. Resultados idênticos são obtidos para as variantes do problema onde, nas restrições de dependência, substitui-se o requisito “alguma” por “exatamente uma” ou “toda”. Para resolver o problema, apresentamos algumas formulações de programação inteira e desigualdades válidas. Propomos uma estratégia para reduzir a dimensão do problema, excluindo arestas de G com base na estrutura de D. Avaliamos os modelos e algoritmos propostos usando instâncias geradas aleatoriamente. Resultados computacionais são reportados.
|
333 |
Coloração e convexidade em grafos / Graph Coloring and Graph ConvexityAraújo, Júlio César Silva January 2012 (has links)
ARAÚJO, Júlio César Silva. Coloração e convexidade em grafos. 2012. 207 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-09-09T13:56:50Z
No. of bitstreams: 1
2012_tese_jcsaraujo.pdf: 2148108 bytes, checksum: 966c00be231160cb1e161402770627d6 (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2016-09-27T23:24:47Z (GMT) No. of bitstreams: 1
2012_tese_jcsaraujo.pdf: 2148108 bytes, checksum: 966c00be231160cb1e161402770627d6 (MD5) / Made available in DSpace on 2016-09-27T23:24:47Z (GMT). No. of bitstreams: 1
2012_tese_jcsaraujo.pdf: 2148108 bytes, checksum: 966c00be231160cb1e161402770627d6 (MD5)
Previous issue date: 2012 / In this thesis, we study several problems of Graph Theory concerning Graph Coloring and Graph Convexity. Most of the results contained here are related to the computational complexity of these problems for particular graph classes. In the first and main part of this thesis, we deal with Graph Coloring which is one of the most studied areas of Graph Theory. We first consider three graph coloring problems called Greedy Coloring, Weighted Coloring and Weighted Improper Coloring. Then, we deal with a decision problem, called Good Edge-Labeling, whose de finition was motivated by the Wavelength Assignment problem in optical networks. The second part of this thesis is devoted to a graph optimization parameter called (geodetic) hull number. The de finition of this parameter is motivated by an extension to graphs of the notions of convex sets and convex hulls in the Euclidean space. Finally, we present in the appendix other works developed during this thesis, one about Eulerian and Hamiltonian directed hypergraphs and the other concerning distributed storage systems. / Nesta tese, estudamos vários problemas de teoria dos grafos relativos à coloração e convexidade em grafos. A maioria dos resultados contidos aqui são ligados à complexidade computacional destes problemas para classes de grafos particulares. Na primeira, e principal, parte desta tese, discutimos coloração de grafos que é uma das áreas mais importantes de teoria dos grafos. Primeiro, consideramos três problemas de coloração chamados coloração gulosa, coloração ponderada e coloração ponderada imprópria. Em seguida, discutimos um problema de decisão, chamado boa rotulagem de arestas, cuja de finição foi motivada pelo problema de atribuição de frequências em redes óticas. A segunda parte desta tese é dedicada a um parâmetro de otimização em grafos chamado de número de fecho (geodético). A de finição deste parâmetro é motivada pela extensão das noções de conjuntos e fecho convexos no espaço Euclidiano. Por m, apresentamos em anexo outros trabalhos desenvolvidos durante esta tese, um em hipergrafos dirigidos Eulerianos e Hamiltonianos e outro sobre sistemas de armazenamento distribuído.
|
334 |
Ação de Linguagem e Mineração de dados : níveis de complexidade na análise de textosCorrêa, Ygor January 2016 (has links)
Esta é uma pesquisa quali-quantitativa que tem por base teórico-epistemológica o Interacionismo Sociodiscursivo (ISD) e a Teoria da Complexidade, uma vez que ambas as teorias contribuem para a compreensão da ação de linguagem, enquanto Sistema Adaptativo Complexo (SAC), de sujeitos engajados em atividades de produção de textos. Dessa forma, na medida em que o desempenho de sujeitos de diferentes níveis de ensino tem sido apontado como problemático por órgãos de pesquisa em Educação, no que se refere às práticas de leitura e de produção textual, considerou-se relevante investigar a maneira como uma ferramenta digital de mineração de dados, neste caso, a ferramenta Sobek, pode evidenciar níveis de complexidade entre o conteúdo de um texto-referência e o texto-produzido. O objeto de estudo desta tese, portanto, é o recorte propiciado pela ferramenta Sobek, que ocorre por meio da geração de um grafo composto por palavras (signos) recorrentes nos textos, com vistas a sustentar a construção de uma perspectiva inter(trans)disciplinar, referente aos modos de extrair e interpretar o conteúdo desses a partir de níveis de complexidade. O corpus de pesquisa foi composto por 2 turmas de ensino superior, em nível de graduação, envolvendo a coleta de 34 textos. Esses textos foram submetidos à técnica de mineração de dados, com a utilização de uma nova versão da ferramenta, desenvolvida neste estudo, a qual permitiu importar e comparar, de forma automatizada, o conteúdo de dois textos, sendo possível gerar 3 tipos de grafos: de união, de intersecção e de diferença. O resultado da análise de dados indicou um padrão de estabilidade da ação de linguagem dos sujeitos, em relação ao conteúdo do texto-referência, sem apresentar significativa variabilidade de conceitos. Para além de uma nova versão da ferramenta, outra contribuição desta pesquisa foi a de sugerir que níveis de complexidade em caráter de estabilidade e variabilidade podem ser associados a zonas de desenvolvimento humano. / This is a quali-quantitative research whose theoretical and epistemological basis are the Interactionism Sociodiscursivo (ISD) and the Complexity Theory, once both theories contribute to the understanding of the language action, as Complex Adaptive System (CAS), of individuals engaged in text production activities. Thus, as the individuals‟ performance in different levels of education has been identified as problematic by Research Institutes of Education, related to reading and textual production practices, it was considered relevant to investigate the way a digital data mining tool, in this case, Sobek, may reveal levels of complexity between the content of a reference-text and a produced-text. The object of study of this thesis, so is the cut provided by Sobek tool, which occurs through the generation of a graph composed of words (signs) recurring in the texts, in order to support the construction of an inter(trans) disciplinary perspective, referring to ways to extract and interpret the content of the texts. The research corpus was composed of 2 classes of higher education at the undergraduate level, involving the collection of 34 texts. These texts were submitted to data mining technique, with the use of a new version of the tool, developed in this study, which allowed to import and compare, automatically, the contents of two texts automatically, been possible to generate 3 types of graphs: union, intersection and difference. The result of data analysis indicated a recurring pattern in the analyzed texts, which was to maintain the language action as stable as possible to the content of the reference-text, without presenting significant variability of concepts. In addition to the new version of the tool, another contribution of this research was to suggest that the levels of complexity in stability and variability may be associated with human development zones.
|
335 |
Noção complexa de saúde : contribuição para a construção à luz da teoria da complexidadeMilanez, Jose Francisco Bernardes January 2017 (has links)
Este trabalho teórico busca uma nova forma de entender a saúde mais ampla e interdependente em relação ao meio no intuito de superar a forma atual cartesiana e antropocêntrica de ver a saúde e as dificuldades por ela enfrentadas. Faz isto se utilizando da Teoria da Complexidade, inspirada em Morin, e ao estudar suas características e compará-las com as da saúde, propõe a construção de uma Noção Complexa de Saúde, demonstra aspectos de sua importância e dá exemplos de sua abrangência, sugerindo que seja aplicada na educação, numa aprendizagem conjunta da Noção Complexa de Saúde com a Teoria da Complexidade, num processo de auxílio mútuo que estamos chamando de pedagogia recursiva. / This theoretical work seeks a new way of understanding the wider and interdependent health in relation to the environment in order to overcome the Cartesian and anthropocentric current way of seeing the health and the difficulties it faces. He does this by using the Complexity Theory, inspired by Morin, and by studying its characteristics and comparing them with those of health, proposes the construction of a Complex Notion of Health, demonstrates aspects of its importance and gives examples of its scope, suggesting That is applied in education, in a joint learning of the Complex Notion of Health with the Complexity Theory, in a process of mutual assistance that we are calling recursive pedagogy.
|
336 |
Da pessoa que recai a pessoa que se levanta: a recursividade dos que usam crackRameh-de-Albuquerque, Rossana Carla [UNIFESP] 09 February 2017 (has links) (PDF)
Made available in DSpace on 2018-06-04T19:14:34Z (GMT). No. of bitstreams: 0
Previous issue date: 2017-02-09 / Embora os tratamentos disponíveis tragam uma diminuição da gravidade dos problemas psicossociais causados pelo abuso do crack, não conseguiram até o momento “resolver” a “recaída” ao consumo da droga. Buscando ampliar o conhecimento sobre o tema, esta tese, de caráter qualitativo de pesquisa teve como objetivo investigar junto às pessoas que abusam de crack - em fase final de tratamento e que tivessem vivenciado episódios de “recaídas” -, os motivos desencadeadores desse processo. Para o desenvolvimento do estudo, o campo da pesquisa se deu em três instâncias de cuidado: os Centros de Atenção Psicossociais em álcool e outras drogas (Caps AD), as Comunidades Terapêuticas (CT) e as Clínicas Médicas (CM). Foram utilizados os princípios da investigação qualitativa com amostra intencional por critérios, construída com o auxílio das informantes-chaves (gatekeepers) e entrevistas semi-estruturadas que foram aplicadas aos participantes da pesquisa. Alcançou-se através do ponto de saturação teórica, um N de 120 entrevistados divididos igualmente entre Recife - PE e São Paulo – SP considerando-se também as regiões metropolitanas. A análise de conteúdo revelou categorizações que emergiram das narrativas dos entrevistados. Didaticamente foram divididas em três blocos temáticos: motivos associados às pessoas (MP), motivos associados à droga (MD), motivos associados ao ambiente (MA). Destes, as motivações mais citadas, pertenceram à categoria dos MP, sendo bastante relevante a dificuldade e/ou inabilidade das pessoas em lidarem com suas emoções. Também foram revelados aspectos que colocam o conceito de “recaída” como inapropriado para a leitura do fenômeno à luz da Redução de Danos (RD) baseada nos Direitos Humanos (DH), considerando o princípio da recursividade como ponto de partida fundamental a um outro olhar sobre esse processo. Algumas considerações finais foram tecidas: as relações interpessoais e as consequentes frustrações das pessoas foram os motivos mais citados como desencadeadores de “recaída”, rompendo o paradigma de que as causas estariam centradas principalmente na droga; além disso, os processos intersubjetivos referentes aos movimentos recursivos das pessoas mostraram que seus aprendizados e ressignificações diante do crack são aspectos negligenciados no tratamento pelos profissionais e cuidadores, independentemente dos modelos aos quais as instâncias de cuidado estejam filiadas. Espera-se que tais achados possam contribuir para a melhoria da atenção prestada às pessoas que buscam tratamento. / Although available treatments for crack abuse reduce the gravity of the psychosocial problems caused by usage, they have not been able to solve drug abuse “relapses” until now. Hoping to increase the knowledge around the theme, this qualitative research thesis aims to investigate reasons for relapse among abusive crack users –who, in their final treatment phase have relapsed. To develop the study, the search field included three venues: the Centers of Psychosocial Attention in alcohol and other drugs (Caps AD), the Therapeutic Communities (CT) and Medical Clinics (CM). Principles of qualitative investigation were used along with samples chosen for set criteria, built with the help of the key-informants (gatekeepers), and semi-structured interviews which were applied to the research participants. Reaching a theoretical saturation point, 120 people were equally divided between the greater metropolis regions of Recife – PE and São Paulo – SP. Analysis of the content revealed categories that emerged from the interviewees’ narratives. Didactically narratives were divided into three thematic blocks: reasons associated with people (MP), reasons associated twith the drug (MD), reasons associated with the environment (MA). Within these blocks, those most reported were the ones related to the MP category, which were highly relevant to the difficulty and/or inability people have to deal with their emotions. Aspects which defined the concept of “relapse” as inappropriate also revealed the phenomenon of reading through the light of Harm Reduction based on Human Rights, considering the principle of recursivity as a fundamental starting point to another perception over the phenomenon. Some final considerations were reached: people’s interpersonal relations and the consequent frustrations were the mostly cited reasons for unleashing “relapse”, breaking the paradigm that says the causes are centered mainly on the drug itself.In addition, the intersubjective processes which refer to people’s recursive movements showed that their knowledge and resignifications over crack are neglected aspects of treatment, by professionals and caretakers, independent of the model by which care instances are affiliated. It is expected that these findings can contribute to an improvement of the attention given to crack users who search for treatment. / BV UNIFESP: Teses e dissertações
|
337 |
A COMUNICAÇÃO ORGANIZACIONAL: UM ESTUDO EPISTEMOLÓGICOFonseca Júnior, Wilson Corrêa da 10 May 2007 (has links)
Made available in DSpace on 2016-08-03T12:30:35Z (GMT). No. of bitstreams: 1
Wilson Correa da Fonseca.pdf: 1117462 bytes, checksum: fd294b6c399cb220204246a16b2cb338 (MD5)
Previous issue date: 2007-05-10 / This work consists of an epistemological study having for object the production theory
and methods of Organizational Communication in Brazil and above. The thesis searched to
identify, to describe, to compare and to evaluate the main denominations, theoretical schools,
philosophical entailing and conditioning social factors. For the enterprise it was necessary the
elaboration of an ample bibliographical revision in epistemology, as well as a proposition of a
specific methodology for epistemological studies. This methodology contemplates qualitative
propositions, proceeding from Philosophy and quantitative propositions, proceeding from
Information Science (Bibliometry and Scientometry), among others. Were analyzed 1,181
records and 517 documents available from the international database Web of Science and
literature produced in Brazil and above on the subject. The study demonstrated that, in its
hegemonic conception, Organizational Communication is marked deeply by management
sciences and conceived as a set of practices and activities of communication for corporation
effectiveness. However, while social and historical reality, Organizational Communication is
a much more ample and extensive subject, due not only to the existence of diverse
organization forms, but also because organizations interactions, in the current net society
configuration, is each time more complex.(AU) / Este trabalho consiste num estudo epistemológico tendo por objeto a produção teóricometodológica em Comunicação Organizacional produzida no Brasil e no exterior. A tese
procurou identificar, descrever, comparar e avaliar suas principais denominações, escolas, correntes teóricas, vinculações filosóficas e fatores sociais condicionantes. Para esse empreendimento houve a necessidade de elaboração de uma ampla revisão bibliográfica em epistemologia, assim como a proposição de metodologia específica para estudos
epistemológicos. Essa metodologia contemplou abordagens qualitativas, provenientes da Filosofia, e abordagens quantitativas, provenientes da Bibliometria, entre outros. Neste caso, foram avaliados 1.181 registros e 517 documentos internacionais disponíveis nas bases de
dados Web of Science, além da literatura produzida no Brasil e no exterior sobre o assunto. O estudo demonstrou que, em sua concepção hegemônica, a Comunicação Organizacional é
profundamente marcada pelas ciências do management e concebida como um conjunto de práticas e atividades de comunicação voltadas à eficácia empresarial. Entretanto, enquanto realidade social e histórica, a comunicação organizacional é um objeto muito mais amplo e
extenso, devido não apenas à existência de diversas formas de organização, mas também porque a interação das organizações, na atual configuração da sociedade em rede, é cada vez mais complexa.(AU)
|
338 |
Problema de Formação de Equipes Sociotécnicas: Complexidade, Formulações Matemáticas e Resultados Computacionais / The socio-technical teams formation problem: Complexity, Mathematical Formulations and Computational ResultsFigueiredo, Tatiane Fernandes January 2016 (has links)
FIGUEIREDO, Tatiane Fernandes. Problema de Formação de Equipes Sociotécnicas: Complexidade, Formulações Matemáticas e Resultados Computacionais. 2016. 86 f. Dissertação (mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2016. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-03-22T19:14:08Z
No. of bitstreams: 1
2016_dis_tffigueiredo.pdf: 1148121 bytes, checksum: a25818a809d3426e9eb1ee56535c6361 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-04-25T12:32:53Z (GMT) No. of bitstreams: 1
2016_dis_tffigueiredo.pdf: 1148121 bytes, checksum: a25818a809d3426e9eb1ee56535c6361 (MD5) / Made available in DSpace on 2016-04-25T12:32:53Z (GMT). No. of bitstreams: 1
2016_dis_tffigueiredo.pdf: 1148121 bytes, checksum: a25818a809d3426e9eb1ee56535c6361 (MD5)
Previous issue date: 2016 / Using concepts of the socio-technical systems theory, this dissertation defines mathematically the problems of cooperative teams formation considering social and technical constraints separately, and then presents their computational complexity. Mainly, it is defined and studied the central problem in this work, which jointly considers social and technical requirements for creating teams of cooperative work, to be called FEST (Socio-Technical Teams Formation Problem). Two mathematical formulations and a meta-heuristic are proposed for FEST. One formulation uses a cubic number of variables and constraints, whereas the second one has a quadratic number of variables but an exponential number of constraints. The proposed heuristic is based on the Non-monotonic Simulated Annealing meta-heuristic with local search using swap-like operators. The correctness of both formulations is proved. A polynomial algorithm to separate the constraints of the second formulation is presented. It is proved that the two formulations provide the same linear programming bound, and valid inequalities to strengthen it are proposed. For the compact formulation, some classes of valid inequalities are shown to be facet-inducing under suitable hypotheses. Finally, it is statistically analyzed the performance of the presented formulations and meta-heuristic. Real and random generated instances are used in the computational experiments. / Utilizando conceitos da Teoria dos Sistemas Sociotécnicos, este trabalho define matematicamente os problemas de formação de equipes cooperativas considerando separadamente restrições sociais e técnicas e apresenta a complexidade computacional dos mesmos. Sobretudo, é definido e estudado o problema central deste trabalho, que considera conjuntamente requisitos sociais e técnicos para criação de equipes de trabalho cooperativo, denominado FEST (Problema de Formação de Equipes Sociotécnicas). Duas formulações matemáticas e uma meta-heurística para o FEST são propostas. Uma formulação utiliza um número cúbico de variáveis e restrições, enquanto a segunda formulação possui um número quadrático de variáveis, mas um número exponencial de restrições. A meta-heurística proposta é baseada no Simulated Annealing Não-Monotônico com busca local que usa operadores tipo swap. A corretude de ambas as formulações é provada. Um algoritmo polinomial para separar as restrições da segunda formulação é apresentado. Mostra-se que as duas formulações fornecem o mesmo limite de programação linear, e desigualdades válidas para fortalecê-lo são propostas. Para a formulação compacta, algumas classes de desigualdades válidas são demonstradas indutoras de facetas sob hipóteses apropriadas. Por fim, foi analisado estatisticamente o desempenho das formulações e da meta-heurística apresentadas. Instâncias reais e geradas aleatoriamente são usadas nos experimentos computacionais.
|
339 |
Complexidade e algoritmos de jogos de blocos / Complexity and blocks games algorithmsRamos, André Castro January 2014 (has links)
RAMOS, André Castro. Complexidade e algoritmos de jogos de blocos. 2014. 51 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2014. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-27T20:03:26Z
No. of bitstreams: 1
2014_dis_acramos.pdf: 3052850 bytes, checksum: 1e69aab4f7c65fe5b1dee291b5fa129d (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-27T20:03:57Z (GMT) No. of bitstreams: 1
2014_dis_acramos.pdf: 3052850 bytes, checksum: 1e69aab4f7c65fe5b1dee291b5fa129d (MD5) / Made available in DSpace on 2016-05-27T20:03:57Z (GMT). No. of bitstreams: 1
2014_dis_acramos.pdf: 3052850 bytes, checksum: 1e69aab4f7c65fe5b1dee291b5fa129d (MD5)
Previous issue date: 2014 / The electronic game concept refers to reserved entertainment to spare time , but in addition to a billion dollar industry , is also potential source of several research topics , both directed to their respective areas of interest as own gaming industry . In this context, in recent decades, work has been done to deal with this type of product based on for problems to be addressed by the theory of algorithms. In this work we bring complexity results and algorithms related to three games with common characteristics , Bloxorz , On The Edge and Bobbin 3D. / A noção de jogo eletrônico remete a entretenimento reservado às horas vagas, mas, além de uma indústria bilionária, também é origem potencial de diversos temas de pesquisa, tanto voltados a suas respectivas áreas quanto de interesse da própria indústria de jogos. Nesse contexto, nas últimas décadas, foram produzidos trabalhos que lidam com esse tipo de produto como base para problemas a serem tratados pela teoria dos algoritmos. Neste trabalho trazemos resultados de complexidade e algoritmos relacionados a 3 jogos com características em comum, Bloxorz, On The Edge e Bobbin 3D.
|
340 |
Dimensão presença do caos, da complexidade e da emergência nos a-con-teceres do/no curso de formação de professores em nível superior UFBA/Faced/IrecêRocha, Iêda Marques 24 February 2011 (has links)
Submitted by PPGE PPGE (pgedu@ufba.br) on 2015-01-09T15:17:34Z
No. of bitstreams: 1
dissertação_final.pdf: 1980063 bytes, checksum: b4606e833842f59249ab80b58a8cafe2 (MD5) / Approved for entry into archive by Maria Auxiliadora da Silva Lopes (silopes@ufba.br) on 2015-01-27T16:34:09Z (GMT) No. of bitstreams: 1
dissertação_final.pdf: 1980063 bytes, checksum: b4606e833842f59249ab80b58a8cafe2 (MD5) / Made available in DSpace on 2015-01-27T16:34:09Z (GMT). No. of bitstreams: 1
dissertação_final.pdf: 1980063 bytes, checksum: b4606e833842f59249ab80b58a8cafe2 (MD5) / Os conceitos, Emergência, Caos e Complexidade traduzem o que trago para esta dissertação, uma vez que tais conceitos, ao serem trabalhados ajudam a compreender melhor os movimentos de expansão e as atualizações dos/nos a-con-teceres do/no Curso de Formação de Professores em Nível Superior UFBA/FACED/Irecê. Dimensão presença do Caos, da Complexidade e da Emergência nos a-con-teceres do/no Curso de Formação de Professores em Nível Superior UFBA/FACED/Irecê é o nome desta dissertação que teve como aporte principal as memórias de um curso experiencial. Um estudo referendado por conceitos complementares que trazem no seu bojo o antagonismo, as incertezas, a ordem, a desordem, as imprevisibilidades e atualizações de um curso que foi se formando no seu a-con-tecer. Para analisar compreensivamente a dimensão presença dos três conceitos propostos como fundantes: Emergência, Caos e Complexidade no a-con-tecer pedagógico do/no Curso de Formação de Professores em Nível Superior UFBA/Irecê usei a pesquisa qualitativa, estruturada na etnopesquisa. Como principio metodológico foi usado o dia-gnóstico por possuir o caráter longitudinal cíclico e experiencial e considerá-lo de base hermenêutica fenomenológica. / ABSTRACT Concepts, Emergency, chaos and Complexity translate what I bring to this dissertation, since such concepts, when they worked help better understand the movements of expansion and updates developments in teacher training Course in Top-level UFBA/FACED/Irecê. Dimensão presença do Caos, da Complexidade e da Emergência nos a-con-teceres do/no Curso de Formação de Professores em Nível Superior UFBA/FACED/Irecê is the name of this dissertation that had as main theme of the initial course experiences. A study by complementary concepts and referendums that bring content antagonism, the uncertainties, the order, disorder, the unpredictabilities and updates a course that was forming on your case. To analyze sympathetic consideration the dimension presence of three concepts proposed as wrote: Emergency, chaos and Complexity happen over the course of pedagogic teacher training in Top-level UFBA/Irecê used qualitative research, structured in ethno search. As methodological principle was used the diagnosis for possessing character longitudinal cyclic and experiential and consider it basic hermeneutic phenomenological.
|
Page generated in 0.0475 seconds