Desenvolvimento de funções de lógica difusa para PLC

Este trabalho pretende preencher uma lacuna no controlo difuso em todos os autómatos/controladores que usam a plataforma Codesys para a sua programação. Começando por um levantamento histórico e a respetiva compreensão do que é a lógica difusa até à análise do que existe no mercado nos dias de hoje. Será realizada uma abordagem do que é a plataforma Codesys e a utilização da norma IEC61131-3. Sendo efetuada também uma análise da norma IEC61131-7 que explica como deve ser realizado o controlo difuso em PLC. Para colmatar a lacuna existente foi desenvolvido um software tendo por base a plataforma Codesys e validado e testado com o software SoMachine da Schneider Electric. Esse software será devidamente descrito para ser entendido de uma forma fácil.

O fundamento hegeliano do direito penal e a lógica da pena

pp. 235-259

Curiosidade sobre a teoria lógica da identidade

pp. 61-75

Detecção remota em meio urbano: teste com classificadores supervisionados a nível do pixel sobre imagens de alta resolução espacial aplicados numa lógica hierárquica de classes

Dissertação de Mestrado em Gestão do Território, Área de Especialização em Detecção Remota e Sistemas de Informação Geográfica

A ideia de forma lógica e a sua aplicação ao estudo das linguagens naturais

A linguagem é, para os humanos, um órgão privilegiado de comunicação e de conhecimento. Como é que este órgão realiza essa sua dupla função, comunicar e conhecer, é uma questão difícil e fascinante, cuja resposta envolve inúmeros aspectos. Destes aspectos, a Lógica apenas fornece elementos para esclarecer aqueles que dependem das noções de verdade, consistência e conseqüência, ou de noções derivadas destas. E mesmo relativamente a estas noções, a Lógica apenas determina a relação que elas têm com a forma lógica das frases (ver §2). Apesar da contribuição da Lógica para a questão de saber como é que a linguagem realiza as suas funções de comunicar e conhecer ser, assim, restrita, ela não é menor. A Lógica é uma disciplina científica, formulável como uma teoria sistematizada, teoria cujas propriedades são (na sua maioria) conhecidas através de resultados demonstrados.

Formalização lógica da narrativa e força referencial

A pretensa formalização lógico-gramatical da narrativa (Propp 1928; Todorov 1969; Genette 1972; Bremond 1973; Chatman 1978; Prince 1973 e 1980), que não deixa de estar infectada de psicologismo - terá cometido Antígona, ao enterrar o seu irmão Polineices, em obediência à "lei não escrita" que negava a autoridade positiva do rei Creonte, uma transgressão ou uma restituição! -, passou por alto a sua estmtura referencial. Bremond, que lida com grupos abertos como se estivesse a lidar com grupos fechados, fundamenta a sua tipologia narrativa nos diferentes meios de realização de processos de mediação ou transformação, tratando de formalizar "le réseau complet des options logiquement offertes à un narrateur, pour continuer Thistoire commencée" (1973: 8), conquanto tal formalização, ao depender de um grupo aberto de variáveis livres, não possa ser devidamente estmturada. Acresce que os processos de melhoramento ou de empioramento apontados por Bremond não nos parecem corresponder a paradigmas estritamente lógicos, e consequentemente abstractos, das situações narrativas. Trata-se de paradigmas psicológicos e culturais convencionalmente determinados e, por conseguinte, sumidos na relatividade. E difícil encerrar as opções pragmáticas nos conjuntos fechados exigidos por qualquer tipo de formalização lógica.

A lógica matemática da arte ornamental: uma relação de equivalência a partir da estrutura atômica dos cristais

Fundamentado na conceituação estética entre os conceitos de conteúdo e forma pretende-se estabelecer uma relação de analogia entre ornamentos e cristais. Com o objetivo de construir uma investigação de cunho teórico relacionando a dinâmica que ocorre nos átomos dos cristais aos intervalos simétricos dos padrões ornamentais, procura-se traçar uma linha de raciocínio que vai desde a Idéia de Platão e a poiésis aristotélica, até a ampliação filosófica de Hegel, que admite a estética como uma ciência da arte integrada num processo metafísico. Inerente a este questionamento propõe-se, em termos de inter-relação entre estética e metafísica, conteúdo como sendo princípio inteligente, energia, e forma como elemento primitivo, matéria, a fim de evidenciar a possibilidade de calcular as mesmas simetrias presentes tanto nas artes ornamentais como na natureza.

Os morgadios dos Nogueiras: entre a estratégia de poder e a lógica documental

Fundação para a Ciência e a Tecnologia Fundação Casa de Mateus

Análise de Contexto e Lógica do Projecto Europeu "Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm sexo com Homens - SIALON II". Estudo de caso na Região de Lisboa e Península de Setúbal.

A avaliação de projectos na área do VIH permite gerar informação pertinente para que os gestores consigam adaptar as intervenções ao tipo de população-alvo. Organizações internacionais como a ONUSIDA e a OMS têm trabalhado na elaboração de documentos de referência que orientem os processos de avaliação, mas continua a existir escassez de estudos sobre os efeitos e impacto das intervenções no âmbito do VIH. À semelhança de muitos países europeus, em Portugal tem-se registado um aumento da proporção de casos de infecção pelo VIH na comunidade de HSH. Este panorama alerta para a necessidade de se investir na intervenção, nomeadamente no acesso à informação, à prevenção da doença e ao acesso aos cuidados de saúde. O presente trabalho teve como principal objectivo realizar um estudo de avaliabilidade do projecto europeu “Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm Sexo com Homens – SIALON II”. Para a elaboração deste estudo recorreu-se a uma abordagem de estudo de caso, uma vez que é o tipo de estudo mais indicado na pesquisa qualitativa para a elaboração de avaliações em saúde. A recolha de dados para a realização da análise de contexto, construção do modelo lógico do projecto e respectiva validação foi feita através da análise de dados secundários recolhidos na fase de pesquisa formativa do projecto, de análise documental e da realização de entrevistas a informadores-chave. Da análise de contexto foi possível verificar que as associações da comunidade local têm tido um papel activo na participação em projectos que proporcionaram, nos últimos anos, a recolha de dados bio-comportamentais e na organização de campanhas de prevenção junto da comunidade HSH. A par do contexto legislativo nacional alguns estudos desenvolvidos na temática da discriminação e estigma indicam que ainda existem problemas desta índole contra a comunidade LGBT em Portugal. A construção do modelo lógico e a respectiva validação junto de informadores-chave representou a coerência lógica entre os recursos, as actividades, os produtos e os resultados intermédios e finais do projecto europeu. Os recursos financeiros são escassos e apesar da sobrecarga de trabalho os recursos humanos encontram-se motivados. O ponto forte do projecto é a oportunidade de se conhecer melhor a população HSH, enquanto as fragilidades passam pela questão do financiamento e dos problemas de estigma e preconceito face à homossexualidade e ao VIH. O principal factor do contexto apresentado que podia influenciar a implementação do projecto na área de estudo foi a questão da mentalidade e da pouca abertura por parte da comunidade em falar da sua saúde sexual. Com a implementação do projecto espera-se que a população HSH se sinta sensibilizada para esta problemática e que o teste ao VIH comece a fazer parte de uma rotina de controlo e acompanhamento regular. Recomenda-se o estudo da não aceitação em participar no projecto por parte dos proprietários dos locais de encontro gay; a introdução de avaliação contínua no ciclo de vida dos projectos; a promoção do envolvimento da comunidade na avaliação de impacto das intervenções em saúde; e a reavaliação da alocação de recursos para a sustentabilidade da participação das organizações da comunidade nos projectos. Palavras-chave: VIH, Estudo de avaliabilidade, Análise de Contexto, Análise Lógica, Modelo Lógico.

Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

La lógica de la protección: la identificación de los sujetos protegidos por el derecho del trabajo. Los aportes de la enseñanza social de la iglesia a esta rama del derecho. La protección de los trabajadores del sector informal. Realidad y prospectiva.

El nuevo escenario de las relaciones laborales, se afirma, ha puesto en crisis el concepto de “dependencia” el cual no resulta ya eficaz para identificar al sujeto a proteger en el contrato de trabajo. Si la tesis es verdadera se afecta la toma de decisiones institucionales en el derecho del trabajo para el nuevo escenario, desde que aquel concepto tiene la función de individualización del sujeto “trabajador” para la imputación de los derechos y obligaciones. Sin embargo, parecería que lo que está detrás de un aparente problema conceptual tiene que ver más con una decisión valorativa en relación con el alcance de la “protección” que las leyes deberían garantizar a los trabajadores. En otras palabras, las discusiones en torno al concepto de “dependencia” están en función de la elección y configuración de las propiedades relevantes que caracterizan lógicamente al sujeto de protección: según se decida y conozca por “sujeto a proteger”, serán los diferentes modos de entender la “dependencia”. Si lo anterior se acepta, la doctrina social de la Iglesia como una ética crítica (justificada) tiene fuerte razones para intervenir en el debate y en la construcción del concepto de “dependencia” como una aporte a la toma de decisiones institucionales.

Optimización de Arquitecturas de Procesamiento Digital de Señales en Lógica Programable para Aplicaciones en Vuelos No Tripulados

En dispositivos electrónicos de última generación destinados a funciones de comunicación o control automático, los algoritmos de procesamiento digital de señales trasladados al hardware han ocupado un lugar fundamental. Es decir el estado de arte en el área de las comunicaciones y control puede resumirse en algoritmos basados en procesamiento digital de señales. Las implementaciones digitales de estos algoritmos han sido estudiadas en áreas de la informática desde hace tiempo. Sin embargo, aunque el incremento en la complejidad de los algoritmos modernos permite alcanzar desempeños atractivos en aplicaciones específicas, a su vez impone restricciones en la velocidad de operación que han motivado el diseño directamente en hardware de arquitecturas para alto rendimiento. En este contexto, los circuitos electrónicos basados en lógica programable, principalmente los basados en FPGA (Field-Programmable Gate Array), permiten obtener medidas de desempeño altamente confiables que proporcionan el acercamiento necesario hacia el diseño electrónico de circuitos para aplicaciones específicas “ASIC-VLSI” (Application Specific Integrated Circuit - Very Large Scale Integration). En este proyecto se analiza el diseño y la implementación de aquitecturas electrónicas para el procesamiento digital de señales, con el objeto de obtener medidas reales sobre el comportamiento del canal inalámbrico y su influencia sobre la estimación y el control de trayectoria en vehículos aéreos no tripulados (UAV, Unmanned Aerial Vehicle). Para esto se propone analizar un dispositivo híbrido basado en microcontroladores y circuitos FPGA y sobre este mismo dispositivo implementar mediante algoritmo un control de trayectoria que permita mantener un punto fijo en el centro del cuadro de una cámara de video a bordo de un UAV, que sea eficiente en términos de velocidad de operación, dimensiones y consumo de energía.

Regulación del proceso de secado de embutidos crudos-curados mediante la aplicación de lógica borrosa (fuzzy logic)

El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.