Programaaao Lagica
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets / Query Refinement in Description Logics Using the Rough Set Theory
Refinamento de consulta consiste de tÃcnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realizaÃÃo de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propÃe aplicar a teoria dos Rough Sets como uma nova alternativa d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/08/2012
-
2. Acesso a Dados a partir de Ontologias Utilizando Mapeamentos HeterogÃneos e ProgramaÃÃo em LÃgica
Em vÃrias Ãreas, tais como IntegraÃÃo de Dados e Web SemÃntica, ontologias tÃm sido adotadas para descrever formalmente a semÃntica das fontes de dados, com o intuito de facilitar a descoberta e a recuperaÃÃo de informaÃÃes. Dentro desse contexto, o Acesso a Dados Baseado em Ontologias (Ontology-Based Data Access - OBDA) Ã um problema decorrente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/11/2010
-
3. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
4. Aquarius â Uma plataforma para desenvolvimento de sistemas digitais dinamicamente reconfigurÃveis
HÃ um grande interesse por parte dos pesquisadores em relaÃÃo Ãs caracterÃsticas de autoreconfiguraÃÃo e auto-adaptaÃÃo presentes em plataformas modernas de hardware baseadas em dispositivos lÃgicos dinamicamente reconfigurÃveis FPGAs (Field Programmable Gate Arrays). Alguns destes dispositivos apresentam caracterÃsticas ainda mais especÃficas,
Publicado em: 2007
-
5. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
6. Ajuste de modelos de elementos finitos utilizando tÃcnicas de otimizaÃÃo.
No campo da dinÃmica de estruturas, muitas aplicaÃÃes tÃm surgido para modelos de Elementos Finitos. Um modelo representativo do sistema real pode levar a um aumento da eficiÃncia da estrutura e a uma reduÃÃo das margens de seguranÃa de projeto relacionadas a carregamentos externos. ConseqÃentemente, a precisÃo e confiabilidade destes modelos torna
Publicado em: 2006
-
7. Uso do processo unificado para o desenvolvimento de sistemas de jogos de guerra na ForÃa AÃrea Brasileira.
A HistÃria tem mostrado, ao longo dos sÃculos, como a guerra tem sido o exame dos povos, tornando-se um ponto crÃtico de decisÃo para os envolvidos Tal importÃncia, associada à complexidade do mundo moderno e aos orÃamentos cada vez menores em todos os paÃses tem tornado fundamental o emprego de simulaÃÃes e, em particular, de Jogos de Guerra. Essa
Publicado em: 2005
-
8. Replay : anÃlise e depuraÃÃo de sistemas multiagente baseado em conhecimento lÃgico orientado a objetos, com aplicaÃÃo a Robocup
In recent years, many different methodologies and tools for Agent-Oriented Software Engineering have been proposed. Yet, almost all of them deal only with a restricted sub-class of Multi-Agent Systems (MAS): those composed of agents whose sensors and effectors are limited to the exchange of messages with other agents, and those whose reasoning is purely reac
Publicado em: 2005
-
9. InduÃÃo de programas lÃgicos orientados a objetos
Em muitas de suas aplicaÃÃes prÃticas â tais como Processamento de Linguagem Natural(PLN), CASE, sistemas especialistas em domÃnios complexos, ontologias de Web semÃntica e Descoberta de conhecimento em banco de dados(KDD) - ProgramaÃÃo em LÃgica Indutiva(PLI) nÃo à usada para substituir, mas para complementar aquisiÃÃo de conhecimento manual. U
Publicado em: 2003
-
10. Uma arquitetura de um coprocessador criptogrÃfico para o algoritmo Advanced Encryption Standard.
O processo de seleÃÃo de um novo padrÃo para criptografia de dados promovido pelo governo norte-americano, denominado Advanced Encryption Standard - AES, resultou na escolha do algoritmo Rijndael. Este cifrador trabalha com blocos de 128 bits e chave criptogrÃfica de 128, 192 ou 256 bits. Espera-se que este novo padrÃo seja amplamente adotado pela inici
Publicado em: 2002
-
11. ContribuiÃÃes à sÃntese automÃtica de processadores para lÃgica nebulosa.
Este trabalho dedicou-se ao estudo da sÃntese automÃtica de processadores nebulosos dedicados. Inicialmente foi desenvolvido um conjunto de relaÃÃes para a sÃntese de retas no domÃnio digital. O objetivo destas relaÃÃes foi estabelecer quais as operaÃÃes envolvidos na sÃntese de uma reta, para funÃÃes com um nÃmero genÃrico de bits. Com base n
Publicado em: 1998
-
12. ContribuiÃÃes para o dimensionamento de fontes de freqÃÃncia sintetizadas.
Fontes sintetizadas sÃo subsistemas presentes em muitos sistemas de microondas empregados em Ãreas como telecomunicaÃÃes, instrumentaÃÃo e lÃgica rÃpida. Estes subsistemas sÃo responsÃveis pela geraÃÃo de sinais com alta estabilidade em freqÃÃncia, senoidais ou nÃo, e sÃo formados por diversos circuitos interconectados. Dentre estes circuitos
Publicado em: 1998