Complexidade Algebrica
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Definição formal de tipos abstratos de dados através de um exemplo
Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objet
Publicado em: 2010
-
2. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
3. Localização de zeros reais de polinômios intervalares / Real zero localization of interval polynomials
Este trabalho contém um estudo para isolar os zeros reais de polinômios cujos coeficientes podem ser perturbados, isto é, os coeficientes possuem variações que constituem intervalos. Assim chamamos a tais polinômios de Polinômios Intervalares do mesmo modo que chamamos de polinômios complexos àqueles que possuem coeficientes complexos. Isolar os zer
Publicado em: 2010
-
4. Uma introdução ao pensamento algébrico através de relações funcionais
Esta dissertação de mestrado tem foco no ensino introdutório de álgebra na 6ª série do Ensino Fundamental. A partir de estudo de características do ensino vigente registrados na literatura e nos livros didáticos, das dificuldades apresentadas pelos alunos e de seus desempenhos nas avaliações do SAEB / MEC, avançamos na discussão sobre perspectiva
Publicado em: 2009
-
5. As diferentes concepções da dinâmica macroeconômica: uma abordagem epistemológica
Apesar de ter quase um século de idade, a teoria do caos ainda é uma idéia recente no meio científico de modo geral, e demonstra claramente um forte poder de análise matemática dos fenômenos reais, embora seus estudos ainda se encontram na fronteira de pesquisas por todo o mundo. Pode-se dizer que, se a teoria neoclássica emprega a matemática algéb
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/06/2008
-
6. Cálculo da complexidade exata de algoritmos do tipo divisão-e-conquista através das equações características
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
Publicado em: 2007
-
7. Órbitas quirais, classes de conjugação e dinâmica holomórfica sem pontos críticos
Nesta Tese discutimos três problemas chave que estabelecem um número de conexões entre aspectos fundamentais e aplicações práticas em Dinâmica Não-Linear. No primeiro capítulo revisamos conceitos básicos e como simplificar e resolver de modo exato as equações de movimento de um difeomorfismo polinomial que exibe um cenário rico em complexidade,
Publicado em: 2007
-
8. Algebraic analysis of genome rearrangement problems : algorithms and complexity / Analise algebrica de problemas de rearranjo em genomas : algoritmos e complexidade
O sucesso na obtenção de cadeias completas de DNA de alguns organismos tem incentivado a busca de novas técnicas computacionais capazes de analisar esse montante de informação para aplicá-lo na descoberta de novos remédios, aumento da produção de alimentos e investigação do processo de evolução dos seres vivos, entre outras aplicações. A compa
Publicado em: 2007
-
9. Synthesis of supervisors for time-varying discrete event systems
O autômato com temporização variável é introduzido nesse artigo para modelar sistemas a eventos discretos. A estrutura desse autômato é bastante similar à estrutura do autômato (max,+), mas apresentando tempos de vida variáveis. Baseado nesse autômato o projeto de supervisores temporizados é obtido por meio da álgebra de dióides, onde as lingua
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2004-12
-
10. Um modelo diferencial para histerese magnética: representação algébrica recursiva
Os modelos de Jiles e Preisach são os modelos macroscópicos de histerese magnética mais utilizados atualmente. Quando incorporados em programas de computador para auxílio a projeto e análise (CAD), estes modelos requerem métodos numéricos que impõem uma certa carga computacional no cálculo da histerese. Muitas aplicações de análise são sensívei
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2003-03
-
11. COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANA / COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY
Consideramos duas formas de complexidade em geometria euclidiana plana.Na primeira, problemas são descritos algebricamente, e a complexidade é cotada essencialmente pelo grau de um polinômio. Como consequência, mostramos que vários resultados gerais e familiares em geometria podem ser demonstrados a partir da simples verificação de dois ou três casos
Publicado em: 2002
-
12. Reticulados e suas partições aplicados a codificação para canais AWGN limitados em bandas
Neste trabalho são realizados estudos teóricos e aplicados dos reticulados e suas partições. Após uma breve revisão de conceitos algébricos e geométricos sobre os reticulados e suas partições, utilizando a terminologia correspondente para grupos abelianos, é desenvolvida uma descrição explícita da estrutura algébrica de partições arbitrária
Publicado em: 1991