Este trabajo trata sobre la implementación de un intérprete para un lenguaje propio, que incluye algunas características que no son abordadas en cursos básicos de Desarrollo de Compiladores. Estas características son: lenguaje de programación orientado a objetos, modificación dinámica de código y optimización de código intermedio. El objetivo de este proyecto es presentar estas características, proponer una forma de implementación de las mismas y finalmente proceder a implementarlas. De tal manera que este trabajo contribuya al aprendizaje de construcción de intérpretes o compiladores, sirviendo como un caso de estudio para aquellas personas que tengan como objetivo profundizar en el tema, y por consiguiente un posible punto de partida para futuros trabajos. Por otro lado, es necesario validar los resultados obtenidos por el optimizador, así como la eficiencia de la forma implementación escogida, por lo que se incluye también una experimentación numérica que permite comprobar las hipótesis planteadas al inicio. En la primera parte, se define el problema identificado, luego se describe un breve marco teórico con los principales conceptos involucrados en el desarrollo del proyecto, seguidamente se muestra el estado del arte con relación a compiladores e intérpretes y se describe la solución al problema planteado al inicio. En la segunda parte, principalmente, se describen los objetivos del proyecto, los aportes específicos, los resultados esperados y las hipótesis. Como se mencionó anteriormente, uno de los objetivos que se persigue es que la tesis pueda servir como un caso de estudio para las personas interesadas y una posible base para trabajos futuros; por lo tanto, es necesario explicar la implementación con un nivel de detalle adecuado. En ese sentido, se describe las distintas partes de la implementación escogida: se comienza con la descripción de la gramática del lenguaje, después se describen las estructuras utilizadas, algunas operaciones primitivas, el código intermedio generado, las principales acciones semánticas, la interpretación, la administración de memoria, los algoritmos de optimización, el diseño del IDE y el ambiente de desarrollo. / Tesis

Over the time, the development of the digital design has increased dramatically and nowadays many different circuits and systems are designed for multiple purposes in short time lapses. However, this development has not been based only in the enhancement of the design tools, but also in the improvement of the verification tools, due to the outstanding role of the verification process that certifies the adequate performance and the fulfillment of the requirements. In the verification industry, robust methodologies such as the Universal Verification Methodology (UVM) are used, an example of this is [1], but they have not been implemented yet in countries such as Peru and they seem inconvenient for educational purposes. This research propose an alternative methodology for the verification process of designs at the industry scale with a modular structure that contributes to the development of more complex and elaborated designs in countries with little or none verification background and limited verification tools. This methodology is a functional verification methodology described in SystemVerilog and its effectiveness is evaluated in the verification of an AES (Advance Encryption Standard) encryption module obtained from [2]. The verification framework is based on a verification plan (developed in this research as well) with high quality standards as it is defined in the industry. This verification plan evaluates synchronization, data validity, signal stability, signal timing and behavior consistency using Assertions, functional coverage and code coverage. An analysis of the outcomes obtained shows that the AES encryption module was completely verified obtaining 100% of the Assertions evaluation, 100% of functional verification and over 95% of code coverage in all approaches (fsm, block, expression, toggle). Besides, the modular structure defines the intercommunication with the Design only in the bottom most level, which facilitates the reuse of the verification framework with different bus interfaces. Nonetheless, this unit level verification framework can be easily instantiated by a system level verification facilitating the scalability. Finally, the documentation, tutorials and verification plan templates were generated successfully and are aimed to the development of future projects in the GuE PUCP (Research group in Microelectronics). In conclusion, the methodology proposed for the verification framework of the AES encryption module is in fact capable of verifying designs at the industry scale with high level of reliability, defining a very detailed and standardized verification plan and containing a suitable structure for reuse and scalability. / Tesis

Desarrolla un estudio sobre la implementación de la infraestructura tecnológica para un negocio, según su requerimiento, cuyo objetivo primordial es la demostración de la viabilidad de implementar un centro de cómputo o área de informática, incluyendo las alternativas de evaluación el software libre.

No description available.

No description available.

No description available.

Magíster en Ciencias, Mención Computación / Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando predicados lógicos. Sin embargo, como cualquier otra disciplina de tipos expresiva, obligan a los programadores a lidiar con las estrictas restricciones impuestas por los tipos. Esto puede resultar ser demasiado tedioso para los programadores, especialmente en etapas tempranas de desarrollo donde el código cambia constantemente. Nosotros conjeturamos que esta rigidez no deseada puede obstaculizar la adopción de los tipos refinados. Los tipos graduales (Gradual Typing) permiten combinar la flexibilidad de los lenguajes dinámicamente tipados con las garantías otorgadas por los lenguajes estáticamente tipados. Usando tipos graduales, los programadores pueden comenzar un desarrollo con código chequeado completamente de forma dinámica y aprovechar la flexibilidad de las construcciones idiomáticas típicas de los lenguajes dinámicos. A medida que el código se vuelve más estable, el programador o la programadora puede escoger verificar estáticamente ciertas porciones del programa, haciendo precisos los tipos en esos puntos. Finalmente, si lo desea, también puede decidir verificar el código completamente de forma estática. Los sistemas de tipos graduales aseguran una transición suave entre estos distintos niveles de precisión. Esta tesis demuestra como los tipos graduales pueden ser extendidos para soportar los tipos refinados, permitiendo una evolución suave además de interoperabilidad entre tipos simples y tipos lógicamente refinados. Al hacer esto, se atacan dos desafíos previamente inexplorados en la literatura sobre tipos graduales: lidiar con información lógica imprecisa y con la presencia de tipos dependientes. El primer desafío condujo a una noción crucial de localidad para fórmulas, mientras que el segundo desafío terminó en la definición de novedosos operadores relacionados con substitución al nivel de tipos y términos, que identifican nuevas oportunidades para errores en tiempo de ejecución en lenguajes graduales con tipos dependientes. / Este trabajo ha sido parcialmente financiado por CONICYT - PCHA Magíster Nacional 2015-22150894

Ingeniero Civil en Computación / El lenguaje de programación R es muy popular para desarrollar programas estadísticos y de análisis de datos, gracias a sus numerosas librerías y amplia comunidad, su sintaxis concisa y expresiva, así como soporte para su uso interactivo. Aún así, su semántica es bastante compleja y contiene numerosos casos de borde, y no está formalmente especificada, lo que hace difícil confiar plenamente en los programas desarrollados en R. Esto tiene como consecuencia que, en el año 2017, se inicie el proyecto CoqR, que busca formalizar la semántica de R, definiendo para ello una semántica natural en la forma de un intérprete implementado en el asistente de pruebas Coq. Como primera fuente de confianza, para validar la formalización, se utiliza una codificación monádica, que permite establecer una correspondencia visual directa entre el código en Coq y el intérprete de referencia implementado en C, GNU R, de tal forma que una o dos líneas de CoqR equivalen a una o dos de GNU R. El sistema desarrollado en esta memoria sirve como infraestructura para ejecutar bancos de pruebas y poder comparar, de manera sistemática, el comportamiento de CoqR y GNU R, proporcionando una segunda fuente de confianza para validar la formalización. Además, pro- porciona herramientas para apoyar el proceso iterativo de desarrollo, permitiendo identificar y detectar tanto las funcionalidades más relevantes a implementar, como los errores que puedan surgir durante esta fase. De esta manera, el sistema se integra directamente al proceso de desarrollo y a la validación de CoqR, logrando que, en su versión actual, cubra cerca del 30 % de los casos de pruebas, tanto de GNU R como de otro proyecto relevante, FastR.

El paradigma de agentes/sistemas multi-agente es uno de lo smodelos computacionales de mayor relevancia de los últimos tiempos, habiendo dado lugar a múltiples investigaciones y aplicaciones concretas. Este modelo computacional tiene como objetivo la construcción de sistemas que se enfrenten a situaciones mostrando ciertas características propias de un ser humano, tales como inteligencia, reactividad, pro-actividad,... De entre todas las variedades de tipos de agente que se pueden definir, el trabajo realizado se centra en aquellos agentes que deben trabajar en un entorno con restricciones temporales críticas, es decir, donde existen ciertos problemas a los que el agente debe dar respuesta antes de que pase un determinado tiempo o las consecuencias serán catastróficas. En un agente de este tipo es fundamental tratar de conseguir un uso óptimo del tiempo de procesador, recurso más importante en esta clase de sistemas. Es por esto que resulta relevante ocnseguir que dicho agente sea capaz de dedicar su timpo de procesador a aquello que sea necesario de acuerdo a la situación en la que se encuentre. Para conseguir esta adaptación es fundamental que el agente sea capaz de razonar sobre su propio proceso de razonamiento, es decir, meta-razonar, siempre teniendo en cuenta que este proceso de metarazonamiento va a consumir también tiempo de procesador. De esta manera, el objetivo de este trabajo es el estudio de las capacidades necesarias para poder incorporar la habilidad de meta-razonar a un agente con restricciones temporales críticas, así como la incorporación a una arquitectura de agente concreta, la de agente ARTIS. Después del estudio comentado, se llegó a la conclusión de que para poder incorporar la habilidad de meta-razonamiento a un agente con restricciones temporales críticas era necesario incluir al agente las siguientes capacidades: detección de situaciones significativas, adaptar su comportamiento, adaptar el proceso de razonamiento del agente teniendo en .. / Carrascosa Casamayor, C. (2004). Meta-razonamiento en Agentes con Restricciones Temporales Críticas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2670 / Palancia

El área de la Inteligencia Artificial está experimentado un gran avance en los últimos tiempos con su aplicación a un mayor número de campos diferentes. Uno de ellos es el de los problemas de tiempo real. Problemas donde no sólo es importante la lógica del cálculo de las soluciones, sino también el instante de tiempo en que son calculadas dichas soluciones. Este acercamiento entre ambas árear es, en principio, provechoso, pues la Inteligencia Artificial puede aportar nuevas posibilidades a los sistemas de tiempo real, como una mayor flexibilidad de adaptación a entornos complejos y dinámicos. Sin embargo esta aproximación ha presentado desde siempre importantes dificultades. Principalmente los sistemas de tiempo real poseen unos requerimientos temporales (predecibilidad de los tiempos de respuesta principalmente) que no suelen ser habituales en las técnicas de Inteligencia Artificial. Entre otras formas de abordar este problema, está el desarrollo de arquitecturas software para el diseño de agentes inteligentes para su uso en entornos de tiempo real. Estas arquitecturas poseen diferentes mecanismos para que los agentes construidos puedan trabajar en entornos de tiempo real . Estas arquitecturas poseen diferentes mecanismos para que los agentes construidos puedan trabajas en entornos de tiempo real ofreciendo comportamientos reactivos (para cumplir los requerimientos temporales) y deliberativos (que hacen uso de técnicas de Inteligencia Artificial para conseguir mejores prestaciones). Una de estas arquitecturas es ARTIS. Esta arquitectura hace uso de una planificación de sus tareas a dos niveles para conseguir complir sus objetivos. Por un lado un planificador de primer nivel garantiza la obtención de respuestas dentro de límites temporales estrictos. Un planificador de segundo nivel se encarga del control de componentes que mejoran la calidad de los resultados. El trabajo presentado se centra en este segundo planificador, desarrollando dos heurísticas, SSS....... / Hérnandez López, L. (2004). Heurísticas para el control deliberativo en una arquitectura de agentes inteligentes de tiempo real [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2671 / Palancia