This master´s thesis focuses on the basic principles of the nonconventional technology of electrical discharge machining (EDM) with an emphasis on wire-cut electrical discharge machining performed in a mediumsized company. The thesis deals with manufacture of a belt pulley 75-8M-130, and checks of accuracy of wire-cut EDM machines. Following the study of the current status of electrical discharge machining in the engineering company, measures for assurance and increase of accuracy of wire-cut EDM machines are proposed.

Implication is a logical connective corresponding to the rule of causality "if ... then ...". Implications allow one to organize knowledge of some field of application in an intuitive and convenient manner. This thesis explores possibilities of automatic construction of all valid implications (implicative theory) in a given field. As the main method for constructing implicative theories a robust active learning technique called Attribute Exploration was used. Attribute Exploration extracts knowledge from existing data and offers a possibility of refining this knowledge via providing counter-examples. In frames of the project implicative theories were constructed automatically for two mathematical domains: algebraic identities and parametrically expressible functions. This goal was achieved thanks both pragmatical approach of Attribute Exploration and discoveries in respective fields of application. The two diverse application fields favourably illustrate different possible usage patterns of Attribute Exploration for automatic construction of implicative theories.

With the growing number of large data sets, the necessity of complexity reduction applies today more than ever before. Moreover, some data may also be vague or uncertain. Thus, whenever we have an instrument for data analysis, the questions of how to apply complexity reduction methods and how to treat fuzzy data arise rather naturally. In this thesis, we discuss these issues for the very successful data analysis tool Formal Concept Analysis. In fact, we propose different methods for complexity reduction based on qualitative analyses, and we elaborate on various methods for handling fuzzy data. These two topics split the thesis into two parts. Data reduction is mainly dealt with in the first part of the thesis, whereas we focus on fuzzy data in the second part. Although each chapter may be read almost on its own, each one builds on and uses results from its predecessors. The main crosslink between the chapters is given by the reduction methods and fuzzy data. In particular, we will also discuss complexity reduction methods for fuzzy data, combining the two issues that motivate this thesis. / Komplexitätsreduktion ist eines der wichtigsten Verfahren in der Datenanalyse. Mit ständig wachsenden Datensätzen gilt dies heute mehr denn je. In vielen Gebieten stößt man zudem auf vage und ungewisse Daten. Wann immer man ein Instrument zur Datenanalyse hat, stellen sich daher die folgenden zwei Fragen auf eine natürliche Weise: Wie kann man im Rahmen der Analyse die Variablenanzahl verkleinern, und wie kann man Fuzzy-Daten bearbeiten? In dieser Arbeit versuchen wir die eben genannten Fragen für die Formale Begriffsanalyse zu beantworten. Genauer gesagt, erarbeiten wir verschiedene Methoden zur Komplexitätsreduktion qualitativer Daten und entwickeln diverse Verfahren für die Bearbeitung von Fuzzy-Datensätzen. Basierend auf diesen beiden Themen gliedert sich die Arbeit in zwei Teile. Im ersten Teil liegt der Schwerpunkt auf der Komplexitätsreduktion, während sich der zweite Teil der Verarbeitung von Fuzzy-Daten widmet. Die verschiedenen Kapitel sind dabei durch die beiden Themen verbunden. So werden insbesondere auch Methoden für die Komplexitätsreduktion von Fuzzy-Datensätzen entwickelt.

In der vorliegenden Arbeit wird eine Datenstruktur zur Darstellung einer Booleschen Funktion "TVL-Tupel" präsentiert, die im Ergebnis einer Kombination der bekannten Datenstrukturen Entscheidungsgraph und Ternärvektorliste entsteht. Zuerst wird untersucht, wie lokale Phasenlisten sich als Elemente des Tupels eignen. Weiterhin wird die neue Dekompositionsart ("Tupel-Dekomposition") einer Boolesche Funktion in drei bzw. vier Teilfunktionen vorgestellt. Die Besonderheit der Teilfunktionen der Dekomposition besteht in ihrer Orthogonalität zueinander. Der Vorteil der Dekomposition von Funktionen mit einer hohen Anzahl von Konjunktionen besteht im geringeren Speicherplatzbedarf. Des weiteren wurden Algorithmen für Realisierung der Operationen entwickelt, die für eine Handhabung der zerlegten Funktionen erforderlich sind. Der detaillierte Vergleich der Berechnungszeiten für die Operationen erbringt den Nachweis, dass eine Verringerung des Zeitbedarfs als Folge der Zerlegung zu erwarten ist. Weiterhin bietet die Dekomposition einen Ansatz für den Entwurf von Algorithmen, die eine parallele Bearbeitung auf der Grundlage verteilter Rechentechnik zulassen. Die Erkenntnisse der Untersuchungen der Tupel-Dekomposition einschließlich der Verwendung der verteilen Verarbeitung können beispielsweise für die Suche der Variablenmengen der OR-Bi-Decomposition verwendet werden.

Made available in DSpace on 2016-12-08T16:24:08Z (GMT). No. of bitstreams: 1 PGCA09MA059.pdf: 445333 bytes, checksum: b9ef6ff2e7ede4892d205c57c8f68e79 (MD5) Previous issue date: 2009-02-19 / The aim of this study was to compare the volume expansion on the extracellular space with hydroxyethylstarch 130/0.4 (HES 130/0.4) alone or in association with hypertonic solution (NaCl 7.5%), in cats under general anesthesia with isoflurane and submitted to experimental hipovolemia. Twelve adult domestic short hair cats, with an average weight of 3.07 ± 0.56 Kg were used in this study. The cats were mask-induced with isoflurane on oxygen, intubated, and then connected to a non-rebreathing system. After surgical preparation, they were kept on isoflurane at 1MAC and ventilated to maintain the EtCO2 around 35 45 mm/Hg. After 30 minutes of stabilization, hypovolemia was induced by withdrawal of 30 mL/kg of blood from the femoral artery and then, one hour later allocated in two different groups: HSG (hypertonic saline group, n=6), which received 4ml/Kg of 7.5% NaCl, and HSCG (hypertonic saline, associated to HES 130/0,4 group n=6) which received 4ml/Kg of 7.5% NaCl associated with 30 ml/Kg of HES 130/0.4. After the treatments, cardiovascular and hemogasometric parameters were evaluated for 120 minutes (T120). Systolic blood pressure (SAP), diastolic blood pressure (DAP), mean arterial pressure (MAP) were significantly higher after volemic expansion on HSG at T0. From T45 until T120 SAP, DAP and MAP were significantly higher in HSCG when comparing to HSG. Central venous pressure (CVP) was higher in HSCG up to T60. There were no significant differences between groups on heart rate, respiratory rate, values of Na+, K+, the base excess, bicarbonate, hemoglobin saturation, glucose, PaCO2, PaO2 and pH. The administration of 7.5% of NaCl, promoted a faster increase in MAP, SAP and DAP in cats with induced hypovolemia and this effects were maintained for 30 minutes. On the other hand, the administration of HES 130/0.4 associated with 7.5% NaCl promoted a delayed reestablishment (after 30 minutes) of MAP, SAP and DAP in cats with induced hypovolemia, lasting up to T120. The combination of HES 130/0.4 and NaCl 7.5% promoted an significant increase on CVP for up to 60 minutes after the treatment / Objetivou-se comparar a expansão volêmica do hidroxietilamido 130/0,4 (HES 130/0,4) isolado ou em associação com solução salina hipertônica (NaCl 7,5%) em gatas com hipovolemia induzida, sob anestesia geral inalatória com isoflurano. Foram utilizadas 12 gatas, sem raça definida (SRD), adultas com peso médio de 3,07±0,56 Kg. Os animais foram induzidos a anestesia geral com isoflurano a 5V%, intubados e conectados a um sistema sem reinalação de gases. Após preparação cirúrgica, foram mantidos sob anestesia com isoflurano a 1 CAM sob ventilação controlada, ciclada a pressão, para padronização do CO2 expirado em 35-45 mmHg. Aguardou-se um período de 30 minutos para estabilização do plano anestésico. Subsequentemente, iniciou-se a fase de hipovolemia, através da retirada de 30 ml/Kg de sangue pela artéria femoral. Após 60 minutos da estabilização do quadro de hipovolemia as gatas foram alocadas aleatoriamente em dois grupos: GSH (grupo solução hipertônica, n=06) os quais receberam na fase de expansão volêmica NaCl 7,5% isolada, na dose de 4ml/Kg, e GSHC (grupo salina hipertônica associado ao colóide, n=06), receberam NaCl 7,5% na mesma dose citada associado ao HES 130/0,4 na dose de 30 ml/Kg. Após o tratamento foram avaliados os efeitos cardiovasculares e hemogasométricos por até 120 minutos (T120). As pressões arteriais média (PAM), sistólica (PAS) e diastólica (PAD) foram maiores logo após a expansão volêmica (T0) para o GSH. De T45 até T120 a PAM, PAS e PAD foram maiores para o GSHC em comparação ao GSH. A pressão venosa central (PVC) foi maior no GSHC até T60. Não foram observadas diferenças entre grupos para frequência cardíaca e respiratória, íon sódio, potássio, déficit de base, bicarbonato, saturação de oxigênio na hemoglobina, glicose, PaCO2, PaO2 e pH. Conclui-se que a administração de NaCl 7,5% isoladamente, aumenta rapidamente a PAM, PAS e PAD em gatos com hipovolemia induzida, mantendo este efeito por apenas 30 minutos. A administração de hidroxietilamido associado à NaCl 7,5% promove reestabelecimento mais tardio (após 30 minutos), porém mais duradouro (até 120 minutos) da PAM, PAS e PAD em gatas com hipovolemia induzida. A administração de HES 130/0,4 associada à NaCl 7,5% promove aumento acentuado da PVC por até 60 minutos após a administração

Memoria (licenciado en ciencias jurídicas y sociales) / No autorizada por el autor para ser publicada a texto completo / A través de este trabajo estudiaremos la historia de la institución de la flagrancia, así como su tratamiento en el derecho comparado. Seguiremos con el análisis de su contenido en nuestro ordenamiento positivo, y posteriormente a través de su práctica, ahondaremos en el concepto que estriba en nuestros tribunales nacionales comparándolo, en lo concerniente a su definición, al CIDH y al caso español. Terminaremos planteando algunas consideraciones que nos merece su contenido, y principalmente su modificación legal. Finalmente, a través de un estudio de campo, consignaremos los resultados de una entrevista realizada a un grupo de jueces de garantía de 7 Santiago. Su fin es exponer, a través de quienes trabajan a diario el concepto de flagrancia, los alcances prácticos de esta institución procesal y su incidencia luego de la reforma del año 2008

Der Historische Institutionalismus und der Evolutorische Institutionalismus - zwei Theorien wie sie unterschiedlicher nicht sein können. Erstaunlicherweise ziehen beide Theorien dennoch am gleichen Strang: Sie verfolgen gleichermaßen das Ziel, Entstehung, Wandel und Funktion von Institutionen zu erklären. Aber gibt es dabei besser und schlechter, stärker und schwächer? Welche Relevanz hat das Thema? Kommen nur erlesene Forscher und Spezialisten in den Genuss der Früchte der Theorien? Oder können sich auch Anwender und „Theorien-Handwerker“ die Vorteile der hier behandelten Denkansätze nutzbar machen? Ziel dieser Arbeit ist es, diesen Fragen nachzugehen. Insbesondere die „Undurchdringbarkeit des Theoriendschungels“ hat es dem Verfasser angetan: Mit der Motivation, dem Leser Vertrautheit im Umgang und in der Anwendung der Theorien zu verschaffen. Ein Bewertungssystem, ein anwendungsorientiertes Modell und die Einbindung eines Hausprojektes sollen dabei helfen. Allerdings soll auch „der Finger auf die eigene Wunde gelegt werden“, indem die eigenen Modelle und Abbildungen kritisch geprüft und Lücken und Widersprüche aufgetan werden. Auch durch eine kritische Würdigung der Arbeit wird ein wichtiger Beitrag geleistet: Sie hilft, etwaigen zukünftigen Forschungsbedarf zu identifizieren. Die einzelnen Schritte zum Ziel setzen zunächst voraus, dass im folgenden Kapitel 2 die zentralen Forschungsfragen dargelegt und Methodik und Untersuchungsrahmen vorgestellt werden. Kapitel 3 und Kapitel 4 gehen mittels Literaturdiskussion und kritisch reflektiertem Zusammenfassen von Vorarbeiten auf die Kernaussagen und Schnittstellen beider Theorien ein. In dem darauf folgenden Theorienvergleich werden die Theorien in Vergleichskategorien auf ihre Stärken und Schwächen hin analysiert und anschließend bewertet. Die Ergebnisse des Theorienvergleichs fließen in Kapitel 5 ein, in welchem ein Modell für die praktische Anwendung entwickelt wird. Zuletzt wird Forschungslücken aufzeigen.

Le Groupe de recherche en appareillage médical de Sherbrooke possède une expertise unique dans la conception de scanners à tomographie d’émission par positrons. Le fonctionnement de la tomographie d’émission par positrons repose sur la détection de photons d’annihilation colinéaires par un agencement de cristaux scintillateurs, photodétecteurs, convertisseurs temps-numérique et électronique de traitement. Une partie du groupe de recherche s’oriente vers l’utilisation des matrices de photodiodes à avalanches opérées en mode Geiger, afin d’obtenir une meilleure résolution temporelle du système et un seuil de détection plus faible que les générations précédentes,ce qui permet de détecter les premiers photons émis par le cristal scintillateur. Le convertisseur temps-numérique (TDC) développé se veut un bloc polyvalent et réutilisable mesurant des intervalles de temps avec grande précision. Son développement cible des applications de détection monophotoniques avec estampilles temporelles comme la tomographie optique dffuse, les caméras 3D ou la tomographie d’émission par positrons. Il s’intègre ici dans un circuit intégré en CMOS 130 nm assemblé verticalement avec plusieurs gaufres et dédié à la détection en tomographie d’émission par positron. La méthodologie de conception du convertisseur temps-numérique s’inspire d’une approche en signaux mixtes avec suprématie du numérique. En simulation, le TDC développé arbore une résolution de 14,5 ps, une non-linéarité différentielle de 1 bits de poids faible, une non-linéarité intégrale de 2,2 bits de poids faible, une fréquence de conversion de 11,1 millions d’échantillons par seconde, une plage dynamique de 5 ns, une puissance moyenne consommée en moyenne de 4,5 mW et une taille de 0,029 mm². Un mécanisme pour améliorer la résolution du TDC a été intégré dans un exemplaire du TDC. Son utilisation a permis d’obtenir une résolution de 12,6 ps sur un exemplaire du circuit fabriqué. Ces travaux ont permis d’explorer l’architecture en oscillateur vernier avec anneaux et d’en faire ressortir plus clairement les avantages, les inconvénients et les écueils à surveiller lors de la conception.

In dieser Arbeit geht es um die schrittweise Verfeinerung verteilter Algorithmen. Dabei wird ein einfacher Algorithmus, der einige gewünschte Eigenschaften hat, Schritt für Schritt zu einem komplexen Algorithmus verfeinert, der konkrete Implementationsanforderungen erfüllt, so daß in jedem Schritt die gewünschten Eigenschaften erhalten bleiben. Wir stellen einen neuen eigenschaftserhaltenden Verfeinerungsbegriff vor, der auf der kausalen Ordnung der Aktionen eines Algorithmus basiert. Diesen Begriff definieren wir als Transitionsverfeinerung für elementare Petrinetze und diskutieren Beweiskriterien. Danach definieren und diskutieren wir die simultane Verfeinerung mehrerer Transitionen. Zur Modellierung komplexer verteilter Algorithmen sind elementare Petrinetze oft nicht adäquat. Wir benutzen deshalb algebraische Petrinetze. Wir definieren Transitionsverfeinerung für algebraische Petrinetze und stellen einen Zusammenhang zur simultanen Verfeinerung von Transitionen in elementaren Petrinetzen her. Transitionsverfeinerung ist besonders für Verfeinerungsschritte geeignet, in denen synchrone Kommunikation zwischen Agenten durch asynchronen Nachrichtenaustausch ersetzt wird. Wir zeigen dies am Beispiel eines komplexen verteilten Algorithmus, zur Berechnung des minimalen spannenden Baumes in einem gewichteten Graphen. Wir zeigen die Korrektheit dieses Algorithmus in mehreren Schritten, von denen einige Schritte Transitionsverfeinerungen sind. In anderen Schritten sind klassische Verfeinerungsbegriffe ausreichend. Wir übertragen deshalb auch einen klassischen Verfeinerungsbegriff in unser formales Modell. / The topic of this PhD thesis is the stepwise refinement of distributed algorithms. Stepwise refinement starts with a simple algorithm with certain desired properties. This algorithm is refined step by step such that the desired properties are preserved in each refinement step. The result is a complex distributed algorithm which satisfies concrete implementation requirements and which still has the desired properties. We propose a new property preserving notion of refinement which is based on the causal ordering of actions of an algorithm. We call this notion transition refinement and we define it first for elementary Petri nets. Furthermore, we discuss proof criteria. Then, we define and discuss the simultaneous refinement of several transitions. For modelling complex distributed algorithms, we use algebraic Petri nets instead of elementary Petri nets. We define transition refinement for algebraic Petri nets, and we show its relationship to simultaneous transition refinement in elementary Petri nets. Transition refinement is particularly suitable for refinement steps in which synchronous communication between agents is replaced by asynchronous message passing. We show this by means of a complex distributed algorithm for determining the minimal spanning tree of a weighted graph. We prove the correctness of this algorithm in several steps. Some of these steps are transition refinements. For other steps, well-known notions of refinement are sufficient. Therefore, we also carry over a well-known notion of refinement into our formal model.

Das Kerninteresse der Dissertation gilt den Einsatzmöglichkeiten ökonomischer Experimente in der Institutionenanalyse. Sie setzt sich aus einem konzeptionellen und vier empirischen Aufsätzen zusammen. Im ersten Aufsatz werden drei theoretische Blickwinkel auf institutionellen Wandel unterschieden. Diese werden dann mit empirischen Arbeiten in der experimentellen Wirtschaftsforschung in Beziehung gesetzt. Die empirischen Aufsätze greifen diese Überlegungen auf. Im zweiten Aufsatz findet für die Analyse der Verkehrsmittelwahl von Pendlern unter verschiedenen Politikszenarien ein „Framed Field Experiment“ Anwendung. Es wird gezeigt, wie Verlustaversion und Statusängste die Entscheidungen der Pendler erklären können. Im dritten Aufsatz kommt ein „Public Goods Game“ zum Einsatz, um den Einfluss von ökonomischer Ungleichheit und Vorbildverhalten auf Beiträge zu einer gemeinsam genutzten sanitären Einrichtung zu untersuchen. In einer strukturell ähnlichen Entscheidungssituation verhalten sich Teilnehmerinnen häufig so wie es ihnen aus anderen Zusammenhängen bekannt ist. Der vierte Aufsatz untersucht den Einfluss des sogenannten Status-Quo-Effekts auf umweltfreundliches Verhalten. In einem Feldexperiment wird gezeigt, dass sich ein Zwang zur Entscheidung positiv auf umweltfreundliches Verhalten auswirken kann. Der fünfte Aufsatz geht der Frage nach, ob sich Experimente als didaktisches Werkzeug zur Schaffung größeren Umweltbewusstseins einsetzen lassen. Im Vergleich zu einer Kontrollgruppe zeigen selbst Teilnehmende mit negativen Erfahrungen aus dem Experiment einen positiven Effekt auf umweltfreundliches Verhalten. In einem Fazit findet eine Synthese der Aufsätze statt. Ein Ergebnis ist die Entwicklung eines analytischen Rahmens für die Durchführung ökonomischer Experimente zur Untersuchung institutionellen Wandels. Konstitutionelle Regeln, also Regeln zur Änderung von Regeln, werden als erfolgversprechender Ansatzpunkt für die zukünftige Forschung identifiziert. / The dissertation focuses on the use of economic experiments for institutional analysis. It consists of one conceptual and four empirical essays. In the first essay, three theoretical perspectives on institutional change are distinguished. These are linked to empirical work in Experimental Economics. The empirical essays expand on these considerations. In the second essay, commuters’ transportation mode choice is analyzed. It is shown that loss aversion and status concerns drive behavior. In the third essay, a public goods game is employed to investigate the effect of endowment heterogeneity and leading by example on voluntary contributions to a jointly used sanitation facility. It is demonstrated that in a structurally similar decision context, choices are driven by experiences from other contexts. The fourth essay examines the impact of the so-called status quo bias on pro-environmental behavior. In a field experiment, it is shown that forcing a decision has a positive effect on pro-environmental behavior. The fifth essay investigates whether experiments can be used as a tool for environmental awareness building. Even participants with negative experiences from taking part in the dilemma experiment show a greater likeliness of behaving environmentally friendly in comparison to a control group. In a concluding part, the essays are synthesized. One outcome is an analytical framework for developing economic experiments on institutional change. Constitutional rules (i.e., rules on how to change the rules) are identified as a promising starting point for future research.