Effective use of labor, providing system flexibility, increasing productivity, decreasing lead times and costs are some of the most important factors influencing selection of material handling equipment. In this study, a decision support system (MHAD) considering these factors for material handling equipment selection is developed. MHAD consists of a database, a rulebased system and multi-attri...

In this article we present the two classical negations of Euclid’s Fifth Postulate (done by Lobachevski-Bolyai-Gauss, and respectively by Riemann), and in addition of these we propose a partial negation (or a degree of negation) of an axiom in geometry. The most important contribution of this article is the introduction of the degree of negation (or partial negation) of an axiom and, more gener...

As mentioned in the Introduction, it has the following goals: to develop the main topics of revealed preference theory (rationality, revealed preference, congruence, consistency) for a large class of fuzzy choice functions, to explore new topics (degree of dominance, similarity, indicators of rationality) specific to a fuzzy approach to choice functions and to show the manner in which some prob...

global warming has brought about changes in meteorological variable time series. these changes, accompanied with serious human intervention in nature, has resulted in hydrological changes. so the effects can be tracked down by the trend of the time series. the purpose of this study is to analyze and compare the monthly and annual trends of temperature, precipitation as well as stream flow time ...

We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal analogues of T, S4, and S5 obtained by...

The topology design of switched enterprise networks (SENs) is a hard constrained combinatorial optimization problem. The problem consists of deciding the number, types, and locations of the network active elements (hubs, switches, and routers), as well as the links and their capacities. Several conflicting objectives such as monetary cost, network delay, and maximum number of hops have to be op...

In [1] the authors considered finitely-valued modal logics with Kripke style semantics where both propositions and the accessibility relation are valued over a finite residuated lattice. Unfortunately, the necessity operator does not satisfy in general the normality axiom (K). In this paper we focus on the case of finite chains, and we consider a different approach based on introducing a multim...

We analyze M-theory compactified on (K3 × S)/Z2 where the Z2 changes the sign of the three form gauge field, acts on S as a parity transformation and on K3 as an involution with eight fixed points preserving SU(2) holonomy. At a generic point in the moduli space the resulting theory has as its low energy limit N = 1 supergravity theory in six dimensions with eight vector, nine tensor and twenty...

With the deepening of digital transformation and upgrading power grid enterprises, system evaluation method enterprises based on experts’ subjective experience has been unable to meet management needs modern enterprises. In this paper, a fuzzy information axiom for dynamic design quality in electric is proposed. Firstly, enterprise comprehensive index set up from three aspects, which are achiev...