Thursday, July 2, 2015

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1101) Aplicaciones de la lógica

Mostrando recursos 61 - 80 de 233

61. Optimización del proceso de despacho en una Empresa productora de Químicos (Sulfato de Aluminio) mediante Simulación Estocástica - Morales Torres, Isidro Fabricio; Pow Chon Long Vásquez, Darwin Fabián
El estudio que se realizó pretende optimizar el proceso de despacho en una Empresa productora de Químicos (Sulfato de Aluminio) mediante Simulación Estocástica. Automatizando el proceso de despacho mediante la aplicación de una banda transportadora, se obtiene la mejora del proceso de despacho, dando como resultado un aumento en su eficiencia, que se demuestra en el incremento de la capacidad de producción, adicionalmente ofrece un mejor escenario de trabajo que favorece al bienestar para los estibadores, permitiendo así una mayor competitividad en el mercado. El análisis incluye aspectos generales de la empresa y la su situación actual del área de despacho, presentando...

62. Sobre las aplicaciones de la lógica formal al estudio del razonamiento - Val, Juan del

63. Lógica, pensamiento crítico, argumentación y ética en la formación de ingenieros - Fiscal Ireta, Claudia
El tema que nos ocupa define una preocupación central: ¿qué guía la formación y capacitación constante de un ingeniero, tanto en escuelas, en la vida cotidiana, dentro de una empresa o industria? El pensamiento crítico debe ser como un botón rojo de �encendido� en el ingeniero, para que en cualquier momento comience a comprobar y a deducir para no cometer errores. También para actualizarse cada vez más tanto en los proceso, técnicas o principios inclusive. Sabemos que para tener un argumento en la ciencia o una aplicación lógica respecto a un experimento, necesitamos conocimientos previos y análisis, entre otros. En cambio, la razón, el sentido común y la moral son...

64. Aplicación del método Cybersin con lógica difusa en un sistema de control de gestión - Rojas López, Miguel David; López, Daniel; Rincón, Daniel

65. El proceso de duelo en psicoterapia de tiempo limitado, evaluado mediante el método del tema central de conflicto relacional (CCRT) - García Mantilla, Moraima Guadalupe
La presente tesis surge del interés de aunar teoría y práctica clínica; como objetivo general se plantea describir el duelo desde un marco referencial psicoanalítico y detectar dicho fenómeno en la práctica clínica, e intervenir con un modelo de psicoterapia psicoanalítica focal y de tiempo limitado. El análisis se realizó con una muestra pequeña de cinco casos estudiados intensivamente con metodología cualitativa y cuantitativa, en donde todos los pacientes estudiados enfrentaron la pérdida postmortem de un ser querido. Los tratamientos psicoterapéuticos se desarrollaron en un encuadre de catorce sesiones y un seguimiento al mes. En cada caso se focalizó en...

66. Accesibilidad de la red actual de Cercanías de Madrid y la incidencia en la misma del Plan de Infraestructuras Ferroviarias de Cercanías para Madrid (2009-2015) - Ramos García, Eduardo
Para evitar el desequilibrio territorial propio de grandes áreas metropolitanas como Madrid se debe adoptar una adecuada planificación que permita reducir los desplazamientos de la población y, por tanto, facilitar los movimientos espaciales. Es aquí donde entra en juego el concepto de accesibilidad que entraña una serie de aspectos a veces complejos de definir. Este trabajo pretende abordar estrictamente este tema mediante su aplicación sobre la red de Cercanías de Madrid. Además aprovechando el Plan de Infraestructuras Ferroviarias proyectado en el año 2009, se cuantifican e ilustran tanto los valores de accesibilidad actuales como los futuros una vez articulado y finalizado dicho...

67. Aplicación de la lógica borrosa al diagnóstico de la disfunción de la fase miccional femenina - Vázquez Alba, David
Tesis doctoral inédita leÍda en la Universidad Autónoma de Madrid. Facultad de Medicina, Departamento de Cirugía. Fecha de lectura: 30 de Junio de 2005

68. Un análisis sobre la lógica difusa como herramienta para la representación de conocimiento - Fillottrani, Pablo Rubén
El estudio y las aplicaciones de la lógica difusa han tenido en los últimos años un gran desarrollo. Sin embargo, se ha generado una polémica acerca de sus propiedades como herramienta para la Representación de Conocimiento. En este trabajo se presenta una clasificación de distintos sistemas de lógica difusa desde el punto de vista de un sistema formal, y en base a ello se estudian sus propiedades metalógicas. Esto permite analizar formalmente aspectos relevantes de distintos sistemas de Lógica Difusa en el campo de la Representación de Conocimiento dentro de la Inteligencia Artificial. Finalmente, se enumeran algunas posibles aplicaciones en este...

69. Tratamiento de la personalización dinámica en modelos conceptuales de aplicaciones web - Garrigós Fernández, Irene; Gómez Ortega, Jaime; Cachero Castro, Cristina
Las aproximaciones de Modelado Conceptual para la web necesitan extensiones para especificar propiedades de personalización dinámica para diseñar aplicaciones web más potentes. Las propuestas actuales proveen técnicas para soportar personalización dinámica, usualmente enfocadas en detalles de implementación. Este artículo presenta una extensión de la aproximación de modelado conceptual OO-H para abordar los detalles asociados con el diseño y la especificación de la personalización dinámica. Describimos cómo los diagramas convencionales de navegación y presentación se ven afectados por propiedades de personalización. Para modelar la parte variable de la lógica de interfaz OOH tiene una arquitectura de personalización que se apoya en...

70. Microcontroladores estándar en el desarrollo de sistemas de lógica difusa - Bouza, Arístides; Alimenti, Omar
Un Sistema de Lógica Difusa (SLD) permite manejar datos numéricos y conocimientos lingüísticos en forma simultánea mediante una matemática unificada. Los grandes avances tecnológicos han dado lugar al desarrollo de diferentes alternativas para la implementación de un SLD tales como el empleo de microcontroladores estándar con soporte de software para Lógica Difusa, coprocesadores “fuzzy” dedicados, procesadores RISC con soporte “fuzzy” y hardware orientado (ASIC). Todo esto, ha ocasionado que las aplicaciones de control empleando Lógica Difusa, hayan alcanzado un gran desarrollo en la actualidad. En este trabajo se desarrollan los conceptos básicos para implementar un Sistema de Lógicas Difusas (“kernel difuso”) que optimiza...

71. Programación en lógica inductiva para la corrección de bases de conocimiento lógicas - Delladio, Telma
En el campo de programación en lógicas inductivas (ILP) se han desarrollado sistemas que son capaces de “aprender” conceptos usando una descripción inicial y un mecanismo de inducción que trata de sintetizar dicha descripción en un programa lógico que modele esos conceptos. La tarea de debugging de bases de conocimiento lógicas podría combinarse con las capacidades de ILP en busca de mecanismos que ayuden a la corrección o actualización de bases de conocimientos lógicas. Este trabajo busca relacionar las dos áreas dado su interés para la aplicación en la representación de conocimiento en agentes lógicos racionales como así también en el...

72. Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden - Mac Donnell, Patricio; Aguirre, Nazareno Matías
En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura, propuesta por J. Meseguer. Entre las aplicaciones de la lógica de reescritura, se destaca la aplicación de ´esta como ambiente para la implementación de otras lógicas. Aprovechamos en este artículo esta singular característica de la lógica de reescritura, y la simplicidad, expresividad y eficiencia de Maude, para construir un demostrador de teoremas interactivo, para la lógica temporal lineal de primer orden,...

73. Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional - Baum, Gabriel Alfredo; Medel, Ricardo
En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación.

74. Una aplicación de lógica difusa para modelización: Consultor - Romero, Fernando
En este trabajo se presenta una herramienta desarrollada a través de la integración del lenguaje FCL (Fuzzy Control Language, definido de acuerdo al estándar fijado en IEC 61131-7 CD1) [FCL97] y la biblioteca FFLL (Free Fuzzy Logic Library) en un entorno gráfico, lo cual facilita el uso de la lógica difusa para hacer estimaciones en aquellas ramas del conocimiento que cuentan con un cierto grado de incertidumbre. En particular, fue pensada para estimar esfuerzo de proyectos de software, pero puede ser aplicada a otros campos. Permite la construcción de una base de conocimientos conformada por reglas y funciones de pertenencia...

75. LA ORDENACIÓN DE LOS FLUJOS INDESEABLES: Barcelona, 1849-1917 - Costa, Francisco de Assis da
En este artículo se sugiere una aproximación al impacto de la introducción de nuevas tecnologías para el saneamiento de aguas servidas durante la modernización de la ciudad contemporánea. Incluye un enfoque sobre el concepto de público y privado, notadamente en las ciudades europeas del siglo XIX, notadamente respecto a la gestión de los residuos urbanos. El nuevo concepto de público y privado, nacido como resultado de la aplicación de un nuevo modelo productivo, viene apoyado en la lógica funcional de las redes. Los conflictos para la aplicación de un modelo de saneamiento general, con la utilización de galerías comunes en sustitución a los pozos privados, revela...

76. Estacionamiento automático de un vehículo autoguiado usando lógica difusa - Acosta, Nelson; Aciti, Claudio; Berlusconi, Martín
El estacionamiento paralelo automático es una importante capacidad de un AGV (automated guided vehicle) tanto en aplicaciones militares como industriales o comerciales. El objetivo de este trabajo es el estudio y la aplicación de técnicas de control basadas en lógica difusa, para la materialización de un modulo dedicado al estacionamiento automático. Para este desarrollo se diseña un framework que permite modelar el comportamiento del vehículo, utilizando uno a escala 1/10 radio controlado por una PC.

77. Planeamiento de trayectorias en contextos dinámicos - Katz, Román; Delrieux, Claudio
En este trabajo presentamos un sistema de planeamiento de trayectorias basada en el algoritmo de ruteo de Lee. Este algoritmo (concebido originariamente para obtener conexiones mínimas en circuitos VLSI) proporciona un mecanismo simple y robusto para computar caminos óptimos en espacios de configuración bidimensionales. El motor del sistema de planeamiento presentado en este trabajo se implementó mediante una versión basada en reglas del algoritmo de Lee, integrando una arquitectura híbrida que realiza inferencias lógicas mediante una componente del lenguaje Prolog, y cuyos resultados son compartidos por componentes de procesamiento numérico en un lenguaje imperativo convencional. Esto posibilita una clara factorización...

78. Seguridad de aplicaciones web: vulnerabilidades en los controles de acceso - Romaniz, Susana Cristina
No hay dudas respecto de que la seguridad de las aplicaciones web es un tema de interés actual y cotidiano. Las complejas y sensibles funcionalidades de las actuales aplicaciones web ha movido el perímetro de seguridad de las organizaciones, y una parte significativa del mismo ahora reside en las propias aplicaciones web. Y los privilegios de acceso a funcionalidades y datos ya no son uniformes y abiertos, sino que requieren de complejos esquemas., resultando esencial la fortaleza de los mecanismos de control de acceso. Las debilidades en los controles de acceso pueden surgir de diferentes fuentes: un diseño pobre de...

79. Condiciones de tiempo en las aplicaciones Web - Gonzaléz, Ariel
Las aplicaciones Web tienen características especiales que hacen que los mecanismos de ingeniería empleados sean diferentes de las aplicaciones estándares, Esto se debe a que los sitios Web han evolucionado notoriamente respecto a su complejidad, se pueden observar desde centros de información de solo lectura, hasta aplicaciones distribuidas basadas en Web. En este trabajo describimos un método para el diseño de aplicaciones Web, el cual es basado en el Lenguaje de Modelado Unificado. Los Diagramas de Estado son usados para modelar posibles cambios de estados de una entidad al Navegar por el sitio y ejecutando acciones dentro del mismo. Los...

80. Metodología de la lógica difusa - Universidad del Rosario, Facultad de Administración; Mendoza Saboya, Liliana Adriana
Este trabajo es un acercamiento a los elementos de la lógica difusa y su aplicación en el ámbito social. Para tal efecto se retoman los conceptos de: función de pertenencia, conjuntos difusos, operaciones entre conjuntos difusos y sus relaciones difusas, y operaciones entre relaciones difusas. Cada una de las exposiciones tiene asociado un ejemplo recogido de la experiencia lograda con el trabajo sobre una muestra de 318 empresas. Bajo esta estructura se desarrolla la aplicación de la herramienta de lógica difusa como mecanismo para representar un sistema empresarial que involucra la autonomía y la eficiencia de los empleados de una empresa. Dentro de los resultados se encuentra que tanto...

Página de resultados:
 

Busque un recurso