A corpus of Schlieren photography of speech production: potential methodology to study aerodynamics of labial,nasal and vocalic processes

Language Resources and Evaluation - This report presents a corpus of articulations recorded with Schlieren photography, a recording technique to visualize aeroflow dynamics for two purposes. First,...     

A pluggable service platform architecture for e-commerce

In the beginning of the e-commerce era, retailers mostly adopted vertically integrated solutions to control the entire e-commerce value chain. However, they began to realize that to achieve agility, a better approach would be to focus on certain core capabilities and then create a partner ecosystem around them. From a technical point of view, this means it is advised to have a lightweight platform architecture with small core e-commerce functionality which can be extended by additional services from third party providers. In a typical e-commerce ecosystem with diverse information systems of network partners, integration and interoperability become critical factors to enable seamless coordination among the partners. Furthermore an increasing adoption of cloud computing technology could be observed resulting in more challenging integration scenarios involving cloud services. Thus, an e-commerce platform is required that suites the advanced needs for flexible and agile service integration. Therefore, this paper aims to present a reference architecture of a novel pluggable service platform for e-commerce. We investigate on currently available online shop platform solutions and integration platforms in the market. Based on the findings and motivated by literature on service-oriented design, we develop an architecture of a service-based pluggable platform for online retailers. This design is then instantiated by means of a prototype for an e-commerce returns handling scenario to demonstrate the feasibility of our architecture design.     

Topology optimization of a cantilevered piezoelectric energy harvester using stress norm constraints

Vibrational piezoelectric energy harvesters are devices which convert ambient vibrational energy into electric energy. Here we focus on the common cantilever type in which an elastic beam is sandwiched between two piezoelectric plates. In order to maximize the electric power for a given sinusoidal vibrational excitation, we perform topology optimization of the elastic beam and tip mass by means of the SIMP approach, leaving the piezoelectric plates solid. We are interested in the first and especially second resonance mode. Homogenizing the piezoelectric strain distribution is a common indirect approach increasing the electric performance. The large design space of the topology optimization approach and the linear physical model also allows the maximization of electric performance by maximizing peak bending, resulting in practically infeasible designs. To avoid such problems, we formulate dynamic piezoelectric stress constraints. The obtained result is based on a mechanism which differs significantly from the common designs reported in literature.     

Exciton Formation Dynamics and Band-Like Free Charge-Carrier Transport in 2D Metal Halide Perovskite Semiconductors

Metal halide perovskite (MHP) semiconductors have driven a revolution in optoelectronic technologies over the last decade, in particular for high-efficiency photovoltaic applications. Low-dimensional MHPs presenting electronic confinement have promising additional prospects in light emission and quantum technologies. However, the optimisation of such applications requires a comprehensive understanding of the nature of charge carriers and their transport mechanisms. This study employs a combination of ultrafast optical and terahertz spectroscopy to investigate phonon energies, charge-carrier mobilities, and exciton formation in 2D (PEA)₂PbI₄ and (BA)₂PbI₄ (where PEA is phenylethylammonium and BA is butylammonium). Temperature-dependent measurements of free charge-carrier mobilities reveal band transport in these strongly confined semiconductors, with surprisingly high in-plane mobilities. Enhanced charge-phonon coupling is shown to reduce charge-carrier mobilities in (BA)₂PbI₄ with respect to (PEA)₂PbI₄. Exciton and free charge-carrier dynamics are disentangled by simultaneous monitoring of transient absorption and THz photoconductivity. A sustained free charge-carrier population is observed, surpassing the Saha equation predictions even at low temperature. These findings provide new insights into the temperature-dependent interplay of exciton and free-carrier populations in 2D MHPs. Furthermore, such sustained free charge-carrier population and high mobilities demonstrate the potential of these semiconductors for applications such as solar cells, transistors, and electrically driven light sources.     

Ultraviolet photodetectors and readout based on a-IGZO semiconductor technology

In this work, real-time ultraviolet photodetectors are realized through metal–semiconductor–metal (MSM) structures. Amorphous indium gallium zinc oxide (a-IGZO) is used as semiconductor material and gold as metal electrodes. The readout of an individual sensor is implemented by a transimpedance amplifier (TIA) consisting of an all-enhancement a-IGZO thin-film transistor (TFT) operational amplifier and a switched capacitor (SC) as feedback resistance. The photosensor and the transimpedance amplifier are both manufactured on glass substrates. The measured photosensor possesses a high responsivity R , a low response time t _{R E S} , and a good noise equivalent power value NEP .     

Relaxing high-dimensional constraints in the direct solution space method for early phase development

Early phase distributed system design can be accomplished using solution spaces that provide an interval of permissible values for each functional parameter. The feasibility property guarantees fulfillment of all design requirements for all possible realizations. Flexibility denotes the size measure of the intervals, with higher flexibility benefiting the design process. Two methods are available for solution space identification. The direct method solves a computationally cheap optimization problem. The indirect method employs a sampling approach that requires a relaxation of the feasibility property through re-formulation as a chance constraint. Even for high probabilities of fulfillment, \(P>0.99\), this results in substantial increases in flexibility, which offsets the risk of infeasibility. This work implements the chance constraint formulation into the direct method for linear constraints by showing that its problem statement can be understood as a linear robust optimization problem. Approximations of chance constraints from the literature are transferred into the context of solution spaces. From this, we derive a theoretical value for the safety parameter \(\varOmega\). A further modification is presented for use cases, where some intervals are already predetermined. A problem from vehicle safety is used to compare the modified direct and indirect methods and discuss suitable choices of \(\varOmega\). We find that the modified direct method is able to identify solution spaces with similar flexibility, while maintaining its cost advantage.     

3D-Druck für Hochvakuumanwendungen

To mark our anniversary, we are presenting articles that have been particularly appreciated by readers of our online edition once again in print. Here: 3D-Printing for High Vacuum Applications 3D printing technology has made the leap from a home-based private practice to industrial manufacturing. Due to the increasing reliability of printers and increasing material diversity, especially in the metal sector, double-digit percentage growth rates are possible in the coming years. This thesis deals with the manufacture of parts made by 3D printing for high vacuum application. Different components are printed and examined for their vacuum compatibility. As shown furthermore, conventionally made standard components can be vacuum sealed to printed parts, which enables cost-effective production of more complex components, such as e.g. a vacuum chamber allows. In addition, functional components can already be realized in the manufacturing process. The integration of a system of flow channels directly into the wall of a chamber is just one example. Thus, such a chamber can be heated during evacuation and effectively cool in later operation.     

Value of T-wave direction with lead III ST-segment depression in acute anterior wall myocardial infarction: electrocardiographic prediction of a "wrapped" left anterior descending artery

BACKGROUND: Lead III ST-segment depression during acute anterior wall myocardial infarction (AMI) has been attributed to reciprocal changes. However, the value of the T-wave direction (positive or negative) in predicting the site of obstruction and type of the left anterior descending (LAD) artery is not clear and has not been studied before. HYPOTHESIS: The aim of the study was to assess retrospectively the correlation between two patterns of lead III ST-segment depression, and type of LAD artery and its level of obstruction during first AMI. METHODS: The study group consisted of 48 consecutive patients, admitted to the coronary care unit for first AMI, who showed ST-segment elevation in lead a VL and ST-segment depression in lead III on admission 12-lead electrocardiogram. The patients were divided by T-wave direction into Group 1 (n = 31), negative T wave, and Group 2 (n = 17), positive T wave. The coronary angiogram was evaluated for type of LAD ("wrapped", i.e., surrounding the apex or not), site of obstruction (pre- or postdiagonal branch), and other significant coronary artery obstructions. RESULTS: Mean lead III ST-segment depression was 1.99 +/- 1.32 mm in Group 1 and 1.13 +/- 0.74 mm in Group 2 (p = 0.004); mean ST-segment elevation in a VL was 1.35 +/- 0.84 mm and 1.23 +/- 0.5 mm, respectively (p = 0.5). A wrapped LAD was found in 12 patients (38.7%) in Group 1 and in 13 in Group 2 (76.4%) (p = 0.02). The sensitivity of lead III ST-segment depression with positive T wave to predict a wrapped LAD was 52%, and the specificity was 82% with a positive predictive value of 76%. On angiography, 25 patients (80%) in Group 1 and 13 (76%) in Group 2 had prediagonal occlusion of the LAD (p = 0.77). No significant difference between groups was found for right and circumflex coronary artery involvement or incidence of multivessel disease. CONCLUSIONS: The presence of lead III ST-segment depression with positive T wave associated with ST-segment elevation in a VL in the early course of AMI can serve as an early electrocardiographic marker of prediagonal occlusion of a "wrapped" LAD.     

Distributed Approximation of Capacitated Dominating Sets

We study local, distributed algorithms for the capacitated minimum dominating set (CapMDS) problem, which arises in various distributed network applications. Given a network graph G=(V,E), and a capacity cap(v)∈ℕ for each node v∈V, the CapMDS problem asks for a subset S⊆V of minimal cardinality, such that every network node not in S is covered by at least one neighbor in S, and every node v∈S covers at most cap(v) of its neighbors. We prove that in general graphs and even with uniform capacities, the problem is inherently non-local, i.e., every distributed algorithm achieving a non-trivial approximation ratio must have a time complexity that essentially grows linearly with the network diameter. On the other hand, if for some parameter ε>0, capacities can be violated by a factor of 1+ε, CapMDS becomes much more local. Particularly, based on a novel distributed randomized rounding technique, we present a distributed bi-criteria algorithm that achieves an O(log Δ)-approximation in time O(log ³ n+log (n)/ε), where n and Δ denote the number of nodes and the maximal degree in G, respectively. Finally, we prove that in geometric network graphs typically arising in wireless settings, the uniform problem can be approximated within a constant factor in logarithmic time, whereas the non-uniform problem remains entirely non-local.     

Automated property verification for large scale B models with ProB

In this paper we describe the successful application of the ProB tool for data validation in several industrial applications. The initial case study centred on the San Juan metro system installed by Siemens. The control software was developed and formally proven with B. However, the development contains certain assumptions about the actual rail network topology which have to be validated separately in order to ensure safe operation. For this task, Siemens has developed custom proof rules for Atelier B. Atelier B, however, was unable to deal with about 80 properties of the deployment (running out of memory). These properties thus had to be validated by hand at great expense, and they need to be revalidated whenever the rail network infrastructure changes. In this paper we show how we were able to use ProB to validate all of the about 300 properties of the San Juan deployment, detecting exactly the same faults automatically in a few minutes that were manually uncovered in about one man-month. We have repeated this task for three ongoing projects at Siemens, notably the ongoing automatisation of the line 1 of the Paris Métro. Here again, about a man month of effort has been replaced by a few minutes of computation. This achievement required the extension of the ProB kernel for large sets as well as an improved constraint propagation algorithm. We also outline some of the effort and features that were required in moving from a tool capable of dealing with medium-sized examples towards a tool able to deal with actual industrial specifications. We also describe the issue of validating ProB, so that it can be integrated into the SIL4 development chain at Siemens.