Desenvolupament d'un entorn virtual orientat a la didàctica de la Lògica Computacional i Estructura i Tecnologia de Computadors

En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

Publicação de linked data: o caso de uso Pordata

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Detección precoz de dificultades en el aprendizaje. Herramienta para la predicción del rendimiento de los estudiantes

Inspirados por las estrategias de detección precoz aplicadas en medicina, proponemos el diseño y construcción de un sistema de predicción que permita detectar los problemas de aprendizaje de los estudiantes de forma temprana. Partimos de un sistema gamificado para el aprendizaje de Lógica Computacional, del que se recolectan masivamente datos de uso y, sobre todo, resultados de aprendizaje de los estudiantes en la resolución de problemas. Todos estos datos se analizan utilizando técnicas de Machine Learning que ofrecen, como resultado, una predicción del rendimiento de cada alumno. La información se presenta semanalmente en forma de un gráfico de progresión, de fácil interpretación pero con información muy valiosa. El sistema resultante tiene un alto grado de automatización, es progresivo, ofrece resultados desde el principio del curso con predicciones cada vez más precisas, utiliza resultados de aprendizaje y no solo datos de uso, permite evaluar y hacer predicciones sobre las competencias y habilidades adquiridas y contribuye a una evaluación realmente formativa. En definitiva, permite a los profesores guiar a los estudiantes en una mejora de su rendimiento desde etapas muy tempranas, pudiendo reconducir a tiempo los posibles fracasos y motivando a los estudiantes.

Resolução do problema do escalonamento da produção de energia eléctrica usando programação lógica por restrições

A operação dos Mercados de Energia Eléctrica passa, actualmente, por uma profunda reestruturação, com o principal foco nas transacções do sistema de transmissão entre os diferentes agentes. Tendo isso em conta, o serviço de transmissão neste novo esquema de funcionamento do Mercado de Energia Eléctrica deve ser provido de máxima eficiência económica, atendendo sempre às restrições de segurança do sistema. Com esta reorganização do sector eléctrico da última década surgiu também a necessidade de rever os modelos tradicionais de optimização económica do Sistema Eléctrico de Energia, como por exemplo o despacho e prédespacho (unit commitment). A reestruturação e liberalização dos mercados de energia eléctrica trouxeram novas restrições a alguns dos problemas tradicionais associados aos Sistemas Eléctricos de Energia. Um desses problemas é o Escalonamento da Produção de Energia Eléctrica, que no contexto actual, implica quase sempre negociação entre os diferentes agentes do mercado e consequentemente reescalonamento. A maioria dos métodos usados para a resolução do problema não permitem reformular o prédespacho, algo para que a Programação Lógica por Restrições é extremamente adequada. O trabalho desenvolvido nesta dissertação visa criar uma aplicação computacional com base na Programação Lógica por Restrições, através da plataforma ECLiPSe, para resolver o problema do Escalonamento da Produção de Energia Eléctrica dos grupos térmicos, demonstrando assim a versatilidade e flexibilidade deste tipo de programação aplicada a problema combinatoriais deste género.

A bilhética dos transportes de passageiros na nuvem computacional

Relatório de Projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Internet na educação: contributo para a construção de redes educativas com suporte computacional

Tese de doutoramento em Ciências da Educação

Sistema computacional para reconocimiento de actitudes y estilos en música culta

En esta investigación, se elaboran una serie de sistemas expertos destinados a conservatorios de música españoles. Los sistemas expertos desarrollados están basados en lógica y álgebra computacional, por ello se denominan a los sistemas presentados sistemas computacionales.. Por un lado, se diseña un primer sistema computacional para evaluar las condiciones musicales de quienes desean dedicarse profesionalmente al estudio de un instrumento. Este sistema está destinado a las pruebas de ingreso, desarrolladas en conservatorios de música españoles. Se pretende facilitar ayuda adicional para la selección del alumnado más eficiente. El sistema computacional tiene en cuenta algunos factores que los expertos pasan por alto como las actitudes personales de los candidatos, capacidades físicas, ámbito social y ámbito familiar entre otros. Se desarrollan tres sistemas, presentados en orden cronológico, para reconocer algunos de los estilos musicales más relevantes desde el siglo XVII, uno para el reconocimiento del Barroco, el Rococó y el Clásico; otro para el reconocimiento del Romanticismo, el Impresionismo y Nacionalismo; y un tercero para el reconocimiento de estilos musicales durante el siglo XX, Antiimpresionismo, Verismo y Expresionismo.. El trabajo recoge una descripción exhaustiva de la información que da lugar a las cuatro bases de conocimiento elaboradas. Se describen, de forma clara y concisa, los elementos fundamentales de la teoría de las 'Bases de Gröbner' y de la relación entre consecuencia en lógica y 'pertenencia a un ideal' en álgebra. La construcción de los programas en el lenguaje CoCoA, Computations in Commutative Álgebra, está realizada con rigor. Se incluye un interfaz para que cualquier persona sin conocimientos informáticos, pueda utilizar los sistemas. En esta tesis se combinan, de forma original y útil, música, lógica, matemáticas e informática..

Un debate sobre la explicación computacional de la memoria.

En su libro, Ruiz- Vargas (1994) nos ofrece una 'síntesis ordenada, actualizada y rigurosa de lo que constituye el núcleo de interés fundamental de la Psicología Cognitiva de la Memoria actual. El simple intento de definir el término memoria nos permitirá comprender la importancia de su estudio desde los diferentes niveles de análisis. El nivel computacional especifica el contenido informativo del input y del output y define el objetivo y la lógica del acto de memoria. En este punto hay que especificar no sólo qué hace la memoria sino para qué necesitamos la información. Ruíz- Vargas considera que la función de la memoria tiene un valor adaptativo es por tanto el resultado de complejos procesos de adaptación biológica. La aportación de Ruiz- Vargas al considerar los mecanismos de olvido como factores restrictivos de la ejecución en memoria es un buen comienzo para la comprensión a nivel computacional de la memoria..

Um método para detectar falhas incipientes em máquinas rotativas baseado em análise de vibração e lógica Fuzzy

Este trabalho apresenta um método para detectar falhas no funcionamento de máquinas rotativas baseado em alterações no padrão de vibração do sistema e no diagnóstico da condição de operação, por Lógica Fuzzy. As modificações ocorridas são analisadas e servem como parâmetros para predizer falhas incipientes bem como a evolução destas na condição de operação, possibilitando tarefas de manutenção preditiva. Utiliza-se uma estrutura mecânica denominada de Sistema Rotativo (Figura 1), apropriada para as simulações das falhas. Faz-se a aquisição de dados de vibração da máquina usando-se um acelerômetro em chip biaxial de baixa potência. As saídas são lidas diretamente por um contador microprocessador não requerendo um conversor A/D. Um sistema de desenvolvimento para processamento digital de sinais, baseado no microprocessador TMS320C25, o Psi25, é empregado na aquisição dos sinais de vibração (*.dat), do Sistema Rotativo. Os arquivos *.dat são processados através da ferramenta matemática computacional Matlab 5 e do programa SPTOOL. Estabelece-se o padrão de vibração, denominado assinatura espectral do Sistema Rotativo (Figura 2) Os dados são analisados pelo sistema especialista Fuzzy, devidamente calibrado para o processo em questão. São considerados, como parâmetros para a diferenciação e tomada de decisão no diagnóstico do estado de funcionamento pelo sistema especialista, a freqüência de rotação do eixo-volante e as amplitudes de vibração inerentes a cada situação de avaria. As falhas inseridas neste trabalho são desbalanceamentos no eixovolante (Figura 1), através da inserção de elementos desbalanceadores. A relação de massa entre o volante e o menor elemento desbalanceador é de 1:10000. Tomando-se como alusão o conhecimento de especialistas no que se refere a situações normais de funcionamento e conseqüências danosas, utilizam-se elementos de diferentes massas para inserir falhas e diagnosticar o estado de funcionamento pelo sistema fuzzy, que apresenta o diagnóstico de formas qualitativa: normal; falha incipiente; manutenção e perigo e quantitativa, sendo desta maneira possível a detecção e o acompanhamento da evolução da falha.

Utilização da lógica difusa no controle inteligente de sistemas eletro-hidráulicos

Electro-hydraulic servo-systems are widely employed in industrial applications such as robotic manipulators, active suspensions, precision machine tools and aerospace systems. They provide many advantages over electric motors, including high force to weight ratio, fast response time and compact size. However, precise control of electro-hydraulic systems, due to their inherent nonlinear characteristics, cannot be easily obtained with conventional linear controllers. Most flow control valves can also exhibit some hard nonlinearities such as deadzone due to valve spool overlap on the passage´s orifice of the fluid. This work describes the development of a nonlinear controller based on the feedback linearization method and including a fuzzy compensation scheme for an electro-hydraulic actuated system with unknown dead-band. Numerical results are presented in order to demonstrate the control system performance

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Metodologia e diretrizes para desenvolvimento de um ambiente computacional para ensino a distância

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Aplicação da Lógica Fuzzy para avaliação do faturamento do consumo de energia elétrica e demanda de uma empresa de avicultura de postura

Pós-graduação em Agronomia (Energia na Agricultura) - FCA