The structure and characteristic of fuzzy subsets are discussed by using the concepts of granulation and hierarchy in quotient space theory. First, the equivalence relation based quotient space theory is extended to t...
详细信息
The structure and characteristic of fuzzy subsets are discussed by using the concepts of granulation and hierarchy in quotient space theory. First, the equivalence relation based quotient space theory is extended to the fuzzy tolerance relation. Second, the isomorphism and its discriminant of fuzzy tolerance relations are discussed. Finally, by using the fuzzy tolerance relation to define the fuzzy subset, its properties are addressed. The main results are given below: (1) several equivalent statements of fuzzy tolerance relations; (2) the definition of isomorphism of fuzzy tolerance relations; (3) the isomorphic discriminant of fuzzy tolerance relations; (4) the definition and properties of fuzzy subsets based on the fuzzy tolerance relations; and (5) the necessary and sufficient condition of the isomorphism of fuzzy subsets. These results will help us further comprehend the concepts of fuzzy tolerance relations and fuzzy subsets.
The finite-difference time-domain (FDTD) algorithm has been used in simulation-based designs of many optical devices, but it fails to reproduce high-Q whispering gallery modes (WGMs). On the other hand, the nonstandar...
A class of integral inequalities is transformed into homogeneous symmetric polynomial inequalities beyond Tarski model,where the number of elements of the polynomial,say n,is also a variable and the coefficients are f...
详细信息
A class of integral inequalities is transformed into homogeneous symmetric polynomial inequalities beyond Tarski model,where the number of elements of the polynomial,say n,is also a variable and the coefficients are functions of *** is closely associated with some open problems formulated recently by Yang et *** Timofte's dimension-decreasing method for symmetric polynomial inequalities,combined with the inequality-proving package BOTTEMA and a program of implementing the method known as successive difference substitution,we provide a procedure for deciding the nonnegativity of the corresponding polynomial inequality such that the original integral inequality is mechanically decidable;otherwise,a counterexample will be *** effectiveness of the algorithm is illustrated by some more examples.
Due to the absence of global knowledge, elements in a self-organizing emergent system tend to make suboptimal local decisions that result in globally inefficient solutions. However, improving the solutions of such sys...
详细信息
In this paper we deal with the problem of failure diagnosis of discrete event systems with decentralized information. The decentralized architecture that we use is composed by a set of sites communicating their diagno...
详细信息
ISBN:
(纸本)9783902661791
In this paper we deal with the problem of failure diagnosis of discrete event systems with decentralized information. The decentralized architecture that we use is composed by a set of sites communicating their diagnosis information with a coordinator that is responsible of detecting the occurrence of failures in the system. In particular, first we present a protocol that defines the communication rules between the sites and the coordinator. Secondly, we prove that this protocol does not produce false alarms. Moreover, we give suffcient conditions for diagnosability based on the notion of failure ambiguous strings. Finally, we compare the protocol here presented with two other protocols that we presented in a previous work.
In this paper we deal with the problem of failure diagnosis of discrete event systems with decentralized information. The decentralized architecture that we use is composed by a set of sites communicating their diagno...
详细信息
Task scheduling and resource allocation are the crucial issues in any large scale distributed system, such as Computational Grids (CGs). However, traditional computational models and resolution methods cannot effectiv...
详细信息
Classification is the basis of cognition. Unlike other solutions, this study approaches it from the view of outliers. We present an expanding algorithm to detect outliers in univariate datasets, together with the unde...
详细信息
Classification is the basis of cognition. Unlike other solutions, this study approaches it from the view of outliers. We present an expanding algorithm to detect outliers in univariate datasets, together with the underlying foundation. The expanding algorithm runs in a holistic way, making it a rather robust solution. Synthetic and real data experiments show its power. Furthermore, an application for multi-class problems leads to the introduction of the oscillator algorithm. The corresponding result implies the potential wide use of the expanding algorithm.
In this paper dynamical modelling of heat exchangers adopted in thermodynamic cycles, as Vapor Compression Cycles, is considered. A phase-independent nonlinear model is proposed to represent a volume where a fluid flo...
详细信息
In this paper dynamical modelling of heat exchangers adopted in thermodynamic cycles, as Vapor Compression Cycles, is considered. A phase-independent nonlinear model is proposed to represent a volume where a fluid flows exchanging heat with the environment, and possibly changing its physical state. Differently from other approaches in the literature, explicit computation of the mass exchange rate between vapor and liquid is exploited to comply with the constraints on model evolutions, related to the particular phase condition. This leads to an effective and efficient dynamical modelling of single-phase conditions (subcooled liquid or superheated vapor), two-phase conditions (saturated vapor and liquid) and transitions among them which could take place in the considered volume.
We propose a fully discrete fast Fourier-Galerkin method for solving an integral equation of the first kind with a logarithmic kernel on a smooth open arc,which is a reformulation of the Dirichlet problem of the Lapla...
详细信息
We propose a fully discrete fast Fourier-Galerkin method for solving an integral equation of the first kind with a logarithmic kernel on a smooth open arc,which is a reformulation of the Dirichlet problem of the Laplace equation in the *** optimal convergence order and quasi-linear complexity order of the proposed method are established.A precondition is *** this method with an efficient numerical integration algorithm for computing the single-layer potential defined on an open arc,we obtain the solution of the Dirichlet problem on a smooth open arc in the *** examples are presented to confirm the theoretical estimates and to demonstrate the efficiency and accuracy of the proposed method.
暂无评论