Advanced search


Knowledge area




Filter by:

Publication type

Authors

Issue Years

Publishers

Origin repository

Access Level

Language

Subject

Select the topics of your interest and receive the hottest publications in your email

962 results, page 1 of 10

Lógicas paraconsistentes genuinas

JESUS ALEJANDRO HERNANDEZ TELLO (2018)

“La definición de Paraconsistencia se fundamenta en rechazar o restringir el Principio de no Contradicción. En la lógica se ha optado por restringir este principio dando así lugar a la Lógica Paraconsistente. Debido a que no existe unicidad en la formulación del Principio de no Contradicción, surge un problema entre los lógicos para proponer una restricción a este principio. Sin embargo, se encuentran dos formas ampliamente aceptadas por la comunidad científica involucrada para formular esto. La gran mayoría lo hace diciendo que: A partir de hipótesis contradictorias sea posible deducir cualquier afirmación, a esto lo llaman Contradicción por Explosión(EC); otro grupo afirma que si se niega la conjunción de una proposición y su negación lo que se debe obtener es algo verdadero, a esta forma se le llama Ley de No Contradicción(NC). Una agravante a esta situación yace en que ambas formulaciones son independientes en el sentido de que la exigencia de una no conduce a la otra y viceversa. Debido a esta problemática Jean-Yves Béziau propone estudiar aquellas lógicas que restringen ambas formulaciones y define así a las, Lógicas Paraconsistentes Genuinas. Para definir la noción de Lógica Paraconsistentes Genuina basta que el lenguaje contenga los conectivos de negación y conjunción, Jean-Yves Béziau en [8].”

Doctoral thesis

Lógica simbólica y matemática Sistemas lógicos CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA

Curso de circuitos lógicos y computadoras II

Guillermo Castillo Tapia (2000)

144 páginas. 2a ed.

Material para el curso circuitos lógicos y computadoras, en el se exponen temas como: Flip-Flops, Registros y Contadores no Síncronos; Circuitos Secuenciales Síncronos y Máquinas de Estado Algorítmico y Controles.

Book

Logic circuits. Circuitos lógicos. TK7868.L6 INGENIERÍA Y TECNOLOGÍA CIENCIAS TECNOLÓGICAS TECNOLOGÍA DE LOS ORDENADORES DISEÑO LÓGICO

Didáctica de la investigación ambiental. Utilidad de los modelos lógicos o sistemas teórico cognitivos

MARIA ESTELA OROZCO HERNANDEZ (2008)

El trabajo expone la utilidad didáctica de los modelos lógicos o sistemas teórico cognitivos para inducir a los estudiantes del nivel superior, hacia el análisis, reflexión y síntesis de un problema o tema de investigación ambiental.

El trabajo expone la utilidad didáctica de los modelos lógicos o sistemas teórico cognitivos para inducir a los estudiantes del nivel superior, hacia el análisis, reflexión y síntesis de un problema o tema de investigación ambiental.

Article

Estudios Territoriales Didáctica modelos lógicos investigación ambiental CIENCIAS AGROPECUARIAS Y BIOTECNOLOGÍA

Modelos de inferencia y circuitos lógicos basados en desplazamiento de hebras de ADN

Models for inference and logic circuits based on DNA strand displacement

NELSON EMMANUEL ORDOÑEZ GUILLEN (2019)

La alta predictibilidad y especificidad de las interacciones de emparejamiento entre bases nitrogenadas postuladas por Watson y Crick, ha dado paso al nacimiento de la nanotecnología dinámica del ADN. Dentro de esta área, uno de los mecanismos de reacción que ha sido de particular interés es el desplazamiento de hebras. La programabilidad, relativa simpleza y versatilidad de sus primitivas, ha permitido el desarrollo de una variedad de dispositivos entre los que se cuentan: compuertas lógicas, motores, caminadores de ADN y artefactos de cerradura. En la presente investigación estamos interesados en dos aplicaciones: mecanismos de razonamiento lógico y circuitos lógicos. Como objetivo primario se plantea el diseño de dispositivos capaces de generar rutas de inferencia lógica que funcionen catalíticamente. En este contexto, inspirados en uno de los principales enfoques del estado del arte en programación lógica biomolecular, se introduce un esquema de codificación de hechos, reglas y consultas. Con base en esta codificación, se implementan rutas de inferencia, realizando procedimientos de encadenamiento hacia adelante y hacia atrás. Las reacciones que hacen posible estos razonamientos proceden de manera catalítica, aprovechando el mecanismo de desplazamiento de hebras con intercambio de puntos de apoyo. Esta idea se basa en reacciones de repostaje, en donde una molécula desechable se intercambia por una señal útil, preservando así su disponibilidad para reaccionar múltiples veces. Para evaluar el comportamiento cinético de los diseños propuestos, se realizan simulaciones deterministas y estocásticas de los modelos bioquímicos. Los resultados muestran un desempeño superior en el esquema catalítico comparado con su contraparte no catalítica. Por otro lado, como objetivo secundario de este trabajo, se aborda el asunto de la escalabilidad en la implementación de circuitos lógicos con compuertas sube-baja. Para ello, se propone el uso de dos puntos de apoyo en dichas compuertas para distinguir señales en estado alto (“1” lógico) de las señales en estado bajo (“0” lógico), en la lógica de doble carril. Además de la ventaja inmediata de usar la mitad de secuencias con esta modificación, se produce una segmentación en los circuitos que disminuye las reacciones no productivas aproximadamente a la mitad. Como consecuencia, el desempeño cinético del esquema propuesto resulta más eficiente que el original, aumentando además a medida que la complejidad de los circuitos se ...

The high predictability and specificity of DNA Watson-Crick base pairing have enabled the advent of dynamic DNA nanotechnology. Within this research area, the DNA strand displacement reaction mechanism has increasingly attracted the interest. The programmability and relative simplicity along with the versatility of its primitives, have allowed the development of a variety of devices, such as logic gates, motors, DNA walkers, and lock mechanisms. In this research, we are interested in two applications: the implementation of logic reasoning mechanisms and logic circuits. As a primary objective, this work tackles the design of devices capable of generating catalytic inference paths. In this context, inspired by the main state-of-the-art work in biomolecular logic programming, we introduce a novel codification scheme for facts, rules, and queries. Based on this encoding, inference paths are implemented by following backward-and forward-chaining procedures. The reactions that make these reasonings posible proceed in a catalytic fashion, harnessing the toehold exchange strand displacement mechanism. The key idea relies on fueling reactions, where disposable molecules are interchanged with useful signals, preserving their availability to react multiple times. To evaluate the kinetic behavior of the proposed designs, deterministic and stochastic simulations of biochemical models were carried out. Results show the enhanced performance of the catalytic scheme against its non-catalytic counterpart. On the other hand, as a secondary objective, this work addresses the issue of scalability in the implementation of see-saw gates. To this end, we propose the use of two toeholds in such gates, to encode high (“1”) signals separately from low (“0”) ones, within dualrail logic. In addition to the immediate advantage of reducing the required recognition domain sequences by half, this modification produces a virtual segmentation in the circuits, curtailing time-consuming unproductive reactions to roughly half. As a consequence, the kinetic behavior of the modified scheme shows a more efficient performance when compared with the original, and this improvement increases along with the complexity of the circuits.

Doctoral thesis

Programación lógica, circuitos lógicos, desplazamiento de hebras de ADN, reacciones catalíticas, escalabilidad Logic programming, logic circuits, DNA strand displacement, catalytic reactions, scalability INGENIERÍA Y TECNOLOGÍA CIENCIAS TECNOLÓGICAS TECNOLOGÍA DE LOS ORDENADORES DISEÑO LÓGICO DISEÑO LÓGICO

Modelo de gestión del conocimiento de una empresa manufacturera

Marco Antonio Jiménez Cervantes (2016)

"La incertidumbre económica, la fuerte competencia y el constante desarrollo tecnológico son algunas de las situaciones que ponen a prueba la flexibilidad de las organizaciones. Se ha visto que las compañías que responden de manera ágil a los cambios en su entorno poseen ventajas competitivas, ya que están en mejores posibilidades de satisfacer los requerimientos de sus clientes, además de que generalmente lo hacen de maneras más eficientes. Dicha flexibilidad se desarrolla mediante sistemas que permiten ajustar los procesos de negocios a las condiciones cambiantes. Es aquí donde la gestión del conocimiento cobra relevancia, ya que mediante la aplicación de la ciencia administrativa al conocimiento organizacional las empresas pueden alcanzar una mayor habilidad para adaptarse a las circunstancias. En términos generales, la gestión del conocimiento consiste en la creación, almacenamiento, transferencia y aplicación del conocimiento organizacional, con el fin de obtener el mayor beneficio posible. Distingue que el conocimiento puede ser explícito o tácito, y que esta taxonomía es crítica debido a que los procesos del conocimiento suceden mediante mecanismos diferentes, los cuales están en función de la naturaleza del conocimiento. Por otro lado, la gestión del conocimiento contribuye al aprovechamiento de los recursos organizacionales, en particular del conocimiento existente, de modo que también puede considerarse como una estrategia para mejorar la eficiencia operacional. Esta investigación propone un modelo teórico para gestionar el conocimiento en una empresa manufacturera mexicana y mediante un estudio de caso, hace recomendaciones para elevar la práctica actual. Los resultados tienen implicaciones teóricas, metodológicas y prácticas para el estudio del conocimiento."

Master thesis

Gestión del conocimiento Manufactura Modelo teórico Sistemas CIENCIAS SOCIALES

La Teoría de Niklas Luhmann

EMILIO GERARDO ARRIAGA ALVAREZ (2003)

El presente trabajo, pretende ser un ensayo de interpretación del trabajo teórico del Niklas Luhmann. Es en términos generales, un acercamiento al trabajo teórico, de uno de los sociólogos más originales y controvertidos de las últimas décadas del siglo XX.

El presente trabajo, pretende ser un ensayo de interpretación del trabajo teórico del Niklas Luhmann. Es en términos generales, un acercamiento al trabajo teórico, de uno de los sociólogos más originales y controvertidos de las últimas décadas del siglo XX.

Article

Sociología sistemas autopioésis diferencia límites acoplamiento estructural complejidad comunicación autorregulación CIENCIAS SOCIALES

Propuesta metodológica para la incorporación de nuevos procesos a un sistema de gestión de calidad certificado en ISO 9001 en el Centro nacional de control de energía

Ricardo Edgardo Luna Mondragón (2013)

"La necesidad de incorporar nuevos procesos a un sistema de gestión de una compañía se presenta de manera natural durante el ciclo de vida de la misma, ya sea en los inicios de su sistema por incorporar sus procesos o por incorporar procesos ya existentes a sistemas que han sido parcialmente certificados respecto a una normatividad determinada, o incluso por nuevos procesos que la compañía ha decidido incorporar por ampliar el alcance de su negocio o para mejorar su funcionamiento actual. En el caso del centro nacional (CENAL), que es la subdirección del centro nacional de control de energía (CENACE), se presenta la problemática de que, en general, no se tienen identificados, definidos, documentados, ni aplicados todos los procesos necesarios para el sistema de gestión de calidad (SGC) a través de toda la organización, lo cual es una directriz que ha establecido la alta dirección con el objeto de cumplir con las expectativas de las principales partes interesadas. De este modo surge la necesidad de definir una metodología que permita la incorporación exitosa de nuevos procesos al SGC ya implementado y certificado del CENAL, eliminándose la incorporación empírica de nuevos procesos, tal y como hasta ahora se ha hecho, además de realizar revisiones periódicas del modelo y mapa estratégico para alcanzar el cumplimiento integral de las expectativas de las partes interesadas. Así, se desarrolla una metodología basada en tres etapas básicas 1) identificación/definición de nuevos procesos, 2) documentación de procesos, y 3) implementación de procesos. La primera etapa principalmente basada en las teorías del cuadro de mando integral (CMI) y mapas estratégicos (ME), mientras que las otras dos etapas se respaldan principalmente en la norma ISO 9001:2008. Por último, se presenta la aplicación de la metodología y el resultado obtenido a través de la definición de un modelo de gestión de operaciones y de mapas estratégicos que permiten la visualización clara del funcionamiento del CENAL y su producto intencionado."

Master thesis

Sistemas Gestión de calidad ISO 9001 Energía CENAL CIENCIAS SOCIALES

Optimalidad ergódica en el modelo de Mitra-Wan y en juegos markovianos

Leonardo Ramiro Laura Guarachi (2015)

Instituto de Física y Matemáticas. Facultad de Ciencias Físico Matemáticas. Unidad Morelia del Instituto de Matemáticas de la UNAM. Programa Conjunto de Doctorado en Matemáticas

One of the most important models in the area of sustainable forest resource management, which is still a guiding principle for the policy makers, was introduced by Mitra and Wan in the 1980s. Under certain conditions, this model has revealed some qualitative properties that non-stationary optimal policies have. It also ensures the existence of an optimal stationary policy —which is understood as the maximum sustainable state— where all the optimal non-stationary policies converge. In this work the Mitra-Wan forestry model is studied as a discrete-time optimal control problem in infinite horizon. To this end, we consider some of the most significant optimality criteria: long-run average (or ergodic) optimality, good optimality, overtaking optimality and bias optimality. On the other hand, Shapley studied a two-person stochastic zero-sum game in his seminal work [70]. In this class of games there is a single payoff function which one of the players wishes to maximize whereas the other player wishes to minimize. In subsequent studies, the properties and characterization of the expected average optimality criterion were extensively developed. However, there are just a few treatments on the other optimality criteria. In our study, we consider a general model of two-person zero-sum Markov game and investigate the optimal strategies for the players. For that propose, we will extend the optimality criteria aforementioned and, additionally, we introduce average F-strong optimality and optimality n-discounted criteria. Our main contribution, in both models, is the complete description of the relations between the optimality criteria that we are considering in each model. Moreover, we also show some asymptotic properties for the optimal policies, as well as some examples that illustrate the main results.

Uno de los modelos más importantes en el área de la administración sostenible de recursos forestales, que continúa siendo una referencia para la planificación de políticas de administración, ha sido introducido por los autores Mitra y Wan durante la década de los años 80. Bajo ciertas condiciones, este modelo ha permitido conocer algunas de las propiedades cualitativas que una política óptima (no estacionaria) tiene. Así mismo, asegura la existencia de una política estacionaria óptima —que se entiende como el máximo estado sostenible— al que convergen las políticas no estacionarias óptimas. En este trabajo el modelo de Mitra-Wan se estudia como un problema de control óptimo a tiempo discreto y horizonte infinito. Para ello consideraremos algunos de los criterios de optimalidad más significativos: optimalidad en promedio, optimalidad buena, optimalidad rebasante y optimalidad en sesgo. Por otra parte, Shapley introdujo un primer modelo de juegos estocásticos en [70]. En este tipo de juegos existe una única función de pago; el primer jugador trata de maximizar dicha función, en cambio el segundo jugador trata de minimizar. En posteriores investigaciones, se ha estudiado extensivamente las propiedades y caracterizaciones del criterio de optimalidad promedio esperado. Sin embargo, existen pocos tratamientos sobre el resto de los criterios. En nuestro estudio consideramos un modelo general de juegos markovianos de suma cero y de dos jugadores. Para estudiar las estrategias óptimas de los jugadores, extenderemos los criterios de optimalidad mencionados anteriormente y, adicionalmente, introduciremos la optimalidad promedio F-fuerte y los criterios de optimalidad n-descontada. Nuestro aporte principal, en ambos modelos, es la descripción completa de las relaciones que existen entre los criterios que estamos considerando. Además, mostramos ciertas propiedades cualitativas que las políticas óptimas poseen, así mismo, proporcionamos algunos ejemplos que ilustran las conclusiones principales.

Doctoral thesis

CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA IFM-D-2015-1778 Sistemas Horizonte Optimalidad

Modelo de simulación vial basado en agentes de software

LUIS ANDRES SOTO OSORIO (2013)

"Los agentes de software, así como los sistemas multi-agentes, representan una nueva manera de adentrarse en el análisis, diseño e implementación de sistemas complejos. El enfoque basado en agentes ofrece una potente colección de técnicas y herramientas con un gran potencial para mejorar de manera considerable la manera en que las personas conceptualizan e implementan muchos tipos de software que van desde sistemas relativamente pequeños, como los filtros personalizados de correo electrónico, hasta grandes y complejos sistemas de misión crítica como los utilizados para el control de tráfico aéreo, por citar sólo unos ejemplos. Sin embargo, la conceptualización e implementación de agentes de software puede ser por sí difícil. Así, en este trabajo de tesis se aborda el desarrollo de una biblioteca de rutinas (que puede servir de framework de desarrollo) que no sólo muestra la forma de implementar agentes de software sino que además, y de manera particular, aborda el tema de simulación de tráfico vehicular bajo este concepto. El resultado de este trabajo plasma el proceso de diseño y desarrollo de la biblioteca mencionada con el objetivo de simulación en mente. Dicho resultado nos permite observar, y nos permite concluir, que el uso de agentes de software es una opción viable y con la madurez suficiente como para ser considerada una alternativa real en implementación de sistemas de software complejos para la simulación de tráfico vehicular."

Master thesis

Agentes de software Simulación Biblioteca de rutinas Sistemas CIENCIAS SOCIALES

El sistema nacional de innovación de México: Una comparación con España y Estados Unidos de América

Mexico’s national innovation system: A comparative analysis with Spain and the United States

KARLA SUZETH TREJO BERUMEN ALBA ERITREA GAMEZ VAZQUEZ Luis Felipe Beltrán Morales MANUEL ANGELES VILLA ANTONINA IVANOVA BONCHEVA (2018)

En este artículo se presenta un análisis de los sistemas nacionales de innovación de México, España y Estados Unidos de América, empleando la metodología de análisis de entorno y de sistemas nacionales de innovación de la Organización para la Cooperación y el Desarrollo Económico a efecto de estudiar las diferencias y similitudes de los tres países e identificar sus fortalezas y debilidades. El propósito es identificar los distintos niveles de maduración de los sistemas nacionales de innovación de países con diferentes niveles de desarrollo económico, que puedan servir de experiencia al caso mexicano para corregir o impulsar las actuales políticas públicas de innovación. Un sistema nacional de innovación articulado, equilibrado y con empresas con capacidad de absorción tecnológica promueve el crecimiento económico de un país, aunque es necesario un enfoque de inclusión social para reflejar sus resultados en desarrollo

This paper presents an analysis of the national innovation systems of Mexico, Spain and the United States, using the Organization for Economic Cooperation and Development’s methodology on this subject, in order to study the differences and similarities of the three countries and to identify their strengths and weaknesses. The purpose is to recognize the different maturation levels of the national innovation systems of countries with different levels of economic development, that can be used as experience for the Mexican case to correct or promote current public innovation policies and clarify their path in this area. An articulated, balanced national innovation system, with firms which possess a high technological absorption capacity, can promote the eco-nomic and social growth of a country

Article

HUMANIDADES Y CIENCIAS DE LA CONDUCTA Innovación Políticas Sistemas Tecnología Innovation Policy Systems Technology