cost of quality analysis is emerged as an effective tool for the industrial managers for pinpointing the deficiencies in the system as well as for identifying the improvement areas by highlighting the cost reduction opportunities. however , this analysis will be fully effective only if it is further extended to identify the cost incurred in ensuring quality in all areas of the supply chain incl...

this paper concerns the design and analysis, of a ball type continuously variable transmission, (b-cvt). this b-cvt has a simple kinematic structure, and same as a toroidal cvt, transmits power by friction on the contact points between input and output discs, that are connected to each other by balls. after, a brief introduction of our b-cvt structure, the performance and traction efficiency of...

considering rapid growth and migration, higher accumulation of communities along with the high number of shopping trips in mega cities such as tehran brings environmental consequences like excessive amounts of energy use, air pollution and massive urban congestions in all urban trips ending to shopping areas. the present study has been performed in tehran, capital of iran in 2009-2010. with the...

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoreti...

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. In this first paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.

In this paper, I shall discuss a problem that arises when you try to combine an attractive account of what constitutes evidence with an independently plausible account of the kind of access we have to our evidence. According to E=K, our evidence consists of what we know. According to the principle of armchair access, we can know from the armchair what our evidence is. Combined, these claims ent...

There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reason about beliefs of the bounded reasoners from an external perspective. In this paper, we present a formal model of a system of bounded reasoners wh...

In engineering the human is considered as one of the system elements. In most studies, his/her model remains unchanged due to the external factors. The present study shows that a relation between the mental stress and human dynamics cannot be neglected. The dynamic characteristics of the operator model change due to external stimuli, i.e., mental stress. The aim of this study was to present ide...