Linear and branching structures in the semantics and logics of reactive systems

Author(s):  
Amir Pnueli
2015 ◽  
Vol 14 (4) ◽  
pp. 1-27 ◽  
Author(s):  
Jian-Min Jiang ◽  
Huibiao Zhu ◽  
Qin Li ◽  
Yongxin Zhao ◽  
Lin Zhao ◽  
...  
Keyword(s):  

2009 ◽  
Vol 410 (41) ◽  
pp. 4044-4066 ◽  
Author(s):  
Filippo Bonchi ◽  
Ugo Montanari
Keyword(s):  

2016 ◽  
Vol 68 (4) ◽  
Author(s):  
Peng Xu ◽  
Agus Pulung Sasmito ◽  
Boming Yu ◽  
Arun Sadashiv Mujumdar

Treelike structures abound in natural as well as man-made transport systems, which have fascinated multidisciplinary researchers to study the transport phenomena and properties and understand the transport mechanisms of treelike structures for decades. The fluid flow and heat transfer in treelike networks have received an increasing attention over the past decade as the highly efficient transport processes observed in natural treelike structures can provide useful hints for optimal solutions to many engineering and industrial problems. This review paper attempts to present the background and research progress made in recent years on the transport phenomenon in treelike networks as well as technological applications of treelike structures. The subtopics included are optimization of branching structures, scaling laws of treelike networks, and transport properties for laminar flow, turbulent flow, heat conduction, and heat convection in treelike networks. Analytical expressions for the effective transport properties have been derived based on deterministic treelike networks, and the effect of branching parameters on the transport properties of treelike networks has also been discussed. Furthermore, numerical simulation results for treelike microchannel networks are presented as well. The proposed transport properties may be beneficial to understand the transport mechanisms of branching structures and promote the applications of treelike networks in engineering and industry.


Sign in / Sign up

Export Citation Format

Share Document