Let $mathcal{A}$ be a Banach algebra and $mathcal{M}$ be a Banach $mathcal{A}$-bimodule. We say that a linear mapping $delta:mathcal{A} rightarrow mathcal{M}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{A} rightarrow mathcal{M}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{A}$. Giving some facts concerning general...

Due to the scarcity of abnormal condition data in components transportation systems, only normal are typically used train models for anomaly detection. One main challenges is difficulty properly representing distribution which non-smooth, high-dimensional and on a manifold. This work develops an detection model based Auto-Encoder (AE) formed by generator Generative Adversarial Network (GAN) aux...

recently, the algebraic theory of mv -algebras is intensively studied. in this paper, we extend the concept of derivation of $mv$-algebras and we give someillustrative examples. moreover, as a generalization of derivations of $mv$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $mv$-algebras.also, we investigate some properties of them.

The traditional program refinement strategy cannot be refined to an executable program, and there are issues such as low verification reliability automation. To solve the above problems, this paper proposes a nonlinear construction method based on partition recursion Morgan's rules. First, we use recursive definition technique characterize initial specification. specification is then transforme...

this paper investigates the nature of absolutive case and the syntactic mechanisms underlying its licensing. to this end, two recent minimalist approaches to the syntactic derivation of ergative structure will be introduced. drawing on evidence from the syntactic derivation of clauses with intransitive complex predicates in kurdish, it will be established that the absolutive case is checked by ...

in this paper the effect of block shape vortex generators (vgs) on an air-water fin-tube heat exchanger has been studied experimentally using exergy analysis method. also the effect of these vgs on increasing heat transfer rate has been simulated numerically and the results show a good agreement with the experiments. in this research we used a wind tunnel to produce wind flow over heat exchange...