Tipos Abstratos De Dados Computacao
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Teoria de Conley para campos Gutierrez-Sotomayor / Conley theory for Gutierrez-Sotomayor vector fields
Em [6] são apresentadas condições necessárias e suficientes para a estabilidade estrutural e o teorema de densidade para campos de vetores em 2-variedades com singularidades simples dos seguintes tipos: cone, guarda-chuva de Whitney, ponto duplo e ponto triplo. Nesta tese, estudamos os fluxos induzidos por estes campos de vetores, que denominamos fluxos
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/07/2010
-
2. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento / A type sistems for a knowledge structured representation language
A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação impo
Publicado em: 2010
-
3. Descoberta e composição de serviços web semânticos através de algoritmo genético baseado em tipos abstratos de dados. / Discovery and composition of semantic web services through genetic algorithms based on abstract data types.
AWeb Semântica é uma ampliação da web atual onde a disposição da informação viabiliza a cooperação entre homens e, sobretudo, entre máquinas. O surgimento de padrões web que expressam significado compartilhado possibilitam a construção de aplicações que resolvem problemas de integração, colaboração e automação já identificados pela com
Publicado em: 2009
-
4. Um sistema evolutivo de apoio a tomada de decisão: um estudo de caso em compra eletrônica. / An evolutionary systems of decision support systems: a case study in electronic purchase.
O desempenho da manipulação dos dados por um sistema de apoio à decisão, em um ambiente de comércio eletrônico, pode ser considerado um processo complexo devido à grande quantidade de informação proveniente do mecanismo de busca adotado para aquisição de equipamentos eletroeletrônicos. Este processo poderá aumentar exponencialmente no decorrer d
Publicado em: 2009
-
5. Alinhamento múltiplo de proteínas via algoritmo genético baseado em tipos abstratos de dados. / Multiple proteins alignment by genetic algorithms based on abstract data types.
Este trabalho apresenta um novo modelo capaz de realizar o alinhamento múltiplo de proteínas utilizando algoritmo genético baseado em tipos abstratos de dados, denominado GAADT, no qual o cromossomo se dispõe em genes que por sua vez é composto de unidades elementares denominadas bases. Cada cromossomo representa um possível alinhamento entre as seqü�
Publicado em: 2008
-
6. ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT
Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados
Publicado em: 2007
-
7. Gerenciamento baseado em modelos da configuração de sistemas de segurança em ambientes de redes complexos / Model-based configuration management of security systems in complex network environments
Os mecanismos de segurança empregados em ambientes de redes atuais têm complexidade crescente e o gerenciamento de suas configurações adquire um papel fundamental para proteção desses ambientes. Particularmente em redes de computadores de larga escala, os administradores de segurança se vêem confrontados com o desafio de projetar, implementar, manter
Publicado em: 2006
-
8. EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS / EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Garantir que programas são implementados de forma a cumprir uma especificação é uma questão fundamental em computação, por isso, têm sido propostos vários métodos que almejam provar a correção dos programas. Este trabalho apresenta um método, baseado no isomorfismo de Curry-Howard, que extrai conteúdos computacionais de provas intuicionistas, c
Publicado em: 2004
-
9. Uma ferramenta para auxiliar no ensino de estruturas de dados como tipo de dado abstrato
ormado.
Publicado em: 2003
-
10. Um algoritmo genÃtico baseado em tipos abstratos de dados e sua especificaÃÃo em Z
Este trabalho apresenta ummodelo de algoritmo genÃtico baseado emtipos abstratos de dados, denominado de GAADT, no qual o cromossomo à representado por um tipo estratificado em dois nÃveis de percepÃÃo (gene e base), em contra ponto aos demais modelos. A adaptaÃÃo do cromossomo à comprometida com a relevÃncia das informaÃÃes codificadas nele. A es
Publicado em: 2003
-
11. Compilador ASN.1 e codificador/decodificador para BER / ASN.1 compiler and encode/decode for BER
Neste trabalho apresenta-se uma ferramenta chamada Compilador ASN.1, cujo objetivo é fornecer uma representação concreta para a sintaxe abstrata ASN.1, de forma que, as especificações das PDU s dos protocolos de aplicação, geralmente escritas em ASN.1, possam ser utilizadas computacionalmente. Uma das funções prioritárias da camada de apresentaçã
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/09/1992
-
12. Visões estendidas : uma proposta para extensão de bancos de dados relacionais
A tese apresentada uma proposta para estender facilidades de SGBDs relacionais através de mecanismo de atualização de visões. A extensão se baseia na definição de interfaces que permitam o suporte a um novo tipo de visão: as "visões estendidas" (VEs), utilizadas como mecanismo para definir e manipular tipos de dados não suportados pelo SGDB origina
Publicado em: 1989