Mostrando recursos 1 - 20 de 1.113

  1. Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores

    Regis, Germán; Degiovanni, Renzo; D’Ippolito, Nicolás; Aguirre, Nazareno Matías
    En este trabajo introducimos la lógica temporal con fluentes contadores, una extensión de la lógica temporal con fluentes que complementa la noción de fluente proposicional con el concepto de fluente contador. A diferencia de los anteriores, los fluentes contadores son variables numéricas que enumeran ocurrencias de eventos, permitiendo caracterizar de una manera más natural e intuitiva propiedades en las cuales el número de veces que ocurren ciertos eventos del sistema es relevante. Si bien esta extensión es indecidible y estrictamente más expresiva que la lógica temporal lineal con fluentes, desarrollamos una técnica correcta pero incompleta para verificar propiedades de modelos...

  2. Desarrollo de una guía para la implementación de aplicaciones basadas en NFC

    ALBIÑANA MARTÍNEZ, ANTONIO
    La idea general del presente proyecto consiste en un acercamiento a las características y especificaciones de NFC y la implementación de su uso con ejemplos de dicha tecnología sobre diferentes plataformas como son Python, Arduino, Raspberry Pi, Android y Java. Se explica en qué consiste dicha tecnología, cuáles son sus particularidades, sus modos de funcionamiento y como las etiquetas NFC pueden ser utilizadas para realizar diversas acciones de manera automática. Como NFC se basa en la tecnología RFID, su funcionamiento básico es similar a esta tecnología, aunque NFC además introduce comunicaciones punto a punto y emulación de tarjeta. De esta manera tenemos los distintos modos de comunicación, que son:  Punto...

  3. [en] THE HIDDEN REASONS OF THE BRAZILIAN SUPREME COURT: A STUDY ON GROUP AGENCY AT THE COURT

    DANILO DOS SANTOS ALMEIDA
    [pt] É comum tratarmos grupos como agentes capazes de interagir intencionalmente com o mundo e, para identificar mentes de grupos, usamos os mesmos mecanismos de percepção de mente em outras pessoas. No caso de cortes, a expressão de seus julgamentos coletivos pode variar de acordo com o grau de liberdade que elas permitem a seus membros. Elas podem publicar uma decisão única, restringindo a publicidade do processo deliberativo (per curiam) ou, ao invés de uma opinião coletiva da corte, podem publicar o conjunto de votos individuais de seus membros (seriatim). Nesse último caso, a identificação dos posicionamentos coletivos da corte pode ser difícil. Esta tese sustenta que, por conta...

  4. Análisis y Diseño de Algoritmos de Control Discreto de Sistemas MIMO Lineales y No Lineales Aplicando Técnicas de Control de Estructura Variable

    Luis Delgado, José Darío
    Dentro de las técnicas de control de procesos no lineales, los controladores de estructura variable con modos deslizantes (VSC-SM en sus siglas en inglés) han demostrado ser una solución robusta, por lo cual han sido ampliamente estudiados en las cuatro últimas décadas. Desde los años ochenta se han presentado varios trabajos enfocados a especificar controladores VSC aplicados a sistemas de tiempo discreto (DVSC), siendo uno de los mayores intereses de análisis obtener las mismas prestaciones de robustez e invarianza de los controladores VSC-SM. El objetivo principal del trabajo de Tesis Doctoral consiste en estudiar, analizar y proponer unos esquemas de...

  5. Estudio técnico económico de los proyectos de legalización de una instalación eléctrica y protección contra incendios de una nave industrial destinada a calzado, sita en el término municipal de Villena (Alicante).

    MICÓ GARCÍA, SAMUEL
    [ES] El presente proyecto tiene por finalidad especificar las características de la instalación eléctrica a realizar en la industria destinada a la fabricación de calzado, solicitando al mismo tiempo la inscripción, ante el servicio Territorial de Industria y Energía de Alicante, de la instalación de la actividad y cumpliendo con los requisitos que la reglamentación al respecto determina para una actividad de estas características.

  6. [en] SELECTION OF TWO PAIRS GEARMOTORS FOR A AXIAL-TORSION MACHINE ELECTROMECHANICAL

    EDUARDO ENES COTA
    [pt] Neste trabalho de fim de curso de engenharia mecânica na faculdade PUC-Rio, se baseia em pesquisar e especificar a melhor opção de um par de motoredutores, para uma máquina eletromecânica de tração-torção (MTT), a fim de realizar futuros ensaios de fadiga multiaxial, em regime elastoplásticos. Essa máquina foi projetada e construída pelo Dr. Eleazar Cristian Mejia Sanchez durante sua tese de doutorado, onde avaliou experimentalmente modelos de plasticidade incremental, e predição da fadiga sobre cargas multiaxiais. Entretanto, ela sofreu certas limitações devido aos motoredutores utilizados, e disponibilizados quando o Dr. Cristian Mejia realizou sua tese. Para o seu funcionamento,...

  7. Marxinalismo e racionalidade en Economía

    Rodríguez Toimil, Abilio
    Analízase a posibilidade de integración de factores psicolóxicos en Economía a traveso da analítica marxinalista. Afírmase que a linguaxe analítica empregada limita e condiciona. Existen autores que defenden a posibilidade de integración de factores psicolóxicos mediante o marxinalismo sen especificar limitacións; outros que negan esa posibilidade. A tese defendida adopta unha perspectiva distinta: preguntarse polos factores psicolóxicos que non é posible integrar e polos motivos desa selectividade. Analízase a capacidade para incorporar factores non hedónicos a modelos condutuais e as consecuencias analíticas da súa non integración. Atópase que non tódolos factores psicolóxicos son integrables nos modelos condutuais. Como consecuencia vese afectada a capacidade explicativa dos propios modelos e o...

  8. Diseño e implementación del kernel de xDEVS, versión distribuida

    Llorente de la Cita, Guillermo; Lázaro-Carrasco Hernández, Luis
    Para entender nuestro proyecto, debemos comprender DEVS. Dentro de los formalismos más populares de representación de sistemas de eventos discretos se encuentra DES. En la década de los 70, el matemático Bernard Zeigler propuso un formalismo general para la representación de dichos sistemas. Este formalismo denominado DEVS (Discrete EVent System Specification) es el formalismo más general para el tratamiento de DES. DEVS permite representar todos aquellos sistemas cuyo comportamiento pueda describirse mediante una secuencia de eventos discretos. Estos eventos se caracterizan por un tiempo base en el que solo un número de eventos finitos puede ocurrir. DEVS Modelado y Simulación...

  9. Ciencias de la Computación / Computational Sciences Verification of the Formal Concept Analysis

    Rev R. Acad; Cien Serie; A. Mat; José Antonio Alonso; Joaquín Borrego; María José Hidalgo; Francisco Jesús Martín–mateos; José Luis Ruiz–reina
    Abstract. This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform specifications of algorithms based on finite sets into other executable ones, preserving its correctness. We illustrate this method by constructing an executable algorithm to compute an implicational base of the system of implications between attributes of a finite formal context. Verificación del Análisis formal de conceptos Resumen. En este trabajo se realiza una verificación formal de la teoría del Análisis formal de conceptos....

  10. Tratamiento de la Personalización Dinámica en Modelos Conceptuales de Aplicaciones Web ⋆

    Irene Garrigós; Jaime Gómez; Cristina Cachero
    Abstract 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 OO-H tiene una arquitectura de personalización que se apoya...

  11. Automatización de planes de misión para vehículos aéreos tripulados remotamente.

    LORENZO SEMPERE, ASENSIO
    El sector aeronáutico es un campo donde la innovación est´a a la orden del día. Sin embargo, tanto el periodo de diseño y validación, como el de amortización de las aeronaves provocan que su vida útil se extienda durante décadas. Esto requiere mantener la retrocompatibilidad para que las aeronaves que siguen en funcionamiento puedan compartir el espacio aéreo con los nuevos modelos. Sin embargo, la aparición de vehículos RPAS en el ámbito civil y su rápido crecimiento, suponen un cambio en el paradigma de renovación debido a los cortos periodos de diseño y validación de estas aeronaves. Esto provoca que la frecuencia con la que las nuevas tecnologías...

  12. ¿Soy yo acaso el guarda de mi hermano?: el motivo de los hermanos enemistados como reflejo de memorias controvertidas en las novelas "Abschied von den Feiden" de Reinhard Jirgl y "Saúl ante Samuel" de Juan Benet

    Vollmeyer, Johanna
    La presente tesis trata de los discursos dominantes de la memoria en las novelas Abschied von den Feinden y Saúl ante Samuel. A pesar de las muchas diferencias que hay entre ambas, tienen un punto en común que constituye un fuerte nexo entre ambas, a saber el motivo de los hermanos enemistados. No obstante, en el trabajo no pretendo realizar una comparación literaria como tal, ya que la situación es muy dispar en las dos novelas, como también lo son los contextos que reflejan. Lo que se busca es más bien una confrontación de ambas obras para hacer visibles los...

  13. Evaluación y optimización de rendimiento y consumo energético de aplicaciones paralelas a nivel de tareas sobre arquitecturas asimétricas

    Costero Valero, Luis María
    Las arquitecturas asimétricas, formadas por varios procesadores con el mismo repertorio de instrucciones pero distintas características de rendimiento y consumo, ofrecen muchas posibilidades de optimización del rendimiento y/o el consumo en la ejecución de aplicaciones paralelas. La planificación de tareas sobre dichas arquitecturas de forma que se aprovechen de manera eficiente los distintos recursos, es muy compleja y se suele abordar utilizando modelos de programación paralelos, que permiten al programador especificar el paralelismo de las tareas, y entornos de ejecución que explotan dinámicamente dicho paralelismo. En este trabajo hemos modificado uno de los planificadores de tareas más utilizados en la...

  14. Reflecting on X.509 and LDAP, or How separating identity and attributes could simplify a PKI

    Jeroen Van De Graaf; Osvaldo Carvalho
    Abstract. X.509 certificates can be used to store attributes about its owner, and so can on-line directory systems such as LDAP. In this paper we explore the option of putting little or no data in the certificate itself, and all data in LDAP databases. We show how this approach completely changes the role of the Registration Authority, resulting in a more flexible PKI. In particular it leads to a way to implement Single Sign On, allowing hosting organizations to fully specify and modify access control lists, and for mechanisms in which the user can have some control over which information...

  15. Desarrollo de una aplicación para la gestión de compras con dispositivos móviles

    BALLESTEROS CABAÑAS, RODRIGO
    [ES] Este proyecto consiste en la creación de una aplicación móvil desarrollada para sistemas operativos Android cuya principal funcionalidad es que cada usuario puede crear sus listas de la compra y, una vez registrado, compartirlas con sus amigos que previamente son agregados al aceptar su solicitud de amistad. Cada lista se puede guardar en una de las cinco categorías posibles, junto con su nombre y el precio total. En ellas encontramos los productos con sus precios añadidos por el usuario. El proceso de desarrollo de la aplicación se ha llevado a cabo en tres fases. Un primer proceso de análisis para especificar los requisitos de la aplicación...

  16. REVIST~. ESPAÑOLA DE INVESTIGACION DE MARKETING ESIC HETEROGENEIDAD Y LEALTAD

    A La; Marca En; El Mercado Español; De Detergentes; Ma Mercedes; Martas Partap; Universidad De Salamanca; Nora Lado Causté
    El ohjetivo de esta investigación es especificar la elección de marca permitiendo la incorporación de la lealtad (KRISIINAMURTHI y RAJ 1988) Y la hete-rogeneidad aplicando una metodología de clases latentes (KAMAKURA y RUSEU 1989). Se pruponen diferentes especificaciones para medir, de forma secuencial, la importancia relativa de incorporar la heterogeneidad en las preferencias y precios, la lealtad homogénea y, por último, la lealtad hetem-génea por segmento. Las estimaciones se realizan usando los datos de escáner de compra de ACNiel-sen referidos a detergentes para ropa delicada recogidos de una muestra de más de 1100 hogares españoles. Sobre la hase de resultados...

  17. $rec.titulo

    Revista De Investigación Educativa; Dirección Carmen Jiménez; Dirección Ejecutiva; Mª Ángeles Marín; Ignacio Alfaro; Arturo Orden; Víctor Álvarez; Ana Delia Correa; Margarita Bartolomé; Francisco J. Tejedor; Nuria Borrell; Luis Sobrado; Leonor Buendía; Pilar Colás; Consejo De Redacción; Iñaki Dendaluce; Rafael Bisquerra; Benito Echeverria; Flor Cabrera; Tomás Escudero; Trinidad Donoso; Narciso García; Nieto Pilar Figuera; José Luis; Gaviria Mercedes Rodríguez; Fuensanta Hernández; Mª Paz Sandín; Jesús Jornet; Ruth Vila; Joan Mateo; Mario De Miguel; Consejo De Redacción; Intercambio Científico; Distribución Y Suscripción
    NORMAS PARA LAS COLABORACIONES El objetivo de la Revista de Investigación Educativa es promover el intercambio de información acerca de investigaciones empíricas de carácter educativo. Todo profesio-nal que desee colaborar en la revista deberá atenerse a las siguientes indicaciones: 1. Los trabajos deberán ser originales y versar sobre investigación educativa. 2. El autor o autora deberá enviar un original y tres copias mecanografiadas a la redacción de la Revista. 3. El autor o autora deberá especificar debajo del nombre del artículo su dirección profesional y su E.mail. Si son varios autores/as, se adjuntará el E.mail del primer autor como mínimo....

  18. Estimación de emisiones de los ciclos de aterrizajes y despegues de aeronaves en el aeropuerto Adolfo Suárez Madrid-Barajas

    Urbaneja Marcano, Luisana
    La aviación ha experimentado una rápida expansión a medida que la economía mundial ha crecido. El aeropuerto Adolfo Suárez Madrid-Barajas fue el aeropuerto que más pasajeros registró en 2015 en España, con 46,8 millones (23% de cuota respecto al resto de aeropuertos españoles), el tráfico creció en 11,5 millones de movimientos de pasajeros respecto a 2014 según la Dirección General de Aviación Civil del Ministerio de Fomento. Los impactos climáticos de los gases y de las partículas emitidas y creadas debido a la aviación son más difíciles de cuantificar que las emisiones con un efecto perjudicial para la calidad del aire. Las...

  19. Tratamiento de la Personalización Dinámica en Modelos Conceptuales

    De Aplicaciones Web; Cristina Cachero
    Abstract 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, usual-mente 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 per-sonalización dinámica. Describimos cómo los diagramas convencionales de navegación y presentación se ven afectados por propiedades de per-sonalización. Para modelar la parte variable de la lógica de interfaz OO-H tiene una arquitectura de personalización que se apoya...

  20. Las Islas Canarias en los antiguos islarios

    Salvatori, Maddalena

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.