We consider the following problem: For a system consisting of two submodules, the behavior of one submodule is known as well as the desired behavior S of the global system. What should be the behavior of the second submodule such that the behavior of the composition of the two submodules conforms to S ?-This problem has also been called "equation solving", and in the context of supervisory cont...

A method for solving CCS equations of type (AIX)\L ~ B, where X is unknown, is presented. The method is useful in a top-down design methodology: if a system (B) and some of its submodules (.4) axe specified, solving such an equation amounts to constructing the missing submodules. The method works by successively transforming equations into simpler equations, in parallel with generation of a sol...

We consider drawings of graphs that contain dense subgraphs. We introduce intersection-link representations for such graphs, in which each vertex u is represented by a geometric object R(u) and each edge (u, v) is represented by the intersection between R(u) and R(v), if it belongs to a dense subgraph, or by a curve connecting the boundaries ofR(u) andR(v), otherwise. We study a notion of plana...

The full-bridge submodule (FBSM)-based modular multilevel converter (FBSM-MMC) offers promising performance due to its ability output negative FBSM voltage. This paper studies this of the FBSM-MMC under zero-sequence voltage injection (ZSVI) and second-order harmonic current (SHCI). focus research is redistribute powers by injecting an additional power degree freedom, resulting in a smaller cap...

let $m$ be a module over a commutative ring $r$ and let $n$ be a proper submodule of $m$. the total graph of $m$ over $r$ with respect to $n$, denoted by $t(gamma_{n}(m))$, have been introduced and studied in [2]. in this paper, a generalization of the total graph $t(gamma_{n}(m))$, denoted by $t(gamma_{n,i}(m))$ is presented, where $i$ is an ideal of $r$. it is the graph with all elements of $...

Let be a non-discrete LCA (locally compact abelian) group, its dual. ( ) ∧, where denotes discrete, is the Bohr compactification of , denoted by . There exists a continuous group isomorphism ί: → of onto a proper dense subgroup of . This subgroup to be denoted by ί is the main object of our study. A subgroup of is pure if ∩ = for each positive integer . We define to be strongly pure if is pure ...

Recently, Douglas and Wang proved that for each polynomial q, the submodule [q] of the Bergman module generated by q is essentially normal [9]. Using improved techniques, we show that the Hardy-space analogue of this result holds, and more.

Let $R$ be a commutative ring with identity. The purpose of this paper is to introduce and study two classes of modules over $R$, called $mbox{Max}$-injective and $mbox{Max}$-strongly top modules and explore some of their basic properties. Our concern is to extend some properties of $X$-injective and strongly top modules to these classes of modules and obtain some related results.