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

2005 ◽  
pp. 15-32 ◽  
Author(s):  
Amir Pnueli
Keyword(s):  
Reactive Systems ◽  
Branching Structures

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

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

scholarly journals Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

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

Transport Phenomena and Properties in Treelike Networks

2016 ◽  
Vol 68 (4) ◽  
Author(s):  
Peng Xu ◽  
Agus Pulung Sasmito ◽  
Boming Yu ◽  
Arun Sadashiv Mujumdar
Keyword(s):  
Transport Properties ◽  
Scaling Laws ◽  
Transport Phenomena ◽  
Transport Processes ◽  
Research Progress ◽  
Transport Systems ◽  
Transport Mechanisms ◽  
Branching Structures ◽  
Flow And Heat Transfer ◽  
Flow Heat

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