Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category   TopSys   of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

In this paper, the stability analysis and control design of heterogeneous traffic flow is considered. It is assumed that the traffic flow consists of infinite number of cooperative non-identical vehicular platoons. Two different networks are investigated in stability analysis of heterogeneous traffic flow: 1) inter-platoon network which deals with the communication topology of lead vehicles and...

The main aim of this study, is to evaluate the seismic reliability of steel concentrically braced frame (SCBF) structures optimally designed in the context of performance-based design. The Monte Carlo simulation (MCS) method and neural network (NN) techniques were utilized to conduct the reliability analysis of the optimally designed SCBFs. Multi-layer perceptron (MLP) trained by back propagati...

Most studies in relay coordination have focused solely on coordination of overcurrent relays while distance relays are used as the main protection of transmission lines. Since, simultaneous coordination of these two types of relays can provide a better protection, in this paper, a new approach is proposed for simultaneous coordination of distance and directional overcurrent relays (D&DOCRs). Al...

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

Topology is a classical branch of mathematics, born essentially from Euler’s studies in the XVII century, which deals with abstract notion shape and geometry. Last decades were characterized by renewed interest topology topology-based tools, due to birth computational topological data analysis (TDA). A large novel family methods algorithms computing features descriptors (e.g., persistent homolo...