Gas leakage tlow through small clearances is modeled using two-dimensional (2-D) and quasi one-dimensional {1-D) flow analysis. For 2-D approach, a dimensionless form of Navier-Stokes equations for two-dimensional, laminar, viscous and compressible fluids are employed to compute the det-·1iled tlow field across the clearance. The 2-D study also establishes that when clearance (0) is very small ...

This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in quantitative information flow (QIF). We propose several operators which match typical interactions between system components. We explore their algebraic properties with respect to the security-preserving refinement re...

In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow security in the the calculus of Mobile Ambients. The improvements are achieved by making the analysis be flow-sensitive: the analysis is able to keep track of temporal dependencies of capabilities application when computing a safe approximation of the run-time topology of Mobile Ambient processes.

Leakage of underwater crude oil pipes causes severe pollution to soil and water, and results in great economic loss. To predict the diffusion area of spilled oil before it reaches the water's surface and to reduce the time required for emergency response, numerical simulations were conducted on underwater spilled oil diffusion of bare crude oil pipes using FLUENT software. The influences of wat...

An empirical frictional correction factor to the isentropic nozzle model has been developed for application to leakage modeling in scroll, rotary and other similar compressors. This correction factor is derived by calculating the leakage mass flow with a compressible, variable area, real gas properties model and then correlating the ratio of this flow to the isentropic nozzle model prediction. ...

The main idea of this paper is to discuss a new approach to optimize the value of leakage current in MOS transistors. It based on looking for optimal values of the main SPICE parameters which influence the value of the leakage current. These Values make in totally the leakage current, minimal value. The logic and the flow diagrams seem working correctly; various simulation results show the vali...

Security of information flow is commonly understood as preventing any information leakage, regardless of how grave or harmless consequences the leakage can have. Even in models where each piece of information is classified as either sensitive or insensitive, the classification is “hardwired” and given as a parameter of the analysis, rather than derived from more fundamental features of the syst...

The tip-leakage flow in a turbomachinery cascade is studied using large-eddy simulation with particular emphasis on understanding the underlying mechanisms for viscous losses in the vicinity of the tip gap. Systematic and detailed analysis of the mean flow field and turbulence statistics has been made in a linear cascade with a moving endwall. Gross features of the tip-leakage vortex, tip-separ...

We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define formal tools in order to distinguish between authorized, or declared, information flows such as password testing (e.g., ATM, login processes, etc.) and non-authorized ones. We propose to define security policies as rewriting systems. Such policies define how the privac...