Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

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

Estudio de la vía intraperitoneal y sus células presentadoras de antígenos en la inducción de tolerancia a EAE

La Esclerosis Múltiple es una de las enfermedades autoinmunes del Sistema Nervioso Central más frecuentes en adultos jóvenes. Un modelo experimental de la misma es la Encefalomielitis Autoinmune Experimental (EAE). Numerosos trabajos demuestran que en EAE, los clones patogénicos capaces de transferir la enfermedad son células T cooperadoras tipo 1 (Th1), mientras que las células T cooperadoras tipo 2 (Th2) actuarían como clones protectivos. Debido a las funciones opuestas de estas dos poblaciones existe la posibilidad de que la desregulación inmune asociada a Esclerosis Múltiple y su modelo experimental EAE se relacione a un desbalance Th1-Th2. La célula presentadora de antígeno (CPA), la dosis de antígeno, su ruta de entrada, el tipo de interleuquina presente en el medio, las moléculas co-estimulatorias de la CPA, etc., son fundamentales para la inducción de poblaciones Th1 ó Th2. Las estrategias terapéuticas actuales intentan suprimir la enfermedad administrando el autoantígeno por distintas vías, como por ejemplo la vía oral, intragástrica, endovenosa, etc. La inducción de tolerancia utilizando la vía intraperitoneal (ip) no ha sido muy explorada. Recientemente hemos iniciado una nueva línea de trabajo en la cual se suprimió la EAE inyectando i.p. antígenos de mielina en días previos a la inmunización. El objetivo de este proyecto será estudiar la vía i.p. y las CPA peritoneales en la inducción de supresión de la EAE. Se analizará: 1) El mecanismo inmunológico por el cual se induce supresión al inyectar antígenos de mielina por la vía i.p., estudiando si en los animales suprimidos se genera un estado de anergia al autoantígeno y/o células capaces de regular negativamente la respuesta autoinmune. 2) Si las CPA peritoneales pulsadas in vivo con antígenos de mielina al ser transferidas a animales receptores singénicos en días previos a la inmunización con mielina bovina son capaces de inducir supresión de la respuesta autoinmune en los animales receptores. 3) El fenotipo de las CPA peritoneales ya que se sabe que CPA que expresen determinadas moléculas de superficie tales como antígenos del Complejo Mayor de Histocompatibilidad, moléculas de adhesión, moléculas coestimulatorias, etc., participan activamente en el destino final de la respuesta inducida.

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.

VACUNAS: estudio de un sistema portador (nanoestructura) del adyuvante CpG-ODN para la inducción de una respuesta inmune

Numerosas sustancias fueron ensayadas como adyuvantes de vacunas pero sólo un número reducido se utiliza en veterinaria y humanos (1) (2). El “aluminio” es el único aprobado por la FDA para humano (3). Es seguro pero débil cuando se utiliza como inmunógeno proteínas recombinantes (4) y no genera Th1 y CTL (5-7). Las vacunas de nueva generación trajeron aparejado el advenimiento de una nueva generación de adyuvantes, entre ellos los CpG-ODN. Este adyuvante induce respuesta humoral, Th1 y CTL (8). CpG-ODN se utiliza en humanos, en muchos casos con éxito (“trials” clínicos en fase I-III). Un beneficio adicional es su habilidad de desarrollar una respuesta inmune efectiva en grupos que responden poco a la vacunación (neonatos, ancianos e inmunosuprimidos) (9-12). Sin embargo, a pesar de que existe plena evidencia que CpG-ODN tienen potente actividad como adyuvante, se visualizan varios problemas (vida media corta, biodistribución y farmacocinética no favorable, alta unión a proteínas plasmáticas, baja internalización celular y efectos independientes de la secuencia CpG (13)) que hacen que su biodisponibilidad sea reducida, hecho que representa una limitación para su uso clínico. Debido a esto, se han estudiado diferentes estrategias para formular CpG-ODN (liposomas, nano/micropartículas de lípidos catiónicos o polímeros biodegradables y emulsiones) (14-19). Estos sistemas han mejorado la actividad inmunoestimulatoria de CpG-ODN, sin embargo adolecen de problemas como son la imposibilidad de síntesis en escala comercial y la toxicidad observada sobre todo con las matrices catiónicas (20). Nosotros proponemos utilizar sistemas nanoestructurados de cristales líquidos formados a partir de ésteres del ácido ascórbico (coageles) como vehículo de CpG-ODN con el fin de promover un aumento de su actividad biológica. Utilizaremos la nanoestructura del ester formado entre el ácido ascórbico y ácido palmítico (coagel ASC16). Nuestros estudios previos indican que el coagel ASC16 aumenta la actividad adyuvante de CpG-ODN ya que ratones inmunizados con OVA/CpG-ODN/coagel ASC16 desarrollaron mayores títulos de anticuerpos (IgG, IgG1 e IgG2a) e IFNg que aquellos animales tratados con OVA/CpG-ODN. El coagel ASC16 ofrece varias ventajas como biomaterial para la preparación de vehículo: a)sus componentes son biodegradables (vitamina C, ácido graso esencial), b)la vitamina C conserva sus propiedades antioxidantes y es clasificada por la FDA como un antioxidante natural y seguro, c)es bien tolerado fisiológicamente y d)es posible desde el punto de vista técnico producirlo en gran escala. Hipótesis: creemos que con esta estrategia de vehiculización lograríamos la/s siguientes ventajas: a)aumentar la vida media de CpG-ODN aumentando la resistencia a nucleasas y/o logrando que CpG-ODN permanezca mayor tiempo tanto en el sitio de inyección como en los tejidos donde se induce la respuesta inmune, b)aumentar la internalización celular de CpG-ODN y del antígeno por células presentadoras de antígeno, c)crear un efecto “depot” (liberación sostenida en el tiempo) en el sitio de inyección. Objetivos: 1)evaluar la capacidad adyuvante de CpG-ODN vehiculizado en el coagel ASC16 2)estudiar el mecanismo por el cual el coagel ASC16 mejora la actividad adyuvante de CpG-ODN. Estudiaremos la influencia del coagel sobre CpG-ODN en la farmacocinética, biodistribución, “up-take” y activación celular, protección de nucleasas y liberación sostenida en el tiempo (“depot”). Además se evaluará si el coagel tiene actividad inflamatoria “per se”. Si bien aquí contemplamos el estudio de CpG-ODN en animales, hay que tener en cuenta que CpG-ODN tiene una alta posibilidad de ser aprobado para uso humano en un tiempo cercano. Esperamos establecer que CpG-ODN está apropiadamente formulado en el coagel, punto de partida para el desarrollo de un nuevo sistema portador de adyuvantes. Asi, la información obtenida podría constituir una plataforma para nuevos desarrollos biotecnológicos.

Compartamentalización de la respuesta inmune frente a patógenos: Rol en el control del proceso infecciosos y en la inducción de autoinmunidad.

El objetivo general del presente proyecto es evaluar las interacciones patógeno-huésped en microambientes particulares a fin de establecer la participación de los mecanismos inmunes locales en el control del proceso infeccioso, el efecto de estas interacciones en la homeostasis tisular, el quiebre de los mecanismos de tolerancia y su asociación a la inducción de procesos autoinmunes. Dos patologías infecciosas serán motivo de nuestro estudio, la infección por Candida albicans como modelo de activación de mecanismos innatos locales y respuesta protectiva y la infección urogenital por Chlamydia trachomatis como factor desencadenante de procesos autoinmunes en individuos susceptibles. En el abordaje de esta temática se transfiere la experiencia previa de los investigadores de este grupo en las áreas de enfermedades infecciosas, mecanismos innatos de defensa e inmunoregulación de respuesta autoinmune a la resolución de los interrogantes abiertos sobre estas patologías. El objetivo general será abordado mediante el desarrollo de tres objetivos específicos. I- Estudio de los eventos etiotatogénicos en Candidiasis cerebral: Rol del receptor de beta-glucanos Dectin-1 en la activación de las células gliales frente a Candida albicans. II: Estudio de los eventos etiopatogénicos a nivel hepático durante la infección por C. albicans: rol de la activación de los LI NKT. III-Estudio de las consecuencias patogenicas de la infección por Cm en individuos susceptibles o no a desarrollar prostatitis autoinmune (PA).