Chemical-looping combustion (CLC) is a promising process for power generation with low energy penalty and in-situ CO2 capture. In this work, we focus on the integration of high-pressure, fixed-bed CLC reactors with combined cycle (CC) power plants. We deal with the discontinuous operation of fixedbed reactors and the dynamic simulation of CLC-CC power plants, which is nontrivial. Modern power p...

Regular model checking is a method for verifying infinite-state systems based on coding their configurations as words over a finite alphabet, sets of configurations as finite automata, and transitions as finite transducers. We introduce a new general approach to regular model checking based on inference of regular languages. The method builds upon the observation that for infinite-state systems...

This paper presents a new approach for flotation circuit design. Initially, it was proven numerically and analytically that in order to achieve the highest recovery in different circuit configurations, the best equipment must be placed at the beginning stage of the flotation circuits. The size of the entering particles and the types of streams including pulp and froth were considered as the bas...

We develop the theory of semi-primary lattices, a class of modular lattices, including abelian subgroup lattices and invariant subspace lattices, in which an integer partition is assigned to every element and every interval. Flags in these lattices give rise to chains of partitions, which may be encoded as tableaux. In certain of these lattices, Steinberg and van Leeuwen respectively have shown...

In this paper, the problem of using uncoordinated multiple access (UMA) to serve a massive amount heterogeneous users is investigated. Leveraging heterogeneity, we propose novel UMA protocol, called iterative collision resolution for slotted ALOHA (IRSA) with non-orthogonal (NOMA), improve conventional IRSA. addition inter-slot successive interference cancellation (SIC) technique used in existi...