This article presents the convergence analysis of a sequence of piecewise constant and piecewise linear functions obtained by the Rothe method to the solution of the first order evolution partial differential inclusion u′(t)+Au(t)+ι∗∂J(ιu(t)) 3 f(t), where the multivalued term is given by the Clarke subdifferential of a locally Lipschitz functional. The method provides the proof of existence of...

In this paper, the modal logic interpretation of plausibility and belief measures on an arbitrary universe of discourse, as proposed by Harmanec et al., is further developed by employing notions from set-valued analysis. In a model of modal logic, a multivalued mapping is constructed from the accessibility relation and a mapping determined by the value assignment function. This multivalued mapp...

Bipotentials are non smooth mechanics tools, used to model various non associative multivalued constitutive laws of dissipative materials (friction contact, soils, cyclic plasticity of metals, damage). Given by a graph M representing a multivalued constitutive law, we state a simple necessary and sufficient condition for the existence of a bipotential b for which M is the set of (x, y) such tha...

This paper concerns multivalued multithreshold functions, {0, 1, . . . , k}-valued functions on Rn that may be considered as generalizations of (linear) threshold functions, or as discretized versions of artificial neurons. Such functions have arisen in the context of multiple-valued logic and artificial neural networks. For any fixed k, we present two procedures which, given a set of points la...

In order to expand the simulation scale of smart substation, a simulation model of the inlet-outlet line unit, as described by the 0/108 S conductance for multivalued coefficients pre-storage is presented in this paper. As a part of orders decomposition, the address conversion circuit for multivalued coefficients can reduce the computational burden of processing elements. For the convenience of...

Nesting is a useful technique in many areas of database practice. For instance, nesting is a fundamental operation for the nested relational data model, it can be applied to reduce the level of data redundancy in a database instance, to improve query processing or to convert data from one model to another. We further address the question when nesting operations commute with one another, i.e., w...

In this paper, we discuss the semantics of disjunctive programs and databases and show how multivalued mappings and their fixed points arise naturally within this context. A number of fixed-point theorems for multivalued mappings are considered, some of which are already known and some of which are new. The notion of a normal derivative of a disjunctive program is introduced. Normal derivatives...

in the present paper, a partial order on a non- archimedean fuzzymetric space under the  lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.

n this paper, we prove some common fixed point theorems for multivalued mappings and we present some new generalization contractive conditions under the condition of weak compatibility. our results extends chang-chen’s results  as well as ´ciri´c results. an example is given to support the usability of our results.

In the present paper, a partial order on a non- Archimedean fuzzymetric space under the  Lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.