Tipos Abstratos De Dados
Mostrando 1-12 de 21 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. 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
-
3. Implementação de um compilador para software numérico
Este trabalho apresenta proposta e implementação de uma linguagem de programação orientada para usuárias de aplicações técnicas e matemáticas. São discutidas as características da linguagem desde o ponto de vista da aplicabilidade e da facilidade de utilização. É feito um estudo genérico de como as linguagens mais usadas, para este tipo de usu
Publicado em: 2010
-
4. 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
-
5. 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
-
6. 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
-
7. Uma arquitetura para análise de fluxo de dados estruturados aplicada ao sistema brasileiro de TV digital. / An architecture of structured data stream analysis applied to the Brazilian digital TV system.
Diversos sistemas computacionais transmitem informação em fluxos contínuos de dados estruturados e, por vezes, hierarquizados. Este modelo de transmissão de dados tem como uma de suas características a grande densidade de informação, o que exige de um receptor o tratamento imediato das unidades extraídas deste canal de comunicação. Muitas vezes o v
Publicado em: 2009
-
8. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
9. 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
-
10. Eu como porque eu preciso comer: idéias e analogias de crianças do ensino fundamental sobre sistema digestório e nutrição
Os objetivos dessa pesquisa são identificar e interpretar modelos elaborados por crianças do ensino fundamental para o aparelho digestório, a digestão e a nutrição. Além disso, procuramos identificar as comparações estabelecidas e os conhecimentos são mobilizados por elas para realização dessa operação. Optamos por entrevistar vinte e quatro cr
Publicado em: 2008
-
11. Semantics for an algebraic specification language / Semântica para uma Linguagem de Especificação Algébrica
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e
Publicado em: 2007
-
12. 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