Drag Assessment for Boundary Layer Control Schemes with Mass Injection

The present study considers uniform blowing in turbulent boundary layers as active flow control scheme for drag reduction on airfoils. The focus lies on the important question of how to quantify the drag reduction potential of this control scheme correctly. It is demonstrated that mass injection causes the body drag (the drag resulting from the stresses on the body) to differ from the wake survey drag (the momentum deficit in the wake of an airfoil), which is classically used in experiments as a surrogate for the former. This difference is related to the boundary layer control (BLC) penalty, an unavoidable drag portion which reflects the effort of a mass-injecting boundary layer control scheme. This is independent of how the control is implemented. With an integral momentum budget, we show that for the present control scheme, the wake survey drag contains the BLC penalty and is thus a measure for the inclusive drag of the airfoil, i.e. the one required to determine net drag reduction. The concept of the inclusive drag is extended also to boundary layers using the von Karman equation. This means that with mass injection the friction drag only is not sufficient to assess drag reduction also in canonical flows. Large Eddy Simulations and Reynolds-averaged Navier-Stokes simulations of the flow around airfoils are utilized to demonstrate the significance of this distinction for the scheme of uniform blowing. When the inclusive drag is properly accounted for, control scenarios previously considered to yield drag reduction actually show drag increase

Verifiable UML Artifact-Centric Business Process Models (Extended Version)

Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artefact modeling languages and methodologies, the other focused on the foundations for their formal verification. In this paper, we merge these two lines of research, by showing how recent theoretical decidability results for verification can be fruitfully transferred to a concrete UML-based modeling methodology. In particular, we identify additional steps in the methodology that, in significant cases, guarantee the possibility of verifying the resulting models against rich first-order temporal properties. Notably, our results can be seamlessly transferred to different languages for the specification of the artifact lifecycles.Comment: Extended version of "Verifiable UML Artifact-Centric Business Process Models" - to appear in the Proceedings of CIKM 201

The Interplay Between High-Level Problems and The Process Instances That Give Rise To Them

Business processes may face a variety of problems due to the number of tasks that need to be handled within short time periods, resources' workload and working patterns, as well as bottlenecks. These problems may arise locally and be short-lived, but as the process is forced to operate outside its standard capacity, the effect on the underlying process instances can be costly. We use the term high-level behavior to cover all process behavior which can not be captured in terms of the individual process instances. %Whenever such behavior emerges, we call the cases which are involved in it participating cases. The natural question arises as to how the characteristics of cases relate to the high-level behavior they give rise to. In this work, we first show how to detect and correlate observations of high-level problems, as well as determine the corresponding (non-)participating cases. Then we show how to assess the connection between any case-level characteristic and any given detected sequence of high-level problems. Applying our method on the event data of a real loan application process revealed which specific combinations of delays, batching and busy resources at which particular parts of the process correlate with an application's duration and chance of a positive outcome

Perovskite photovoltaics on roll-to-roll coated ultra-thin glass as flexible high-efficiency indoor power generators

The internet of things revolution requires efficient, easy-to-integrate energy harvesting. Here, we report indoor power generation by flexible perovskite solar cells (PSCs) manufactured on roll-to-roll indium-doped tin oxide (ITO)-coated ultra-thin flexible glass (FG) substrates with notable transmittance (>80%), sheet resistance (13 Ω/square), and bendability, surpassing 1,600 bending procedures at 20.5-mm curvature. Optimized PSCs on FG incorporate a mesoporous scaffold over SnO2 compact layers delivering efficiencies of 20.6% (16.7 μW⋅cm−2 power density) and 22.6% (35.0 μW⋅cm−2) under 200 and 400 lx LED illumination, respectively. These represent, to the best of our knowledge, the highest reported for any indoor flexible solar cell technology, surpassing by a 60%–90% margin the prior best-performing flexible PSCs. Specific powers (W/g) delivered by these lightweight cells are 40%–55% higher than their counterparts on polyethylene terephthalate (PET) films and an order of magnitude greater than those on rigid glass, highlighting the potential of flexible FG-PSCs as a key enabling technology for powering indoor electronics of the future

Aerodynamic Effects of Uniform Blowing and Suction on a NACA4412 Airfoil

We carried out high-fidelity large-eddy simulations to investigate the effects of uniform blowing and uniform suction on the aerodynamic efficiency of a NACA4412 airfoil at the moderate Reynolds number based on chord length and incoming velocity of Rec= 200 , 000. We found that uniform blowing applied at the suction side reduces the aerodynamics efficiency, while uniform suction increases it. This result is due to the combined impact of blowing and suction on skin friction, pressure drag and lift. When applied to the pressure side, uniform blowing improves aerodynamic efficiency. The Reynolds-number dependence of the relative contributions of pressure and friction to the total drag for the reference case is analysed via Reynolds-averaged Navier–Stokes simulations up to Rec= 10 , 000 , 000. The results suggest that our conclusions on the control effect can tentatively be extended to a broader range of Reynolds numbers

A recursive paradigm for aligning observed behavior of large structured process models

The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation of alignments rely on a full exploration of the combination of the model state space and the observed behavior (an event log), which hampers their applicability for large instances. This paper presents a fresh view to the alignment problem: the computation of alignments is casted as the resolution of Integer Linear Programming models, where the user can decide the granularity of the alignment steps. Moreover, a novel recursive strategy is used to split the problem into small pieces, exponentially reducing the complexity of the ILP models to be solved. The contributions of this paper represent a promising alternative to fight the inherent complexity of computing alignments for large instances.Peer ReviewedPostprint (author's final draft

Unfolding-Based Process Discovery

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remarkably, the derived Petri net cannot execute any trace from the negative collection. The entire chain of transformations is fully automated. A tool has been developed and experimental results are provided that witness the significance of the contribution of this paper.Comment: This is the unabridged version of a paper with the same title appearead at the proceedings of ATVA 201

Modeling styles in business process modeling

Research on quality issues of business process models has recently begun to explore the process of creating process models. As a consequence, the question arises whether different ways of creating process models exist. In this vein, we observed 115 students engaged in the act of modeling, recording all their interactions with the modeling environment using a specialized tool. The recordings of process modeling were subsequently clustered. Results presented in this paper suggest the existence of three distinct modeling styles, exhibiting significantly different characteristics. We believe that this finding constitutes another building block toward a more comprehensive understanding of the process of process modeling that will ultimately enable us to support modelers in creating better business process models. © 2012 Springer-Verlag Berlin Heidelberg

Styles in business process modeling: an exploration and a model

© 2013, The Author(s).Business process models are an important means to design, analyze, implement, and control business processes. As with every type of conceptual model, a business process model has to meet certain syntactic, semantic, and pragmatic quality requirements to be of value. For many years, such quality aspects were investigated by centering on the properties of the model artifact itself. Only recently, the process of model creation is considered as a factor that influences the resulting model’s quality. Our work contributes to this stream of research and presents an explorative analysis of the process of process modeling (PPM). We report on two large-scale modeling sessions involving 115 students. In these sessions, the act of model creation, i.e., the PPM, was automatically recorded. We conducted a cluster analysis on this data and identified three distinct styles of modeling. Further, we investigated how both task- and modeler-specific factors influence particular aspects of those modeling styles. Based thereupon, we propose a model that captures our insights. It lays the foundations for future research that may unveil how high-quality process models can be established through better modeling support and modeling instruction