Implementação de um provador automático de teoremas com paralelismo

Detalhes bibliográficos
Ano de defesa: 1990
Autor(a) principal: Marcel Antoine Becker
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Instituto Tecnológico de Aeronáutica
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Processamento em paralelo (computadores)
Prova de teorema
Prolog (linguagem de programação)
Programação lógica
Linguagens de programação
Computação
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1463
Resumo: É apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatível com IBM-PC XT/AT. A versão paralela foi implementada para ser executada no processador preferencial de Telebrás, onde a comunicação entre os processos é efetuada por troca de mensagens. O sistema permite a execução de uma dedução com um número qualquer de processadores sem que seja necessária uma hierarquização rígida dos processos, ou seja, não existe o conceito de "produtor"e "consumidor".A troca de mensagens é efetuada através da utilização de procedimentos de comunicação especialmente desenvolvidas para máquina a ser utilizada.
id ITA_7a5d74a3cff15282a18e1705f6661756
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1463
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Implementação de um provador automático de teoremas com paralelismoProcessamento em paralelo (computadores)Prova de teoremaProlog (linguagem de programação)Programação lógicaLinguagens de programaçãoComputaçãoÉ apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatível com IBM-PC XT/AT. A versão paralela foi implementada para ser executada no processador preferencial de Telebrás, onde a comunicação entre os processos é efetuada por troca de mensagens. O sistema permite a execução de uma dedução com um número qualquer de processadores sem que seja necessária uma hierarquização rígida dos processos, ou seja, não existe o conceito de "produtor"e "consumidor".A troca de mensagens é efetuada através da utilização de procedimentos de comunicação especialmente desenvolvidas para máquina a ser utilizada.Instituto Tecnológico de AeronáuticaNizam OmarMarcel Antoine Becker1990-03-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1463reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:02:41Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1463http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:36:22.786Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Implementação de um provador automático de teoremas com paralelismo
title Implementação de um provador automático de teoremas com paralelismo
spellingShingle Implementação de um provador automático de teoremas com paralelismo
Marcel Antoine Becker
Processamento em paralelo (computadores)
Prova de teorema
Prolog (linguagem de programação)
Programação lógica
Linguagens de programação
Computação
title_short Implementação de um provador automático de teoremas com paralelismo
title_full Implementação de um provador automático de teoremas com paralelismo
title_fullStr Implementação de um provador automático de teoremas com paralelismo
title_full_unstemmed Implementação de um provador automático de teoremas com paralelismo
title_sort Implementação de um provador automático de teoremas com paralelismo
author Marcel Antoine Becker
author_facet Marcel Antoine Becker
author_role author
dc.contributor.none.fl_str_mv Nizam Omar
dc.contributor.author.fl_str_mv Marcel Antoine Becker
dc.subject.por.fl_str_mv Processamento em paralelo (computadores)
Prova de teorema
Prolog (linguagem de programação)
Programação lógica
Linguagens de programação
Computação
topic Processamento em paralelo (computadores)
Prova de teorema
Prolog (linguagem de programação)
Programação lógica
Linguagens de programação
Computação
dc.description.none.fl_txt_mv É apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatível com IBM-PC XT/AT. A versão paralela foi implementada para ser executada no processador preferencial de Telebrás, onde a comunicação entre os processos é efetuada por troca de mensagens. O sistema permite a execução de uma dedução com um número qualquer de processadores sem que seja necessária uma hierarquização rígida dos processos, ou seja, não existe o conceito de "produtor"e "consumidor".A troca de mensagens é efetuada através da utilização de procedimentos de comunicação especialmente desenvolvidas para máquina a ser utilizada.
description É apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatível com IBM-PC XT/AT. A versão paralela foi implementada para ser executada no processador preferencial de Telebrás, onde a comunicação entre os processos é efetuada por troca de mensagens. O sistema permite a execução de uma dedução com um número qualquer de processadores sem que seja necessária uma hierarquização rígida dos processos, ou seja, não existe o conceito de "produtor"e "consumidor".A troca de mensagens é efetuada através da utilização de procedimentos de comunicação especialmente desenvolvidas para máquina a ser utilizada.
publishDate 1990
dc.date.none.fl_str_mv 1990-03-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1463
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1463
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do ITA
instname:Instituto Tecnológico de Aeronáutica
instacron:ITA
reponame_str Biblioteca Digital de Teses e Dissertações do ITA
collection Biblioteca Digital de Teses e Dissertações do ITA
instname_str Instituto Tecnológico de Aeronáutica
instacron_str ITA
institution ITA
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica
repository.mail.fl_str_mv
subject_por_txtF_mv Processamento em paralelo (computadores)
Prova de teorema
Prolog (linguagem de programação)
Programação lógica
Linguagens de programação
Computação
_version_ 1706804994158624768

Registros relacionados