Our work is motivated by the need for tractable stochastic models for complex network and system dynamics. With this motivation in mind, we develop a class of discrete-time Markov models, called moment-linear stochastic systems (MLSS), which are structured so that moments and cross-moments of the state variables can be computed efficiently, using linear recursions. We show that MLSS provide a c...

MLSS is a decidable sublanguage of set theory involving the predicates membership, set equality, set inclusion, and the operators union, intersection, set difference, and singleton. In this paper we extend MLSS with constructs for expressing monotonicity, additivity, and multiplicativity properties of set-to-set functions. We prove that the resulting language is decidable by reducing the proble...

This paper deals with the modeling and analysis of narrowband mobile-to-mobile (M2M) fading channels for amplify-and-forward relay links under line-of-sight (LOS) conditions. It is assumed that a LOS component exists in the direct link between the source mobile station (SMS) and the destination mobile station (DMS), as well as in the links via the mobile relay (MR). The proposed channel model i...

Set theory is the common language of mathematics. Therefore, set theory plays an important rôle in many important applications of automated deduction. In this paper, we present an improved tableau calculus for the decidable fragment of set theory called multi-level syllogistic with singleton (MLSS). Furthermore, we describe an extension of our calculus for the bigger fragment consisting of MLSS...

The control measures for deterioration of aerobic activated sludge were experimented. Wastewater samples with different pH, temperature, SVI, and MLSS were investigated to detect the cause of sludge deterioration. The results show that after being operated at high S2O3 2(which could lead to a pH decrease) loading in an A/O biological reactor treated for coking wastewater, though the pH was cont...

Efficient treatment of tannery effluent is one of the serious problems faced for the past few decades. Since these industrial effluents contain more organic pollutants the most favorable option to treat this is by biological treatment process. In this study a lab scale submerged aerobic flat sheet membrane bioreactor was operated under gravity drain operation for the treatment of tannery efflue...

MLSS is a decidable sublanguage of set theory involving the predicates membership, set equality, set inclusion, and the operators union, intersection, set difference, and singleton. In this paper we extendMLSS with constructs for expressing monotonicity, additivity, and multiplicativity properties of set-to-set functions. We prove that the resulting language is decidable by reducing the problem...

The characteristics of anaerobic phosphorus release and anoxic phosphorus uptake were investigated in sequencing batch reactors using denitrifying phosphorus removing bacteria (DPB) sludge. The lab-scale experiments were accomplished under conditions of various nitrite concentrations (5.5, 9.5, and 15 mg/L) and mixed liquor suspended solids (MLSS) (1844, 3231, and 6730 mg/L). The results obtain...

PURPOSE Therapists use motor learning strategies (MLSs) to structure practice conditions within stroke rehabilitation. Virtual reality (VR)-based rehabilitation is an MLS-oriented stroke intervention, yet little support exists to assist therapists in integrating MLSs with VR system use. METHOD A pre-post design evaluated a knowledge translation (KT) intervention incorporating interactive e-le...

The purpose of this study was to examine the oxygen uptake ([Formula: see text]) kinetics and the energy systems' contribution at 97.5, 100 and 102.5% of the maximal lactate steady state (MLSS) swimming intensity. Ten elite female swimmers performed three-to-five 30 min submaximal constant swimming bouts at imposed paces for the determination of the swimming velocity (v) at 100%MLSS based on a ...