In previous research we extended the submodule construction techniques to cover a more expressive and compact behavioral model that handles data through parameterized interactions, state variables, and simple transition guards. The model was based on extended Input/Output Automata, and the algorithm on the Chaos concept. In this paper we generalize these extensions and improve the submodule con...

We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely noncommutative, however they denote partially commuting power series. The derivations (which are so-called φ-derivations) are shown to satisfy the commutation relations. Our main result states that for every so-called rig...

The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1–25] is considered: given the specification of a system (module) and that of its n 2 1 submodules, determine the specification of the nth submodule that together w...

Let be a module over commutative ring with identity. Before studying the concept of Strongly Pseudo Nearly Semi-2-Absorbing submodule, we need to mention ideal and basics that you study submodule. Also, introduce several characteristics submodule in classes multiplication modules other types modules. We also had no luck because is not ideal. it noted under conditions, which this faithful module...

Let $N$ be a submodule of a module $M$ and a minimal primary decomposition of $N$ is known‎. ‎A formula to compute Baer's lower nilradical of $N$ is given‎. ‎The relations between classical prime submodules and their nilradicals are investigated‎. ‎Some situations in which semiprime submodules can be written as finite intersection of classical prime submodule are stated‎.

let r be a commutative ring with identity. let n and k be two submodules of a multiplication r-module m. thenn=im and k=jm for some ideals i and j of r. the product of n and k denoted by nk is defined by nk=ijm. inthis paper we characterize some particular cases of multiplication modules by using the product of submodules.

In this article we present a new class of modules which is named as principally -lifting modules. This termed by Principally in work defined as, module called if for every cyclic submodule with , there decomposition such that and g-small . Thus, ring it -module. We determined structure. Several characterizations, properties, instances are described these modules'.

SUMMARY We present a tool called MRSD (Metabolic Route Search and Design) to search and design routes based on the weighted compound transform diagraph. The search submodule returns routes between a source and product compound within seconds in the network of one or multiple organisms based on data from KEGG. The design submodule designs a route from an appointed compound in an interactive mode...

‎Let $R$ be a domain with quotiont field $K$‎, ‎and‎ ‎let $N$ be a submodule of an $R$-module $M$‎. ‎We say that $N$ is‎ ‎powerful (strongly primary) if $x,yin K$ and‎ ‎$xyMsubseteq N$‎, ‎then $xin R$ or $yin R$ ($xMsubseteq N$‎ ‎or $y^nMsubseteq N$ for some $ngeq1$)‎. ‎We show that a submodule‎ ‎with either of these properties is comparable to every prime‎ ‎submodule of $M$‎, ‎also we show tha...