Mostrando recursos 281 - 300 de 188.798

  1. Sliding Mode Fuzzy Control of a Helicopter with One Degree of Freedom

    Giraldo Buitrago, Didier; Giraldo Suárez, Eduardo; Sánchez Acevedo, Santiago; Grupo de Investigación en Control Automático
    Se presenta un esquema para la aplicación del control por planos deslizantes usando lógica difusa de un modelo académico para el helicóptero. Las pruebas sobre el desempeño del controlador se realizan sobre el sistema con perturbaciones temporales. La ventaja del control implementado es que no necesita del conocimiento completo del modelo matemático de la planta.

  2. Statistical learning algorithm for single phase fault location in power distribution systems

    Estrada C., Néstor Julián; Mora Flórez, Juan José; Pérez Londoño, Sandra Milena; Grupo de Investigación en Calidad de Energía Eléctrica y Estabilidad - ICE3
    Este artículo se presenta una estrategia para localización de fallas monofásicas en sistemas de distribución, a partir de un algoritmo de aprendizaje estadístico basado en lógica difusa y con estructura conexionista. En esta investigación, las señales de voltaje y corriente medidas en la subestación durante una falla son utilizadas para obtener los atributos que sirven de entrada al localizador. Finalmente, se presentan los resultados obtenidos con errores inferiores al 3% para pruebas en un circuito real de distribución.

  3. Navegación de robots móviles mediante comportamientos utilizando lógica difusa

    Bueno L., Maximiliano; Parra Lara, Hernando; Ríos G., Luis Hernando
    Este artículo describe la implementación de comportamientos básicos de navegación de robots móviles utilizando lógica difusa. Entre los comportamientos implementados se describen el comportamiento SEGUIR PARED y el comportamiento SEGUIR PASILLO. Para la implementación de dichos comportamientos se utilizó el toolbox de lógica difusa de Matlab y el modelo cinemático de la plataforma P-METIN del Grupo GIROPS. Una de las principales características de dicha implementación es la información de distancia obtenida de los sensores de dicha plataforma.

  4. Logic, Mathematics and Consistency in Literature: Searching for Don Quixote’s Place

    Montero, Javier; Rodríguez Caderot, Gracia; Romero Pérez, Mª Pilar
    In this paper we show how uncertainty can be drastically reduced along our linguistic discourse. In particular, after discussing if the analysis of consistency in literature is a legitimate scientific question, from the linguistic analysis of the master piece of Miguel de Cervantes (1547–1616), “Don Quixote of La Mancha”, we will propose a procedure to check to what extent the linguistic information provided by the author about the walking speed of Don Quixote within La Mancha is consistent. Such a consistency should allow the existence of a region that meets the author’s linguistic description of those trips that involve the...

  5. Herramienta de control y mejora: aplicación de poka yoke al proceso de contratación pública

    Ochsenius Robinson, Iván
    t is an undeniable truth that there is no way of knowing how things are going if we do not carry out controls, which in turn help us to take appropriate action. Implementing tools for control and improvement of public procurement processes continues to be -like in other areas of Public Administration- a pending challenge. Tighter social control over what the State does and its responsibilities requires that it is more transparent, and in particular, that it uses public money more efficiently and effectively. After the economic crisis, which continues to affect many, State resources are perceived, now more than...

  6. La creación colectiva teatral. Método de acción social y resistencia con el colectivo de personas sin hogar en Sevilla, España

    Muñoz Bellerín, Manuel; Cordero Ramos, Nuria
    Este artículo presenta la posibilidad de la utilización del teatro como herramienta metodológica al servicio de los procesos de lucha y resistencia con colectivos, como el de las personas sin hogar, que son considerados excluidos por las lógicas hegemónicas. En España, concretamente en la ciudad de Sevilla, las perspectivas dominantes y prácticas de la acción social destinadas a las personas sin hogar son asistenciales y, por tanto, perpetuadoras del estigma. A partir de la investigación aplicada y las experiencias compartidas con grupos de personas sin hogar en la ciudad de Sevilla se muestra cómo el teatro, a través de la...

  7. Lógica del desarrollo económico: la biblioteca universitaria y los clusters industriales

    Oyarce Gatica, Alejandro; Mardonez Leiva, Marjorie
    En el contexto de la sociedad del conocimiento, es necesario que las bibliotecas universitarias comprendan que sus desafíos están en correlato con la evolución de los tres sectores estratégicos: universidad, Estado e industria. Se analiza la relación entre el desarrollo de la economía y la investigación, y el potenciamiento de los clusters industriales por intermedio de la biblioteca universitaria en el marco de la tercera misión de la universidad.

  8. Fast extract with cube hashing

    Schmitt, Bruno de Oliveira
    The fast-extract algorithm is a well-known algebraic method for factoring and decomposing Boolean expressions. Since it uses pairwise comparisons between cubes to find factors, the run-time is degraded for networks whose primary outputs are expressed in terms of primary inputs and have Boolean functions with thousands of cubes. This work describes a new implementation of the fast-extract algorithm, fxch, having complexity linear in the number of cubes. The reduction in complexity is achieved by hashing sub-cubes and using the hash table to find good factors to extract. Experimental results on industrial benchmarks show better run-time and scalability of the proposed...

  9. A Formalisation of the Generalised Towers of Hanoi

    Théry, Laurent
    This notes explains how the optimal algorithm for the generalised towers of Hanoi has been formalised in the Coq proof assistant using the SSReflect extension.

  10. Development and experimental validation of a mechanistic model of a recombinase-based temporal logic gate

    Bowyer, Jack; Hsiao, Victoria; Bates, Declan G.
    DNA recombination provides an ideal mechanism for constructing stable and reversible synthetic biological switches. Recent advances in recombinase-based circuitry that account for more than one protein input have been shown to enable the construction of circuits with temporal Boolean logic operations in vivo. Associated mathematical models have to date only captured the qualitative dynamical features of such systems and are thus of limited utility as tools to aid in the design of such circuitry. Here we develop a detailed mechanistic model of a two-input temporal logic gate circuit based on unidirectional DNA recombination with bacteriophage integrases to detect and encode...

  11. Reactive controllers for differentially flat systems with temporal logic constraints

    Liu, Jun; Topcu, Ufuk; Ozay, Necmiye; Murray, Richard M.
    We propose a procedure for the synthesis of control protocols for systems governed by nonlinear differential equations and constrained by temporal logic specifications. This procedure relies on a particular finite-state abstraction of the underlying continuous dynamics and a discrete representation of the external environmental signals. A two-player game formulation provides computationally efficient means to construct a discrete strategy based on the finite-state model. We focus on systems with differentially flat outputs, which, in a straightforward manner, allows the construction of continuous control signals from the discrete transitions dictated by the discrete strategy. The resulting continuous-time output trajectories are provably guaranteed...

  12. Concolic testing in logic programming

    Mesnard, Frédéric; Payet, Etienne; Vidal, Germán
    International audience

  13. On the Completeness of Selective Unification in Concolic Testing of Logic Programs

    Mesnard, Frédéric; Payet, Etienne; Vidal, Germán
    International audience

  14. Reaching Energetic Sustainability through a Self-oriented Battery Charger, Based on Paraconsistent Annotated Evidential Logic Eτ

    Prado, Álvaro,; Oliveira, Cristina,; Sakamoto, Liliam,; Abe, Jair,; Nogueira, Marcelo
    Part IV: ICT and Emerging Technologies

  15. Data-model comparison using fuzzy logic in paleoclimatology

    Guiot, J.; Boreux, J. J.; Braconnot, P.; Torre, F.; Participants, Pmip
    International audience

  16. A plasmonic multi-logic gate platform based on sequence-specific binding of estrogen receptors and gold nanorods

    Pallares, RM; Bosman, M; Thanh, NTK; Su, X
    A hybrid system made of gold nanorods (AuNRs) and double- stranded DNA (dsDNA) is used to build a versatile multi-logic gate platform, capable of performing six different logic operations. The sequence-specific binding of transcription factors to the DNA drives the optical response of the design.

  17. Estructuras lógicas en las artes plásticas

    Cuevas, María
    El título de la tesis Estructuras Lógicas en las Artes Plásticas, combina dos ámbitos de estudio o investigación: el de las estructuras lógicas y el de las artes plásticas para generar una visión nueva de análisis de las obras plásticas que sirva tanto de referencia a un observador patrón interesado en adentrarse en los procesos generativos de un cierto tipo de obras de arte como al artista o mejor, autor, que le sea útil para reflexionar sobre su propio quehacer y enriquecerse con las propuestas de otros artistas. ¿Por qué estructuras lógicas? Estructuras porque lo que se estudia aquí es...

  18. Eficacia jurídica de la normativa común en procesos de integración regional: aplicación de la doctrina de la eficacia jurídica de las Directivas de la Unión Europea al derecho de integración del MERCOSUR

    Pavón Piscitello, Daniel
    El objetivo de la tesis consiste en reflexionar sobre la eficacia jurídica de la normativa común en procesos de integración regional, concretamente en analizar la factibilidad de la aplicación de la doctrina jurisprudencial de la eficacia jurídica del derecho de integración de la Unión Europea, con énfasis en los desarrollos vinculados a las Directivas como fuente de su derecho derivado, al derecho de integración derivado del MERCOSUR, todo ello en orden a mejorar la efectividad de este último y contribuir al avance del proceso de integración. Desde lo metodológico el trabajo implica un análisis comparado de los procesos de integración...

  19. La lógica de los auges de inversión en América Latina

    Brun, Martín; Rius, Andrés
    The lack of agreement between empirically-based works and theorization could be a consequence of the application of assumptions and methodologies which are not entirely suitable to understand some conditions about the studied phenomenon. In this study we face the challenge from a different perspective, using the unusual but highly suitable tools from qualitative comparison analysis developed by Ragin (2008). We center on the study of the presence or absence of sets of conditions that prompted investment booms between 1970 and 2012 in 11 Latin American countries. The technique allows us to confirm that the presence or absence of certain conditions is important when studying the relevance of the remaining ones.

  20. La lógica de los auges de inversión en América Latina

    Brun, Martín; Rius, Andrés
    The lack of agreement between empirically-based works and theorization could be a consequence of the application of assumptions and methodologies which are not entirely suitable to understand some conditions about the studied phenomenon. In this study we face the challenge from a different perspective, using the unusual but highly suitable tools from qualitative comparison analysis developed by Ragin (2008). We center on the study of the presence or absence of sets of conditions that prompted investment booms between 1970 and 2012 in 11 Latin American countries. The technique allows us to confirm that the presence or absence of certain conditions is important when studying the relevance of the remaining ones.

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.