From the more than two hundred partial orders for fuzzy numbers proposed in literature, only a few are total. In this article, we introduce notion of admissible order equipped with order, i.e., total which refines order. particular, it is given special attention to by Klir and Yuan 1995. Moreover, propose method construct on terms linear defined intervals considering strictly increasing upper d...

Images of fuzzy relations provide powerful access to fuzzifications of properties of and/or relationships between fuzzy sets. As an important example, images of fuzzy orderings canonically lead to a concept of ordering of fuzzy sets. This contribution studies in which way the partial (i.e. componentwise) monotonicity of an n-ary mapping transfers to its extension to fuzzy sets.

To access the efficient inventory system, managers should consider all the situations that have happened in reality. One of these situations is the presence of the defective items in each received lot and the other situation is being the group of customers that do not wait to fulfill their requirements from the vendor and choose another one to get their orders so the proportion of the backorder...

1 I n t r o d u c t i o n One c o m m o n me thod for dealing with the intrinsically intractable computa t iona l complexi ty of model-checking asynchronous systems is partial order reduction. This reduct ion technique exploits the c o m m o n practice of model ing concurrent events in asynchronous systems as an interleaving of the events in all possible execution orders. An impor t an t observ...

Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semantics that reduces the amount of nondeterminism in concurrent programs by delaying unnecessary context switches. Using this semantics, we construct a novel dynamic partial-order reduction algorithm. The cartesian semant...

This paper challenges the prevailing pessimism about the scale-up ability of partial order planners (POP) by presenting several novel heuristic control techniques that make the PO planners competitive with the state of the art plan synthesis algorithms. Our critical insight is that the techniques responsible for the efficiency of the currently successful planners–viz., distance based heuristics...

Reasoning about plans and actions is fundamental to intelligent control of real-world systems such as AUVs. These plans can come from a library of existing plans or from creating a new plan if no appropriate plan exists for the situation. The Orca project [Turner, 1994] is an ongoing effort to create an intelligent system for mission-level control of autonomous underwater vehicles. Orca’s prima...