in this paper, absorbing markov chain models are developed to determine the optimum process mean levels for both a single-stage and a serial two-stage production system in which items are inspected for conformity with their specification limits. when the value of the quality characteristic of an item falls below a lower limit, the item is scrapped. if it falls above an upper limit, the item is ...

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

The paper presents an economical model for double variable acceptance sampling with inspection errors. Taguchi cost function is used as acceptance cost while quality specification functions are normal with known variance. An optimization model is developed for double variables acceptance sampling scheme at the presence of inspection errors with either constant or monotone value functions. The m...

With wide-spread acceptance of the ISO-OSI reference model and its standardized protocols in the areas of computer communication and information exchange, formal specifications have become an area of active research and development. This paper surveys issues and recent developments obtained mainly from our undergoing research. The discussion includes four important aspects of the area: protocol...

the sorption isotherm and state diagram of sundried, golden and sultana raisins were constructed for investigation and comparison of the product stability. the isotherms were measured at 15, 25 and 35 °c using an isopiestic method and the data were modeled with gab model. glass transition temperatures of the products were measured by differential scanning calorimetery (dsc) and fitted to gordon...

Findings Wireless sensors are a growing area of research focus. In previous works Niazi and Hussain (2011a, b), a formal model of wireless sensor networks has been given along with an agent-based simulation model. The idea was to use sensing to examine and identify complex behavior such as flocking. The papers also presented a formal specification model is based on the Z formal specification la...