Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 318 for “"lógica"”.
-
Modelos de computación lógica con ADN
… (por ejemplo, el de Satisfacibilidad de Fórmulas Lógicas / SAT). Pronto se comprendió que la computación con biomolecular no podía competir en velocidad ni precisión con los ordenadores de silicio, por lo que su enfoque y objetivos se centraron en la resolución de problemas biológicos con …
-
Propuesta de pasaje de la lógica de las mercancías a la lógica de los servicios en la industria del acero
… permitan hacer poco a poco un pasaje desde esa lógica actual prevalente en esta industria, que gira en torno de la mercancía, a una lógica del servicio. En segundo lugar, ver de qué manera se integran más los eslabones de una cadena de producción compleja, y luego también pensar si habría algún …
-
Proposta de uma arquitetura especial para simulação lógica
… 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 é …
-
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
… de una teoría computacional acerca de la lógica ecuacional, usando para ello el sistema ACL2. Es decir, se usa ACL2 para definir formalmente algoritmos y conceptos relacionados con la lógica ecuacional, y se llevan a cabo demostraciones automáticas de teoremas acerca de estos algoritmos y …
-
Una semántica basada en juegos para la programación lógica rebatible
… la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente, que provee un mecanismo de inferencia …
-
Contribución al estudio de la lógica y de los condicionales borrosos
… sobre algunos conceptos básicos de la lógica difusa. El primer capítulo se dedica a los conectivos, particularmente a la conjunción, las t-normas han sido las funciones comúnmente utilizadas a fin de representar el "y" en lógica difusa; en este trabajo se propone un modelo de conjunción …
-
La “Ciencia de la lógica” de Hegel como metafísica del ser genérico
Fil: Sambataro, Patricia N. Pontificia Universidad Católica Argentina. Facultad de Filosofía y Letras; Argentina
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
… definiendo los programas como teorías en una lógica adecuada y la computación deducción en base a la teoría. Prolog es uno de los lenguajes de programación del paradigma lógico más importantes, cuya teoría es la de la deducción lógica. Implementaciones eficientes capaces de competir con muchos …
-
Análisis y diseño de sistemas de control de procesos basados en lógica borrosa
… de este tipo de sistemas. La razón de emplear la lógica borrosa como técnica reside en que la mayoría de los problemas reales que aparecen en el control de procesos industriales tienen un alto contenido en vaguedad e incertidumbre. La lógica borrosa permite abordar problemas definidos en términos …
-
Lógica do capital e capital fictício: para uma crítica da economia política da financeirização
… determinante do movimento do capital é a lógica do capital fictício. Para tanto, será apresentado o desenvolvimento categorial descoberto por Marx e como essas categorias, em especial, a de capital fictício comparecem em algumas interpretações marxistas para a partir de uma análise crítica …
-
Contribución al estudio de las medidas en la lógica borrosa : condicionalidad, especificidad y transitividad
Esta memoria de doctorado pretende revisar el concepto de medida y de medida borrosa para estudiar y proponer unas nuevas medidas de incondicionalidad, de especificidad y de transitividad. En el segundo capítulo se proponen dos métodos para medir la u-T-incondicionalidad de relaciones borrosas como …
-
Programación lógica multiadjunta no monótona y ecuaciones bipolares de relaciones difusas: extensiones y relaciones
… presenta un novedoso entorno de programación lógica no monótona, adaptando la filosofía del paradigma multiadjunto a la programación lógica normal y definiendo una semántica adecuada basada en modelos estables. Adicionalmente, el autor proporciona diferentes condiciones suficientes para la …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… explotar ampliamente las facilidades de la lógica (funciones, predicados e igualdad), permitiendo a sus usuarios usarlas separadamente o mezclarlas de la forma más apropiada para una aplicación en particular. En esta tesis se presenta y estudia el lenguaje de programación experimental BABEL, …
-
O projeto e a produção do espaço hospitalar na lógica pós-moderna: do hospital ao hotel
… a produção do espaço e do projeto hospitalar na lógica Pós-Moderna, focalizando o edifício hospitalar como objeto de análise central. A partir de uma compreensão histórica, desenvolve as bases para a questão da crise disciplinar no campo do Projeto de Arquitetura sob a perspectiva da lógica do …
-
Arquitectura inteligente basada en lógica reconfigurable aplicada a redes neuronales artificiales para la clasificación de información
Resumen Las redes artificiales de neuronas son sistemas con grandes capacidades de procesamiento en paralelo inspirado en los sistemas neuronales biológicos; en ellos, los modelos de aprendizaje por medio de ejemplos, o por medio de iteraciones, sustituyen a la programación empleada en los …
-
Um método para detectar falhas incipientes em máquinas rotativas baseado em análise de vibração e lógica Fuzzy
… 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 …
Page 1 of 16