Information flow analysis is concerned with validating the security of information flows between objects in a program and between the program and the outside world. This paper presents a practical approach to dynamic information flow analysis that can be used in software testing or intrusion detection and that facilitates debugging of insecure flows. The proposed approach provides capabilities ...

This paper proposes a new integrative view of manufacturing cell formation and both inter-cell and intra-cell layout problems. Cells formation and their popular bi-directional linear layout are determined simultaneously through a Dynamic Programming algorithm (with the objective of minimizing the inter-cell flow cost under a cell size constraint). This Dynamic Programming algorithm is implement...

in this contribution, linearized dynamic model of cumulative mass fraction (cmf) of potassium nitrate-water seeded continues mixed suspension mixed product removal (cmsmpr) crystallizer is approximated by a simplified model in frequency domain. frequency domain model simplification is performed heuristically using the frequency response of the derived linearized models data. however, the cmf fr...

abstract: since the field of micro electromechanical systems (mems) continues to grow, the flow in micro devices have become an area that receives a significant attention. the microscopic flows are usually characterized by the knudsen number (kn). when the characteristic size of the particle decreases down to a value comparable to the mean free path of the molecules, the continuum assumption fa...

conclusion results reinforced the pivotal role of vascular geometry, with respect to hemodynamics, together with the importance of performing patient-specific cfd analyses, through which the effect of different blood flow conditions on the aneurysm hemodynamics could be evaluated. objectives this study aimed to investigate the effects of variations in heart rate and internal carotid artery (ica...

more than half of all hydrocarbon reservoirs are naturally fractured reservoirs (nfrs), in which production forecasting is a complicated function of fluid flow in a fracture-matrix system. modelling of fluid flow in nfrs is challenging due to formation heterogeneity and anisotropy. stress sensitivity and depletion effect on already-complex reservoir permeability add to the sophistication. horiz...

The purpose of this study is to investigate the performance and three-dimensional behavior of the flow in a mixed flow pump and the way cavitation phenomenon is affected by different parameters such as fluid temperature, pump speed and flow rate. Computational fluid dynamic software FLUENT 6.3 was utilized to simulate the whole flow field of the pump. RNG k-ε model combined with standard wall f...

short-term traffic flow forecasting plays a significant role in the intelligent transportation systems (its), especially for the traffic signal control and the transportation planning research. two mainly problems restrict the forecasting of urban freeway traffic parameters. one is the freeway traffic changes non-regularly under the heterogeneous traffic conditions, and the other is the success...

in this paper, the effect of flow rate on relative permeability curves was investigated in iranian carbonate rocks. core samples were prepared from outcrop of asmari formation. the dynamic displacement experiments were performed at 2.55, 3.55, 4.55 and 5.55 cc/hr during waterflooding and oilflooding. relative permeabilities have been calculated with the jones and roszelle method and then the fl...

  Unsteady flow separation on the airfoils with local flexible membrane (LFM) has been investigated in transient and laminar flows by the finite volume element method. A unique feature of the present method compared with the common computational fluid dynamic softwares, especially ANSYS CFX, is the modification using the physical influence scheme in convection fluxes at cell surfaces. In contr...