• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 1993년도 Proceedings of International Conference for Agricultural Machinery and Process Engineering
• /
• pp.627-636
• /
• 1993

The so-called northern Agricultural Engineering of Farmer's courtyard Energy Ecological System is a courtyard-type energy ecological synthetic application system, that combines into one the biogas pool, pig house, toilet and plastic -membrane greenhouse in a fully-closed condition in farmer's court yard, a combination of farming with breeding industry, with bioga as the key linkage , by taking full advantage of solar energy and through bioenergy conversion technique in accordance with ecological principle.

• 대한수학회논문집
• /
• 제20권4호
• /
• pp.709-721
• /
• 2005

• East Asian mathematical journal
• /
• 제18권2호
• /
• pp.261-270
• /
• 2002

We obtain the convergence of three-step iteration methods and generalized three-step iteration methods for quasi-contractive and generalized quasi-contractive mappings, respectively, in Banach spaces. Our results extend the corresponding results in [1], [4]-[6].

• 충청수학회지
• /
• 제22권3호
• /
• pp.375-382
• /
• 2009

Several common stationary point theorems for two classes of contractive type multivalued mappings in a complete bounded metric space are given. The results presented in this paper generalize and extend some known results in literature.

• Korean Journal of Mathematics
• /
• 제15권1호
• /
• pp.39-49
• /
• 2007

A few existence results of nonunique coincidence points for some kinds of $\acute{C}$iri$\acute{c}$ type mappings in metric and pseudocompact Tichonov spaces, respectively, are proved. The results presented in this paper extend some known results in the literature.

• 대한수학회논문집
• /
• 제24권1호
• /
• pp.67-83
• /
• 2009

Several common fixed point theorems for a few contractive type mappings in complete metric spaces are established. As applications, the existence and uniqueness of common solutions for certain systems of functional equations arising in dynamic programming are discussed.

• East Asian mathematical journal
• /
• 제17권2호
• /
• pp.265-273
• /
• 2001

In this paper, we prove that under certain conditions the Ishikawa iterative method with errors converges strongly to the unique solution of the nonlinear strongly accretive operator equation Tx=f. Related results deal with the solution of the equation x+Tx=f. Our results extend and improve the corresponding results of Liu, Childume, Childume-Osilike, Tan-Xu, Deng, Deng-Ding and others.

• East Asian mathematical journal
• /
• 제18권1호
• /
• pp.127-136
• /
• 2002

In this paper we obtain some fixed points theorems of expansive mappings and several necessary and sufficient conditions for the existence of common fixed points of families of self-mappings in metric spaces. Our results generalize and improve the main results of Fisher [1]-[5], Furi-Vignoli [6], $Is\'{e}ki$ [7], Jungck [8], [9], Kashara-Rhoades [10], Liu [13], [14] and Sharma and Strivastava [16].

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• pp.1403-1405
• /
• 2003

This paper focuses on the image correction under few GCPs, utilizes the collinearity equation, and builds up this mathematics model of space backside resection based on condition adjustment. Then calculates the adjusted elements of exterior orientation by iteration algorithm, and evaluates the precision. And demonstrates the high-precision, affection and wide-supplying-perspective of this model.

• 대한수학회보
• /
• 제58권5호
• /
• pp.1129-1147
• /
• 2021

This paper aims to analyze the PTG module for the finite-dimensional odd Contact superalgebra over a field of prime characteristic by using the method of Hu and Shen's mixed product realization. The general acting law in odd Contact superalgebra is obtained. In addition, the structure and irreducibility of graded module for odd Contact superalgebra are discussed.