in this paper the concept of metacompactness in l-topologicalspaces is introduced by means of point finite families of l-fuzzy sets. thisfuzzy metacompactness is a natural generalization of lowen fuzzy compactness.further a characterization of fuzzy metacompactness in the weakly inducedl-topological spaces is also obtained.

Inspired by pointfree relational data processing, this paper addresses the foundations of an alternative roadmap for parallel online analytical processing (OLAP) based on a separation of concerns: rather than depending on standard database technology and heavy machinery, OLAP operations are performed by encoding data in matrix format and relying thereupon solely on LA operations. The paper inve...

Motivated by the need to formalize generation of fast running code for linear algebra applications, we show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category with biproducts. This shifts the traditional view of matrices as indexed structures to a type-level perspective analogous to that of the pointfree algebra of progr...

Labelled transition systems admit different but equivalent characterizations either as relational structures or coalgebras for the powerset functor, each of them with their own merits. Notions of simulation and bisimulation, for example, are expressed in the pointfree relational calculus in a very concise and precise way. On the other hand, the coalgebraic perspective regards processes as inhab...

In this paper, for topology optimization of double layer grids, an efficient optimization method is presented by combination of Imperialist Competitive Algorithm (ICA) and Gravitational Search Algorithm (GSA) which is called ICA-GSA method. The present hybrid method is based on ICA but the moving of countries toward their relevant imperialist is done using the la...

This paper introduces a novel two transistors forward topology employing a z-source to achieve ZVZCS and power transformer resetting for various applications. Comparing with the forward converter, this topology has the advantage of displaying ZCS condition with an added Z-Source and no additional switches when the switches turn on, and that ZVS condition happens when the switches turn off. Duty...

Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application areas for process algebras. This, however, entails the need for more generic and adaptable approaches to their design. For example, some applications may require similar programming constructs coexisting with different ...

we consider the transitive linear maps on the operator algebra $b(x)$for a separable banach space $x$. we show if a bounded linear map is norm transitive on $b(x)$,then it must be hypercyclic with strong operator topology. also we provide a sot-transitivelinear map without being hypercyclic in the strong operator topology.

This paper illustrates the general program of applying point-free topology to constructive mathematics, and especially abstract commutative algebra [5, 4, 6, 7, 10, 21], on the notion of valuations. Historically, it can be argued that it is, well before Stone [22], one of the first example of point-free, and algebraic, representation of spaces [3]. The notion of valuation was indeed introduced ...