[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL 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 c...
| Autor: | |
|---|---|
| Formato: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2009 |
| País: | Brasil |
| Recursos: | Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO) |
| Repositorio: | Repositório Institucional da PUC-RIO (Projeto Maxwell) |
| Idioma: | portugués |
| OAI Identifier: | oai:MAXWELL.puc-rio.br:14259 |
| Acesso em linha: | 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 |
| Access Level: | acceso abierto |
| Palavra-chave: | [pt] LOGICA PROPOSICIONAL [pt] LOGICA DE PREDICADOS [en] PROPOSITIONAL LOGIC |
| 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. |
|---|