We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability problem for such networks may be decidable. We provide a complete classification of network topologies according to whether they lead to a decidable reachability problem. Furthermore, this classification can be decided in poly...

Models of HIV transmission and the AIDS epidemic generally assume random mixing among those infected with HIV and those who are not. For sexually transmitted HIV, this implies that individuals select sex partners without regard to attributes such as familiarity, attractiveness, or risk of infection. This paper formulates a model for examining the impact of nonrandom mixing on HIV transmission. ...

a comprehensive mathematical model based on the discrete particle model and computational fluid dynamics was utilized to investigate mixing and segregation of particles in fluidized beds at high pressure. to quantify the extent of mixing in the bed, the lacey mixing index was used. simulations were carried out with different mass fractions of small particles at various pressures ranging from 1 ...

uncertainty associated with mixing models is often substantial, but has not yet been fully incorporated in models. the objective of this study is to develop and apply a bayesian-mixing model that estimates probability distributions of source contributions to a mixture associated with multiple sources for assessing the uncertainty estimation in sediment fingerprinting in zidasht catchment, iran....

In this study, the mixing phenomena and fluid dynamics in a copper converter have been experimentally investigated using a physical model. The physical model is a 1:5 horizontal tank made of Plexiglas. The mixing phenomena have been characterized by experimentally measuring the mixing time using a tracer dispersion technique. Moreover, the effects of the air flow rate and lance submergence on t...

We argue that there exists simple relation between the quark and lepton mixings which supports the idea of grand unification and probes the underlying robust bimaximal fermion mixing structure of still unknown flavor physics. In this framework the quark mixing matrix is a parameter matrix describing the deviation of neutrino mixing from exactly bi-maximal, predicting θsol+θC = π/4, where θC is ...

A generic model of complex formation in small volumes was studied under the assumption of perfect mixing. Particles A react in clusters, and each reaction converts k A particles into a P particle. The back reaction is also allowed. The equilibrium state of the model is solved exactly. Fluctuations in product particle number are reduced by increasing the degree of cooperativity k. Three qualitat...

Mathematical modeling of the spread of infectious diseases is a well established field with high practical importance. Underlying most analytical approaches is the assumption of “perfect mixing,” that is the idea that the spatial structure of the population can be neglected. This assumption is crucial to the solvability of the models, but can be dropped when using computational models instead o...

in this study digital image correlation (dic) technique combined with a high speed video system was used to predict movement of particles in a water model. comparing with particle-image velocimetry (piv) technique, it provides a low cost alternative approach to visualize flow fields and was successfully employed to predict the movement of particles in a water model at different submergence dept...