We address highly dynamic distributed systems modeled by time-varying graphs (TVGs). We interest in proof of impossibility results that often use informal arguments about convergence. First, we provide a distance among TVGs to define correctly the convergence of TVG sequences. Next, we provide a general framework that formally proves the convergence of the sequence of executions of any determin...

One of the most interesting scientific challenges nowadays deals with the analysis and the understanding of complex networks’ dynamics and how their processes lead to emergence according to the interactions among their components. In this paper we approach the definition of new methodologies for the visualization and the exploration of the dynamics at play in real dynamic social networks. We pr...

The past few years have seen intensive research efforts carried out in some apparently unrelated areas of dynamic systems – delay-tolerant networks, opportunistic-mobility networks, social networks – obtaining closely related insights. Indeed, the concepts discovered in these investigations can be viewed as parts of the same conceptual universe; and the formal models proposed so far to express ...

Molten slag, which is primarily generated in the blast furnace (BF) cohesive zone, trickles down through coke packed bed form of films, rivulets, or droplets lower zone BF. During its downward flow, there are significant interactions occurring between slag and other phases such as gas, particles, hot metal, fine powders. In terms these interactions, flow behavior can greatly affect BF productiv...

This paper discusses a mathematical model for airflow through cross-flow plate heat exchanger. The exhaust air is used to the supply air. Three kinds of plates are considered: made aluminium, copper, and steel. purpose this research was verify which material build exchangers uses more efficiently. method Trefftz function determine approximate solutions analysed problem. results obtained 1.2 mm-...

[1] Computational capabilities have evolved to a point where it is possible to use multidimensional physically based hydrologic models to study spatial and temporal patterns of water flow in the vadose zone. However, models based on multidimensional governing equations have only received limited attention, in particular because of their computational, distributed input, and parameter estimation...