in this paper, we introduce $p$-semilinear transformations for linear algebras over a field ${bf f}$ of positive characteristic $p$, discuss initially the elementary properties of $p$-semilinear transformations, make use of it to give some characterizations of linear algebras over a field ${bf f}$ of positive characteristic $p$. moreover, we find a one-to-one correspondence between $p$-semiline...

We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are specified by a contextfree graph grammar. The technique is based on the approximation of graph transformation systems by Petri nets and on semilinear sets of markings. Especially we exploit Parikh’s theorem which says that...

We introduce an analysis method that checks for the absence of (Euler) paths or cycles in the set of graphs reachable from a start graph via graph transformation rules. This technique is based on the approximation of graph transformation systems by Petri nets and on semilinear sets of markings. An important application is deadlock analysis in distributed systems.

In this paper, we introduce $p$-semilinear transformations for linear algebras over a field ${bf F}$ of positive characteristic $p$, discuss initially the elementary properties of $p$-semilinear transformations, make use of it to give some characterizations of linear algebras over a field ${bf F}$ of positive characteristic $p$. Moreover, we find a one-to-one correspondence between $p$-semiline...

The paper introduces a new way to construct dissipative solutions to a second order variational wave equation. By a variable transformation, from the nonlinear PDE one obtains a semilinear hyperbolic system with sources. In contrast with the conservative case, here the source terms are discontinuous and the discontinuities are not always crossed transversally. Solutions to the semilinear system...

The solutions of a family of semilinear stochastic equations in a Hilbert space with a fractional Brownian motion are investigated. The nonlinear term in these equations has primarily only a growth condition assumption. An arbitrary member of the family of fractional Brownian motions can be used in these equations. Existence and uniqueness for both weak and mild solutions are obtained for some ...

We study several controllability properties for some semilinear parabolic PDE with a quadratic gradient term. For internal distributed controls, it is shown that the system is approximately and null controllable. The proof relies on the Cole-Hopf transformation. The same approach is used to deal with initial controls.

Recently, there has been significant development in the existence of mild solutions for fractional semilinear integro-differential equations but optimal control is not provided. The aim of this paper is studying optimal feedback control for fractional semilinear integro-differential equations in an arbitrary Banach space associated with operators ...

* Correspondence: lpzmath@yahoo. com.cn School of Mathematics, Yangzhou University, Yangzhou 225002, China Abstract This article is concerned with impulsive semilinear differential equations with nonlocal initial conditions in Banach spaces. The approach used is fixed point theorem combined with the technique of operator transformation. Existence results are obtained when the nonlocal item is L...

In this paper we prove the existence and uniqueness of the boundary layer solution to a semilinear eigenvalue problem consisting of a coupled system of two elliptic partial differential equations. Although the system is not quasimonotone, there exists a transformation to a quasimonotone system. For the transformed system we may and will use maximum (sweeping) principle arguments to derive point...