Buscar
Mostrando ítems 1-10 de 353
Análise da lógica descritiva como recurso informacional: um exemplo de aplicação na cardiologiaDescription logics as information resource: as example of its application in cardiology
(Fundação Oswaldo Cruz. Instituto de Comunicação e Informação Científica e Tecnológica em Saúde., 2017)
Um método para transcrição de termos biomédicos e um protótipo de ferramenta didática para ensino de lógica em ontologia aplicada
(Universidade Federal de Minas GeraisUFMG, 2017-06-22)
The field of applied ontology is increasing due to modernization of information systems and need of its semantization, that includes from specialist domains to the web. So is done a great effort to formalize the contents ...
Implementação de um algoritmo de comunicação embarcado em dispositivo lógico programável com aplicação de técnica de multiplexação em frequência
(Universidade Tecnológica Federal do ParanáToledo, 2014-08-04)
This paper describes the process of implementation in VHDL (VHSIC Hardware Description Language) of a communication algorithm with applications of OFDM (Orthogonal Frequency-Divide Multiplexing) technique and QAM (Quadrature ...
Controlador Fuzzy em FPGA para aplicação em sistemas inteligentes de navegação
(Universidade Tecnológica Federal do ParanáCampo MouraoBrasilDepartamento Acadêmico de EletrônicaEngenharia EletrônicaUTFPR, 2018-08-10)
This work proposes the development and implementation of an intelligent navigation system using fuzzy logic, developed in the hardware description language VHDL, and its implementation using the development software Quartus ...
Certificação de composições de serviços web semânticos
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2014-07-29)
This thesis presents a certification method for semantic web services compositions which
aims to statically ensure its functional correctness. Certification method encompasses
two dimensions of verification, termed base ...
Implementação de modelos de redes de Petri em hardware de lógica reconfigurável
(Universidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2011-12-15)
In this research work, was performed a study of main types of hardware modeling tools searching to verify the advantages of utilizing for modeling dynamic and concurrent systems and for its hardware implementation. It was ...
Vantagens e limitações das ontologias formais na área biomédicaStrengths and limitations of formal ontologies in the biomedical domain
(Fundação Oswaldo Cruz. Instituto de Comunicação e Informação Científica e Tecnológica em Saúde., 2017)
Desenvolvimento de módulos parametrizáveis de processador Fuzzy visando o projeto de aplicações embarcadas em FPGA
(Universidade Estadual Paulista (Unesp), 2016-12-22)
This work reports the development stages of a library of virtual modules that can be used in the implementation of Fuzzy Logic-based processors implemented in VHDL for synthesis in an FPGA component. First, a brief study ...