• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 218
  • 196
  • 4
  • 2
  • Tagged with
  • 417
  • 357
  • 356
  • 230
  • 117
  • 53
  • 50
  • 45
  • 43
  • 42
  • 41
  • 40
  • 36
  • 36
  • 35
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Inferencia estocástica y aplicaciones de los lenguajes de árboles

Rico Juan, Juan Ramón 02 July 2001 (has links)
No description available.
22

Inferencia de lenguajes racionales estocásticos

Carrasco, Rafael C. 08 May 1997 (has links)
No description available.
23

Data warehouse design with UML

Luján Mora, Sergio 22 July 2005 (has links)
No description available.
24

Desarrollo de un marco comparativo para la evaluación de lenguajes de modelado de requisitos para Líneas de Productos de Software

Sepúlveda, Samuel 22 January 2016 (has links)
No description available.
25

Estudio de la mezcla de estados determinista y no determinista en el diseño de algoritmos para inferencia gramatical de lenguajes regulares

Álvarez Vargas, Gloria Inés 07 May 2008 (has links)
Esta investigación aborda el tema del diseño de algoritmos de inferencia gramatical para lenguajes regulares, particularmente en lo relacionado con la mezcla de estados como elemento fundamental del proceso de inferencia. Se estudia la mezcla de estados en sus variantes determinista y no determinista desde el punto de vista teórico. Como resultado se propone una manera eficiente de realizar la mezcla de estados no determinista y se demuestra que la inferencia gramatical de lenguajes regulares basada en la mezcla de estados (tanto determinista como no determinista) converge en el límite independientemente del orden en que se realizan las mezclas. La demostración es de interés ya que entre otras consecuencias, permite afirmar la convergencia en el límite de la estrategia EDSM (Evidence Driven States Merging) que es ampliamente conocida en la literatura como un heurísico. Dado que la demostración considera también la inferencia de autómatas no deterministas, el resultado abre la puerta al desarrollo de algoritmos convergentes que infieren autómatas no deterministas. El aspecto experimental de esta investigación propone un conjunto de algoritmos de inferencia gramatical para lenguajes regulares, todos ellos convergentes en el límite. Estos algoritmos surgen de aplicar diferentes variantes de mezcla de estados determinista y no determinista; ellos buscan aprovechar la información que se puede obtener a partir de las relaciones de inclusión entre los lenguajes por la derecha asociados a los estados de todo autómata. Se proponen cuatro algoritmos que hacen mezcla determinista y dos que hacen mezcla no determinista de estados. Los resultados obtenidos al comparar estos nuevos algoritmos con algoritmos de referencia como RPNI, red-blue o DeLeTe2 muestran que se logra disminuir significativamente el tamaño de las hipótesis que se producen, al tiempo que se consiguen tasas de reconocimiento comparables o ligeramente inferiores. También se han obtenido algunas mejoras en la co / Álvarez Vargas, GI. (2007). Estudio de la mezcla de estados determinista y no determinista en el diseño de algoritmos para inferencia gramatical de lenguajes regulares [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1957 / Palancia
26

Plataforma de comunicación entre Live Robot Programming y el Robot AR.Drone 2.0

Hernández Phillips, Carolina Massiel January 2016 (has links)
Ingeniera Civil en Computación / La robótica es un área de estudio joven que presenta gran potencial de progreso. Esto incita a expertos de diversas áreas a contribuir en su desarrollo mediante proyectos de investigación y de ingeniería. En este escenario el estudiante Miguel Campusano y el profesor Johan Fabry, ambos integrantes del DCC de la Universidad de Chile, proponen un lenguaje de programación para robots denominado LRP. Este lenguaje es implementado en Pharo Smalltalk, un lenguaje de programación caracterizado por su fuerte orientación a objetos y su poderoso ambiente de desarrollo. Utilizar LRP con un robot determinado requiere una aplicación estilo puente escrita en Pharo, que sirva como interfaz de comunicación entre el lenguaje y el robot. Previo a la realización de este trabajo, sólo dos puentes habían sido implementados. Estos permitieron hacer de pruebas con algunos robots. No obstante, para nes investigativos es muy deseable utilizar el lenguaje LRP con tantos robots como sea posible. El AR.Drone 2.0, de la empresa Parrot, es un cuadricóptero eléctrico no tripulado, controlado remotamente y que cuenta con diversos sensores. Este robot es un excelente caso de prueba para LRP, dada su gran diferencia con los robots utilizados anteriormente. La solución presentada en este trabajo de memoria contempla la implementación de la infraes- tructura necesaria para hacer pruebas utilizando LRP con el AR.Drone y su validación mediante distintos programas de prueba implementados en LRP. Se ha creado una API capaz de comuni- carse con el drone y la aplicación tipo puente requerida. Ambas aplicaciones fueron escritas en Pharo. La API permite establecer una conexión con el drone, recibir los datos que publica y enviar comandos de control y con guración. El puente adapta una serie de métodos de la API y permite utilizarlos desde LRP. Provee además mecanismos intuitivos para que el desarrollador interactúe directamente con el drone durante una sesión de programación. La mayoría de las di cultades enfrentadas durante el desarrollo de la API se debieron a la indocumentación de características o requerimientos impuestos por el rmware del drone. Por otro lado, el desarrollo de esta he- rramienta permitió generar conocimiento técnico especí co sobre el AR.Drone, relevante para trabajos posteriores que utilicen este robot. Los programas de ejemplo creados en LRP evidenciaron que no todas las cualidades de la modalidad de programación en vivo pueden ser aprovechadas trabajando con un robot aéreo. Esto porque es difícil restringir límites para el movimiento del robot, por su limitado tiempo de autonomía y porque la interrupción de una sesión, producto de un choque por ejemplo, implica que el desarrollador deba suspender su trabajo para reposicionar y despegar el robot. Sin embargo, live programming permitió ajustar las variables asociadas a programas ya creados, lo que adquiere gran valor al momento de establecer distancias esperadas para el recorrido del robot. Finalmente, la sintaxis de LRP y sus diagramas de estado animados en vivo facilitaron enormemente el proceso de desarrollo.
27

Entorno de desarrollo para la ejecución y traducción de pseudocódigo

Jara Loayza, Juan Carlos 23 June 2014 (has links)
El presente proyecto de fin de carrera corresponde a la construcción de un entorno de desarrollo que permita la ejecución y ejecución de pseudocódigo como herramienta de apoyo a las etapas de diseño, ejecución y validación de un algoritmo. Se permitirá la traducción a VBA, Java, Ruby, Python y c++. El documento presenta siete capítulos, en el primer capítulo se describen generalidades del proyecto como la problemática, objetivo general, objetivos específicos, resultados esperados, alcance, justificación, viabilidad y plan de actividades del proyecto. En el segundo capítulo se presenta el marco conceptual donde se describen los conceptos necesarios para entender el problema que se desea solucionar con el presente proyecto. En el tercer capítulo se presenta el estado del arte. En lo referente al estado del arte se realizó una búsqueda entre productos comerciales y no comerciales que intentan solucionar algunos aspectos del problema a resolver. En el cuarto capítulo, se describe cómo se realizó la definición y la validación de la gramática del pseudocódigo mediante el uso de la notación BNF. En el quinto capítulo se presenta el desarrollo del intérprete que permite la ejecución del pseudocódigo y del traductor que permitirá transformar el pseudocódigo a código en VBA, Java, Ruby, Python y C++. En el sexto capítulo se realiza la descripción del entorno de desarrollo que permitirá la integración del intérprete y traductor para que puedan ser utilizados por el usuario final. En el séptimo capítulo se exponen las conclusiones. / Tesis
28

Implementación de una herramienta de traducción y verificación de programas diseñados en diagrama de flujo utilizando como paso intermedio pseudocódigo

Palomino Masco, Jairo Abner 13 November 2014 (has links)
Este proyecto de fin de carrera parte de la ausencia de herramientas que sirvan de ayuda para aquellos alumnos que quieran aprender a programar. Si bien existen programas que permiten generar diagramas de flujo y luego exportarlos a un lenguaje de programación, estos no poseen un compilador que permita detectar errores de sintaxis, que pueda poseer la solución. Por ello se plantea implementar un proceso de traducción y verificación de programas diseñados en diagrama de flujo utilizando como paso intermedio pseudocódigo, para que el alumno pueda preocuparse más en la lógica de su solución, que en la sintaxis o estructura del lenguaje de programación, a codificar. Para realizar este proyecto se definió una serie de objetivos específicos. En primer lugar se desarrolló un entorno para dibujar diagramas de flujo, para ello se adaptaron las librerías de Microsoft office que ofrecen las herramientas necesarias para la creación del entorno de trabajo. Luego, se definió la gramática que almacena la sintaxis del pseudocódigo utilizando la notación Backus-Naur Form (BNF). Después se implementó el método de conversión del formato XML de Microsoft office, representación del diagrama de flujo, a pseudocódigo utilizando la sintaxis definida anteriormente y un editor de texto en el cual se muestre el resultado de la conversión al usuario. Finalmente se implementó el intérprete que utiliza la gramática para verificar que el código se encuentre léxicamente, sintácticamente y semánticamente correcto. De esta manera los alumnos podrán obtener a partir de un diagrama, el cual al ser gráfico es de fácil entendimiento, el código de su programa sin necesidad de conocer la sintaxis del mismo y validado. / Tesis
29

Desarrollo del software de un sistema SCADA para la distribución de agua potable en la quebrada de Manchay

Florencio Inga, Pedro Pablo 20 September 2012 (has links)
En la actualidad los sistemas de distribución de agua potable implementados son monitoreados, controlados y supervisados desde un Centro de Control, para lo cual se emplean los sistemas SCADA. El objetivo del presente trabajo es desarrollar la aplicación en el software del sistema SCADA, para el proyecto de distribución de agua potable en la quebrada de Manchay. La distribución de agua se realiza a través de 23 estaciones de bombeo distribuidas a lo largo de todo el pueblo. El sistema de distribución de agua potable en Manchay consiste de 4 partes fundamentales: telecomunicaciones, instrumentación, sistema eléctrico y el sistema de control y automatización, esta última parte se relaciona directamente con el presente trabajo, el cual incluye el desarrollo de la programación para realizar el monitorio, control y supervisión de las estaciones de bombeo. Como parte de la implementación del sistema, se hizo configuración de instrumentos para que puedan transmitir la información a los controladores para tener lecturas del proceso como presión, flujo y nivel. Se procedió con el desarrollo de aplicaciones para los Paneles de Operador o Interfaces Hombre Maquina (HMI) con el propósito de realizar un control y monitoreo local de los equipos instalados en cada estación. Se realizaron pruebas en el Centro de Control para verificar el enlace de las señales de campo, así como pruebas con los equipos en las estaciones de bombeo que realizan el control automático y remoto (comandos desde el Centro de Control) del proceso de distribución de agua. / Tesis
30

Sistemas de clasificación de preguntas basados en corpus para la búsqueda de respuestas

Tomás, David 21 July 2009 (has links)
No description available.

Page generated in 0.0911 seconds