Der Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015) findet nun schon zum 18. mal statt. Ausrichter sind in diesem Jahr die Professur Schaltkreis- und Systementwurf der Technischen Universität Chemnitz und das Steinbeis-Forschungszentrum Systementwurf und Test. Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Er soll somit ein Forum zum Ideenaustausch sein. Weiterhin bietet der Workshop eine Plattform für den Austausch zwischen Forschung und Industrie sowie zur Pflege bestehender und zur Knüpfung neuer Kontakte. Jungen Wissenschaftlern erlaubt er, ihre Ideen und Ansätze einem breiten Publikum aus Wissenschaft und Wirtschaft zu präsentieren und im Rahmen der Veranstaltung auch fundiert zu diskutieren. Sein langjähriges Bestehen hat ihn zu einer festen Größe in vielen Veranstaltungskalendern gemacht. Traditionell sind auch die Treffen der ITGFachgruppen an den Workshop angegliedert. In diesem Jahr nutzen zwei im Rahmen der InnoProfile-Transfer-Initiative durch das Bundesministerium für Bildung und Forschung geförderte Projekte den Workshop, um in zwei eigenen Tracks ihre Forschungsergebnisse einem breiten Publikum zu präsentieren. Vertreter der Projekte Generische Plattform für Systemzuverlässigkeit und Verifikation (GPZV) und GINKO - Generische Infrastruktur zur nahtlosen energetischen Kopplung von Elektrofahrzeugen stellen Teile ihrer gegenwärtigen Arbeiten vor. Dies bereichert denWorkshop durch zusätzliche Themenschwerpunkte und bietet eine wertvolle Ergänzung zu den Beiträgen der Autoren. [... aus dem Vorwort]

Mit HylaFAX+ wurde eine gute Grundlage für eine neue Faxlösung an der Technischen Universität Chemnitz gefunden. Durch die vielen Schnittstellen, die HylaFAX+ bietet, konnte es um fehlende Funktionen erweitert werden, sodass es den gestellten Anforderungen entspricht. Auf Basis dieser Arbeit, kann unter Berücksichtigung der Richtlinien des URZ, eine neue Faxlösung implementiert werden, welche den XMediusFAX-Server ablöst. Das FoIP-Gateway nimmt E-Mails entgegen und verarbeitet diese inklusive Anhang, dieser kann eine PDF, ein Word Dokument oder ein Bilddokument in den Formaten JPEG oder PNG sein. Bevor das Fax abgesendet wird, setzt ein Skript die richtige Faxnummer des Absenders ein und prüft ob der Absender die nötigen Rechte hat um ein Fax intern/national/international zu versenden. Die eigentliche Übertragung des Faxes erfolgt über das T.38 Protokoll, sollte der Empfänger dieses nicht beherrschen, wechselt die Faxlösung automatisch auf die Pass-Through Methode. Ist das Fax erfolgreich übertragen, erhält der Sender eine Sendebestätigung per E-Mail oder Ausdruck. Wird eine Faxnachricht empfangen, wird noch vor während der Rufannahme geprüft ob der Empfänger innerhalb des Universitätsnetzes existiert. Falls es die Empfängernummer nicht gibt, wird der Anruf augenblicklich beendet. Ist die Faxnummer einem Nutzer zugeordnet, ermittelt ein Pythonskript die E-Mailadresse des Empfängers. Dieser erhält die Faxnachricht anschließend als PDF im Anhang einer E-Mail. Sollte im LDAP ein Drucker hinterlegt sein bekommt der Nutzer einen Ausdruck auf dem eingestellten Drucker.

In the course of revitalizing the Poseidon Building in Frankfurt, an energetically optimized façade, made of an architectural concrete was developed. The development of a fiber-reinforced architectural concrete had to consider the necessary mechanical strength, design technology and surface quality. The fiber-reinforced architectural concrete has a compressive strength of 104.1 MPa and a 3-point bending tensile strength of 19.5 MPa. Beyond that, it was ensured that the fiber-reinforced high-performance concrete had a high durability, which has been shown by the capillary suction of de-icing solution and freeze thaw test with a weathering of abrasion of 113 g/m² after 28 freeze-thaw cycles and a mean water penetration depth of 11 mm.

Abstract provided by Publisher Complex performance diagnostics in sports medicine should contain maximal aerobic and maximal anaerobic performance. The requirements on appropriate stress protocols are high. To validate a test protocol quality criteria like objectivity and reliability are necessary. Therefore, the present study was performed in intention to analyze the reliability of maximal lactate production rate (VLamax) by using a sprint test, maximum oxygen consumption (VO2max) by using a ramp test and, based on these data, resulting power in calculated maximum lactate-steady-state (PMLSS) especially for amateur cyclists. All subjects (n=23, age 26 ± 4 years) were leisure cyclists. At three different days they completed first a sprint test to approximate VLamax. After 60 min of recreation time a ramp test to assess VO2max was performed. The results of VLamax-test and VO2max-test and the body weight were used to calculate PMLSS for all subjects. The intra class correlation (ICC) for VLamax and VO2max was 0.904 and 0.987, respectively, coefficient of variation (CV) was 6.3 % and 2.1 %, respectively. Between the measurements the reliable change index of 0.11 mmol∙l-1∙s-1 for VLamax and 3.3 ml∙kg-1∙min-1 for VO2max achieved significance. The mean of the calculated PMLSS was 237 ± 72 W with an RCI of 9 W and reached with ICC = 0.985 a very high reliability. Both metabolic performance tests and the calculated PMLSS are reliable for leisure cyclists.

The understanding of the subjective experience of a visually stable world despite the occurrence of an observer's eye movements has been the focus of extensive research for over 20 years. These studies have revealed fundamental mechanisms such as anticipatory receptive field (RF) shifts and the saccadic suppression of stimulus displacements, yet there currently exists no single explanatory framework for these observations. We show that a previously presented neuro-computational model of peri-saccadic mislocalization accounts for the phenomenon of predictive remapping and for the observation of saccadic suppression of displacement (SSD). This converging evidence allows us to identify the potential ingredients of perceptual stability that generalize beyond different data sets in a formal physiology-based model. In particular we propose that predictive remapping stabilizes the visual world across saccades by introducing a feedback loop and, as an emergent result, small displacements of stimuli are not noticed by the visual system. The model provides a link from neural dynamics, to neural mechanism and finally to behavior, and thus offers a testable comprehensive framework of visual stability.

In the course of revitalizing the Poseidon Building in Frankfurt, an energetically optimized façade, made of architectural concrete was developed. The development of a fiber-reinforced architectural concrete had to consider the necessary mechanical strength, design technology and surface quality. The fiber-reinforced architectural concrete has a compressive strength of 104.1 MPa and a 3-point bending tensile strength of 19.5 MPa. Beyond that, it was ensured that the fiber-reinforced high-performance concrete had a high durability, which has been shown by the capillary suction of de-icing solution and freeze thaw test with a weathering of abrasion of 113 g/m² after 28 freeze-thaw cycles and a mean water penetration depth of 11 mm.

Background: The purpose of this study was the comparison of the calculated (MLSSC) and experimental power (MLSSE) in maximal lactate steady-state (MLSS) during cycling. Methods: 13 male subjects (24.2 ± 4.76 years, 72.9 ± 6.9 kg, 178.5 ± 5.9 cm, V_O2max: 60.4 ± 8.6 ml min−1 kg−1, V_ Lamax: 0.9 ± 0.19 mmol l-1 s-1) performed a ramp-test for determining the V_O2max and a 15 s sprint-test for measuring the maximal glycolytic rate (V_ Lamax). All tests were performed on a Lode-Cycle-Ergometer. V_O2max and V_ Lamax were used to calculate MLSSC. For the determination of MLSSE several 30 min constant load tests were performed. MLSSE was defined as the highest workload that can be maintained without an increase of blood-lactate-concentration (BLC) of more than 0.05 mmol l−1 min−1 during the last 20 min. Power in following constant-load test was set higher or lower depending on BLC. Results: MLSSE and MLSSC were measured respectively at 217 ± 51 W and 229 ± 47 W, while mean difference was −12 ± 20 W. Orthogonal regression was calculated with r = 0.92 (p < 0.001). Conclusions: The difference of 12 W can be explained by the biological variability of V_O2max and V_ Lamax. The knowledge of both parameters, as well as their individual influence on MLSS, could be important for establishing training recommendations, which could lead to either an improvement in V_O2max or V_ Lamax by performing high intensity or low intensity exercise training, respectively. Furthermore the validity of V_ Lamax -test should be focused in further studies.

Listening to music usually elicits emotions that can vary considerably in their intensity over the course of listening. Yet, after listening to a piece of music, people are easily able to evaluate the music's overall emotional intensity. There are two different hypotheses about how affective experiences are temporally processed and integrated: (1) all moments' intensities are integrated, resulting in an averaged value; (2) the overall evaluation is built from specific single moments, such as the moments of highest emotional intensity (peaks), the end, or a combination of these. Here we investigated what listeners do when building an overall evaluation of a musical experience. Participants listened to unknown songs and provided moment-to-moment ratings of experienced intensity of emotions. Subsequently, they evaluated the overall emotional intensity of each song. Results indicate that participants' evaluations were predominantly influenced by their average impression but that, in addition, the peaks and end emotional intensities contributed substantially. These results indicate that both types of processes play a role: All moments are integrated into an averaged value but single moments might be assigned a higher value in the calculation of this average.

Reliable line production processes and simulation tools play a central role for the structural integration of thermoplastic composites in advanced lightweight constructions. Provided that material- adapted joining technologies are available, they can be applied in heavy-duty multi-material designs (MMD). A load-adapted approach was implemented into the new fully automatic and faulttolerant thermo mechanical flow drill joining (FDJ) concept. With this method it is possible to manufacture reproducible high strength FRP/metal-joints within short cycle times and without use of extra joining elements for the first time. The analysis of FDJ joints requires a simplified model of the joint to enable efficient numerical simulations. The present work introduces a strategy in modeling a finite-element based analogous-approach for FDJ-joints with glass fiber reinforced polypropylene and high-strength steel. Combined with a newly developed section-force related failure criterion, it is possible to predict the fundamental failure behavior in multi-axial stress states. The functionality of the holistic approach is illustrated by a demonstrator that represents a part of a car body-in-white structure. The comparison of simulated and experimentally determined failure loads proves the applicability for several combined load cases.

The mol­ecular structure of ruthenocenecarbo­nitrile, [Ru([eta]5-C5H4C[triple bond]N)([eta]5-C5H5)], exhibits point group symmetry m, with the mirror plane bis­ecting the mol­ecule through the C[triple bond]N substituent. The RuII atom is slightly shifted from the [eta]5-C5H4 centroid towards the C[triple bond]N substituent. In the crystal, mol­ecules are arranged in columns parallel to [100]. One-dimensional inter­molecular [pi]-[pi] inter­actions [3.363 (3) Å] between the C[triple bond]N carbon atom and one carbon of the cyclo­penta­dienyl ring of the overlaying mol­ecule are present.