The paper deals with a family of jump Markov process defined in medium periodic or locally microstructure. We assume that the generator is zero order convolution type operator rapidly oscillating coefficient and, under natural ellipticity and localization conditions, show satisfies large deviation principle path space equipped Skorokhod topology. corresponding rate function terms auxiliary spec...

the aim of the present paper is to define and study (ic)$lm$-fuzzytopological spaces, a generalization of (weakly) induced $lm$-fuzzytopological spaces. we discuss the basic properties of(ic)$lm$-fuzzy topological spaces, and introduce the notions ofinterior (ic)-fication and exterior (ic)-fication of $lm$-fuzzytopologies and prove that {bf iclm-ftop} (the category of(ic)$lm$-fuzzy topological ...

We define the concept of partiality to cope with partial availability of arguments and results of program steps. To this end, relation algebras are investigated for which, in addition to the identity , a specific type of an ordering E ⊇ is given in order to model increasing degrees of availability. It turns out that functions regulating non-strict transfer of partialities in processes are latti...

If science fiction is a genre, then attempts to think about the nature of science fiction will be affected by one’s understanding of what genres are. I shall examine two approaches to genre, one (genres as regions of conceptual space) dominant but inadequate, the other (genres as historical particulars) better, but only occasionally making itself seen. I shall then discuss several important, in...

It is shown that for 2 ≤ t ≤ n− 3, a strict t-SB(n, n− 1) design does not exist, but for n ≥ 3, a non-strict 2-SB(n, n−1) design exists. The concept of large sets for Steiner triple systems is extended to SB designs and examples of a large sets for SB designs are given.

It is shown that all extensions of S5 modal logic, both in the standard formalization and in the formalization with strict implication, as well as all varieties of monadic algebras have unitary unification.

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in topology and symplectic yield homotopically coherent group actions G. This yields a bridge between homotopy theory. The result relies on two computations: One showing that the diffeological Milnor classifying space BG are naturally equivalent to (continuous) groups, second particular strict categor...

In this paper, a new topology for Interline Dynamic Voltage Restorer (IDVR) is proposed. This topology contains two direct three-phase converters which have been connected together by a common fictitious dc-link. According to the kind of the disturbances, both of the converters can be employed as a rectifier or inverter. The converters receive the required compensation energy from the gird thro...