Systems of Parallel Communicating Restarting Automata

In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components). Ein PCRA-System besteht aus endlich vielen Restart-Automaten, welche einerseits parallel und unabhängig voneinander lokale Berechnungen durchführen und andererseits miteinander kommunizieren dürfen. Die Kommunikation erfolgt dabei durch ein festgelegtes Kommunikationsprotokoll, das mithilfe von speziellen Kommunikationszuständen realisiert wird. Ein wesentliches Merkmal hinsichtlich der Kommunikationsstruktur in Systemen von miteinander kooperierenden Komponenten ist, ob die Kommunikation zentralisiert oder nichtzentralisiert erfolgt. Während in einer nichtzentralisierten Kommunikationsstruktur jede Komponente mit jeder anderen Komponente kommunizieren darf, findet jegliche Kommunikation innerhalb einer zentralisierten Kommunikationsstruktur ausschließlich mit einer ausgewählten Master-Komponente statt. Eines der wichtigsten Resultate dieser Arbeit zeigt, dass zentralisierte Systeme und nichtzentralisierte Systeme die gleiche Berechnungsstärke besitzen (das ist im Allgemeinen bei PC-Systemen nicht so). Darüber hinaus bewirkt auch die Verwendung von Multicast- oder Broadcast-Kommunikationsansätzen neben Punkt-zu-Punkt-Kommunikationen keine Erhöhung der Berechnungsstärke. Desweiteren wird die Ausdrucksstärke von PCRA-Systemen untersucht und mit der von PC-Systemen von endlichen Automaten und mit der von Mehrkopfautomaten verglichen. PC-Systeme von endlichen Automaten besitzen bekanntermaßen die gleiche Ausdrucksstärke wie Einwegmehrkopfautomaten und bilden eine untere Schranke für die Ausdrucksstärke von PCRA-Systemen mit Einwegkomponenten. Tatsächlich sind PCRA-Systeme auch dann stärker als PC-Systeme von endlichen Automaten, wenn die Komponenten für sich genommen die gleiche Ausdrucksstärke besitzen, also die regulären Sprachen charakterisieren. Für PCRA-Systeme mit Zweiwegekomponenten werden als untere Schranke die Sprachklassen der Zweiwegemehrkopfautomaten im deterministischen und im nichtdeterministischen Fall gezeigt, welche wiederum den bekannten Komplexitätsklassen L (deterministisch logarithmischer Platz) und NL (nichtdeterministisch logarithmischer Platz) entsprechen. Als obere Schranke wird die Klasse der kontextsensitiven Sprachen gezeigt. Außerdem werden Erweiterungen von Restart-Automaten betrachtet (nonforgetting-Eigenschaft, shrinking-Eigenschaft), welche bei einzelnen Komponenten eine Erhöhung der Berechnungsstärke bewirken, in Systemen jedoch deren Stärke nicht erhöhen. Die von PCRA-Systemen charakterisierten Sprachklassen sind unter diversen Sprachoperationen abgeschlossen und einige Sprachklassen sind sogar abstrakte Sprachfamilien (sogenannte AFL's). Abschließend werden für PCRA-Systeme spezifische Probleme auf ihre Entscheidbarkeit hin untersucht. Es wird gezeigt, dass Leerheit, Universalität, Inklusion, Gleichheit und Endlichkeit bereits für Systeme mit zwei Restart-Automaten des schwächsten Typs nicht semientscheidbar sind. Für das Wortproblem wird gezeigt, dass es im deterministischen Fall in quadratischer Zeit und im nichtdeterministischen Fall in exponentieller Zeit entscheidbar ist.

Proposta de millora de la qualitat de les aigües residuals de Sant Martí Sescorts

Diagnòsi de les aigües residuals de sant martí Sescorts i proposta de millora de la qualitat d' aquestes aigues residuals

Implantació d’un manual de gestió en una indústria de llescats

Estudi sobre la implantació d’un manual de gestió en una indústria de llescats, realitzat a l’empresa Serra&Mota de la Cellera de Ter (consta d’un sistema APPCC i un manual de qualitat)

La incidencia de la Reunificación Alemana como factor a destacar en el análisis del desarrollo de la xenofobia en los Nuevos Estados Federados

A partir de las Pasiones, fundamento sociológico de las Relaciones Internaciones en un Prejuicio a la Racionalidad del teórico Marcel Merle; se analizó como la Reunificación Alemana es un factor a destacar, en el análisis del desarrollo de la xenofobia en los nuevos estados federados alemanes (nuevos Länder). De tal forma, se empleó un análisis holístico en el estudio de la nueva realidad social de los nuevos estados tras la transición del sistema socialista al capitalista, haciéndose énfasis en los principales factores políticos, económicos, sociales y culturales. La nueva realidad social en los nuevos estados está marcada por el descontento de su población, en donde son los jóvenes los más afectados y quienes resultan ser los perdedores del capitalismo. La preocupación obedece al desequilibrio en términos económicos entre la parte oriental alemana y la occidental. Esta situación crea un ambiente propicio para que el discurso de la extrema derecha alemana sea aceptado, este discurso se convierte en herramienta política de los partidos políticos y grupos neonazis; la discursiva de extrema derecha contiene un trasfondo ideológico ultranacionalista, que justifica los comportamientos de sus seguidores. Estas influencias desencadenan violencia contra las minorías, dentro de las cuales se encuentran los inmigrantes. Es especialmente en los nuevos estados federados alemanes en donde los actos violentos contra extranjeros han aumentado, estas acciones obedecen a un trasfondo xenófobo.

Estudi calorimètric preliminar de xocolates industrials de qualitat

L’objectiu d’aquest projecte és fer un estudi preliminar sobre la viabilitat de caracteritzar la qualitat i composició de les xocolates per difracció de raigs-X (DRX), termogravimetria (TG), calorimetria diferencial de rastreig (DSC) i microscopia òptica (MO). Així mateix, es volen establir els protocols i paràmetres per l’anàlisi sistemàtica de les xocolates

Transmission delays in residual computation

The design of control, estimation or diagnosis algorithms most often assumes that all available process variables represent the system state at the same instant of time. However, this is never true in current network systems, because of the unknown deterministic or stochastic transmission delays introduced by the communication network. During the diagnosing stage, this will often generate false alarms. Under nominal operation, the different transmission delays associated with the variables that appear in the computation form produce discrepancies of the residuals from zero. A technique aiming at the minimisation of the resulting false alarms rate, that is based on the explicit modelling of communication delays and on their best-case estimation is proposed

Arqueología micropolítica del discurso bibliotecario. La biblioteca escolar ecológica productora de nueva subjetividad : su efecto en las redes sociales y bases de datos documentales.

El análisis micropolítico de los Discursos Bibliotecarios (DB) desinviste a las maquinas codificadoras de las misiones, que la institución bibliotecaria reproduce como valor agregado ligado a un modo de ser con base territorial; desmonta las máquinas axiomáticas de los manifiestos bibliotecarios que producen un valor agregado incluyendo forzadamente como deudores de conocimiento a los que no dominan el saber acumulado; y revela el valor agregado del capitalismo mundial integrado (CMI) que instaura procedimientos tácticos cada vez mas autoreferenciales (normas, pautas y directrices). En oposición a esos dispositivos de alineación, culpabilización, responsabilización y control, proponemos un proceso de singularización bibliotecaria en función de la producción de información ambiental en una Biblioteca Escolar Ecológica en conexión con redes sociales y bases de datos documentales.

Incidencia de la evolución de los intereses estratégicos de Rusia y de Kazajstán en las dinámicas de cooperación bilateral. Periodo 1991 – 2004

El trabajo desarrolla la forma en la que evolucionaron las relaciones bilaterales entre Rusia y Kazajstán desde el periodo inmediatamente posterior a la caída de la URSS donde no existía una relación cercana, hasta el año 2001 donde se empieza a hablar de una cooperación entre los dos actores que llevó a una estrecha relación bilateral.

Análisis de la influencia de los sistemas intra sociales en la evolución del concepto de seguridad humana y su aplicación en la política exterior canadiense. Período 1995 - 2008

La presente monografía analiza la evolución del concepto de seguridad humana y su aplicación en la política exterior canadiense en el período 1995 - 2008 desde un enfoque sistémico. Así pues, se estudia la influencia que ejercieron los insumos intrasociales en la importancia que se le otorgó a dicho concepto en la agenda internacional de Canadá.

La preparaci?? dels mestres i la Normal de Tarragona. 'La preparaci??n de los maestros y la Normal de Tarragona'

Resumen tomado de la publicaci??n

Reintegro y permanencia universitaria en Bogotá : el caso de la Facultad de Ingeniería de la Universidad Distrital, 2000-2009

El presente trabajo de investigación, estudia a través del caso de la cohorte del 2000 de la Facultad de Ingeniería de la Universidad Distrital, el tipo de coyuntura que le permitió a este grupo de jóvenes reingresar a la Universidad y culminar la carrera al haber tenido que abandonarla en un primer momento, por problemas socio-económicos y/o académicos. Por medio del estudio del reintegro universitario, este trabajo se enmarca en el campo, poco explorado, de la existencia y efectividad de medidas de "segundas oportunidades" educativas que las instituciones de educación superior le ofrecen a estudiantes que por problemas de orden estructural se ven obligados a abandonar la Universidad.

Efectos reglamentarios y jurisdiccionales del derecho comunitario Andino sobre el derecho administrativo colombiano

Este trabajo se soporta sobre una base conformada por dos conceptos, que constituyen el horizonte contextual de la investigación: Derecho Administrativo y Comunidad de integración. Es claro que al hablar de una Comunidad de integración específica como la Comunidad Andina (CAN), incide de forma directa en la actividad del derecho administrativo.Ha sido necesario que los países que conforman los grupos de integración económica cedan parte de sus competencias para crear un ordenamiento jurídico de orden supranacional, el cual modifica la dinámica social de las relaciones comerciales y afecta la estructura de la administración pública, haciendo que el derecho administrativo no se limite a interactuar solo con derecho nacional. Esta mutua dependencia de las políticas internas y las regionales se realiza, entonces, cada vez que existe participación y compromiso de los Estados frente a las decisiones, de carácter vinculante o no. En esa medida surge el problema de investigación tendiente a esclarecer cómo ha sido la adopción de las decisiones e interpretaciones, emanadas de los mecanismos oficiales del Derecho Comunitario Andino, en el ordenamiento jurídico colombiano. La existencia de varios puntos de vista con respecto a la obligatoriedad o no de dicha adopción, moldea un tema de suficiente amplitud y profundidad para ser estudiado en un trabajo de investigación.

La proyección de imagen a partir de Soft Power, mediante Nation Branding y Diplomacia Pública en el caso de Japón, durante el periodo 2002 – 2010

En el actual contexto de globalización y con el comienzo de la era de la información, cada vez más Estados han buscado proyectar una imagen favorable con el objetivo de atraer atención y crear una reputación que permitan cumplir objetivos de política exterior y fomentar el desarrollo económico, logrando de esta manera un posicionamiento en el sistema internacional mediante estrategias novedosas, que incluyen elementos tanto diplomáticos, políticos, económicos, como comerciales y culturales. Para Japón, Nation Branding y la diplomacia pública han sido dos de las principales herramientas para lograr este reposicionamiento internacional, resaltando atractivos como las tradiciones culturales, el turismo, los incentivos para negocios, y trabajando en conjunto entre el gobierno nacional, el sector privado y la sociedad civil para crear relaciones entre el país y gobiernos y sociedades a nivel internacional.

La actuación de la República de China (Taiwán) como Estado de Facto en el Sistema Internacional, periodo 1971 - 2011

El presente es un estudio de caso que busca encontrarle significado a la actuación de la República de China (Taiwán) como Estado de Facto en el Sistema Internacional, durante el periodo 1971 – 2011. El estudio se centra en las formas de validación jurídicas que le permiten a Taiwán interactuar con otros actores en el Sistema Internacional.

Influencia de la utilización de Internet en el crecimiento de las pequeñas y medianas empresas: un estudio empírico en una economía en desarrollo

Este estudio mide el efecto del uso del Internet en el crecimiento de pequeñas y medianas empresas (PYMES) en el contexto empresarial de una economía emergente. Se revisan estudios empíricos sobre el uso de Internet en PYMES y se describen factores que pueden tener una influencia en el uso del Internet y de su efecto en el crecimiento. Con una muestra de PYMES en México se contrasta el modelo de investigación usando ecuaciones estructurales. El efecto total del uso del Internet en el crecimiento de la muestra se considera plausible, con un porcentaje de varianza que explica el crecimiento en un 47%. El estudio sugiere algunas implicaciones para la teoría y para la gestión.