The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced gr...

Flow characteristics and heat transfer performances of carboxymethyl cellulose (CMC) aqueous solutions in the microchannels with flow control structures were investigated in this study. The researches were carried out with various flow rates and concentrations of the CMC aqueous solutions. The results reveal that the pin-finned microchannel has the most uniform temperature distribution on the s...

Motivated by Structural Statistical Software Testing (SSST), this paper is interested in sampling the feasible execution paths in the control flow graph of the program being tested. For some complex programs, the fraction of feasible paths becomes tiny, ranging in [10−10, 10−5]. When relying on the uniform sampling of the program paths, SSST is thus hindered by the non-Markovian nature of the “...

Compiler optimizations need precise and scalable analyses to discover program properties. We propose a partially flow-sensitive framework that tries to draw on the scalability of flow-insensitive algorithms while providing more precision at some specific program points. Provided with a set of critical nodes — basic blocks at which more precise information is desired — our partially flow-sensiti...

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 such ...

Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of both their generality and their accuracy. Flow grammars overcome these deficiencies and are well-suited to the specification and solution of data flow analysis problems.

This article develops a model for evaluating alternative hedging strategies for financially constrained firms. A key advantage of the model is the ability to capture the intertemporal effects of hedging on the firm’s financial situation. We characterize the optimal hedge. A wide range of alternative hedging strategies can be specified and the model allows us to determine in each case if the hed...

Recently there has been a growing interest in modeling motor control systems with modular structures. Such control structures have many interesting properties, which have been described in recent studies. This chapter focuses on some properties which are related to the fact that specific set of contexts can themselves be modular. Specifically, it shows that the adaptation of a modular control s...

The paper studies the reach control problem (RCP) to make trajectories of an affine system defined on a polytopic state space reach and exit a prescribed facet of the polytope in finite time without first leaving the polytope. We introduce the notion of a flow function, which provides the analog of a Lyapunov function for the equilibrium stability problem. A flow function comprises a scalar fun...