Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2009. / Made available in DSpace on 2012-10-24T15:54:05Z (GMT). No. of bitstreams: 1 273596.pdf: 2165612 bytes, checksum: 0b27c3621281277e401d3dadde5242a4 (MD5) / O presente trabalho propõe duas novas estratégias para compressão de sinais de vídeo através de algoritmos otimizados em taxa-distorção (RD), focando aplicações típicas de vídeo digital para operação em baixas taxas de bits. As estratégias propostas são implementadas em um codificador de vídeo baseado no padrão H.264, o qual apresenta uma alta complexidade computacional devido principalmente ao grande número de modos de codificação disponível. São apresentadas duas propostas de redução da complexidade, mantendo o desempenho RD próximo àquele do codificador H.264 otimizado em RD usando busca exaustiva. A primeira proposta (denominada rate sorting and truncation - RST) realiza o ordenamento tanto dos vetores de movimento (VMs) quanto dos modos de codificação em ordem ascendente de taxa de bits. O processo de codificação é interrompido quando a taxa de bits dos novos VMs e modos de codificação exceder à menor taxa já obtida para um pré-estabelecido nível de qualidade de imagem. Assim, um grande número de VMs e diversos modos de codificação são descartados antes que sejam avaliados. A segunda proposta consiste em um algoritmo rápido, baseado no perfil de distribuição de vetores do codificador H.264, para estimação de movimento (denominado logarithmic diamond shape search - LDSS). O uso da estratégia RST associada ao algoritmo LDSS reduz até 98% a carga computacional com perda marginal de desempenho RD. / This research work proposes two new video compression strategies, aiming at typical low bit rate video applications using rate-distortion (RD) optimized algorithms. The proposed strategies are implemented on an H.264 video encoder, which has high computational complexity due mainly to the large number of coding modes available. Two approaches are presented for reducing the encoder computational complexity, maintaining the RD performance close to the full search RD optimized H.264 encoder. The first approach (termed rate sorting and truncation - RST) is based on sorting the motion vectors (MVs) and coding modes in an ascending rate order. This sorting and encoding process, which is stopped when the rate value exceeds the previous best rate for a required image quality level, allows the elimination of MVs and coding modes before checking their distortion. Apart from obtaining a significant complexity reduction, the process still remains optimized in RD sense. The second approach is an algorithm (termed logarithmic diamond shape search - LDSS), which explores the MVs distribution profile for the RD optimized H.264 encoder. The use of the RST strategy associated with LDSS algorithm yields up to a 98% reduction in the computational burden, with insignificant RD performance loss.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Sócio-Econômico. Programa de Pós-Graduação em Administração. / Made available in DSpace on 2012-10-22T15:53:14Z (GMT). No. of bitstreams: 1 230039.pdf: 621287 bytes, checksum: 41d05ee95f3de31b23d9bacdb01c042d (MD5) / As organizações apresentam características dinâmicas que determinam a sua gestão, a sua inserção no contexto social e a percepção que seus agentes têm de suas estruturas operacionais e relacionais. Entretanto, estas características muitas vezes não atendem às constantes mudanças do ambiente organizacional, necessitando de uma nova forma de pensar as organizações e seus processos, expectativa esta que pode ser atendida pela Teoria da Complexidade, que trata da possibilidade dos sistemas se adaptarem a partir da sua percepção do ambiente e com isso realizar ações visando o seu desenvolvimento. Dentre estes processos presentes na organização está a segurança do trabalho, que trata do estudo das condições de trabalho visando a redução dos riscos e a preservação da vida humana. O objetivo desta pesquisa é conhecer ar possibilidade de utilização dos pressupostos teóricos da Teoria da Complexidade para a melhoria dos processos prevencionistas. Para isto foi realizado um estudo em uma empresa do setor de energia elétrica, que apresenta atividades com alto grau de risco, com o objetivo de analisar, principalmente através da percepção dos empregados da instituição, a aplicação dos conceitos da Gestão Autônoma - autonomia, cooperação, agregação e auto-organização - visando melhorar as ações preventivas da referida organização. Para isso, a investigação foi baseada em uma abordagem pesquisa qualitativa. Os dados coletados permitiram examinar a percepção dos empregados frente ao tema, relacionar a teoria da complexidade com a gestão autônoma e propor ações de melhoria da gestão da segurança do trabalho a partir destes pressupostos. Os resultados obtidos evidenciaram que as implicações da Teoria da Complexidade se fazem presentes nos processos prevencionistas nas organizações, e que a aplicação da Gestão Autônoma se torna uma ferramenta de complemento importante para os sistemas de segurança do trabalho existentes. Os achados desta pesquisa evidenciaram que a utilização do potencial humano se torna um diferencial para a redução dos acidentes e melhoria dos ambientes de trabalho, através do desenvolvimento da sua capacidade de análise, julgamento e tomada de decisão.

A equação de complexidade de um algoritmo pode ser expressa em termos de uma equação de recorrência. A partir destas equações obtém-se uma expressão assintótica para a complexidade, provada por indução. Neste trabalho, propõem-se um esquema de solução de equações de recorrência usando equações características que são resolvidas através de um "software" de computação simbólica, resultando em uma expressão algébrica exata para a complexidade. O objetivo é obter uma forma geral de calcular a complexidade de um algoritmo desenvolvido pelo método Divisão-e-Conquista.

Banca Examinadora: Dr. Lafayette Dantas Luz (Orientador); Dr. José Maria Landim Dominguez(UFBA;)Drª Facelucia Barros C. Souza (UFBA;) Drª Alcina Magnólia Franca Barreto (UFPE); Dr. Francisco Hilário R. Bezerra (UFRN) / Submitted by Manoel Jeronimo Moreira Cruz (jeronimo@ufba.br) on 2012-11-22T19:03:19Z No. of bitstreams: 1 Tese_Doutorado_Claudia_Ferreira_da_Cruz.pdf: 4812386 bytes, checksum: 6a49269d86acb9f6ee610b3f961c5a2e (MD5) / Made available in DSpace on 2012-11-22T19:03:19Z (GMT). No. of bitstreams: 1 Tese_Doutorado_Claudia_Ferreira_da_Cruz.pdf: 4812386 bytes, checksum: 6a49269d86acb9f6ee610b3f961c5a2e (MD5) / CAPES; CNPq / A Lagoa do Boqueirão (34° W – 36° W; 4° S – 6° S) é um reservatório d`água superficial exorreico, de forma alongada, no sentido NE – SW, com cerca de 6 Km de extensão e largura média de aproximadamente 200 m, localizado no curso médio do rio Boqueirão, nas proximidades do município de Touros, Rio Grande do Norte, Brasil. A bacia hidrográfica do Boqueirão, que cobre uma área de 220 Km2 , é, entretanto, descrita em associação com as Bacias Punau e Maxaranguape cuja superfície total é de cerca de 1605 Km2. Esta área foi escolhida para o presente estudo, devido a sua complexidade ambiental. Nela, ações antrópicas vêm promovendo estresse diminuindo a oferta hídrica natural de um reservatório de água natural presente na região e promovendo degradação da matéria orgânica que compõe a camada nefelóide. A distribuição das Arcellans como indicadoras do estresse ambiental foi discutida a partir da analise de amostras coletadas na camada nefelóide da lagoa. As amostras foram conservadas com a adição de formol. Foram determinadas as densidades de Arcellans, por volume de sedimento, identificando as espécies. E calculando o índice de diversidade, a eqüitatividade, a riqueza, a quantificação e qualificação dos estados de preservação das testas, analises dos parâmetros físico-químicos e analises sedimentológicas. Foram identificados 21 gêneros e 42 espécies de Arcellans na camada nefeloide. Os testemunhos foram datados δ13 C‰ e δ14 C‰. As datações do testemunho LB 02/01 variam de 1569 – 1585 a 3975 – 4292 A.P, no testemunho LB 02/03 variam de 1280 – 1396 a 3595-3912 A.P. Nas amostras de testemunho foram identificadas zonas de abrangências distintas para dois taxa. Os dois taxa identificados foram as Arcellans e os Foraminíferos. O taxon das Arcellans pode ser citado as espécies Centropyxis aculeata, Centropyxis marsupiformis, Centropyxis constricta, Difflugia protaeiformis e Difflugia pyriformis. O taxon dos Foraminíferos pode ser citado os gêneros Ammonia, Elphidium e Ammotium. As zonas de abrangências estão localizadas em segmentos distintos dos testemunhos indicando desta forma variação paleoambiental.

177f. / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-03-27T15:29:11Z No. of bitstreams: 2 LucianaDiasComSeg1.pdf: 1746650 bytes, checksum: f7bb1d30bba14db5f99948162203d398 (MD5) LucianaDiasComSeg2.pdf: 128691 bytes, checksum: 233b859241ee30e21f4f4b29670790db (MD5) / Approved for entry into archive by Ednaide Gondim Magalhães(ednaide@ufba.br) on 2013-04-10T13:45:39Z (GMT) No. of bitstreams: 2 LucianaDiasComSeg1.pdf: 1746650 bytes, checksum: f7bb1d30bba14db5f99948162203d398 (MD5) LucianaDiasComSeg2.pdf: 128691 bytes, checksum: 233b859241ee30e21f4f4b29670790db (MD5) / Made available in DSpace on 2013-04-10T13:45:39Z (GMT). No. of bitstreams: 2 LucianaDiasComSeg1.pdf: 1746650 bytes, checksum: f7bb1d30bba14db5f99948162203d398 (MD5) LucianaDiasComSeg2.pdf: 128691 bytes, checksum: 233b859241ee30e21f4f4b29670790db (MD5) Previous issue date: 2006 / Esta dissertação tem como objetivo problematizar a emergência de concepções de corpo, ligadas à superação do dualismo mente-corpo, no contexto da contemporaneidade. Propõe investigar estas transformações no campo da Dança, com enfoque no trânsito entre informações artísticas e científicas, ou seja, no trânsito Arte-Ciência. Aponta como parâmetro básico, a existência de discursos sobre o corpo e no corpo que dança. Neste sentido, esta pesquisa buscou investigar de que forma os pensamentos existem no corpo que dança. Como opção metodológica, envolveu um estudo de campo, realizado junto a coreógrafa paulista Adriana Grechi, concebido como lugar de problematização das referências aprofundadas na pesquisa teórica. Este estudo envolveu a análise de quatro processos de criação, dirigidos pela coreógrafa, referentes aos seguintes espetáculos: BootstrapSãoPaulo! [Cia Nova Dança, 1999], Toda Coisa se Desfaz [Cia2 Nova Dança, 2000], Artérias [Cia2 Nova Dança, 2001; Núcleo Artérias, 2003] e Por que nunca me tornei um/a dançarino/a? [Núcleo Artérias, 2004]. O primeiro capítulo aborda o referencial teórico das Ciências da Complexidade, que está implicado às transformações dos sistemas dualistas de conhecimento. Concentra-se na abordagem complexa das relações corpo-ambiente, e apresenta articulações com os dois primeiros espetáculos citados. O segundo e terceiro capítulos envolvem os processos de criação de Artérias e Por que nunca me tornei um/a dançarino/a, que são analisados na construção de articulações com conceitos do campo das Ciências Cognitivas, como as metáforas corporificadas, o conceito de embodied (ou ?mente corporificada?) e o conceito de corpomídia. Estas análises desdobram-se na problematização das concepções de identidade e memória e na proposta de investigação dos estados corporais como estratégia de criação em dança. / Salvador

Submitted by Diana Alves (ppgdancaufba.adm@gmail.com) on 2013-06-27T11:47:50Z No. of bitstreams: 1 Dissertação Meireane Carvalho..pdf: 3431487 bytes, checksum: 19f37dd497f8d10e027a832e95fda17a (MD5) / Approved for entry into archive by Alda Lima da Silva(sivalda@ufba.br) on 2013-06-27T21:05:22Z (GMT) No. of bitstreams: 1 Dissertação Meireane Carvalho..pdf: 3431487 bytes, checksum: 19f37dd497f8d10e027a832e95fda17a (MD5) / Made available in DSpace on 2013-06-27T21:05:22Z (GMT). No. of bitstreams: 1 Dissertação Meireane Carvalho..pdf: 3431487 bytes, checksum: 19f37dd497f8d10e027a832e95fda17a (MD5) / FAPEAM / Este estudo apresenta uma análise sobre algumas proposições curriculares quanto ao ensino dos processos criativos em dança nas universidades. O objeto de pesquisa investigado envolve quatro cursos de dança de instituições públicas de ensino superior de diferentes regiões do Brasil. - UNICAMP, UFBA, UFPA e UERGS. Através dos Projetos Políticos Pedagógicos e dos Planos de Curso, analisou-se a estrutura curricular, tendo como parâmetro as proposições curriculares delineadas pelos cursos de dança para as disciplinas de processo de criação, nos documentos oficiais das instituições. Para tanto, foi feita uma análise comparativa quanto aos princípios, conteúdos, métodos de ensino e às principais linhas que fundamentam o discurso não só nos Projetos Pedagógicos como, também, nos planos de Curso. Como pressuposto teórico que explica a finalidade, construção do currículo e planejamento de ensino têm-se Ghedin (2006), Vasconcelos (2004) e Sacrístan (2000). Fazendo uma abordagem dos conceitos sobre processos de criação artística, têm-se como pilares principais teóricos Pareyson (1993), Gardner (1997) e Ostrower (1987) que, com perspectivas distintas e ao mesmo tempo articuladoras, refletem sobre as experiências estéticas, cognitivas e intuitivas discutidas, respectivamente. A análise dos Projetos Pedagógicos e dos Planos de Curso relativos ás disciplinas de processos criativos dos cursos de dança das IES selecionadas, promoveu só discussões profícuas quanto ao ensino como, também, suscitou reflexões sobre os paradigmas que sustentam a base do ensino de criação em dança. / Programa de Pós Graduação em Dança/ Escola de Dança

Existem muitos sistemas de criptografia cuja segurança é baseada na dificuldade em resolver logaritmos discretos. Neste trabalho descrevemos alguns métodos para calcular logaritmos discretos, a saber: Algoritmo Shanks, Algoritmo Pollard, Algoritmo Silver-Pohlig-Hellman e o Algoritmo Index Calculus. Também são relatadas questões de complexidade computacional e os últimos recordes alcançados para resolver logaritmos discretos. / There are many cryptosystems whose security is based on the difficulty of solving the discrete logarithm. In this work, we describe some methods to calculate discrete logarithms: Shanks's Algorithm, Pollard's Algorithm, Silver-PohligHellman's Algorithm and the Index Calculus Algorithm. We also relate computation complexity issues and the last records that have been obtained on the discrete logarithm problem.

Submitted by Diana Alves (ppgdancaufba.adm@gmail.com) on 2014-09-08T14:34:07Z No. of bitstreams: 1 dissertacao elke siedler.pdf: 2660898 bytes, checksum: c77ed1b7078f83fedcc4d2facdfb4984 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2014-09-08T20:29:22Z (GMT) No. of bitstreams: 1 dissertacao elke siedler.pdf: 2660898 bytes, checksum: c77ed1b7078f83fedcc4d2facdfb4984 (MD5) / Made available in DSpace on 2014-09-08T20:29:22Z (GMT). No. of bitstreams: 1 dissertacao elke siedler.pdf: 2660898 bytes, checksum: c77ed1b7078f83fedcc4d2facdfb4984 (MD5) / CAPES / Há múltiplas possibilidades organizativas de informações que resultam em dança. Na singularidade de cada composição não há garantia de uma absoluta previsibilidade nas ações do corpo, durante uma apresentação. Todas as configurações de dança estão sujeitas a imprevisibilidade, mas há configurações cuja predisposição se encontra na possibilidade da incerteza como ação de composição. Instabilidades, que podem ocorrer nas interações do corpo com o ambiente e que podem resultar em risco à coerência da configuração, exigem auto-organizações. Para compreender o corpo sob a perspectiva da complexidade utilizou-se referenciais teóricos da biologia, físico-química e da dança. O objetivo desta pesquisa é a de compreender de que há incerteza nos processos evolutivos do corpo durante a apresentação de uma configuração de dança e que a imprevisibilidade pode ser produtora de auto-organização, promovendo soluções criativas que geram complexidade e alto nível de coerência na dança.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas, Programa de Pós-Graduação em Direito, Florianópolis, 2015. / Made available in DSpace on 2015-12-01T03:12:18Z (GMT). No. of bitstreams: 1 336203.pdf: 1538240 bytes, checksum: 14d34d1ad9543800c89b474d0c2911ca (MD5) Previous issue date: 2015 / A história do pensamento é um processo permanente de superação de conceitos, teorias, modos de pensar, de agir e de fazer, motivo pelo qual a Ciência do Direito deve ser modificada juntamente com o processo de transformação social. O pensamento complexo, por meio de suas categorias e princípios basilares, surge como uma alternativa para repensar a realidade e reformular a ciência, sendo necessário o estudo em torno de sua aplicação para o Direito Ambiental. A justificativa desta pesquisa se pauta no enfoque original que se busca oferecer à problemática, tendo em vista que aborda a quebra de paradigmas da modernidade e do cientificismo racionalista, de forma a investigar a possibilidade de aplicação do pensamento complexo ao Direito Ambiental. Nesse sentido, o problema de partida é o seguinte: como a Epistemologia Jurídica pode enfrentar os desafios que a complexidade traz para o Direito Ambiental? O objetivo geral da pesquisa é investigar a possibilidade de novos fundamentos epistemológicos do Direito Ambiental, a partir do pensamento complexo. A metodologia utilizada é o próprio paradigma da complexidade que, a partir dos seus princípios norteadores, é considerado um método científico em construção. As obras utilizadas para a pesquisa no Direito ainda adotam, em sua maioria, o pensamento cartesiano e linear, cujos métodos são inadequados para a proposta apresentada. O desafio epistemológico verificado é a tensão que o conceito de meio ambiente traz para o sistema jurídico, gerando insegurança. Não há como engessar o meio ambiente, pois, como sistema que o é, está submetido aos princípios da autoeco-organização e sistêmico, gerando insegurança. Por outro lado, a desordem/ordem/organização são situações em que a própria Física e a Matemática explicam que decorrem simultaneamente. Não há segurança sem insegurança, o próprio sistema vai ter mecanismos de se autorregular. A busca por respostas conduziram a reflexões que permeiam o pensamento complexo, a Epistemologia Jurídica, a Ética, a Teoria do Direito e o próprio conceito jurídico de meio ambiente. A hipótese central do trabalho é que a indeterminação e a mutabilidade de suas influências endógenas e exógenas fazem com que o meio ambiente, enquanto objeto da relação jurídica, vincule-se aos sujeitos de forma continuada, sendo, portanto, a relação jurídica ambiental continuativa. É preciso romper o imaginário jurídico formal e encaixotado da Epistemologia Jurídica, sendo o diálogo de saberes um caminho possível (e nunca a solução) para uma nova racionalidade jurídica que busque alinhar uma Epistemologia Ambiental a partir da complexidade, na esperança de poder contribuir, de alguma forma, com o Direito Ambiental. Até porque não há avanços sem falhas.<br> / Abstract : The history of thinking is a permanent process of overcoming concepts, theories, ways of thinking, acting and doing, reason why the Science of Law should be modified along with the process of social change. The complex thinking, through its categories and fundamental principles, emerges as alternative to rethink reality and reformulate society. Thus, it is necessary to study its applicability to Environmental Law. The justification of this research is based on the original approach that it intended to apply to the problem, given that it addresses the shift of modernity and rationalist scientism paradigms, so as to investigate the possibility of applying the complex thinking to the Environmental Law. In this sense, the starting problem is the following: How legal epistemology can address the challenges that complexity brings to the Environmental Law? The general objective of the research is to investigate the possibility of new epistemological foundations of Environmental Law from the complex thinking. The adopted methodology is the very paradigm of complexity that, according to its guiding principles, is considered a scientific method in construction. The literary work used to conduct legal research adopt, in its majority, the Cartesian and linear thinking whose methods are inadequate for the presented proposal. The verified epistemological challenge is the tension that the concept of environment brings to the legal system, creating insecurity. At the same time, there is no way t plaster the environment, since it is a system which is subjected to the ecological self-organization and systemic principles, causing uncertainty. On the other hand, disorder/order/organization are situations where the very Physics and Mathematics explain that they happen simultaneously. There is no security without insecurity, the system itself will have self regulation mechanisms. The search for answers led to reflections that permeate complex thinking, Legal Epistemology, ethics, Law Theory and the very legal concept of environment. The central hypothesis of this work is that the uncertainty and mutability of its endogenous and exogenous influences make the environment, as an object of legal relations, continuously linked to the subjects, being, therefore, the environmental legal relation a continuative one. It is necessary to disrupt with the formal and boxed legal imagination of the Legal Epistemology. The dialogue of knowledge is a possible way (and never the solution) to a new legal rationality that seeks to align an environmental epistemology from the complexity perspective, in the hope that it can contribute, somehow, with the Environmental Law. Specially, because there is no progress without failures.