The concepts of fuzzy semi-ideals of R with respect to H≤R and generalized fuzzy quotient rings are introduced. Some properties of fuzzy semiideals are discussed. Finally, several isomorphism theorems for generalized fuzzy quotient rings are established.

In this paper, we have dened and studied a generalized form of topological vector spaces called s-topological vector spaces. s-topological vector spaces are dened by using semi-open sets and semi-continuity in the sense of Levine. Along with other results, it is proved that every s-topological vector space is generalized homogeneous space. Every open subspace of an s-topological vector space is...

We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...

We have previously introduced Generalized Semi-Markovian Process Algebra (GSMPA), a process algebra based on ST semantics which is capable of expressing durational actions, where durations are expressed by general probability distributions. In this paper we introduce the calculus of Interactive Generalized Semi-Markov Processes (IGSMP), a variant of GSMPA where synchronizable actions are restri...

This paper deals with generalized semi-infinite optimization problems where the (infinite) index set of inequality constraints depends on the state variables and all involved functions are twice continuously differentiable. Necessary and sufficient second order optimality conditions for such problems are derived under assumptions which imply that the corresponding optimal value function is seco...