Filters








360,611 Hits in 4.2 sec

Structurally Defined Conditional Data-Flow Static Analysis [chapter]

Elena Sherman, Matthew B. Dwyer
2018 Lecture Notes in Computer Science  
Data flow analysis (DFA) is an important verification technique that computes the effect of data values propagating over program paths.  ...  This paper investigates the acceleration of DFA by structural decomposition of the underlying control flow graph.  ...  Conclusion and Future Work In this work we introduce structurally defined conditional static analysis, formalize it in terms of standard data-flow frameworks, provide algorithms for CSA, and two distinct  ... 
doi:10.1007/978-3-319-89963-3_15 fatcat:nwx42i7u7vbutljfcocdoenhcq

Numerical aerodynamic-thermal-structural analyses of missile fin configuration during supersonic flight conditions

Ognjen Ognjanovic, Stevan Maksimovic, Nenad Vidanovic, Stevo Segan, Gordana Kastratovic
2017 Thermal Science  
Attention in this work is focused on aerodynamic heating and aero-thermo-mechanical analysis of fin type structures on the missile at supersonic flight.  ...  The flow field around the fins of the missile and especially the temperature distribution on its surface, as well as aerodynamic-thermal-structural analyses are numerically modelled in ANSYS Workbench  ...  Numerical and experimental static structural analysis Aerodynamic loads are defined for two cases (tabs. 1 and 2).  ... 
doi:10.2298/tsci160919318o fatcat:j7w64zfn2bda5g57ny6xs23pey

Rocket Plume Testing in Ground Test Facilities

R. J. SCHULZ, R. C. BAUER
1974 Journal of Spacecraft and Rockets  
Analysis of External Flow Effects on Inviscid Plume Structure A.  ...  possible to define a trajectory for which no flow separation will occur.  ... 
doi:10.2514/3.61998 fatcat:mi7dqufq3jd6jaam2rt2cociju

Page 18 of Journal of Spacecraft and Rockets Vol. 11, Issue 1 [page]

1974 Journal of Spacecraft and Rockets  
Analysis of External Flow Effects on Inviscid Plume Structure A.  ...  In addition, for the type of inviscid nonuniform flow existing in an axisymmetric plume, the maximum static pressure in the recompression zone is determined by the turning of the inviscid flow conditions  ... 

Simulation Analysis of Fluid-Structure Interaction of High Velocity Environment Influence on Aircraft Wing Materials under Different Mach Numbers

Lijun Zhang, Changyan Sun
2018 Sensors  
To determine the effect of coupling stress on the wing's material and structural properties, the fluid-structure interaction (FSI) method is used in ANSYS-Workbench to calculate the stress that is caused  ...  The flow field of aircraft wing materials under different Mach numbers is simulated by Fluent in order to extract pressure and temperature on the wing in this paper.  ...  Pressure and temperature data of wing surface from the flow field analysis at Mach 4 are imported into four kinds of finite element models of material wing structure.  ... 
doi:10.3390/s18041248 pmid:29670023 pmcid:PMC5948487 fatcat:m5khr2d7rzfn5erbijqgc4xkhi

Process Restructuring in the Presence of Message-Dependent Variables [chapter]

Thomas S. Heinze, Wolfram Amme, Simon Moser
2011 Lecture Notes in Computer Science  
Process restructuring allows for the increase of precision of such a data-unaware analysis by resolving conditional into unconditional control flow in service implementations and hence eliminating the  ...  But the restructuring approach so far has been restricted to cases where conditions of data-based choices have been defined over quasi-constant variables only.  ...  As a result, conditions of the data-based choices are statically evaluable and can be replaced by unconditional control flow.  ... 
doi:10.1007/978-3-642-19394-1_13 fatcat:juvfjnvu7bdfpotqad3u46iymi

A Taxonomy of Interactions Introduced by Aspects

Mario Luca Bernardi, Giuseppe Antonio Di Lucca
2008 2008 32nd Annual IEEE International Computer Software and Applications Conference  
This is due to the intrinsic intrusive nature of aspects and the woven process allowing the alteration of the structure, the control and data flow of the components of the base system in Aspect Oriented  ...  Aspects have a large impact on the static structure and dynamic behaviour of the system they belong.  ...  directives to define access constraints that are resolved at compile time, thus they are identifiable by code static analysis.  ... 
doi:10.1109/compsac.2008.159 dblp:conf/compsac/BernardiL08 fatcat:z6jtnq3xxzfvlfnd433pgy4cu4

Bootstrapping higher-order program transformers from interpreters

Michael Sperber, Robert Glück, Peter Thiemann
1996 Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96  
specializer which supports partially static data structures.  ...  If only parts of data structures are dynamic, partial evaluators should respect such partially static data.  ... 
doi:10.1145/331119.331417 dblp:conf/sac/SperberGT96 fatcat:4y3w7di4jbc2lkx27ifr4swoly

Experiences Plan Approach for Static Pressure Reliability; Case Study: Aircrafts Pitot Sensors

Ezzeddine W, Rezg N
2019 International Journal of Aeronautical Science & Aerospace Research  
This paper deals with the need to improve Pitot sensors static ports efficiency by controlling static pressure measurement in order to define measurement inaccuracy factors and therefore to reduce critical  ...  Several aeronautical accidents derive from Pitot sensors static and total pressure measurements.  ...  robust pressure measurement even on very particular conditions and properties of the surrounding flow as altitude, turbulence or density.  ... 
doi:10.19070/2470-4415-si02-01001 fatcat:hddn7fyojvfrbam4iutsexd22a

Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses [chapter]

Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana Cavalli
2012 Lecture Notes in Computer Science  
But these techniques cannot detect control flows that use conditionals to implicitly transfer information from objects to other objects.  ...  We propose an enhancement of dynamic taint analysis that propagates taint along control dependencies by using the static analysis in embedded system such as Google Android operating system.  ...  This class is defined as follows: Whenever a conditional structure c : S 1 , . . . , S m is entered, p is set to p ⊕ c.  ... 
doi:10.1007/978-3-642-35362-8_4 fatcat:ft5yb7uk25bxfm23xedubhsody

Interactive Graph Exploration for Comprehension of Static Analysis Results

Rafael Toledo
2021 Zenodo  
Static analysis results can be overwhelming depending on their complexity and the total number of results.  ...  We expect that a graphical interface can ease the diagnose of faults and reduce the cognitive load required to comprehend reported control and data flows present in the codebase.  ...  Based on that, we define our first hypothesis as: Hypothesis 1: The adaptation of code-comprehension questions to model-comprehension questions is sufficient to identify control-flow and data-flow analysis  ... 
doi:10.5281/zenodo.4699650 fatcat:atjcdes65fguhjd56hjjzaykpe

Flow Field Analysis and Performance Assessment Inside a Vanned Diffuser of a Laboratory-Type Centrifugal Pump

Abdelmadjid Atif, Sara Sami
1970 European Journal of Engineering Science and Technology  
The paper refers to the analysis of flow fields inside a vaned diffuser and performance assessment of a laboratory-type centrifugal pump operating with air.  ...  The aim is to highlight the flow structure how it leaves the impeller and evolves through the diffuser to understand the mechanism of pressure recovery.  ...  All analysis procedures should take into account these flow conditions to assess the pressure recovery and performance.  ... 
doi:10.33422/ejest.v3i1.155 fatcat:w46wfhxswzcsjem45rbtviggem

Analysis Of Vortical Structures Generated By The Swirler Of Combustion Chamber

Vladislav A. Nazukin, Valery G. Avgustinovich, Vakhtang V. Tsatiashvili
2014 Zenodo  
Analysis based on unsteady CFD modeling of swirling flow in production combustor swirler showed presence of large number of different eddy structures that can be conditionally divided into three types  ...  Swirling flow leads to formation of complex eddy structures causing flow perturbations. It is able to cause combustion instability.  ...  It was supposed that 1140 Hz fluctuations might be caused by flow perturbations generated from PVC. can be defined, thus, erimental data can be used for verification of analysis of flow in the studied  ... 
doi:10.5281/zenodo.1096486 fatcat:27ptovvydfflpmb56fu2xmr3ca

Interactive testing tool for parallel programs [chapter]

H. Krawczyk, B. Wiszniewski
1996 IFIP Advances in Information and Communication Technology  
The number of test cases required by STEPS is much lower than with the use of traditional flow-graph representations.  ...  The paper presents a model for structural testing of parallel software defmed as a graph consisting of interconnected node objects and a tool STEPS implementing it.  ...  Control flow of active processes can be represented in C++ by specially defined objects forming the Token class: class Statement; class Token ( }; Statement condition; II up-to-date path condition Statement  ... 
doi:10.1007/978-0-387-34984-8_9 fatcat:twjwaa7gxnatnchf2atxgscouu

Numerical Optimization of Thrust Efficiency of Propulsion in Fluid using a Fin with Variable Stiffness

Masataka Nakabayshi, Yusuke Yamaguchi, Wataru Yamazaki
2016 Journal of Aero Aqua Bio-mechanisms  
The yawing of the elastic fin in still water is simulated using fluid-structure interaction analysis.  ...  Additionally, using the kriging surface response approach, thrust efficiency is demonstrated to be better under dynamic conditions.  ...  The eight blue data points represent simulation results obtainedunder static conditions; the 16 green data points represent results obtained using combinations of the five design variables chosen randomly  ... 
doi:10.5226/jabmech.5.1 fatcat:xkawpgvjfzbq3dvhrgnaigfncm
« Previous Showing results 1 — 15 out of 360,611 results