• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.685-692
• /
• 2009

We consider the linearized (approximated) problem for differentiable vector optimization problem, and then we establish equivalence results between a differentiable vector optimization problem and its associated linearized problem under the proper efficiency.

• Kyungpook Mathematical Journal
• /
• v.46 no.1
• /
• pp.145-152
• /
• 2006

In this paper, we study a class of strongly nonlinear implicit complementarity problems in the setting of Hilbert spaces H (not necessarily Hilbert lattices). By using the property of the projection and a suitable change of variables, we establish the equivalence between the strongly nonlinear implicit complementarity problem and the fixed point problem in H. Moreover, we use this equivalence and the fixed point theorem of Boyd and Wong to prove the existence and uniqueness of solutions for the strongly nonlinear implicit complementarity problem in H.

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.431-438
• /
• 2010

In this paper, using nonsmooth analysis, we established equivalence results between a locally Lipschitz vector optimization problem and its associated approximated problem under the proper efficiency.

• Journal of applied mathematics & informatics
• /
• v.7 no.1
• /
• pp.101-113
• /
• 2000

In this paper, we introduce and study a new class of variational inclusions, called the set-valued quasi variational inclusions. The resolvent operator technique is used to establish the equivalence between the set-valued variational inclusions and the fixed point problem. This equivalence is used to study the existence of a solution and to suggest a number of iterative algorithms for solving the set-valued variational inclusions. We also study the convergence criteria of these algorithms.

• East Asian mathematical journal
• /
• v.25 no.2
• /
• pp.141-146
• /
• 2009

In this paper, we introduce a new generalized nonlinear quasivariational inequality and establish its equivalence with a xed point problem by using the resolvent operator technique. Utilizing this equivalence, we suggest two iterative schemes, prove two existence theorems of solutions for the generalized nonlinear quasivariational inequality involving generalized cocoercive mapping and establish some convergence results of the sequences generated by the algorithms. Our results include several previously known results as special cases.

• Journal of applied mathematics & informatics
• /
• v.42 no.2
• /
• pp.237-243
• /
• 2024

A similarity transformation of a solution of the Cauchy problem for the linear difference equation in Hilbert space has been studied. In this manuscript, we obtain necessary and sufficient conditions for linear equivalence of the discrete semigroup of operators, generated by the solution of the difference equation utilizing four Canonical semigroups.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.771-790
• /
• 1997

By using the method of equivalence of E. Cartan we calculate the local scalar invariants for Riemannian 2-maniolds. We define also a notion of local invariants for submanifolds in $R^{n + d}, n \geq 2, d \geq 1$, in terms of the symmetry of the local isometric embedding equations of Riemannian n-manifolds into $R^{n + d}$. We show that the local invariants obtained by the Cartan's method are the intrinsic expressions of the local invariants in our sense in the casees of surfaces in $R^3$.

• International Journal of CAD/CAM
• /
• v.9 no.1
• /
• pp.61-69
• /
• 2010

Based on the equivalence principles of physical properties, geometric properties and externally applied forces between a surface and the corresponding curves, we present a fast physics and example based skin deformation method for character animation in this paper. The main idea is to represent the skin surface and its deformations with a group of curves whose computation incurs much less computing overheads than the direct surface-based approach. The geometric and physical properties together with externally applied forces of the curves are determined from those of the surface defined by these curves according to the equivalence principles between the surface and the curves. This ensures the curve-based approach is equivalent to the original problem. A fourth order ordinary differential equation is introduced to describe the deformations of the curves between two example skin shapes which relates geometric and physical properties and externally applied forces to shape changes of the curves. The skin deformation is determined from these deformed curves. Several examples are given in this paper to demonstrate the application of the method.

• Journal of Information Technology Services
• /
• v.9 no.4
• /
• pp.219-229
• /
• 2010

The Green's equivalence relations have played a fundamental role in the development of semigroup theory. They are concerned with mutual divisibility of various kinds, and all of them reduce to the universal equivalence in a group. Boolean matrices have been successfully used in various areas, and many researches have been performed on them. Studying Green's relations on a monoid of boolean matrices will reveal important characteristics about boolean matrices, which may be useful in diverse applications. Although there are known algorithms that can compute Green relations, most of them are concerned with finding one equivalence class in a specific Green's relation and only a few algorithms have been appeared quite recently to deal with the problem of finding the whole D or J equivalence relations on the monoid of all $n{\times}n$ Boolean matrices. However, their results are far from satisfaction since their computational complexity is exponential-their computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices and the size of the monoid of all $n{\times}n$ Boolean matrices grows exponentially as n increases. As an effort to reduce the execution time, this paper shows an isomorphism between the R relation and L relation on the monoid of all $n{\times}n$ Boolean matrices in terms of transposition. introduces theorems based on it discusses an improved algorithm for the J relation computation whose design reflects those theorems and gives its execution results.

• The Mathematical Education
• /
• v.59 no.1
• /
• pp.81-99
• /
• 2020

This study examined the types of abduction and the thinking strategies by the mathematics problems posed by students. Four students who were 2nd graders in middle school participated in problem posing on four tasks that were given, and the problems that they posed were classified into equivalence problem, isomorphic problem, and similar problem. The type of abduction appeared were different depending on the type of problems that students posed. In case of equivalence problem, the given condition of the problems was recognized as object for posing problems and it was the manipulative abduction. In isomorphic problem and similar problem, manipulative abduction, theoretical abduction, and creative abduction were all manifested, and creative abduction was manifested more in similar problem than in isomorphic problem. Thinking strategies employed at abduction were examined in order to find out what rules were presumed by students across problem posing activity. Seven types of thinking strategies were identified as having been used on rule inference by manipulative selective abduction. Three types of knowledge were used on rule inference by theoretical selective abduction. Three types of thinking strategies were used on rule inference by creative abduction.