In heterogeneous dense networks where spectrum is shared, users' privacy remains one of the major challenges. On a multi-antenna relay-assisted multi-carrier interference channel, each user shares the spectral and spatial resources with all other users. When the receivers are not only interested in their own signals but also in eavesdropping other users' signals, the cross talk on the spectral and spatial channels becomes information leakage. In this paper, we propose a novel secrecy rate enhancing relay strategy that utilizes both spectral and spatial resources, termed as information leakage neutralization. To this end, the relay matrix is chosen such that the effective channel from the transmitter to the colluding eavesdropper is equal to the negative of the effective channel over the relay to the colluding eavesdropper and thus the information leakage to zero. Interestingly, the optimal relay matrix in general is not block-diagonal which encourages users' encoding over the frequency channels. We proposed two information leakage neutralization strategies, namely efficient information leakage neutralization (EFFIN) and local-optimized information leakage neutralization (LOPTIN). EFFIN provides a simple and efficient design of relay processing matrix and precoding matrices at the transmitters in the scenario of limited power and computational resources. LOPTIN, despite its higher complexity, provides a better sum secrecy rate performance by optimizing the relay processing matrix and the precoding matrices jointly. The proposed methods are shown to improve the sum secrecy rates over several state-of-the-art baseline methods.

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

No description available.

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.

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

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.