Vector fields in three-space admit bundles of internal variables such as a Heisenberg algebra bundle. Information transmission along field lines of vector fields is described by a wave linked to the Schrodinger representation in the realm of time-frequency analysis. The preservation of local information causes geometric optics and a quantization scheme. A natural circle bundle models quantum information visualized by holographic methods. Features of this setting are applied to magnetic resonance imaging.

An incomplete factorization method for preconditioning symmetric positive definite matrices is introduced to solve normal equations. The normal equations are form to solve linear least squares problems. The procedure is based on a block incomplete Cholesky factorization and a multilevel recursive strategy with an approximate Schur complement matrix formed implicitly. A diagonal perturbation strategy is implemented to enhance factorization robustness. The factors obtained are used as a preconditioner for the conjugate gradient method. Numerical experiments are used to show the robustness and efficiency of this preconditioning technique, and to compare it with two other preconditioners.

We consider the Korteweg-de Vries-Burgers (KdVB) equation on the domain [0,11]. We derive a control law which guarantees $L^2$-global exponential stability, $H^3$-global asymptotic stability, and $H^3$-semiglobal exponential stability.

A tree is called starlike if it has exactly one vertex of degree greate. than two. In [4] it was proved that two starlike trees G and H are cospectral if and only if they are isomorphic. We prove here that there exist no two non-isomorphic Laplacian cospectral starlike trees. Further, let G be a simple graph of order n with vertex set V(G) : {1,2, …, n} and let H = {$H_1$, $H_2$, …, $H_{n}$} be a family of rooted graphs. According to [2], the rooted product G(H) is the graph obtained by identifying the root of $H_{i}$ with the i-th vertex of G. In particular, if H is the family of the paths $P_k_1,P_k_2,...P_k_2$ with the rooted vertices of degree one, in this paper the corresponding graph G(H) is called the sunlike graph and is denoted by G($k_1,k_2,...k_n$). For any $(x_1,x_2,...,x_n)\;\in\;{I_*}^n$, where $I_{*}$ = : {0,1}, let G$(x_1,x_2,...,x_n)$ be the subgraph of G which is obtained by deleting the vertices $i_1,i_2,...i_j\;\in\;V(G)\;(O\leq j\leq n)$, provided that $x_i_1=x_i_2=...=x_i_j=o.\;Let \;G[x_1,x_2,...x_n]$ be characteristic polynomial of G$(x_1,x_2,...,x_n)$, understanding that G[0,0,...,0] $\equiv$1. We prove that $G[k_1,k_2,...,k_n]-\sum_{x\in In}[{\prod_{\imath=1}}^n\;P_k_i+x_i-2(\lambda)](-1)...G[x_1,x_2,...,X_n]$ where x=($x_1,x_2,...,x_n$);G[$k_1,k_2,...,k_n$] and $P_n(\lambda)$ denote the characteristic polynomial of G($k_1,k_2,...,k_n$) and $P_n$, respectively. Besides, if G is a graph with $\lambda_1(G)\;\geq1$ we show that $\lambda_1(G)\;\leq\;\lambda_1(G(k_1,k_2,...,k_n))<\lambda_1(G)_{\lambda_1}^{-1}(G}$ for all positive integers $k_1,k_2,...,k_n$, where $\lambda_1$ denotes the largest eigenvalue.

This paper treats the conditions for the existence and stability properties of stationary solutions of reaction-diffusion equations of Gierer-Meinhardt type, subject to Neumann boundary data. The domains in which diffusion takes place are of three types: a regular hexagon, a rectangle and an isosceles rectangular triangle. Considering one of the relevant features of the domains as a bifurcation parameter it will be shown that at a certain critical value a diffusion driven instability occurs and Turing bifurcation takes place: a pattern emerges.

Analytical solutions for the viscous Cahn-Hilliard equation are considered. Existence and uniqueness of the solution are shown. The exponential decay of the solution in H$^2$-norm, which is an improvement of the result in Elliott and Zheng[5]. We also compare the early stages of evolution of the viscous Cahn-Hilliard equation with that of the Cahn-Hilliard equation, which has been given as an open question in Novick-Cohen[8].

The existence and representations of some generalized inverses, including ${A_{T,*}}^{(2)},\;{A_{T,*}}^{(1,2)},\;{A_{T,*}}^{(2,3)},\;{A_{*,S}}^{(2)},\;{A_{*,S}}^{(1,2)}\;and\;{A_{*,S}}^{(2,4)}$, are showed. As applications, the perturbation theory for the generalized inverse {A_{T,S}}^{(2)} and the perturbation bound for unique solution of the general restricted system $A_{x}$ = b(dim(AT)=dimT, $b{\in}AT$ and $x{\in}T$) are studied. Moreover, a characterization and representation of the generalized inverse ${A_{T,*}}^{(2)}$ is obtained.

In this paper, we introduce the concept of well-posedness for general variational inequalities and obtain some results under pseudomonotonicity. It is well known that monotonicity implies pseudomonotonicity, but the converse is not true. In this respect, our results represent an improvement and refinement of the previous known results. Since the general variational inequalities include (quasi) variational inequalities and complementarity problems as special cases, results obtained in this paper continue to hold for these problems.

In this paper, we give a classification of nonoscillatory solution of a second-order neutral delay difference equation of the form △²(x/sub n/-c/sub n/x/sub n-r/)=f(n, x/sub g1(n)/, …, x/sub gm(n)/). Some existence results for each kind of nonoscillatory solutions we also established.

In this paper, we apply finite element Galerkin method to a single-phase quasi-linear Stefan problem with a forcing term. We consider the existence and uniqueness of a semidiscrete approximation and optimal error estimates in $L_2$, $L_{\infty}$, $H_1$ and $H_2$ norms for semidiscrete Galerkin approximations we derived.

In this paper we present a second order PVT (parallel variable transformation) algorithm converging to second order stationary points for minimizing smooth functions, based on the first order PVT algorithm due to Fukushima (1998). The corresponding stopping criterion, descent condition and descent step for the second order PVT algorithm are given.

In this paper, solute transport in heterogeneous aquifers using a modified Fokker-Planck equation (MFPE) is investigated. This newly developed mathematical model is characterised with a time-, scale-dependent dispersivity. A two-dimensional finite volume quadrilateral mesh method (FVQMM) based on a quadrilateral background interpolation mesh is developed for analysing the model. The FVQMM transforms the coupled non-linear partial differential equations into a system of differential equations, which is solved using backward differentiation formulae of order one through five in order to advance the solution in time. Three examples are presented to demonstrate the model verification and utility. Henry's classic benchmark problem is used to show that the MFPE captures significant features of transport phenomena in heterogeneous porous media including enhanced transport of salt in the upper layer due to its parameters that represent the dependence of transport processes on scale and time. The time and scale effects are investigated. Numerical results are compared with published results on the some problems.

In this paper, oscillation and stability of nonlinear neutral impulsive delay differential equation are studied. The main result of this paper is that oscillation and stability of nonlinear impulsive neutral delay differential equations are equivalent to oscillation and stability of corresponding nonimpulsive neutral delay differential equations. At last, two examples are given to illustrate the importance of this study.

Fuzzifications of n-fold quasi-associative ideals are considered. Conditions for a fuzzy ideal to be a fuzzy n-fold quasi-associative ideal are given. Using a collection of n-fold quasi-associative ideals, fuzzy n-fold quasi-associative ideals are constructed. Finally, the extension property for fuzzy n-fold quasi-associative ideals is established.

The purpose of this paper is to present certain results arising from product between fuzzy $H_{v}$-submodules. In particular, we consider the fundamental relation $\varepsilon$* defined on an $H_{v}$-module and give a property of the fundamental relations and fundamental modules with respect to the fuzzy product of $H_{v}$-modules.

The purpose of this paper is to study the duality theorems in cone constrained multiobjective nonlinear programming for pseudo-invex objectives and quasi-invex constrains and the constraint cones are arbitrary closed convex ones and not necessarily the nonnegative orthants.

Andras Bezdek proved that if a convex n-gon and n points are given, then the points and the sides of the polygon can be renumbered so that at least[${\frac{n}{3}}$] triangles spanned by the ith point and the ith side (i = 1,2,...n) are mutually non-overlapping. In this paper, we show that at least [${\frac{n}{2}}$] mutually non-overlapping triangles can be constructed. This lower bound is best possible.

Inventory of differential (both good And defective) items purchased in a lot for two shops under a single management is considered here. In the primary shop, the lot is received and separated, only good units are sold and shortages are allowed which are backlogged from the good units specially purchased at the beginning of the next cycle. The separated defective units are continuously transferred and sold at a reduced price from the secondary shop. This inventory model is formulated and illustrated numerically for three scenarios depending upon the time periods of the shops. Inventory, deterioration, two shops.

Recently, an iterative algorithm for finding the interior eigenvalues of a definite matrix by CG-type method has been proposed. This method compares to the inverse power method. The given matrices A, and B are assumed to be large and sparse, and SPD( Symmetric Positive Definite) The CG scheme for the optimization of the Rayleigh quotient has been proven a very attractive and promising technique for large sparse eigenproblems for smallest eigenvalue. Also, it is very amenable to parallel computations, like the CG method for the linear systems. A proper choice of the preconditioner significantly improves the convergence of the CG scheme. But for parallel computations we need to find an efficient parallel preconditioner. Our candidates we ILU(0) in the wave-front order, ILU(0) in the multi-coloring order, Point-SSOR(Symmetric Successive Overrelaxation), and Multi-Color Block SSOR preconditioner. Wavefront order is a simple way to increase parallelism in the natural order, and Multi-coloring realizes a parallelism of order(N), where N is the order of the matrix. Another choice is the Multi-Color Block SSOR(Symmetric Successive OverRelaxation) preconditioning. Block SSOR is a symmetric preconditioner which is expected to minimize the interprocessor communication due to the blocking. We implemented the results on the CRAY-T3E with 128 nodes. The MPI (Message Passing Interface) library was adopted for the interprocessor communications. The test problem was drawn from the discretizations of partial differential equations by finite difference methods. The results show that for small number of processors Multi-Color ILU(0) has the best performance, while for large number of processors Multi-Color Block SSOR performs the best.

We classify all possible level Artinian O-sequences of socle degree 5 and type 3. Moreover, we show how to construct level Artinian algebras with those Hilbert functions using the sum of two ideals of finite sets of points in $P^2$ such that the ideal of the union of two sets is level.

For motion analysis electromagnetic sensors are often used to measure positions and orientations of human subjects. It is observed from several experiments of the Ergonomics Research group that there exist systematic errors and unexpected serious distortions due to some metal masses in the test area. A calibration process is necessary to fix these errors. In this article three models are proposed to correct position measurement errors based on observations from calibration experiments.

The fuzzification of ${\bigotimes}-closed$ set is considered, and its basic properties we investigated. Characterizations of fuazzy ${\bigotimes}-closed$ set we given. Using a collection of ${\bigotimes}-closed$ sets with additional conditions, a fuzzy ${\bigotimes}-closed$ set is stated. The theory of fuzzy topological ${\bigotimes}-closed$ sets is discussed.

A fully discrete $H^1-mixed$ finite element approximation for the single-phase Stefan problem is introduced and the unique existence of the approximation is established. And some numerical experiments are given.

In this paper, we introduce metrics d, p and ${\mu}$ on a normed almost linear space (X, III.III). And we prove that above three metrics are equivalent if a normed almost linear space X has a basis and splits as X = W$_X$ + V$_X$.

consider the problem of sequentially hypotheses about a parameter $\theta$ in the presence of the nuisance parameter $\rho$. and we investigate further to computing the error probabilities and expected sample sizes in the frequentist properties of the adaptive S.P.R.T. for $\theta$.

In this paper, we obtain a topology $\tau\delta$ on X. From this topology, we obtain some characterizations of if-closed spaces.

In this paper, we are going to study the twisted product manifold in connection with conharmonic transformation.

Let (X,S,$\mu$) be a measure space and M be the vector space of all real valued S-measurable functions defined on (X,S,$\mu$). For $E\;{\in}\;S$ with $\mu(E)\;<\;{\infty}$, $d_E$ is a pseudometric on M. With the notion of D = {$d_E$\mid$E\;{\in}\;S,\mu(E)\;<\;{\infty}$}, in this paper we investigate some topological structure T of M. Indeed, we shall show that it is possible to define a complete invariant metric on M which is compatible with the topology T on M.

Using the idea of "intuitionistic fuzzy set" [l, 2, 3], we defined the concept of intuitionistic fuzzy matrices as a natural generalization of fuzzy matrices. And we introduced and studied the determinant of square intuitionistic fuzzy matrices [4]. In this paper, we investigate the adjoint of square intuitionistic fuzzy matrices.

In this paper, using an idea from the direct method of Hyers and Ulam, we investigate the situations so that the Hyers-Ulam-Rassias stability of the functional equation $g(x^2)\;=\;2xg(x)$ is satisfied.

We prove the generalized Hyers-Ulam-Rhssias stability of the Jensen's equation in Banach modules over a Banach algebra.

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;:\;y_i,\;for\;i\;=\;1,\;2,\;{\cdots},\;n$. In this article, we obtained the following : $Let\;x\;=\;\{x_i\}\;and\;y=\{y_\}$ be two vectors in a separable complex Hilbert space H such that $x_i\;\neq\;0$ for all $i\;=\;1,\;2;\cdots$. Let L be a commutative subspace lattice on H. Then the following statements are equivalent. (1) $sup\;\{\frac{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}y\$\mid$}{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}x\$\mid$}\;:\;l\;\in\;\mathbb{N},\;\alpha_{\kappa}\;\in\;\mathbb{C}\;and\;E_{\kappa}\;\in\;L\}\;<\;\infty\;and\;$\mid$y_n\$\mid$x_n$\mid$^{-1}\;=\;1\;for\;all\;n\;=\;1,\;2,\;\cdots$. (2) There exists an operator A in AlgL such that Ax = y, A is a unitary operator and every E in L reduces, A, where AlgL is a tridiagonal algebra.

A toric variety is defined by a certain collection of cones. Especially a toric Fano variety is obtained from a special nonsingular fan. In this paper, we define the f-vectors of toric Fano varieties as the numbers of faces of the corresponding fans, and investigate the f-vectors of some toric Fano varieties.

In this paper we study asymptotic equivalence between linear differential system x' = A(t)x and its perturbed system y' = A(t)y(y) + g(t).