Texte remanié de: Habilitationsschrift--Philosophisch-Pädagogische Fakultät--Eichstätt--Katholische Universität, 1993. / Bibliogr. p. 279-291.

En este trabajo buscaremos proponer un encuentro entre Gilles Deleuze y Paul Klee. Para esto, en primer lugar, consideraremos el concepto de repetición propuesto por Deleuze en el segundo capítulo de Diferencia y repetición; a través de este, el autor francés buscará dar cuenta de la generación de la experiencia del tiempo y, al mismo tiempo, preguntar por el estatuto de la misma. Luego de haber considerado el rol de la experiencia de la repetición, problematizaremos la imagen de ella misma al considerar orgánicamente lo que experimentaría en el límite de sí; y para esto, introduciremos la noción de membrana. Pues bien, si dicha noción complejiza la desenvoltura de la experiencia de la repetición, propondremos volver a problematizarla a través de una noción de ritmo que encontraremos desarrollada en Paul Klee, lo que implicará preguntar por la relación entre arte y naturaleza desde una perspectiva cosmogenética.

Due to the increasing complexity of today\'s cyber-physical systems, defects become inevitable and harder to detect. The complexity of such software is generally huge, with millions of lines of code. The impact of failure of such systems could be hazardous. The reliability of the system depends on the effectiveness and rigor of the testing procedures. Verification of the software behind such cyber-physical systems is required to ensure stability and reliability before the systems are deployed in field. We have investigated the verification of the software for Autonomous Underwater Vehicles (AUVs) to ensure safety of the system at any given time in the field. To accomplish this, we identified useful invariants that would aid as monitors in detecting abnormal behavior of the software. Potential invariants were extracted which had to be validated. The investigation attempts to uncover the possibility of performing this method on existing Software verification platforms. This was accomplished on Cloud9, which is built on KLEE and using the Microsoft\'s VCC tool. Experimental results show that this method of extracting invariants can help in identifying new invariants using these two tools and the invariants identified can be used to monitor the behavior of the autonomous vehicles to detect abnormality and failures in the system much earlier thereby improving the reliability of the system. Recommendations for improving software quality were provided. The work also explored safety measures and standards on software for safety critical systems and Autonomous vehicles. Metrics for measuring software complexity and quality along with the requirements to certify AUV software were also presented. The study helps in understanding verification issues, guidelines and certification requirements. / Master of Science

Doctor en Ciencias, Mención Computación / El estudio de las interacciones entre cajas multi-dimensionales (es decir, hiperrectángulos d-dimensionales alineados a los ejes) ha encontrado aplicaciones en distintas áreas, incluyendo geometría computacional, bases de datos, teoría de grafos y redes. Esta tesis considera varias preguntas abiertas sobre este tema, enfocándose en tres materias fundamentales: el cálculo de emparejamientos de un conjunto de puntos con cajas, la detección de redundancias en la región cubierta por un conjunto de cajas, y el cálculo de distintas medidas de dicha región. Se estudia la complejidad computacional de tres grupos respectivos de problemas, tanto en el peor caso, como dentro del marco de análisis adaptativos. Primero se consideran problemas sobre el cálculo de distintas medidas de la región del espacio cubierta por un conjunto B de cajas. Se introduce el problema de calcular la distribución de profundidad de B, que generaliza el cálculo de su medida de Klee y su profundidad máxima, respectivamente. Se describen distintos algoritmos para calcular la distribución de profundidad de un conjunto de cajas, y se prueban cotas computacionales superiores refinadas para los problemas de calcular la medida de Klee y la profundidad máxima de B, respectivamente, considerando distintas medidas de dificultad de las instancias de estos problemas. Además, se demuestran distintas cotas inferiores condicionales para el problema de calcular la distribución de profundidad, que ayudan a entender su relación con otros problemas fundamentales en la computación. Luego, se estudian distintos problemas sobre el cálculo de emparejamientos de pares de puntos coloreados en un conjunto finito mediante cajas. Un emparejamiento con cajas de un conjunto finito S de puntos, es un conjunto de cajas cerradas, disjuntas dos a dos, y tales que cada caja contiene exactamente dos puntos de S. Los problemas que esta tesis considera difieren entre sí en restricciones tales como que las cajas deban emparejar solo a puntos del mismo color (llamados emparejamientos monocromáticos) o contener solo puntos de distintos colores (llamados emparejamientos bicromáticos), o restricciones sobre el conjunto de puntos, por ejemplo, que se requiera que estén en posición general. Se muestra que algunos de estos problemas son difíciles de resolver en tiempo polinomial, pero que sus soluciones óptimas se pueden aproximar hasta factores constantes en tiempo polinomial. Finalmente, se consideran problemas sobre la eliminación de redundancias en la región del espacio cubierta por un conjunto de cajas multi-dimensionales. Se estudia el problema de encontrar un kernel de cobertura de tamaño mínimo, que consiste en, dado un conjunto B de cajas d-dimensionales, encontrar un subconjunto de B de tamaño mínimo que cubra la misma región que B. Este problema es NP-difícil, pero como muchos problemas NP-difícil sobre grafos, se puede resolver en tiempo polinomial bajo distintas restricciones sobre el grafo inducido por B. Esta tesis considera varias clases de grafos, y muestra que el problema de encontrar un kernel de cobertura de tamaño mínimo sigue siendo NP-difícil incluso para instancias severamente restringidas; y proporciona dos algoritmos de aproximación en tiempo polinomial para este problema.

Für die N-Freisetzung aus mehrjährigen Klee(gras)- und Luzerne(gras)-Beständen lagen, trotz umfangreicher neuerer Arbeiten auf diesem Gebiet, bis dato kaum Daten vor, so dass hier 2004 ein entsprechendes dreijähriges Versuchsprogramm begonnen wurde. Hauptziel der Versuche war es, die N-Freisetzung aus unterschiedlich gepflegten (Futter- bzw. Grünbrachenutzung) ein- bzw. zweijährigen Klee(gras)- und Luzerne-Beständen anhand der Nachkultur Weißkohl zu ermitteln und so die Kalkulationsansätze zu überprüfen und ggf. zu korrigieren. Gleichzeitig bot es sich an, auch die "Nachwirkung" der Gründüngungen im zweiten Jahr nach Umbruch zu erfassen. Hierzu wurde Rote Bete nach dem Weißkohl angebaut.

It is the purpose of this thesis to examine the development of the concepts of abstraction and formalism in the art theory of Paul Klee and their consequent effect on his artistic production. The major impetus suggested for this development are the writings of Wilhelm Worringer, although the aesthetics of the Munich avant garde must also be credited. I have traced the evolution of Klee's thought through an examination of his diaries, letters and other documents of the period. It is clear that a demonstrable change occurs in Klee's concept of art as a result of his exposure to Worringer and the Blaue Reiter. This evolution is visible in his creative production.

Zugl.: Konstanz, Univ., Diss., 2006

Orientador: Rubem de Azevedo Alves / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-20T16:36:07Z (GMT). No. of bitstreams: 1 Barbosa_SeverinoAntonioM.(SeverinoAntonioMoreira)_D.pdf: 12732924 bytes, checksum: 7e9b10b1cd4f94c63de72ff0a40f9c5b (MD5) Previous issue date: 1995 / Doutorado

No description available.

Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. This thesis attempts to compute WCET statically, using symbolic execution engine KLEE to generate all the possible paths of execution for a task and then analyses these paths to approximate the worst-case for each path which would yield a approximate WCET for the analysed program. To analyze a path in a program the low-level intermediary assembly language used by the LLVM optimization infrastructure (called LLVM IR) is compared to the finished assembly language to draw conclusions on how an LLVM IR instruction is processed into assembly. To be able to perform this mapping from LLVM IR to assembly, the symbolic execution engine KLEE has been extended to also log each LLVM IR instruction run in a path. These logs combined with a translation table is how the approximations are calculated. The resulting approximations correlate with the actual cycles when the analysed program is run on actual hardware, which indicates that tool could actually be used to approximate WCET. There are however no guarantees and the tool has not been tested for larger scale programs.