[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: MARIO HUMBERTO ANTONIO TASCHERI D AUSILIO
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: MAXWELL
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:
[pt] LOGICA PROPOSICIONAL
[pt] LOGICA DE PREDICADOS
[en] PROPOSITIONAL LOGIC
Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=2
http://doi.org/10.17771/PUCRio.acad.14259
Resumo: [pt] Neste trabalho investigou-se o emprego dos recentes algoritmos de minimização de funções não diferenciáveis para a resolução do problema da síntese de filtros digitais FIR de fase não linear. O problema desta síntese correspondente a um problema de Aproximações de Funções quando o domínio e o contradomínio da função são corpos diferentes, i.e. real e complexo respectivamente. Serão revistos definições e propriedades dos filtros FIR, as técnicas de síntese para o caso de resposta de fase linear e não linear, para a seguir, apresentar a teoria e implementação da Otimização de Funções não Diferenciáveis. Exemplos e extensões desta teoria também serão apresentados.
id PUC_RIO-1_df1b16cdbe23de7d567acd6cdb43964c
oai_identifier_str oai:MAXWELL.puc-rio.br:14259
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str
spelling [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC [pt] UM SISTEMA INTERATIVO PARA AUXÍLIO AO ESTUDO DA LÓGICA FORMAL [pt] LOGICA PROPOSICIONAL[pt] LOGICA DE PREDICADOS[en] PROPOSITIONAL LOGIC[pt] Neste trabalho investigou-se o emprego dos recentes algoritmos de minimização de funções não diferenciáveis para a resolução do problema da síntese de filtros digitais FIR de fase não linear. O problema desta síntese correspondente a um problema de Aproximações de Funções quando o domínio e o contradomínio da função são corpos diferentes, i.e. real e complexo respectivamente. Serão revistos definições e propriedades dos filtros FIR, as técnicas de síntese para o caso de resposta de fase linear e não linear, para a seguir, apresentar a teoria e implementação da Otimização de Funções não Diferenciáveis. Exemplos e extensões desta teoria também serão apresentados.[en] This work will describes the use of the recent techniques of non smooth optimization to the synthesis of non-linear phase FIR filters. The problem of such synthesis corresponds to a problem of Approximation of Functions when the domain and the image sets of the function are different fields, i.e. real and complex respectively. A revision of the theory of FIR filters with a survey of the linear and non linear phase usual synthesis non-smooth optimization theory and implementation. Together with design examples will follow. An extension of these theories will be suggested.MAXWELLGERALDO FERNANDO GUIDACCI DA SILVEIRAMARIO HUMBERTO ANTONIO TASCHERI D AUSILIO2009-09-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=2http://doi.org/10.17771/PUCRio.acad.14259porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2018-09-03T00:00:00Zoai:MAXWELL.puc-rio.br:14259Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342018-09-03T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
[pt] UM SISTEMA INTERATIVO PARA AUXÍLIO AO ESTUDO DA LÓGICA FORMAL
title [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
spellingShingle [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
MARIO HUMBERTO ANTONIO TASCHERI D AUSILIO
[pt] LOGICA PROPOSICIONAL
[pt] LOGICA DE PREDICADOS
[en] PROPOSITIONAL LOGIC
title_short [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
title_full [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
title_fullStr [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
title_full_unstemmed [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
title_sort [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
author MARIO HUMBERTO ANTONIO TASCHERI D AUSILIO
author_facet MARIO HUMBERTO ANTONIO TASCHERI D AUSILIO
author_role author
dc.contributor.none.fl_str_mv GERALDO FERNANDO GUIDACCI DA SILVEIRA
dc.contributor.author.fl_str_mv MARIO HUMBERTO ANTONIO TASCHERI D AUSILIO
dc.subject.por.fl_str_mv [pt] LOGICA PROPOSICIONAL
[pt] LOGICA DE PREDICADOS
[en] PROPOSITIONAL LOGIC
topic [pt] LOGICA PROPOSICIONAL
[pt] LOGICA DE PREDICADOS
[en] PROPOSITIONAL LOGIC
description [pt] Neste trabalho investigou-se o emprego dos recentes algoritmos de minimização de funções não diferenciáveis para a resolução do problema da síntese de filtros digitais FIR de fase não linear. O problema desta síntese correspondente a um problema de Aproximações de Funções quando o domínio e o contradomínio da função são corpos diferentes, i.e. real e complexo respectivamente. Serão revistos definições e propriedades dos filtros FIR, as técnicas de síntese para o caso de resposta de fase linear e não linear, para a seguir, apresentar a teoria e implementação da Otimização de Funções não Diferenciáveis. Exemplos e extensões desta teoria também serão apresentados.
publishDate 2009
dc.date.none.fl_str_mv 2009-09-29
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=2
http://doi.org/10.17771/PUCRio.acad.14259
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14259&idi=2
http://doi.org/10.17771/PUCRio.acad.14259
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.publisher.none.fl_str_mv MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1856395904061276160

Registros relacionados