Top-down design methodology is one of the widely used approaches to the design of complex concurrent systems. In this approach, the speciication of a system is decomposed into a set of submodules whose concurrent behavior is equivalent to that of the system speciication. The following problem is of particular importance when using this methodology: given the speciication of a system and some of...

In a finite-dimensional vector space, every subspace is finite-dimensional and the dimension of a subspace is at most the dimension of the whole space. Unfortunately, the naive analogue of this for modules and submodules is wrong: (1) A submodule of a finitely generated module need not be finitely generated. (2) Even if a submodule of a finitely generated module is finitely generated, the minim...

This study was carried out to determine population structure, growth and reproduction properties of barbel. A total of 198 individuals were sampled. Ages of samples were found between I and VI years, fork lengths between 4.3 and 16.6 cm and total weights between 1.2 and 65.8 g. Length-weight relationship was calculated as W=0.0146×L2.934. Munro’s phi prime index was estimated as 1.9...

The goal of this paper is to prove an area law for the entropy dynamical, spherically symmetric black holes from relative between coherent states quantum matter, generalising results by Hollands and Ishibashi on a Schwarzschild background. We consider state suitably chosen asymptotically vacuum scalar field theory propagating over dynamical hole. use conservation associated Kodama vector in spa...

in this paper we introduce the notions of g∗l-module and g∗l-module whichare two proper generalizations of δ-lifting modules. we give some characteriza tions and properties of these modules. we show that a g∗l-module decomposesinto a semisimple submodule m1 and a submodule m2 of m such that every non-zero submodule of m2 contains a non-zero δ-cosingular submodule.

The classical XY model describes particles in three-dimensional space that carry magnetic moments or spins whose motion is restricted to rotations in a plane. Introduction of an external magnetic field lying in the same plane then generates a system that is anisotropic in the azimuthal angle phi . We use numerical simulations and integral equation techniques to study this system, producing in t...

We study the production of light $J^{PC}=1^{-+}$ hybrid isoscalars $\eta_1^\prime(1855)$ and yet undiscovered $\eta_1(1660)$ as intermediate states in radiative decays charmonium ($J/\psi$) to two conventional mesons using a flavor symmetric Lagrangian. For this purpose, we use $J/\psi\to\gamma\eta_1^\prime(1855)\to\gamma\eta\eta^\prime$ process reference. find that some decay channels have bra...

During this search all rings are commutative and modules unitary. In we introduced the concept of Restrict Nearly semi-prime Sub-modules as generalization give some basic properties, examples charactarizations concepts stablished sufficient conditions on to be

Let $p$ be a prime, let $K$ discretely valued extension of $\mathbb{Q}_p$, and $A_{K}$ an abelian $K$-variety with semistable reduction. Extending work by Kim Marshall from the case where $p>2$ $K/\mathbb{Q}_p$ is unramified, we prove $l=p$ complement Galois cohomological formula Grothendieck for $l$-primary part N\'eron component group $A_{K}$. Our proof involves constructing, each $m\in \math...