Funcoes Algebricas
Mostrando 1-12 de 31 artigos, teses e dissertações.
-
1. Curvas algébricas sobre corpos finitos / Algebraic curves over finite fields
A Teoria das curvas algébricas sobre corpos finitos é de fundamental importância para a matemática e tem aplicações essenciais em muitas áreas, tais como Geometria Finita, Teoria dos Números, Teoria de Grafos e Teoria de Códigos. Neste trabalho tratamos do segmento algébrico desta teoria, isto é, corpos de funções algébricas, inicialmente sobre
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/04/2012
-
2. Tratamento de condições especiais para busca por similaridade em bancos de dados complexos / Treatment of special conditional for similarity searching in complex data bases
A quantidade de dados complexos (imagens, vídeos, séries temporais e outros) tem crescido rapidamente. Dados complexos são adequados para serem recuperados por similaridade, o que significa definir consultas de acordo com um dado critério de similaridade. Além disso, dados complexos usualmente são associados com outras informações, geralmente de tipo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/04/2012
-
3. Euler e os números pentagonais
O presente trabalho de pesquisa compreende em um estudo de Leonhard Euler sobre os números pentagonais e o artigo Mirabilibus Proprietatibus Numerorum Pentagonalium -E524. Depois de uma breve revisão da vida e obra de Euler, analisamos os conceitos matemáticos abordados no referido artigo como também a sua contextualização histórica. Para tant
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/10/2011
-
4. Funções pesos fracos sobre variedades algébricas / Near weights on higher dimensional varieties
Definidas sobre uma F-álgebra, os conceitos de função peso e função peso fraco foram introduzidos de forma a simplificar a teoria dos códigos corretores de erros que utilizam ferramentas da geometria algébrica. Porém, todos os códigos suportados por estes conceitos estão intimamente ligados à códigos provenientes de curvas algébricas, ou seja, o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/09/2011
-
5. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
6. Cotas para a distância mínima de códigos de Goppa envolvendo o piso e o teto de um divisor
Neste trabalho, estudamos os fundamentos da teoria de corpos de funções algébricas, uma introdução à teoria de códigos, cabendo ressaltar neste ponto o estudo de códigos Geométricos de Goppa juntamente com os conceitos de derivação e forma diferencial, e resultados gerais no que diz respeito ao piso e o teto de um divisor. Este trabalho tem por ob
Publicado em: 2011
-
7. Funcoes de producao Von Liebig com rendimentos decrescentes.
Apesar de os modelos de resposta da producao ao uso de materiais agricolas nao serem objeto de pesquisa, tem-se, ainda, questoes esperando por resposta. A importancia deste topico se da na medida em que funcoes de producao mais realistas, com significado biologico, possibilitam uma melhor interpretacao de resultados experimentais. A lei do minimo foi formula
Pesquisa Agropecuaria Brasileira. Publicado em: 2011
-
8. Integrabilidade algébrica de folheações holomorfas e o problema de Poincaré
G. Darboux apresentou, em [32], uma teoria sobre a existência de integrais primeiras para equações diferenciais polinomiais baseado na existência de um número suficientemente grande de soluções algébricas. Concomitantemente H. Poincaré, em [69], considerou o problema da integrabilidade algébrica para equações diferenciais polinomiais no plano. El
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/05/2010
-
9. O Teorema da Dominação de Pietsch Unificado
Neste trabalho, dissertamos sobre uma recente versão unificada do Teorema da Dominação de Pietsch, devida a Botelho, Pellegrino e Rueda ([8]), que unifica vários teoremas de dominação do tipo Pietsch para certas classes de funções que generalizam o ideal dos operadores lineares absolutamente p-somantes. Um resultado final mostra que tais teoremas de
Publicado em: 2010
-
10. Funções do 2º grau : interpretações gráficas e algébricas
Esta pesquisa teve por objetivo verificar se os alunos do Ensino Médio apresentam dificuldades em fazer uma interpretação gráfica e, se a partir do gráfico, encontram a expressão que o originou. A pesquisa foi realizada com uma turma do primeiro ano do Ensino Médio, mais especificamente com dezesseis alunos, que foram divididos em oito duplas. O traba
Publicado em: 2010
-
11. A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real / The computable category of the coherence spaces generated by basic sets with an application in real analysis
Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategoria dos Espaços Coerentes, cujos objetos, ordenados pe
Publicado em: 2010
-
12. Metodo de pontos interiores não-linear para otimização deterministica a usinas individualizadas do planejamento da operação energetica do sistema interligado nacional com restrições de intercambio entre subsistemas / Nonlinear interior-point method for optimal hydrothermal scheduling in the brazilian power system with power exchange constraints
A otimização determinística da operação de médio prazo de sistemas hidrotérmicos de potência é um problema não-linear de grande porte. Neste trabalho, ele é resolvido com a devida consideração das restrições de fluxo de intercâmbio energético entre os subsistemas em um único modelo. Para tanto, fez-se necessária a representação explícit
Publicado em: 2009