中游廠商面臨產業結構屬於獨寡占的上游廠商，兩者之間由於中游的經濟規模小於上游形成不對稱組織交易，再者中游廠商與上游存在依賴關係，前者需要後者提供原物料或技術服務以滿足下游顧客需求。本研究利用策略行銷成本架構(4C analysis)，並針對國內各大產業之中介廠商為研究對象，包含電機機械通路產業、半導體設計製造業以及旅遊資訊服務業等產業進行深度訪談。此獨寡占上游─中游─下游情境中，分別解釋產業鏈中的從屬關係。 首先是權力處於相對弱勢的中游廠商與上游的交易關係：中游廠商看似被上游供應商套牢陷入的狀況，但除了存在專屬陷入成本外，影響該交易關係尚存在外顯單位效益成本以及道德危機成本。接著，中游廠商為了與上游持續交易的目的下，採取的策略成本選擇為降低外顯單位效益成本，以及提高上游廠商對於中游的專屬陷入成本以達到與上游持續交易的目的，另一方面，順應此不利環境下，中游廠商滿足下游需求的做法有降低外顯單位效益成本、資訊搜尋成本、道德危機成本以及提高專屬陷入成本的方式。最後一部分為中游為減少對上游廠商的依賴，對於上游或下游投資抵銷性資產，使中游廠商提高本身的議價能力，對於上游廠商的依賴程度獲得減緩。 / In comparison to monopoly or oligopoly up-stream suppliers, mid-stream firms has smaller scale in terms of revenue, the transaction between the two can be described as asymmetric interorganizational relationship. Besides, the mid-stream firms depend on its supplier for key material or services, in order to fulfill the demand of their down-stream customers. This study focus on the monopoly/oligopoly upstream supplier to mid-stream firms to down-stream customer chain, interviewing mid-stream firms in different industries including dealer in electrical machinery industry, semi-conductor industry and tour agent and delve into the relationships between these characters by 4C analysis structure. First of all, the study took a closer look at the relationship between the mid-stream firms and their suppliers; the formers have an inferior bargaining power position and seemed being locked up by the latters, as known as cost of asset-specificity. But we also found that over cost per utility and cost of moral hazard would also be considered by the mid-stream firms. The mid-streams took some actions in order to assure the continuous cooperation with the suppliers, and under this circumspect they will also make efforts to save down-stream customers. We found that the 4C analysis can explain the strategies taken by those mid-stream firms. Finally, the mid-streams would like to reduce the control of the up-streams, so they would put resources in establishing offsetting investments to accumulate their bargaining power to the suppliers, to mitigate the dependence.

Il n'existe plus de grève dans les services publics sans que soit évoqué, voire réclamé ou exigé le service minimum. Le droit français n'offre qu'une législation très parcellaire et floue en la matière. Malgré de nombreuses propositions de loi, le législateur fait preuve d'inertie. Cette attitude s'explique notamment par la grande difficulté technique de la tâche imposant de concilier les deux principes de valeur constitutionnelle que sont le droit de grève et la continuité des services publics. Cette étude tend à mettre en exergue les interrogations relatives au service minimum et s'efforce de déceler la solution qui serait la mieux adaptée dans le système juridique français. Afin de donner plus de relief à la recherche, le choix a été fait de l'aborder en s'inspirant du droit étranger. Le modèle choisi est originaire du Canada, et plus exactement du Québec. Il bénéficie d'un recul d'une vingtaine d'années et offre de ce fait, une expérience riche d'enseignements. La création d'un service minimum applicable aux services publics exige une analyse tant de la notion que de sa mise en oeuvre. Concrètement, il s'agit d'identifier les fondements du service minimum, de délimiter son champ d'application mais aussi de le définir en termes qualitatif et quantitatif, d'envisager sa mise en oeuvre par la voie négociée avec des acteurs spécifiques et de présenter les moyens permettant d'assurer son effectivité.

<p>ASSA AB develops different types of products that can be used in or around doors. ASSA offers a complete door solution to the customers. Many of these products are linked together and work for a complete formation of access control. ASSA has recently developed a new communications bus for some of their products. One advantage of the new communication bus is that each product should be able to offer different kinds of added values to the customers.</p><p>This master thesis main focus is to find a model to describe the predicted life length of ASSA:s motor lock called 811C50, which includes a study that determine which environmental parameters that can affects the motor locks life length. This master thesis is also a pre-study for further work of an existing motor lock.</p><p>The chosen test model, <em>full parameter test, leads to a life length equation. This equation shall later on be implemented in the motor locks so the motor locks itself can predict its own life length. To make the equation completed different parameters, that can affect the motor locks life length, are needed. This can be implemented through different technological tests and to succeed with the test, right test equipment is needed. No establish test equipment was available, which required that new test equipment, which could test all motor locks, were build. On the bases from interviews with engineers at ASSA it was established that the following parameters probably can affect the motor locks life length: temperature, air humidity, dust, corrosion, side load and vibration. Not until certain factors and coefficients have been determined, for the equation, can the equation be used. </em></p> / <p>ASSA AB är ett företag som utvecklar olika typer av produkter som kan användas i eller runt en dörr. ASSA erbjuder en komplett dörrlösning till kunderna. Många av de här produkterna är sammankopplade och arbetar tillsammans för att komplett passersystem. ASSA har nyligen utvecklat en ny kommunikationsbuss för några av deras produkter. En fördel med den nya kommunikationsbussen är att varje produkt kan ge ett ökat mervärde för slutkunden.</p><p>Denna avhandling har som huvudsyfte att hitta en modell som kan beskriva livslängden för ASSA:s motorlås, 811C50. Till detta görs en studie för att undersöka vilka miljö parametrar som kan påverka motorlåsets livslängd. Denna avhandling kan även ses som en förstudie där målet är att vidareutveckla det befintliga motorlåset.</p><p>Den valda modellen, full variabel test, leder till en livslängdsekvation. Denna ekvation kommer sedan att bli implementerad i motorlåset så att låset själv kan prediktera sin egen livslängd. För att göra ekvationen komplett behövs olika parameterr som kan påverka motorlåsets livslängd identifieras. Detta kan ske genom olika tekniska test och för att lyckas med testen krävs rätt testutrustning. Ingen befintlig testutrustning fanns tillgänglig vilket resulterade i en ny testutrustning som kunde testa alla motorlås utvecklades. Utifrån intervjuer med ingenjörer på ASSA kunde det fastställas att följande parameterr troligtvis kan påverka motorlåsets livslängd: temperatur, luftfuktighet, damm, korrosion, listtryck och vibrationer. Inte förens koefficienter, till ekvationen, har blivit fastställda är ekvationen färdig att användas.</p>

ASSA AB develops different types of products that can be used in or around doors. ASSA offers a complete door solution to the customers. Many of these products are linked together and work for a complete formation of access control. ASSA has recently developed a new communications bus for some of their products. One advantage of the new communication bus is that each product should be able to offer different kinds of added values to the customers. This master thesis main focus is to find a model to describe the predicted life length of ASSA:s motor lock called 811C50, which includes a study that determine which environmental parameters that can affects the motor locks life length. This master thesis is also a pre-study for further work of an existing motor lock. The chosen test model, full parameter test, leads to a life length equation. This equation shall later on be implemented in the motor locks so the motor locks itself can predict its own life length. To make the equation completed different parameters, that can affect the motor locks life length, are needed. This can be implemented through different technological tests and to succeed with the test, right test equipment is needed. No establish test equipment was available, which required that new test equipment, which could test all motor locks, were build. On the bases from interviews with engineers at ASSA it was established that the following parameters probably can affect the motor locks life length: temperature, air humidity, dust, corrosion, side load and vibration. Not until certain factors and coefficients have been determined, for the equation, can the equation be used. / ASSA AB är ett företag som utvecklar olika typer av produkter som kan användas i eller runt en dörr. ASSA erbjuder en komplett dörrlösning till kunderna. Många av de här produkterna är sammankopplade och arbetar tillsammans för att komplett passersystem. ASSA har nyligen utvecklat en ny kommunikationsbuss för några av deras produkter. En fördel med den nya kommunikationsbussen är att varje produkt kan ge ett ökat mervärde för slutkunden. Denna avhandling har som huvudsyfte att hitta en modell som kan beskriva livslängden för ASSA:s motorlås, 811C50. Till detta görs en studie för att undersöka vilka miljö parametrar som kan påverka motorlåsets livslängd. Denna avhandling kan även ses som en förstudie där målet är att vidareutveckla det befintliga motorlåset. Den valda modellen, full variabel test, leder till en livslängdsekvation. Denna ekvation kommer sedan att bli implementerad i motorlåset så att låset själv kan prediktera sin egen livslängd. För att göra ekvationen komplett behövs olika parameterr som kan påverka motorlåsets livslängd identifieras. Detta kan ske genom olika tekniska test och för att lyckas med testen krävs rätt testutrustning. Ingen befintlig testutrustning fanns tillgänglig vilket resulterade i en ny testutrustning som kunde testa alla motorlås utvecklades. Utifrån intervjuer med ingenjörer på ASSA kunde det fastställas att följande parameterr troligtvis kan påverka motorlåsets livslängd: temperatur, luftfuktighet, damm, korrosion, listtryck och vibrationer. Inte förens koefficienter, till ekvationen, har blivit fastställda är ekvationen färdig att användas.

Στην παρούσα διπλωματική εργασία γίνεται αναφορά στο ενεργειακό πρόβλημα, στις διάφορες μορφές ενέργειας, στα διάφορα είδη μετατροπέων και τα είδη ελέγχου. Πιο συγκεκριμένα, ασχολούμαστε με τον έλεγχο σε μετατροπείς από την πλευρά του δικτύου που χρησιμοποιούνται σε ανεμογεννήτριες. Επιπλέον, εξομοιώνουμε έναν μετατροπέα στη πλευρά του δικτύου για να ρυθμίσουμε τη DC τάση. Πιο συγκεκριμένα: Στο κεφάλαιο 1, θα ασχοληθούμε με το πρόβλημα ενέργειας και την αλλαγή στο κλίμα, τα οποία αποτελούν δύο από τα πιο βασικά προβλήματα του πλανήτη. Ακόμα, θα αναφερθούμε στις Ανανεώσιμες Πηγές Ενέργειας και κυρίως στην αιολική. Επίσης, θα γίνει μία μικρή αναφορά με βάση διαγράμματα για τους κανονισμούς που ισχύουν σε διάφορες χώρες της Ευρώπης όσον αφορά την λειτουργία Εγκαταστάσεων Αιολικής Ενέργειας. Στο κεφάλαιο 2, θα αναφερθούμε στις δομές μετατροπέων για διασύνδεση με ανεμογεννήτριες, καθώς επίσης και στον έλεγχο από την πλευρά της γεννήτριας. Τέλος, γίνεται μία μικρή αναφορά στον έλεγχο ισχύος. Στο κεφάλαιο 3, γίνεται αναφορά στον μετατροπέα πηγής- τάσηςVSC, στα φίλτρα δικτύου και στη διαμόρφωση. Στο κεφάλαιο 4, γίνεται αναφορά στον τριφασικό διπλό μετατροπέα τάσης, στη λειτουργία του, στο μοντέλο του καθώς και στις κατάλληλες εξισώσεις που χρησιμοποιούνται για τον έλεγχο του μετατροπέα. Στο κεφάλαιο 5, γίνεται περιγραφή του ελέγχου με διπλούς βρόγχους, γίνεται μία σύντομη αναφορά στο PLL και δίνονται οι κατάλληλες εξισώσεις. Επιπλέον, γίνεται μια σύντομη περιγραφή του μοντέλου που χρησιμοποιείται στη συγκεκριμένη διπλωματική. Στο κεφάλαιο 6, παρουσιάζουμε την εφαρμογή στο παρών μοντέλο καθώς και τα αποτελέσματα χρησιμοποιώντας το πρόγραμμα matlab/simulink, τις παραμέτρους καθώς επίσης και τις γραφικές παραστάσεις. / --

Many control algorithms for ABS systems have been proposed in the literature since the introduction of this equipment by Bosch in 1978. In general, one can divide these control algorithms into two different types: those based on a regulation logic with wheel acceleration thresholds that are used by most commercial ABS systems; and those based on wheel slip control that are preferred in the large majority of academic algorithms. Each approach has its pros and cons [Shida 2010]. Oversimplifying, one can say that the strength of the first ones is their robustness; while that of the latter ones their short braking distances (on dry grounds) and their absence of limit cycles. At the midpoint of this industry/academy dichotomy, based on the concept of extended braking stiffness (XBS), a quite different class of ABS control strategies has been proposed by several researchers (see, e.g., [Sugai 1999] and [Ono 2003]). This concept combines the advantages from both the industrial and academic approaches. Nevertheless, since the slope of the tyre characteristic is not directly measurable, it introduces the question of real-time XBS estimation. The first part of this thesis is devoted to the study of this estimation problem and to a generalization of the proposed technique to a larger class of systems. From the technological point of view, the design of ABS control systems is highly dependent on the ABS system characteristics and actuator performance. Current ABS control algorithms on passenger cars, for instance the Bosch ABS algorithm, are based on heuristics that are deeply associated to the hydraulic nature of the actuator. An interesting observation is that they seem to work properly only in the presence of a specific delay coming from the hydraulic actuation [Gerard 2012]. For brake systems that have different delays compared to those of hydraulic actuators, like electric in-wheel motors (with a smaller delay) or pneumatic trailer brakes (with a bigger delay), they might be no longer suitable [Miller 2013]. Therefore, adapting standard ABS algorithms to other advanced actuators becomes an imperative goal in the automobile industry. This goal can be reached by the compensation of the delays induced by actuators. The second part of this thesis is focused on this issue, and to the generalization of the proposed technique to a particular class of nonlinear systems. Throughout this thesis, we employ two different linearization techniques: the linearization of the error dynamics in the construction of model-based observers [Krener 1983] and the linearization based on restricted state feedback [Brockett 1979]. The former is one of the simplest ways to build an observer for dynamical systems with output and to analyze its convergence. The main idea is to transform the original nonlinear system via a coordinate change to a special form that admits an observer with a linear error dynamics and thus the observer gains can be easily computed to ensure the observer convergence. The latter is a classical method to control nonlinear systems by converting them into a controllable linear state equation via the cancellation of their nonlinearities. It is worth mentioning that existing results for observer design by error linearization in the literature are only applied to the case of regular time scalings ([Guay 2002] and [Respondek 2004]). The thesis shows how to extend them to the case of singular time scalings. Besides, the thesis combines the classical state feedback linearization with a new method for the input delay compensation to resolve the output tracking problem for restricted feedback linearizable systems with input delays.

Die Auswahl einer zweckmäßigen Verbindungstechnik hat großen Einfluss auf die Kosten für die Herstellung und Wartung von Gütern. Das mechanische Verbinden von Bauteilen mit Schließringbolzen gehört zum umformtechnischen Fügen. Damit werden kostengünstig unlösbare und mechanisch hoch beanspruchbare, punktförmige Verbindungen erzeugt. Die vorliegende Arbeit hatte das Ziel, in umfassender Form den Nachweis zu erbringen, dass mit Schließringbolzensystemen ohne Sollbruchstelle wartungsfreie Verbindungen hergestellt werden können. Diese Wartungsfreiheit bezieht sich auf den Erhalt der mechanischen Eigenschaften der Verbindung und des Korrosionsschutzes bis zur beabsichtigten Grenznutzungsdauer. Aus einer Analyse des Standes der Technik wurde der Forschungsbedarf hinsichtlich der Wartungsfreiheit von Schließringbolzenverbindungen aus mechanischer und korrosiver Sicht abgeleitet. In einem mehrstufigen Prüfprogramm, unterteilt nach Anwendungen im Nutzfahrzeugbau und Stahlbau, wurde nach maschinenbaulichen und stahlbaulichen Konzepten die mechanische Leistungsfähigkeit der Verbindungen untersucht. Die Forschungsergebnisse aus diesem Programm und der Test neu entwickelter Beschichtungssysteme für die Bolzen und die Schließringe bestätigten die Eingangsthese über die Wartungsfreiheit. Metallografische Analysen und FEM Rechnungen ergänzen die Arbeit. Sie ist in sechs Abschnitte unterteilt und enthält 135 Abbildungen, 25 Tabellen, 3 Anlagen. Es wurden 118 Literaturquellen berücksichtigt. Mit der Arbeit steht dem Ingenieur ein umfangreiches Auskunftsmaterial zum Vergleich von Schließringbolzenverbindungen mit anderen Fügeverfahren, besonders jedoch zur Verschraubung zur Verfügung. Die durchgeführten Untersuchungen und Aussagen sollten in zukünftiger Forschung zu einem ganzheitlichen Konzept für die rechnerische Auslegung und Dimensionierung von Schließringbolzenverbindungen nach dem Vorbild der VDI 2230 und der EN 1993 weitergeführt werden.

Η τεχνολογία της αναγνώρισης και παρακολούθησης αεροσκαφών βρίσκει ποικίλες εφαρμογές σε όλους τους τομείς της αεροναυσιπλοΐας, πολιτικούς και στρατιωτικούς, από τον έλεγχο και τη ρύθμιση της εναέριας κυκλοφορίας σε πολιτικά αεροδρόμια έως το χειρισμό και την καθοδήγηση αντιαεροπορικών όπλων για στρατιωτικούς σκοπούς (π.χ. το σύστημα TAS του αντιαεροπορικού συστήματος MIM-23B Hawk). Έως σήμερα, γνωστές μέθοδοι υλοποίησης αποτελούν οι ραδιοεντοπιστές (radar), οι υπέρυθρες και οι θερμικές κάμερες, τα οποία είναι εγκατεστημένα σε επίγειους σταθμούς, σε κινούμενες μονάδες και σε αεροσκάφη. Το σύστημα που δημιουργήθηκε και θα παρουσιαστεί στην παρούσα διπλωματική εργασία αποτελεί μια εναλλακτική μέθοδο υλοποίησης της αναγνώρισης και της παρακολούθησης ιπτάμενων αντικειμένων, που εκμεταλλεύεται το οπτικό φάσμα με τη χρήση μιας οπτικής κάμερας ενσωματωμένης σε ένα σερβοκινητήρα. Σε σημεία όπου είναι δύσκολο να εφαρμοσθεί κάποια άλλη τεχνολογία ή σε σημεία που δεν καλύπτονται από άλλες συσκευές ανίχνευσης (π.χ. radar), η συσκευή μας προσφέρει όμοιες υπηρεσίες και συμπληρώνει πιθανά χάσματα ακάλυπτων περιοχών. Συγκεκριμένα, μέσω του λογισμικού που έχει αναπτυχθεί, όταν κάποιος στόχος (αεροσκάφος) εισέλθει στο οπτικό πεδίο της κάμερας, ανιχνεύεται και αναγνωρίζεται. Στη συνέχεια ο σερβοκινητήρας παρακολουθεί τον στόχο τροφοδοτούμενος με δεδομένα της θέσης και της ταχύτητάς του, ενώ βρίσκεται σε συνεχή επικοινωνία με την κάμερα. Όλα τα παραπάνω έχουν αναπτυχθεί ώστε να λειτουργούν σε συνθήκες πραγματικού χρόνου. Παρά την απουσία μιας θεωρητικής παρουσίασης ή μιας ολοκληρωμένης λύσης οπτικής αναγνώρισης και παρακολούθησης αεροσκαφών, η αναζήτηση και μελέτη της διεθνούς βιβλιογραφίας μας έδωσε το θεωρητικό υπόβαθρο για την κατανόηση του προβλήματος και ταυτόχρονα τη δυνατότητα να συνδυάσουμε τεχνικές και μεθόδους για την επίτευξη του στόχου μας. Για την επιτυχή αναγνώριση και παρακολούθηση των στόχων δημιουργήθηκαν διάφορα μοντέλα προσομοίωσης για τον έλεγχο της συμπεριφοράς μεμονομένων χαρακτηριστικών. Συγκεκριμένα, στο υποσύστημα της αναγνώρισης του στόχου μοντελοποιήθηκε αρχικά μια μέθοδος εξαγωγής της θέσης βασισμένη στο χρώμα του στόχου σε περιβάλλον Matlab/Simulink. Στη συνέχεια η ίδια μέθοδος μεταφέρθηκε σε περιβάλλον LabVIEW για να εμπλουτισθεί με διάφορες άλλες μεθόδους βασισμένες σε ένα σύνολο από χαρακτηριστικά που θα αναλυθούν στη συνέχεια. Το τελικό μοντέλο αποτελεί συνδυασμό των μεθόδων του αθροίσματος απολύτων διαφορών, της οπτικής ροής, της εξαγωγής χρωματικών και σχηματικών χαρακτηριστικών, της κανονικοποιημένης εττεροσυσχέτισης και άλλων λογικών μεθόδων και βελτιστοποιήσεων τους. Για την επίτευξη μιας επιτυχυμένης παρακολούθησης ενός “κλειδωμένου” στόχου, δοκιμάστηκαν και έγιναν πολλές προσομοιώσεις με διαφορετικούς τύπους ελεγκτών. Συγκεκριμένα η δυναμική του μοντέλου που δημιουργήθηκε, εξαρτάται από ένα συνδυασμό ελεγκτών θέσεως, ταχύτητας και άλλων παραμέτρων. Αυτά εξασφαλίζουν ένα ευσταθές και γραμμικοποιημένο σύστημα παρακολούθησης, ικανό να παρακολουθήσει οποιοδήποτε στόχο με τη προϋπόθεση ότι τα χαρακτηριστικά του στόχου καθώς και η κατάστασή του (θέση, ταχύτητα κτλ.), ικανοποιούν τις απαιτήσεις του αλγορίθμου αναγνώρισης και είναι μέσα στις εργοστασιακές δυνατότητες του συστήματος. Το μοντέλο αυτό αναπτύχθηκε και υλοποιήθηκε σε περιβάλλον LabVIEW, όπως και οι μετρήσεις και προσομοιώσεις που έγιναν πάνω σε αυτό. Όλες οι παραπάνω μέθοδοι συνεργάζονται και είναι ικανοί να δώσουν ακριβή αποτελέσματα θέσης πραγματικών στόχων κατά τη διάρκεια της ημέρας ακόμα και κάτω από δύσκολες συνθήκες (όπως συννεφιά, χαμηλή φωτεινότητα, παρεμβολή αντικειμένων) σε πραγματικό χρόνο. Η ακραία μεταβολή των περιβαλλοντικών συνθηκών θα επηρρέαζε οποιοδήποτε οπτικό σύστημα, συνεπώς και το παρόν. Περιγραφή των παραγόντων που επηρρεάζουν το σύστημά μας θα γίνει στη συνέχεια. / The technology of aircraft recognition and tracking applies in various applications in all areas of air navigation, civil and military, from air traffic control and regulation at civilian airports to anti-aircraft weapon handling and guidance for military purposes (e.g the TAS system of MIM-23B Hawk anti-aircraft system). To date, known methods of implementation are the radar, infrared and thermal cameras, which are installed at ground stations, in moving plants and aircrafts. The system that was created and is presented in this thesis is an alternative implementation of identifying and tracking flying objects, which operates in the optical spectrum using an optical camera built into a servomotor (pan-tilt unit – PTU). In regions where is difficult for one technology to be applied or in areas that are not covered by other detection devices (e.g. radar), our device offers similar services and complements potential gaps that arise by uncovered areas. Specifically, through the software we developed, when a target (aircraft) enters the field of view of our camera, it is detected and identified. Then the PTU, fed with data of target position and velocity, tracks the aircraft while keeps in constant communication with the camera. All the above have been developed to operate in real time. Despite the lack of a theoretical presentation or a complete solution of optical aircraft recognition and tracking, search and study of literature has given us the theoretical background for understanding the problem and making it possible to combine techniques and methods to achieve our goal. For the successful identification and monitoring of the targets, various simulation models were created to control the behavior of isolated features. Specifically, for the target recognition subsystem a method for extraction of the position based on the color of the target was initially modeled in Matlab/Simulink environment. Then the same method was implemented in LabVIEW to be enriched with several other methods based on a set of features that will be discussed below. The final model is a combination of the sum of absolute differences between two images, the extraction of color and shape profiles, the normalized cross-correlation and other logical methods and their optimizations. In order a successful tracking of a “locked” target to be achieved, there have been many tests and carried out many simulations with different types of controllers. Specifically, the dynamic of the model which was created, depends on a combination of position/velocity controllers and other parameters. These provide a stable and linearized tracking system, capable to follow any target under the condition that the characteristics of the target and its current status (position, speed, etc.) meet the requirements of the recognition algorithm and is within the capabilities of the system. The model was developed and implemented in the LabVIEW environment, as well as measurements and simulations were carried out in it. All these methods work and are able to give accurate results of the position of real targets during the day, even under difficult circumstances (such as clouds, decreased sky brightness etc) in real time. The extreme variation of environmental conditions would affect any optical system and hence could affect ours as well. Description of the factors that affect our system will be presented.

La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l’emboîtement de transactions n’est pas possible ce qui pénalise la modularité. Plutôt que les transactions, qui sont un choix possible d’implantation, nous considérons directement la notion de section atomique. Dans un objectif d’améliorer la modularité et l’expressivité, nous considérons un langage impératif simple étendu avec des instructions de parallélisme avec lancement et attente de processus légers et une instruction de section atomique à portée syntaxique, depuis laquelle des processus légers peuvent s’échapper. Dans ce contexte notre première contribution est la définition précise de l’atomicité et de la bonne synchronisation. Nous prouvons que pour des traces bien formées, la dernière implique la forme forte de la première. Ceci est fait sur des traces d’exécution abstraites dans le sens où nous ne définissons par précisément la syntaxe et la sémantique opérationnelle d’un langage de programmation. Cette première partie de notre travail peut être considérée comme une spécification pour un tel langage. Nous avons utilisé l’assistant de preuve Coq pour modéliser et prouver nos résultats. Notre deuxième contribution est la définition formelle du langage Atomic Fork Join (AFJ). Nous montrons que les traces de sa sémantique opérationnelle vérifient effectivement les conditions de bonne formation définies précédemment. La troisième contribution est la compilation de programmes AFJ en programmes Lock Unlock Fork Join (LUFJ) un langage avec processus léger et verrous mais sans sections atomiques. Nous étudions la correction de la compilation de AFJ vers LUFJ. / Transactions are becoming a popular mechanism for parallel and concurrent programming. In most implementations the nesting of transactions is not supported which hinders modularity. Rather than transactions, which are an implementation choice, we consider directly the notion of atomic section. For the sake of modularity with we consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our first contribution is the precise definition of atomicity, well-synchronisation and the proof that the latter implies the strong form of the former. This is done on execution traces without being specific to a language syntax and operational semantics. This first part of our work could be considered as a specification for the design and implementation of such a parallel language. A formalisation of our results in the Coq proof assistant is also available. Our second contribution is a formal definition of the Atomic Fork Join (AFJ) language and its operational semantics. We show that it indeed satisfies the conditions previously defined. The third contribution of our work is a compilation procedure of AFJ programs to programs another language with threads and locks but without atomic sections, named Lock Unlock Fork Join (LUFJ). We study the correctness of the compilation from AFJ to LUFJ.

Never before has the learning experience of incarcerated persons been captured by one of their fellow inmates. Public perception is that prisoners should be denied access to educational opportunities and be punished for the crimes committed. In this groundbreaking study, situated in the qualitative paradigm, I recorded the learning experiences of a group of inmates who are studying at undergraduate level, via distance learning. This phenomenological study originated from my experience of studying while incarcerated, and is aimed at increasing our knowledge of, and enhancing our understanding of incarcerated persons. The study focuses on the learning experiences and challenges encountered by these students. Data was collected from the participants using qualitative methods and analysed using content analysis. Interpretation of the data revealed a number of factors which impede the studies of these students. The investigation is of importance to all persons involved in the Corrections environment but also the general public as inmates return to their communities upon release. / Curriculum and Instructional Studies / M. Ed. (Curriculum Studies)