In this dissertation we proved some of results and theorems about the lattice of radicals of rings. To answer on the questions of J.M.Rjabuhin in [13 ]:
Is the lattice of special radicals S is a Boolean lattice?
What is the relationship between t
he lattice of special radicals S and the lattice of special radical classes SC?
Is the lattice of special radicals which is Generated by *-ring is an atomic lattice?
For that we showed that the lattice of all radicals L is not a modular lattice, so it is not a Boolean one. And we gived examples show that all of the lattices of hereditary , overnilpotent and special radicals are not complemented lattices , so also they are not Boolean ones; so we answered the first question.
And we proved that all the atoms in the lattice of hereditary radicals are as l_Q where Q is a simple ring.
The Study Aimed at Identifying The Knowledge Levels of Blum in
The Developed Algebra Book For The Ninth Grade in The Syrian
Arab Republic in 2017-2018. The Researcher Analysed The
Questions at The End of Each Unit in The Developed Algebra
Book, A
nd Used Descriptive Analytical Approach And Analysis
Card as A Tool For This Study.
This study aimed at identifying number sense skills, which are
supposed to be available in algebra textbook among grade
eight students, and to know to what extent are these skills
available in the algebra Textbook.
According to the large number of the access rules that define the networks, and the
dynamic changing of the network topology, that is the verification by hand of the
important properties in the network such as reachability, access rules conflict fr
ee and loop
free is so hard to accomplish by the programmer.
Formal specification of systems and protocols is considered one of the most
important methods that is used to eliminate the ambiguous of the system configurations
and find bugs of its work.
A lot of the researches have been introduced in packet reachability and network
specification domain, but a little of them are checked and analyzed by model checkers
which help to detect the errors of these models.
In this paper an abstraction model for dynamic networks specification has been
introduced and developed to be appropriate for several important properties of the network
such as reachability, no conflict..etc, depending on the network state. The proposed model
specification is implemented by TLA+(Temporal Logic of Action) language which is a
high level specification language built on Set-theory and First Order Logic, the model has
been analyzed and the properties are checked by TLC model checking tool which used by
TLA tool.
Results show the correctness of the model, and improvement in reducing the
response time and the required states to get the result of the verification.
In this paper the network specification by logic algebra is presented then
the packets are classified into reachable packets and dropped packets
according to the current state of the network and flow tables of switches.
The model specification is
written by TLA+ language which is built on
First Order Logic (FOL), and the specification is checked by TLC.
This model will help the programmers to detect the network in proactive
verification and prove that this configuration meets the global policy of
the network.
Radar detects the targets and measures its parameters, range,
azimuth, height, and velocity of the target.
In some application, such as early warning radar we don’t
have extremely measure all these parameters, but in other
application like detect
ion targets and measures his geo-locations
requires high resolution to all these parameters.
This paper discusses the feasibility of detecting the location of
from four deferent satellites Positions by using of Linear Algebra
and pseudo range’s solution, The Matlab was used to solve the four Equations and to simulate the Geo-Positions on Geo-Map
This paper is concerned with the calculation of the spectral radius of an
arbitrary real matrix A
If rank A = m = 2 then (١) and (٢) are equalities.
In addition, we provide the numerical radius r(A) of an n×n matrix whose
diagonal entries are complex numbers.