A new definition of boundedness of linear order-homomorphisms (LOH)in $L$-topological vector spaces is proposed. The new definition iscompared with the previous one given by Fang [The continuity offuzzy linear order-homomorphism, J. Fuzzy Math. 5 (4) (1997)829$-$838]. In addition, the relationship between boundedness andcontinuity of LOHs is discussed. Finally, a new uniform boundednessprincipl...

The fundamental function of a cellular manufacturing system (CMS) is based on definition and recognition of a type of similarity among parts that should be produced in a planning period. Cell formation (CF) and cell layout design are two important steps in implementation of the CMS. This paper represents a new nonlinear mathematical programming model for dynamic cell formation that employs the ...

The word existence is repeatedly used in arguments in mathematics, and there are several possibilities for the explicit definition of the existence of mathematical objects. Sometimes the word is used in a strict and rigorous sense, but in other occasions, it may have a more moderate meaning. One account of existence says that the existence of a mathematical object is affirmed when the consisten...

Within braided pneumatic Muscle Actuators (pMA) the braid structure is vital to the actuator’s performance, preventing over-inflation, converting radial expansion into axial contraction and setting limits for both dilation and contraction. This paper seeks to explore the nature of the contractile limit and the hysteresis observed by researchers during the actuation cycle. Maximum actuator dilat...

To solve complicated problems in economics, engineering, and environment, we cannot successfully use classical methods because of various uncertainties typical for those problems. There are three theories: theory of probability, theory of fuzzy sets, and the interval mathematics which we can consider as mathematical tools for dealing with uncertainties. Uncertainties cannot be handled using tra...

In this report we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus. We motivate and describe the OMDoc language and prese...

While there is a growing interest for componentbased systems in industry,little effort has so far been devoted to quality evaluation of these systems. This paper presents the definition of measures for two quality factors, namely robustness and “diagnosability” for the special case of OO systems for which thee approach known as Design by Contract has been used. The main steps in constructing th...

Differential privacy is a mathematical framework for developing statistical computations with provable guarantees of and accuracy. In contrast to the component differential privacy, which has clear intuitive meaning, accuracy does not have generally accepted definition; claims algorithms vary from algorithm are instantiations general definition. We identify program discontinuity as common theme...

1 Carlos III University of Madrid (UC3M), Avda. Universidad, 30. 28911 Leganés. Madrid. {mcfp, abel, amarin}@it.uc3m.es, [email protected] Abstract  In this paper a mathematical model to capture information about learning capabilities of students for reusing across didactical units is presented. The model is based on the definition of a set of generic objectives related to the concepts, sk...

The method of analyzing data known as Discrete Mathematical Analysis (DMA) incorporates fuzzy mathematics and logic. This paper focuses on applying DMA to study the morphology time series by utilizing language mathematics. morphological characteristics series, such background, slopes, vertices, are considered sets within domain its definition. allows for use logic in examining ultimately leadin...