ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Deterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
1
11
EN
R.
Arulprakasam
SRM University
r.arulprakasam@yahoo.com
V. R.
Dare
Madras Christian College,
rajkumardare@yahoo.com
S.
Gnanasekara
sargunam.g.sekaran@gmail.com
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a deterministic fuzzy automaton acceptance conditions on fuzzy ω-languages and fuzzy n-local automaton. The relationship between deterministic fuzzy n-local automaton and two subclasses of fuzzy regular ω-languages are established and proved that every fuzzy ω-language accepted by a deterministic fuzzy automaton in 2-mode is a projection of a Buchi fuzzy 2-local ω-language.
Fuzzy set, Local ω-language, Deterministic fuzzy automaton, Fuzzy regular ω-languages.
http://ijmsi.ir/article-1-565-en.html
http://ijmsi.ir/article-1-565-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Best Coapproximation in Quotient Spaces
13
20
EN
T.
Narang
Guru Nanak Dev University
tdnarang1948@yahoo.co.in
S.
Gupta
Guru Nanak Dev University
sahilmath@yahoo.in
As a counterpart to best approximation, a new kind of approximation, called best coapproximation was introduced in normed linear spaces by C. Franchetti and M. Furi. In this paper, we use this coapproximation to prove some results on the existence and uniqueness of best coapproximation in quotient spaces when the underlying spaces are metric linear spaces. We shall also see how coproximinality can be transmitted to and from quotient spaces.
Best coapproximation, co-proximinal set, co-Chebyshev set, Boundedly compact set, Pseudo co-Chebyshev set.
http://ijmsi.ir/article-1-652-en.html
http://ijmsi.ir/article-1-652-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Isotropic Constant Dimension Subspace Codes
21
34
EN
F.
Bardestani
fatemh.bardestani@gmail.com
S. R.
Adhami
In network code setting, a constant dimension code is a set of k-dimensional subspaces of F nq . If F_q n is a nondegenerated symlectic vector space with bilinear form f, an isotropic subspace U of F n q is a subspace that for all x, y ∈ U, f(x, y) = 0. We introduce isotropic subspace codes simply as a set of isotropic subspaces and show how the isotropic property use in decoding process, then we show that for suitable parameters there are isotropic spread codes.
Isotropic subspace, Constant dimension subspace code, Spread Codes.
http://ijmsi.ir/article-1-849-en.html
http://ijmsi.ir/article-1-849-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Domination and Signed Domination Number of Cayley Graphs
35
42
EN
F.
Ramezani
Imam Khomeini International University
f.ramezani988@gmail.com
E.
Vatandoost
Imam Khomeini International University
vatandoost@sci.ikiu.ac.ir
In this paper, we investigate domination number as well as signed domination numbers of Cay(G : S) for all cyclic group G of order n, where n in {p^m; pq} and
S = { a^i : i in B(1; n)}. We also introduce some families of connected regular graphs gamma such that gamma_S(Gamma) in {2,3,4,5 }.
Cayley graph, cyclic group, Domination number, Signed domination number.
http://ijmsi.ir/article-1-881-en.html
http://ijmsi.ir/article-1-881-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
A Modified Degenerate Kernel Method for the System of Fredholm Integral Equations of the Second Kind
43
53
EN
A.
Molabahrami
Ilam University
a.molabahrami@ilam.ac.ir
In this paper, the system of Fredholm integral equations of the second kind is investigated by using a modified degenerate kernel method (MDKM). To construct a MDKM the source function is approximated by the same way of producing degenerate kernel. The interpolation is used to make the needed approximations. Lagrange polynomials are adopted for the interpolation. The equivalency of proposed method and Lagrange-collocation method is shown. The error and convergence of the algorithm are given strictly. The efficiency of the approach will be shown by applying the procedure on some prototype examples.
A system of Fredholm integral equations of the second kind, Degenerate kernel method, A modified degenerate kernel method, Lagrange interpolation method, Lagrange-collocation method.
http://ijmsi.ir/article-1-882-en.html
http://ijmsi.ir/article-1-882-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
z_R-Ideals and z^0_R -Ideals in Subrings of R^X
55
67
EN
A.
Rezaei Aliabad
Shahid Chamran University of Ahvaz
M.
parsinia
Shahid Chamran University of Ahvaz
parsiniaemhdi@gmail.com
Let X be a topological space and R be a subring of RX. By determining some special topologies on X associated with
the subring R, characterizations of maximal fixxed and maximal
growing ideals in R of the form Mx(R) are given. Moreover, the
classes of zR-ideals and z0R-ideals are introduced in R which are
topological generalizations of z-ideals and z0-ideals of C(X), respectively. Various characterizations of these ideals are established,
also, coincidence of zR-ideals with z-ideals and zR-ideals with z-ideals in R are investigated. It turns out that some fundamental
statements in the context of C(X) are extended to the subrings of RX
Z(R)-topology, Coz(R)-topology, Growing ideal, z_R- ideal, z^0_R-ideal, Invertible subring.
http://ijmsi.ir/article-1-896-en.html
http://ijmsi.ir/article-1-896-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
On the Lie-Santilli Admissibility
69
79
EN
R.
Mahjoob
Department of Mathematics, Semnan University, Semnan, Iran
mahjoob@profs.semnan.ac.ir
T.
Vougioklis
Democritus University of Thrace, School of Education,681 00 Alexandroupolis, Greece
tvougiou@eled.duth.gr
The largest class of hyperstructures is the one which satisfies the
weak properties. We connect the theory of P-hopes, a large class of
hyperoperations, with the Lie-Santilli admissibility used in
Hardonic Mechanics. This can be achieved by a kind of Ree,
sandwich hyperoperation.
H_v-structures, Hopes.
http://ijmsi.ir/article-1-908-en.html
http://ijmsi.ir/article-1-908-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Computation of Minimum Hamming Weight for Linear Codes
81
93
EN
E.
Rostami
Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman
e_rostami@uk.ac.ir
R.
Nekooei
Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman
In this paper, we consider the minimum Hamming weight for linear codes over special finite quasi-Frobenius rings. Furthermore, we obtain minimal free $R$-submodules of a finite quasi-Frobenius ring $R$ which contain a linear code and derive the relation between their minimum Hamming weights. Finally, we suggest an algorithm that computes this weight using the Grobner basis and we show that under certain conditions a linear code takes the maximum of minimum Hamming weight.
Algebraic coding theory, Linear codes, Quasi-Frobenius rings, Grobner basis, SPAP-rings
http://ijmsi.ir/article-1-944-en.html
http://ijmsi.ir/article-1-944-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Renormalized Solutions for Strongly Nonlinear Elliptic Problems with Lower Order Terms and Measure Data in Orlicz-Sobolev Spaces
95
119
EN
M.
El Moumni
mostafaelmoumni@gmail.com
The purpose of this paper is to prove the existence of a renormalized solution of perturbed elliptic problems$
-operatorname{div}Big(a(x,u,nabla u)+Phi(u) Big)+ g(x,u,nabla u) = mumbox{ in }Omega,
$ in the framework of Orlicz-Sobolev spaces without any restriction on the $M$ N-function of the Orlicz
spaces, where $-operatorname{div}Big(a(x,u,nabla u)Big)$ is a Leray-Lions operator defined from $W^{1}_{0}L_{M}(Omega)$ into its dual,
$Phi in C^{0}(mathbb{R},mathbb{R}^{N})$. The function $g(x,u,nabla u)$ is a non linear lower
order term with natural growth with respect to $|nabla u|$, satisfying the sign condition and the
datum $mu$ is assumed belong to $L^1(Omega)+W^{-1}E_{overline{M}}(Omega)$.
Elliptic equation, Orlicz-Sobolev spaces, Renormalized solution.
http://ijmsi.ir/article-1-936-en.html
http://ijmsi.ir/article-1-936-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
On the 2-Adjointable Operators and Superstability of Them
Between 2-Pre Hilbert $C^*$-module Spaces
121
126
EN
M.
Ramezani
University of Bojnord
mar.ram.math@gmail.com
H.
Baghani
University of Sistan and Baluchestan
h.baghani@gmail.com
In this paper, first, we
introduce the new concept of 2-inner product on Banach modules over
a $C^*$-algebra. Next, we present the concept of 2-linear operators
over a $C^*$-algebra. Our result improve the main result of the
paper Z. Lewandowska. In the final of this paper, we
define the notions 2-adjointable mappings between 2-pre Hilbert
C*-modules and prove supperstability of them in the spirit of
Hyers-Ulam-Rassias.
$C^*$-algebra , 2-Adjointable mapping, Supperstability.
http://ijmsi.ir/article-1-945-en.html
http://ijmsi.ir/article-1-945-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Linear Resolutions of Powers of Generalized Mixed Product Ideals
127
134
EN
A.
Tehranian
Department of mathematics, Science and Research branch, Islamic azad university, Tehran Iran
tehranian@srbiau.ac.ir
R.
Moghimipor
Department of mathematics, Science and Research branch, Islamic azad university, Tehran Iran
roya_moghimipour@yahoo.com
Let L be the generalized mixed product ideal induced by a monomial ideal I. In this paper we compute powers of the genearlized mixed product ideals and show that Lk have a linear resolution if and only if Ik have a linear resolution for all k. We also introduce the generalized mixed polymatroidal ideals and prove that powers and monomial localizations of a generalized mixed polymatroidal ideal is again generalized mixed polymatroidal ideal.
Free resolutoins, Graded betti numbers, Monomial ideals
http://ijmsi.ir/article-1-946-en.html
http://ijmsi.ir/article-1-946-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
On Skew Cyclic Codes over a Finite Ring
135
145
EN
H.
Mousavi
Department of Mathematics, Tarbiat Modares University, Tehran, Iran.
h.moosavi@modares.ac.ir
R.
Mohammadi
Department of Mathematics, Faculty of Mathematical Sciences University of Mazandaran, Babolsar, Iran.
mohamadi.rasul@yahoo.com
S.
Rahimi
Department of Information Technology, Imam Hossein University, Tehran, Iran.
s.rahimi@sharif.edu
In this paper, we classify the skew cyclic codes over Fp +
vF_p + v^2F_p, where p is a prime number and v^3 = v. Each skew cyclic
code is a F_p+vF_p+v^2F_p-submodule of the (F_p+vF_p+v^2F_p)[x;alpha], where
v^3 = v and alpha(v) = -v. Also, we give an explicit forms for the generator of
these codes. Moreover, an algorithm of encoding and decoding for these
codes is presented.
Skew Cycilc Codes, Skew Polynomial Rings, Hamming Distance.
http://ijmsi.ir/article-1-954-en.html
http://ijmsi.ir/article-1-954-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
A Submodule-Based Zero Divisors Graph for Modules
147
157
EN
S.
Babaei
sbabaei@edu.ikiu.ac.ir
Sh.
Payrovi
Imam Khomeini International University
shpayrovi@sci.ikiu.ac.ir
E.
Sengelen Sevim
Istanbul Bilgi University
esra.sengelen@bilgi.edu.tr
Let $R$ be commutative ring with identity and $M$ be an $R$-module. The zero divisor graph of $M$ is denoted $Gamma{(M)}$. In this study, we are going to generalize the zero divisor graph $Gamma(M)$ to submodule-based zero divisor graph $Gamma(M, N)$ by replacing elements whose product is zero with elements whose product is in some submodules $N$ of $M$. The main objective of this paper is to study the interplay of the properties of submodule $N$ and the properties of $Gamma(M, N)$.
Zero-divisor graph, Submodule-based zero-divisor graph, Semi simple module.
http://ijmsi.ir/article-1-956-en.html
http://ijmsi.ir/article-1-956-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Some Generalizations of Locally Closed Sets
159
165
EN
Sh.
Modak
University of Gour Banga
spmodak2000@yahoo.co.in
T.
Noiri
t.noiri@nifty.com
Arenas et al. [1] introduced the notion of lambda-closed sets as a generalization of locally closed sets. In this paper, we introduce the notions of lambda-locally closed sets, Lambda_lambda-closed sets and lambda_g-closed sets and obtain some decompositions of closed sets and continuity in topological spaces.
lambda-open set, lambda-locally closed set, Lambda_lambda-closed set, lambda_g-closed set, decompositions of continuity.
http://ijmsi.ir/article-1-983-en.html
http://ijmsi.ir/article-1-983-en.pdf
ACECR at Tarbiat Modares University
Iranian Journal of Mathematical Sciences and Informatics
1735-4463
2008-9473
14
1
2019
4
1
Iterative Process for an α- Nonexpansive Mapping and a Mapping Satisfying Condition(C) in a Convex Metric Space
167
179
EN
H.
Fukhar-ud-din
We construct one-step iterative process for an α- nonexpansive mapping and a mapping satisfying condition (C) in the framework of a convex metric space. We study △-convergence and strong convergence of the iterative process to the common fixed point of the mappings. Our results are new and are valid in hyperbolic spaces, CAT(0) spaces, Banach spaces and Hilbert spaces, simultaneously.
Convex metric space, α-Nonexpansive mapping, Condition(C), Common fixed point, One-step iterative process, Convergence
http://ijmsi.ir/article-1-985-en.html
http://ijmsi.ir/article-1-985-en.pdf