In this paper, an purchasing inventory model for deteriorating items is developed with a linear, positive trend in demand, allowing inventory shortages and backlogging. It is assumed that the goods in the inventory deteriorate over time at a constant rate . Two models are developed for two operational policies. The first policy covers the case that the inventory model with linear demand for det...

validation of predicting fatness methods in the iranian girls with respect to the maturity process could help to identify anthropometric risk factors. this study evaluate the accuracy of four body composition prediction equations in the teenager students in hamadan city .method: the anthropometry profile of 266 adolescent girls (12-16 ys) including ,weight (55.69±10.18 kg),body mass index (21.9...

Increasing demands regarding speed, accuracy, energy-efficiency, and costs drive the complexity of technical system. This comes along with a rising number of potential faults in a system creating a need for advanced fault diagnosis methods. To this end, this thesis is focused on the design of robust model-based fault isolation filters for linear time-invariant plants. These allow to reliably lo...

This paper is concerned with the practical real-time implementability of robustly stable model predictive control (MPC) when constraints are present on the inputs and the states. We assume that the plant model is known, is discretetime and linear time-invariant, is subject to unknown but bounded state disturbances and that the states of the system are measured. In this paper we introduce a new ...

We survey recent results about the relation between Datalog and temporal veriication logics. Datalog is a well-known database query language relying on the logic programming paradigm. We introduce Dat-alog LITE, a fragment of Datalog with well-founded negation, which has an easy stratiied semantics and a linear time model checking algorithm. Datalog LITE subsumes temporal languages such as CTL ...