Cette thèse a voulu mettre en regard les clivages entre culture instituée transmise par l’École, et culture(s) intime(s) des personnes (candidates à la VAE) en cause dans la recherche, dont son auteure. Cette mise en regard est nourrie par un but : montrer dans quelle mesure le travail d’écriture sur la pratique, à la fois individuel et collectif, permet-il d’articuler la singularité des sujets, des trajectoires, des expériences, des situations et des activités, à la généralisation du discours institutionnel relié aux procédures normées du dispositif VAE. Mais ce travail d’écriture permet-il aussi de construire des savoirs à partir de l’expérience, objet et source de développement, et de faire progresser langage et processus de pensée ? Notre troisième question : comment ce travail d’écriture à partir de l’analyse collaborative de la pratique conduit-il à faire se rencontrer l’enquête de la vie courante et l’enquête scientifique, dans l’effort partagé pour organiser l’expérience par sa reformulation, sa théorisation et son objectivation ? Trois hypothèses majeures, en lien étroit avec la théorie développé par Lev Vygotski sur le développement des fonctions psychiques supérieures, ont conduit la recherche : les interactions langagières produites lors d’un accompagnement en ZDP, dans une dynamique heuristique, éthique et collaborative, développeraient en synergie, des échanges inter et intra-psychiques ; ces interactions langagières favoriseraient les processus de conceptualisation, de réflexivité, d’internalisation, de langage intérieur et de positionnement de soi en tant qu’auteure de sa parole ; ces interactions transformeraient alors les rapports au monde, à autrui, au savoir et à l’écrit des scripteurs, ainsi que leur reconnaissance identitaire en tant qu’individu, et en tant que professionnel. / This thesis wanted to put on the opposite between established culture, transmitted by School, and private culture, the VAE candidates’ concerned by this research, as well as the author’s. This putting on the opposite is fed by a purpose: to show to what extent the individual and collective work of writing on practical, allows to articulate first the peculiarity of the subjects, the trajectories, the experiences, the situations and the activities, with the generalization of the institutional speech linked with the standardized procedures of the device VAE ? In a second time does this work of writing allows to build knowledges from the experience, object and source of development, and to make progress language and process of thought? Our third question: how does this work of writing from the analysis collaborative of the practice, lead to make the investigation of the common life meet the scientific investigation, in a shared effort to organize the experience by its reformulation, its theorization and its objectification? Three major hypotheses, in narrow link with the theory built by Lev Vygotski on the psychic development of the superior functions, led the research: the linguistic interactions produced during a support in development area potential , in a heuristic, ethic and collaborative dynamic, would develop in synergy, exchanges inter and intra-psychic ; these linguistic interactions would help the processes of conceptualization, reflexivity of insourcing, inner language and positioning of itself as author of his word; these interactions would transform then, relations to the world, to others, to the knowledge and to their writings, as well as being recognized in their individual and professional identity.

No description available.

Der Beitrag "Voraussetzungen und Grenzen einer eigenschaftsmodellbasierten Korrektur St. Bäumler, C. Brecher, M. Wennemer; RWTH Aachen, Lehrstuhl für Werkzeugmaschinen" ist in dieser Version nicht enthalten, bitte nutzen Sie die Version unter oben angegebenen Link (Nachfolger). / Im Mittelpunkt der 2. Tagung des Sonderforschungsbereichs Transregio 96 „Thermo-energetische Gestaltung von Werkzeugmaschinen standen erste Ergebnisse zur Modellierung und Simulation von Komponenten und Baugruppen von Werkzeugmaschinen im Mittelpunkt. An den drei Standorten Aachen, Chemnitz und Dresden werden unterschiedliche Lösungsansätze für die steuerungsintegrierte Korrektur thermischer bedingter Strukturverformungen in spanenden Werkzeugmaschinen verfolgt. Von diesen wird eine unterschiedliche Wirksamkeit bzw. Eignung für verschiedene Einsatzfälle erwartet. Bevor diese in der Praxis umgesetzt werden können, müssen Fragen zur Beschreibung der Wärmequellen und zur Wärmeübertragung beantwortet werden. Außerdem bedarf die Umsetzung der Konzepte in den CNC-Steuerungen effizienter Verfahren zur Modellierung und Simulation der thermisch bedingten Strukturverformung. Für die Entwicklung und Bewertung der Korrekturverfahren sowie zur Berechnung der notwendigen Achs-Korrekturen ist die Systemsimulation u. a. an einem prozessaktuelle Werkzeugmaschinenabbild erforderlich. Für die Bewertung ihrer Praxisrelevanz werden die Einzellösungen nach und nach in ein betriebswirtschaftlich orientiertes Gesamtmodell integriert.

Im Mittelpunkt der 3. Tagung des Sonderforschungsbereichs Transregio 96 am 29. und 30.Oktober 2013 am Werkzeugmaschinenlabor der RWTH Aachen standen die verschiedenen Lösungsansätze der einzelnen Teilprojekte bei der Durchführung der experimentellen Untersuchungen zur Verifizierung von Simulationsergebnissen bzw. zur Ableitung von Modellparametern. Es wurden vier Themenblöcke behandelt: • Ermittlung von thermisch relevanten Prozessparametern • Experimentelle Methodik zur Analyse von Teilsystemen in Werkzeugmaschinen • Methodische Rahmenbedingungen bei der Ermittlung von thermisch relevanten Parametern • Verfahren zur Verformungs- und Verlagerungsmessung

Secret key generation from reciprocal multi-antenna channels is an interesting alternative to cryptographic key management in wireless systems without infrastructure access. In this work, we study the secret key rate for the basic source model with a MIMO channel. First, we derive an expression for the secret key rate under spatial correlation modelled by the Kronecker model and with spatial precoding at both communication nodes. Next, we analyze the result for uncorrelated antennas to understand the optimal precoding for this special case, which is equal power allocation. Then, the impact of correlation is characterized using Majorization theory. Surprisingly for small SNR, spatial correlation increases the secret key rate. For high SNR, the maximum secret key rate is achieved for uncorrelated antennas. The results indicate that a solid system design for reciprocal MIMO key generation is required to establish the secret key rate gains.

Im Mittelpunkt der 2. Tagung des Sonderforschungsbereichs Transregio 96 „Thermo-energetische Gestaltung von Werkzeugmaschinen standen erste Ergebnisse zur Modellierung und Simulation von Komponenten und Baugruppen von Werkzeugmaschinen im Mittelpunkt. An den drei Standorten Aachen, Chemnitz und Dresden werden unterschiedliche Lösungsansätze für die steuerungsintegrierte Korrektur thermischer bedingter Strukturverformungen in spanenden Werkzeugmaschinen verfolgt. Von diesen wird eine unterschiedliche Wirksamkeit bzw. Eignung für verschiedene Einsatzfälle erwartet. Bevor diese in der Praxis umgesetzt werden können, müssen Fragen zur Beschreibung der Wärmequellen und zur Wärmeübertragung beantwortet werden. Außerdem bedarf die Umsetzung der Konzepte in den CNC-Steuerungen effizienter Verfahren zur Modellierung und Simulation der thermisch bedingten Strukturverformung. Für die Entwicklung und Bewertung der Korrekturverfahren sowie zur Berechnung der notwendigen Achs-Korrekturen ist die Systemsimulation u. a. an einem prozessaktuelle Werkzeugmaschinenabbild erforderlich. Für die Bewertung ihrer Praxisrelevanz werden die Einzellösungen nach und nach in ein betriebswirtschaftlich orientiertes Gesamtmodell integriert.:Programm Mittwoch, 24.10.2012 13:00 Uhr Bedeutung und Konzepte von Modellierung und Simulation für den SFB/TR-96 K. Großmann, Sprecher des SFB/TR-96 13:30 Uhr Fachkonzeptionelle Modelle als Basis der Integration und Bewertung (C05) R. Braun, M. Burwitz, W. Esswein; TU Dresden, Lehrstuhl für Wirtschaftsinformatik, insb. Systementwicklung Session 1: Grundmodelle zur Beschreibung der Wärmequellen 14:00 Uhr Grundlagenuntersuchungen der Temperaturverteilung beim kontinuierlichen Schnitt mittels Thermografie (A02) M. Brockmann, F. Klocke, D. Veselovac; RWTH Aachen, Lehrstuhl für Technologie der Fertigungsverfahren 14:30 Uhr Modellierung der Verlustquellen in Antriebsmotoren (C04) R. Werner, St. Winkler; TU Chemnitz, Professur Elektrische Energiewandlungssysteme und Antriebe 15:00 Uhr Simulation der Erwärmung von Spindellagern auf der Basis eines lokalen Reibmodells (B03, B04) St. Bäumler, C. Brecher, D. Haber, J. Rossaint; RWTH Aachen, Lehrstuhl für Werkzeugmaschinen K. Großmann, B. Kauschinger, St. Rehn; TU Dresden, Institut für Werkzeugmaschinen und Steuerungstechnik Session 2: Wärmeübertragung 16:00 Uhr Wärmeübertragung in Aluminium-Leichtbaustrukturen (B04, C06) K. Großmann, B. Kauschinger, St. Schroeder, Ch. Städel; TU Dresden, Institut für Werkzeugmaschinen und Steuerungstechnik 16:30 Uhr Wärmeübertragung an Fugenkontakten am Beispiel spanender Werkzeuge (B02, A01) R. Kneer, S. Vieler; RWTH Aachen, Lehrstuhl für Wärme- und Stoffübertragung U. Semmler; Fraunhofer IWU Chemnitz M. Bräunig; TU Chemnitz, Institut für Werkzeugmaschinen und Produktionsprozesse 17:00 Uhr Identifikation relevanter Parameter und Strukturbereiche für den Wärmeübergang zwischen Maschine und Umgebung (B01, B05) St. Ihlenfeldt, C. Zwingenberger; Fraunhofer IWU Chemnitz R. Herzog, I. Riedel; TU Chemnitz, Professur Numerische Mathematik 17:30 Uhr Analyse und Modellierung der fluidischen Kühlung von Motorspindeln (A04) J. Weber, Jul. Weber; TU Dresden, Institut für Fluidtechnik Donnerstag, 25.10.2012 Session 3: Beiträge zur Effizienzsteigerung von Modellierung und Simulation 9:00 Uhr Optimale Versuchsplanung für die experimentelle Ermittlung von Kennwerten der Wärmeübertragung an Fugenkontakten (B02, B05) T. Etling, R. Herzog; TU Chemnitz, Professur Numerische Mathematik R. Kneer, S. Vieler; RWTH Aachen, Lehrstuhl für Wärme- und Stoffübertragung 9:30 Uhr Moderne Techniken zur schnellen und hochauflösenden Simulation (A07) A. Naumann, J. Wensch; TU Dresden, Institut für wissenschaftliches Rechnen 10:00 Uhr Parametererhaltende Modellordnungsreduktion für die Simulation thermo-elastischer Probleme an Werkzeugmaschinen (A06) P. Benner, N. Lang, J. Saak; TU Chemnitz, Professur Mathematik in Industrie und Technik Session 4: Voraussetzungen zur Systemsimulation des prozessaktuellen Werkzeugmaschinenabbildes für Berechnung und Korrektur 11:00 Uhr Effiziente Simulation thermo-elastischer Verformungen an Werkzeugmaschinen mit ordnungsreduzierten Modellen bei Berücksichtigung großer Relativbewegungen (A05) A. Galant, K. Großmann, A. Mühl; TU Dresden, Institut für Werkzeugmaschinen und Steuerungstechnik 11:45 Uhr Thermische Analyse bewegter Baugruppen mittels FEM am Beispiel der Führungswagen (A05) M. Beitelschmidt, M. Partzsch; TU Dresden, Institut für Festkörpermechanik 12: 15 Uhr Voraussetzungen und Grenzen einer eigenschaftsmodellbasierten Korrektur (B06) St. Bäumler, C. Brecher, M. Wennemer; RWTH Aachen, Lehrstuhl für Werkzeugmaschinen 12:45 Uhr Modularisierung der Datenflüsse und Algorithmen für die steuerungsintegrierte Korrektur thermisch bedingter Verlagerungen in Werkzeugmaschinen (B07) K. Großmann, A. Mühl, Ch. Städel; TU Dresden, Institut für Werkzeugmaschinen und Steuerungstechnik

Newsletter des Sonderforschungsbereichs 912 "Highly Adaptive Energy-Efficient Computing" (HAEC)

Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic approach is that it can hardly be combined with other techniques to tackle the state explosion problem, e.g., symbolic probabilistic model checking with multi-terminal variants of binary decision diagrams. Following the approach presented by Kurshan et al. for non-probabilistic systems, we study partial order reduction techniques for probabilistic concurrent systems that can be realized by a static analysis. The idea is to inject the reduction criteria into the control flow graphs of the processes of the system to be analyzed. We provide the theoretical foundations of static partial order reduction for probabilistic concurrent systems and present algorithms to realize them. Finally, we report on some experimental results.

In heterogeneous dense networks where spectrum is shared, users privacy remains one of the major challenges. When the receivers are not only interested in their own signals but also in eavesdropping other users' signals, the cross talk becomes information leakage.We propose a novel and efficient secrecy rate enhancing relay strategy EFFIN for information leakage neutralization. The relay matrix is chosen such that the effective leakage channel (spectral and spatial) is zero. Thus, it ensures secrecy regardless of receive processing employed at eavesdroppers and does not rely on wiretaps codes to ensure secrecy, unlike other physical layer security techniques such as artificial noise. EFFIN achieves a higher sum secrecy rate over several state-of-the-art baseline methods.

We compare LDPC block and LDPC convolutional codes with respect to their decoding performance under low decoding latencies. Protograph based regular LDPC codes are considered with rather small lifting factors. LDPC block and convolutional codes are decoded using belief propagation. For LDPC convolutional codes, a sliding window decoder with different window sizes is applied to continuously decode the input symbols. We show the required Eb/N0 to achieve a bit error rate of 10 -5 for the LDPC block and LDPC convolutional codes for the decoding latency of up to approximately 550 information bits. It has been observed that LDPC convolutional codes perform better than the block codes from which they are derived even at low latency. We demonstrate the trade off between complexity and performance in terms of lifting factor and window size for a fixed value of latency. Furthermore, the two codes are also compared in terms of their complexity as a function of Eb/N0. Convolutional codes with Viterbi decoding are also compared with the two above mentioned codes.