O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

Seminario para optar al grado de Ingeniero Comercial, Mención Administración / Autores no autorizan el acceso a texto completo de su documento / El presente trabajo, continúa con la línea de investigación relativa a modelos predictivos, como las técnicas de algoritmos genéticos y redes neuronales, media móvil, momentum, modelos Arima etc.; en este caso para los ADR pertenecientes a Asia, Europa y Latinoamérica. Todos Estos modelos anteriores, paramétricos o no paramétricos, lineales y no lineales, buscan reconocer patrones de comportamiento y relaciones que se expresan en un lenguaje matemático, a través de la estimación de coeficientes y su significancia estadística. Sin embargo, el actual trabajo se ha adoptado un enfoque distinto. En vez de utilizar operadores matemáticos sobre datos, optimizando los polinomios predictores en forma matemática, se han utilizado los datos para construir un modelo que permita traducir un razonamiento aproximado a forma matemática de modo de deducir reglas de decisión basadas en la lógica reflejada en los datos históricos. Este enfoque tiene el mérito de que las predicciones siguen una lógica, más que obedecer a operaciones matemáticas. La mayoría de los agentes que participan en el mercado accionario, utiliza un lenguaje que incorpora aspectos cualitativos para referirse, por ejemplo, al precio de un activo, a la rentabilidad de la inversión, etc. En este contexto, los modelos cuantitativos tienen dificultades para absorber esta información, lo que plantea la necesidad de desarrollar y analizar el uso de nuevas técnicas que permitan incorporar este tipo de referencias. La metodología de lógica borrosa, basada en la idea de que las variables deben ser manejadas no como un número sino más bien por las características que ellas presentan, viene a dar respuesta a esta inquietud. Se utilizaron series históricas de cotizaciones de ADR pertenecientes a Europa, Asia y Latinoamérica, en el período comprendido entre el 31 de octubre de 2003 y el 22 de septiembre de. Se construyó un modelo de lógica borrosa, para efectos de probar la metodología en escenarios diferentes, en este caso de desarrollo a nivel de los continente seleccionados y así probar nuestra hipótesis “El modelo predictivo de precios accionarios, basado en la metodología de lógica borrosa, posee mayor potencial predictor en los mercados desarrollados”. La cual fue rechazada debido a que los resultados obtenidos mostraron que la metodología de Lógica Borrosa en ADR no tuvo un efecto muy significativo con respecto al nivel de desarrollo de los mercados respectivos a cada ADR. El presente trabajo se divide en cuatro secciones: la sección uno presenta un resumen de los conceptos básicos de lógica borrosa; en la sección dos se explica la teoría de los ADR; la sección tres, tiene cono objetivo entregar información practica y útil de los mercados de Asia, Latinoamérica y Europa; la sección cuatro aborda la aplicación de la metodología de la lógica borrosa en los ADR seleccionados; en la sección cinco se presentan los resultados y las conclusiones del estudio

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia / Made available in DSpace on 2013-06-25T20:50:46Z (GMT). No. of bitstreams: 1 310362.pdf: 568829 bytes, checksum: b1af401127d820b21dfe73ffbfe145ed (MD5) / Este trabalho propõe uma busca para o desenvolvimento de uma lógica deôntica mais adequada e mais fiel à linguagem ordinária. Nosso ponto central foi a análise e compreensão acerca do que é um dilema moral e o seu correspondente formal. Uma situação é considerada um dilema moral quando um sujeito deve moralmente fazer A e deve moralmente fazer B, mas não pode fazer ambas. Chegamos à conclusão, durante nossas investigações, de que quando dizemos que um sujeito não pode cumprir ambas obrigações, a impossibilidade envolvida em um dilema não é lógica, mas apenas circunstancial. Em outras palavras, as obrigações A e B não são contraditórias, mas conflitantes devido a uma característica contingente da situação. Nossa proposta é a de que dilemas podem ser traduzidos pela fórmula Op Oq (p q). A formalização de dilemas em uma lógica, na maneira como estamos interpretando, envolve operadores deônticos e aléticos. Para que o dilema pudesse ser representado desta maneira, apresentamos um sistema bimodal não normal, o qual chamamos de EMD-S4 e demonstramos teoremas de correção, completude e decidibilidade. / This paper seeks to develop a deontic logic more appropriate and faithful to ordinary language. Our focus was the analysis and understanding of what is a moral dilemma and its formal correspondent. A situation is considered a moral dilemma when a subject should morally do A and should morally do B, but cannot do both. We concluded, during our investigation, that when we say that a subject can not fulfill both obligations, the impossibility involved in a dilemma is not logical, but only circumstantial. In other words, the obligations A and B are not contradictory, but conflict due to a contingent feature of the situation. Our proposal is that dilemmas can be translated by the formula (Op ^ Oq) ^ :^(p ^ q). According to our way, the formalization of dilemmas in logic involves deontic and alethic operators. In order to represent a dilemma in this way, we present a non normal bimodal system, which we called EMD-S4, and prove for it soundness, completeness and decidability theorems.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. / Made available in DSpace on 2012-10-19T04:13:18Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:09:31Z : No. of bitstreams: 1 175006.pdf: 2542082 bytes, checksum: 82c8b633e23eb8fae307588e9b8fb04b (MD5) / A dissertação de mestrado A Indução e a Demarcação nas Epistemologias de Karl Popper e de Rudolf Carnap, apresenta, a partir do problema da indução em David Hume, duas alternativas diferentes como critério de demarcação entre ciência e não-ciência. A proposta de Popper tem como fundamento sua metodologia falseacionista ancorada na lógica dedutiva clássica, assegurando a racionalidade do método científico. Carnap, por sua vez, desenvolve um critério lingüístico de significado capaz de distinguir as sentenças científicas, ou significativas, dos enunciados metafísicos, ou pseudo-enunciados destituídos de significado cognitivo. A partir destas duas posições, discutiremos a controvérsia que se estabeleceu entre Popper e Carnap, tendo como referência o problema da reconstrução racional do conhecimento científico, já que o projeto carnapiano pressupõe a lógica indutiva.

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

Orientador: Elnatan Chagas Ferreira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-19T08:07:51Z (GMT). No. of bitstreams: 1 Ribas_RenatoPerez_M.pdf: 13467980 bytes, checksum: ec3f83a8ce797b23e4b9e071d3a2fc61 (MD5) Previous issue date: 1994 / Resumo: Este trabalho apresenta um estudo sobre os componentes de lógica programável (PLDs) e o seu uso em um ambiente de prototipagem rápida baseado na descrição esquemática genérica de circuitos digitais. O ambiente proposto visa facilitar a migração de ASICs através das formas de implementação disponíveis. Para atingir tal objetivo foi necessário realizar um estudo aprofundado sobre os PLDs de última geração e suas ferramentas de CAD, a fim de possibilitar a implantação do ambiente proposto e a análise da aplicabilidade desta tecnologia frente aos tradicionais gafe arrays e standard cells. Este ambiente encontra-se especificado, as incompatibilidade para sua implantação foram cuidadosamente avaliadas, realizou-se uma análise detalhada dos fabricantes de PLDs (seus componentes e ferramentas de projeto) e o programa para a conversão dos esquemáticos encontra-se operacional. Resta, atualmente, apenas aguardar a aquisição da ferramenta MaxPlus2 por parte do Instituto de Microeletrônica da Fundação Centro Tecnológico para Informática, onde o ambiente será instalado, para que ele esteja realmente em uso / Abstract: This work presents a study on Programmable Logic Devices (PLDs) and their use in a fast prototypingenvironment, based on a generic schematic description of digital circuits. The proposed environment looks an easy migration of ASICs through the available implementation styles. In order to reach the goals it was necessary to carry out a deep study about the last generation PLDs together with their CAD tools; this study makes possible the implantation of the proposed environment and realize an analisys about the applicability of this technology against traditional gate arrays and standard cells. Nowadays, this environment is specified. Uncomptibilities concerning with its implantation were carefully studies. Also, it was carried out an detailed analisys about PLDs (their components and design tools) and the software to schematic conversion is ready. Finally, the Microelectronic Institut of the Fundação Centro Tecnológico para Informática (CTI), where the environment will be implanted, is buying the sofware MaxPlus2 (Altera) / Mestrado / Mestre em Engenharia Elétrica

Proefschrift Universiteit van Amsterdam. / Met index, lit. opg. - Met samenvatting in het Nederlands.

[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.

Proefschrift Universiteit van Amsterdam. / Met index, lit. opg. - Met samenvatting in het Engels.