Wednesday, January 28, 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 240

61. 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

62. 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...

63. 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...

64. 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...

65. 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...

66. 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,...

67. 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.

68. 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...

69. 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...

70. 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.

71. 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...

72. 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...

73. 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...

74. 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...

75. Tríptico de la ingenería del software - Paganini, José Humberto; Vega, Ariel; Figueroa, Sebastián Marcos; Liberatori, Héctor; Rodríguez, Juan C.
El presente proyecto contempla los siguientes aspectos; i) el empleo para la construcción de software del paradigma del Tríptico de la Ingeniería del Software, compuesto por la Ingeniería del Dominio, Ingeniería de Requisitos y el Diseño del Software, ii) el estudio análisis posibles complementaciones del Método RAISE en general y el Lenguaje de Especificación Formal RSL en particular; iii) y el estudio de aplicaciones de la Lógica Computacional cómo una ciencia formativa y básica del contexto de las Ciencias de la Computación. El grupo de investigación y desarrollo a cargo del presente proyecto, se encuentra trabajando en esta temática desde 2007;...

76. Sistema KARMIN: una herramienta para la enseñanza de simplificación de funciones lógicas - Jáuregui, Raúl I.; Belcastro, Ángela; Belcastro, Nilda; Désima, Adriana; Bilbao, Martín; Musacchio, Esteban; Gallardo, José I.
El presente trabajo describe el software KARMIN (de KARnaugh MINimizer), una aplicación que resuelve funciones lógicas, ya sea ingresando los datos de la misma mediante su Tabla de Verdad, o mediante su Mapa de Karnaugh, de donde deriva su nombre. Esta aplicación surgió como idea dentro del Proyecto de Investigación PI Nº686/2007, “Análisis y desarrollo de un sistema de enlaces conceptuales y aplicativos de contenidos de diversas materias de las carreras de Informática, como herramienta de apoyo al aprendizaje del alumno” [AyD SEC CHA] realizado por un grupo de docentes del Depto. Informática, de la Facultad de Ingeniería de la...

77. Agregación de métricas de minería de datos usando funciones de lógica continua - Dasso, Aristides; Funes, Ana
En la línea de investigación aquí presentada, nos ocupamos de la propuesta y aplicación de una Lógica Continua [Duj08] para la evaluación y comparación de técnicas de Minería de Datos.

78. Implementación de un cluster de papa en la región de Machetá - Jiménez Siachoque, Ricardo David; Puerta Pinzón, Carlos Andrés
El propósito central, se basa en el análisis de factibilidad de la implantación de un clúster de papa, a razón de los estudios realizados que indican la importancia del producto para la región al constituirse como el principal cultivo dentro del sector agrícola. No obstante, la participación del producto se sitúa en las últimas posiciones dentro de la Provincia de Almeidas, reflejando la débil gestión de los recursos necesarios para el cultivo. Finalmente, se propone la aplicación de la Metodología del Marco Lógico para esquematizar de manera precisa las acciones que podrían estimular la importancia de este proyecto, en aras de...

79. Integración de métricas de calidad del software - Dasso, Aristides; Funes, Ana
En la línea de investigación aquí presentada, nos ocupamos de la aplicación y propuesta de uso de Lógica Continua para la integración de Métricas de Calidad del Software, fundamentalmente empleando la norma ISO/IEC 9126.

80. Controladores digitales reconfigurables: Implementación a partir de Redes de Petri - Corti, Rosa Marina; Martínez, Roberto M.; Belmonte, Javier; Giandoménico, Enrique; D'Agostino, Estela
La línea de investigación abarca diversos aspectos relacionados con el diseño, simulación e implementación de redes inalámbricas de sensores. En este contexto se aborda la temática de controladores digitales orientada al diseño del módulo de control de los nodos sensores. En la mayoría de las aplicaciones se utilizan microcontroladores, sin embargo, en algunos dominios los dispositivos de lógica reconfigurable resultan ventajosos. Por este motivo se trabaja en la implementación de controladores reconfigurables utilizando formalismos y herramientas específicos. Finalmente, los proyectos de investigación desarrollados por el equipo de trabajo tienen su implicancia académica en el proceso de enseñanza-aprendizaje del área digital de...

Página de resultados:
 

Busque un recurso