Tip leakage loss introduces major part of losses of the rotor in axial gas turbines. Therefore, the rotor blade tip has a considerable effect on rotor efficiency. To understand the flow physics of the rotor tip leakage, we solve the flow field for different tip platforms (passive flow control) and by considering coolant tip injection (active flow control). Various blade tip configurations s...

Problems occur regularly with intravenous therapy, especially with the flow behavior. A mechanical model can predict which components of intravenous therapy systems introduce non-ideal effects in the flow. This study concentrates on gaining quantitative information of each separate component for intravenous therapy, characterize its non-ideal effects and combine these quantities in one system-l...

A state constraint is a new programming construct designed to restrict the domain of definition of a program. It can be used to decompose a program pathwise, i.e., to divide the program into subprograms along the control flow, as opposed to divide the program across the control flow when the program is decomposed into functions and procedures. As the result one can now construct and manipulate ...

A software model of a reversible processor ReveR with the stack is discussed in this paper. An architecture, the minimal set of elementary reversible operations together with an implementation of the basic control flow structures and procedures calls using simple assembler language are described.

This demo paper introduces young students to writing code in a touch enabled interactive maze game. Problem-based learning is given a gamified approach to learning, while simultaneously introducing the TouchDevelop [1] platform to build basic first control flow algorithms and to learn about ordering and loops in conditional statements.

In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides a modeling and verification procedure for OWL-S Process Models.