Filters








1,110,446 Hits in 3.8 sec

Exact flow analysis [chapter]

Christian Mossin
1997 Lecture Notes in Computer Science  
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion.  ...  The analysis is exact in the following sense: if the analysis predicts a redex, then there exists a reduction sequence (using standard reduction plus context propagation rules) such that this redex will  ...  The instrumented semantics can be thought of as an exact (though undecidable) flow analysis.  ... 
doi:10.1007/bfb0032746 fatcat:6py2xxd4fffl7ebpxkgavsj2xq

Exact flow analysis

CHRISTIAN MOSSIN
2003 Mathematical Structures in Computer Science  
doi:10.1017/s0960129502003857 fatcat:5dvselbfljecdbcf2yp6kwhy3e

Symmetry analysis and exact solutions of semilinear heat flow in multi-dimensions [article]

Stephen C. Anco, S. Ali, Thomas Wolf
2011 arXiv   pre-print
A symmetry group method is used to obtain exact solutions for a semilinear radial heat equation in n>1 dimensions with a general power nonlinearity.  ...  Symmetries and group foliation For the purpose of symmetry analysis and finding exact solutions, it is easier to work with a slightly modified form of the heat equation (1) : u t = u rr + (n − 1)r −1  ...  The resulting exact solutions of the heat equation are summarized in Sec. 3.  ... 
arXiv:1011.4633v3 fatcat:kcrlj2srvfcuvct6uklsvmjewe

Exact Flow Analysis by Higher-Order Model Checking [chapter]

Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi
2012 Lecture Notes in Computer Science  
, unlike Mossin's exact flow analysis, it is indeed runnable in practice, at least for small programs.  ...  The distinguished features of our control flow analysis are that, unlike most of the control flow analyses like k-CFA, it is exact for simplytyped λ-calculus with recursion and finite base types, and that  ...  Except Mossin's exact flow analysis [18] , the previous methods are not exact even for λ S in Section 3.  ... 
doi:10.1007/978-3-642-29822-6_22 fatcat:hytpfo7h4fdrhokajugqnclbty

On exact topological flows

Artur Siemaszko, Jerzy Szymański
2003 Topological Methods in Nonlinear Analysis  
It is shown that group endomorphisms are exact flows if and only if they are exact in the measure-theoretic sense and that all flows which are exact with respect to an invariant measure with full support  ...  are exact.  ...  Next we show that any flow exact with respect to an invariant measure with full support is exact. The existence of exact flows with zero topological entropy has already been observed in [3] .  ... 
doi:10.12775/tmna.2003.024 fatcat:a7efxc7lx5h7djannbhzxuap6i

Exact Renormalization Group Analysis of Turbulent Transport by the Shear Flow

Weinan E, Hao Shen
2013 Journal of statistical physics  
The exact renormalization group (RG) method initiated by Wilson and further developed by Polchinski is used to study the shear flow model proposed by Avellaneda and Majda as a simplified model for the  ...  It is shown that this exact RG method is capable of recovering all the scaling regimes as the spectral parameters of velocity statistics vary, found by Avellaneda and Majda in their rigorous study of this  ...  RENORMALIZATION GROUP ANALYSIS OF TURBULENT TRANSPORT BY THE SHEAR FLOW 14 .  ... 
doi:10.1007/s10955-013-0854-1 fatcat:tingr6n7azeahmui62bjiuf53e

Periodic orbits of weakly exact magnetic flows

Osvaldo Osuna
2013 Nonlinear Analysis and Differential Equations  
For a weakly exact magnetic flows with a bounded primitive on a closed Riemannian manifold, we prove the existence of periodic orbits in almost all energy levels below of the Mañé's critical value.  ...  Mathematics Subject Classification is a Riemannian universal covering of (M, g), thus the flow of L coincide with the lift of the magnetic flow (g, Ω) therefore is complete.  ...  For weakly exact magnetic flow e 0 = 0.  ... 
doi:10.12988/nade.2013.13011 fatcat:4qnns3j7qnf45j6rswsu3eby34

Symmetry analysis and exact solutions of semilinear heat flow in multi-dimensions

Stephen C. Anco, S. Ali, Thomas Wolf
2011 Journal of Mathematical Analysis and Applications  
A symmetry group method is used to obtain exact solutions for a semilinear radial heat equation in n > 1 dimensions with a general power nonlinearity.  ...  Symmetries and group foliation For the purpose of symmetry analysis and finding exact solutions, it is easier to work with a slightly modified form of the heat equation (1) : u t = u rr + (n − 1)r −1  ...  The resulting exact solutions of the heat equation are summarized in Section 3.  ... 
doi:10.1016/j.jmaa.2011.01.073 fatcat:vtbp2tserzafnglkgf5lf4ymwq

Some exact solutions for a class of two-dimensional hydromagnetic steady flows

Leo C Levitt
1963 Journal of Mathematical Analysis and Applications  
We derive a small collection of exact solutions of simple structure-in which one of the interacting fields V, B is a parallel field.  ...  ) and electrical energy, flowing everywhere in the flow plane, in the direction of the Poynting flux.  ...  (In this paper, Lin shows the existence of a class of hydromagnetic flows of a simple form for which the formulation is reducible to a set of ordinary differential equations.  ... 
doi:10.1016/0022-247x(63)90028-3 fatcat:v6xynr4ikzd3leci3sa7qwwmla

On the Exact Analytical and Numerical Solutions of Nano Boundary-Layer Fluid Flows

Emad H. Aly, Abdelhalim Ebaid
2012 Abstract and Applied Analysis  
It is then used to examine and validate the present analytical analysis.  ...  The nonlinear boundary value problem describing the nanoboundary-layer flow with linear Navier boundary condition is investigated theoretically and numerically in this paper.  ...  Recently, Guedda et al. 27 have applied this method to validate and evidence the analysis of two-dimensional mixed convection boundary-layer flow over a vertical flat plate embedded in a porous medium  ... 
doi:10.1155/2012/415431 fatcat:3as74z2ivzavxcojljwxgk64sm

Some exact solutions of the flow of an incompressible fluid in special relativity

A.V Gopalakrishna
1968 Journal of Mathematical Analysis and Applications  
Consequently, unlike in usual compressible flows, the flow classification with respect to sound speed is not possible from (3.9). CASE II. p = (I?  ...  The flow takes pace in the region defined by the above inequality.  ... 
doi:10.1016/0022-247x(68)90081-4 fatcat:2fworb7fnfeafkty6q4xh33m2u

Exact Boundary Controllability of Unsteady Flows in a Tree-like Network of Open Canals

Ta-Tsien Li, Bopeng Rao
2004 Methods and Applications of Analysis  
In this paper we establish the exact boundary controllability of unsteady flows in a tree-like network of open canals with general topology.  ...  Exact boundary controllability of unsteady flows in a tree-like network of open canals.  ...  on the exact boundary controllability of unsteady flows in a network of open canals with simpler topology.  ... 
doi:10.4310/maa.2004.v11.n3.a7 fatcat:xvxs3cxxb5hxfnukfp6f43zst4

EXACT DETERMINATION OF FLOW STATE IN FLOW-VISUALIZED IMAGE BY MEASUREMENT AND ANALYSIS OF SPECTRUM (CASE OF PLUME FLOW)
14 スペクトル計測解析による流れの可視化画像の流れ状態の特定(プルーム流れを例として)

K. NOTO, H. OKAMOTO
1989 JOURNAL OF THE FLOW VISUALIZATION SOCIETY OF JAPAN  
The purpose is to exactly determine a flow state of a thermal plume by measurement and analysis of plume spectrum, The behavior of even a laminar plume is always time-dependent, because the laminar plume  ...  This crieterion for determination of flow state can be applied to any kind of flow. 1.緒 言 流 れ の 可 視 化 画 像 を 見 た だ け で は 、 各 位 置 の 流 れ が 、 層 流 か 、 遷 移 域 か 、 あ る い は秩 序 運 動 を 伴 う 乱 流 で あ る か を 、 特 定 す る  ... 
doi:10.3154/jvs1981.9.supplement_61 fatcat:celmiuda5fbsrped43umfq6zpq

Instability of two-phase mixing layers: analysis of exact and approximate base flows from boundary layer theory

Thomas Boeck, Stéphane Zaleski
2005 Journal of Non-Equilibrium Thermodynamics  
The stability analysis is restricted to two-dimensional perturbations. The two-fluid boundary layer equations are solved numerically using a shooting method in each fluid layer.  ...  The composite error-function profile is constructed by matching displacement thicknesses with the exact solution.  ...  For this reason, analytical expressions for the base flow have been used in recent works [5] [6] [7] instead of Lock's exact solution.  ... 
doi:10.1515/jnetdy.2005.017 fatcat:vzkda7h2s5exhkpho7ktfhfrtu

An exact solution of start-up flow for the fractional generalized Burgers' fluid in a porous half-space

Changfeng Xue, Junxiang Nie, Wenchang Tan
2008 Nonlinear Analysis  
By using the Fourier sine transform and the fractional Laplace transform, an exact solution of the velocity distribution is obtained.  ...  The velocity of the flow is described by fractional partial differential equations.  ...  This problem provides insights into the analysis of boundary layer growth and flow bounded by an infinite flat plate.  ... 
doi:10.1016/j.na.2007.07.047 fatcat:xbytc37q35cm5kvltclqqvh46u
« Previous Showing results 1 — 15 out of 1,110,446 results