In this paper, we consider fuzzy inventory with backorder. First, we fuzzify the storing cost a, backorder cost b, cost of placing an order c, total demand r, order quantity q, and shortage quantity s as the triangular fuzzy numbers in the total cost. From these, we can obtain the fuzzy total cost. Using the signed distance method to defuzzify, we get the estimate of the total cost in the fuzzy...

L. Lambán et al. () ACL2 and Algebraic Topology 1 / 23 Introduction Kenzo symbolic computation system: a Common Lisp program devoted to Algebraic (Simplicial) Topology. ◮ A research tool: used to obtain relevant results in the field, neither confirmed nor refuted by any other means. The following question makes sense: Is it Kenzo correct? Our goal: we want to formally prove correcteness propert...

in this paper‎, ‎we introduce a new model of point free topology‎ ‎for point-set topology‎. ‎we study the basic concepts in this‎ ‎structure and will find that it is naturally close to point-set‎ ‎topology‎.‎

In this paper, we define and study fuzzy generalized α-closed sets and r-open sets of a given L-fuzzy topological space and prime element r ∈ P (L) and coprime element α ∈ M(L). The concept of L-fuzzy ropen sets was introduced in [10], and it was proved that all r-open sets for L-fuzzy topological space form a new L-fuzzy topology, which is called stratiform L-fuzzy topology. Making use of the ...

in this paper, the concept of countably near ps-compactness inl-topological spaces is introduced, where l is a completely distributive latticewith an order-reversing involution. countably near ps-compactness is definedfor arbitrary l-subsets and some of its fundamental properties are studied.

Using fuzzy logic technique images. The suggested method is introduced for the using a combination of fuzzy algorithm. The fuzzification of underexposed region has been carried o membership function and for fuzzifying function is found suitable. been defined for both underexposed and overexposed saturation and intensity (HSV) color space is used for the trans from RGB to HSV space without chang...