scholarly journals Termination Analysis of Programs with Multiphase Control-Flow

2021 ◽  
Vol 344 ◽  
pp. 13-21
Author(s):  
Jesús J. Domenech ◽  
Samir Genaim
Keyword(s):  
Control Flow ◽  
Termination Analysis

Lightweight Fault Localization using Weighted Dynamic Control Flow Subgraph

2020 ◽  
Vol 16 (2) ◽  
pp. 214
Author(s):  
Wang Yong ◽  
Liu SanMing ◽  
Li Jun ◽  
Cheng Xiangyu ◽  
Zhou Wan
Keyword(s):  
Dynamic Control ◽  
Fault Localization ◽  
Control Flow

Termination Analysis for Active Rule Set Based on Triggering Path

2012 ◽  
Vol 35 (1) ◽  
pp. 65-75 ◽  
Author(s):  
Wei XIONG ◽  
Ye WU ◽  
Zhen ZHANG ◽  
Qiu-Yun WU
Keyword(s):  
Termination Analysis ◽  
Rule Set ◽  
Active Rule

Numerical Investigation of Passive Flow Control Using Wavy Blades in a Highly-Loaded Compressor Cascade

2018 ◽  
Author(s):  
Bo Wang ◽  
Yanhui Wu ◽  
Kai Liu
Keyword(s):  
Numerical Investigation ◽  
Flow Structure ◽  
Cross Flow ◽  
Leading Edge ◽  
Control Flow ◽  
Streamwise Vortices ◽  
Compressor Cascade ◽  
Control Effect ◽  
Suction Surface ◽  
Highly Loaded

Driven by the need to control flow separations in highly loaded compressors, a numerical investigation is carried out to study the control effect of wavy blades in a linear compressor cascade. Two types of wavy blades are studied with wavy blade-A having a sinusoidal leading edge, while wavy blade-B having pitchwise sinusoidal variation in the stacking line. The influence of wavy blades on the cascade performance is evaluated at incidences from −1° to +9°. For the wavy blade-A with suitable waviness parameters, the cascade diffusion capacity is enhanced accompanied by the loss reduction under high incidence conditions where 2D separation is the dominant flow structure on the suction surface of the unmodified blade. For well-designed wavy blade-B, the improvement of cascade performance is achieved under low incidence conditions where 3D corner separation is the dominant flow structure on the suction surface of the baseline blade. The influence of waviness parameters on the control effect is also discussed by comparing the performance of cascades with different wavy blade configurations. Detailed analysis of the predicted flow field shows that both the wavy blade-A and wavy blade-B have capacity to control flow separation in the cascade but their control mechanism are different. For wavy blade-A, the wavy leading edge results in the formation of counter-rotating streamwise vortices downstream of trough. These streamwise vortices can not only enhance momentum exchange between the outer flow and blade boundary layer, but also act as the suction surface fence to hamper the upwash of low momentum fluid driven by cross flow. For wavy blade-B, the wavy surface on the blade leads to a reduction of the cross flow upwash by influencing the spanwise distribution of the suction surface static pressure and guiding the upwash flow.

scholarly journals A provenance model for control-flow driven scientific workflows

2021 ◽  
pp. 101877
Author(s):  
Anila Sahar Butt ◽  
Peter Fitch
Keyword(s):  
Control Flow ◽  
Scientific Workflows

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR

2016 ◽  
Vol 51 (2) ◽  
pp. 91-103
Author(s):  
David Leopoldseder ◽  
Lukas Stadler ◽  
Christian Wimmer ◽  
Hanspeter Mössenböck
Keyword(s):  
Control Flow ◽  
Flow Reconstruction

Partial control-flow linearization

2018 ◽  
Vol 53 (4) ◽  
pp. 543-556 ◽  
Author(s):  
Simon Moll ◽  
Sebastian Hack
Keyword(s):  
Control Flow ◽  
Partial Control
Sign in / Sign up

Export Citation Format

Share Document