• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제27권1호
• /
• pp.61-70
• /
• 2020

In this paper, we introduce a new concept of stability of coincidence iterative algorithm for three mappings and derive a new three-step Jungck-type iterative algorithm. And, we prove a stability result and a strong convergence result for the Jungck-type algorithm using the M_J-contractive condition. Our results extend and unify the corresponding ones in [3, 6, 7, 13].

• 컴퓨터교육학회논문지
• /
• 제19권1호
• /
• pp.101-109
• /
• 2016

컴퓨팅 사고 교육에서 알고리즘의 설계는 학습자의 논리적 사고력과 절차적 사고력이 요구되는 중요한 학습 과정이다. 하지만 알고리즘 학습에 관한 연구와 학습자가 실제 학습에서 겪는 오류에 관한 연구가 부족한 실정이다. 이에 본 연구는 알고리즘 설계 학습에서 순서도를 활용한 프로그래밍 제어 구조 설계에서 발견된 학습자의 오류를 분석하여, 오류 유형을 제시하였다. 대학생을 대상으로 한 강의에서 세 가지 제어 구조에 관한 평가 문항을 제시한 결과, 순차 구조에서는 오류 유형이 발견되지 않았다. 하지만 조건 구조에서는 2개의 조건문이 중첩된 경우 조건 설정에서 오류가 발생하였다. 반복 구조에서는 반복의 횟수를 조절하는 조건, 반복되는 명령문의 위치, 중첩된 반복문에서 조건과 명령문의 위치 오류가 발견되었다. 본 연구에서 나타난 오류 유형은 초 중등학교와 대학에서 실시하고 있는 컴퓨팅 사고 교육의 알고리즘 설계 학습에 참고할 수 있는 사례가 될 것이다.

• 한국광학회지
• /
• 제11권1호
• /
• pp.47-57
• /
• 2000

프란운호퍼 회절에 의하여 임의의 주어진 세기무늬를 발생시키는 연속적인 또는 양자화된 위상형 회절무늬소자를 설계하는데 hybrid input-output 알고리즘과 새로운 Pnoise 알고리즘을 결합.변형한 2단계 iterative Fourier transform 알고리즘을 이용하였다. 두 가지의 $128\times128$ 이진 세기 무늬와 두 가지의 grayscale 세기 무늬에 때하여 기존 알고리즘들과 비교하였는데, 2단계 iterative Fourier transform 알고리즘은 회절효율이 약간 낮지만 신호 대 잡음비와 특히 균일도에 있어서 우수한 결과를 보였다. 알고리즘에서 사용하는 매개변수들과 잡음영역의 크기에 따른 성능의 변화를 살펴보았고, 양자화된 위상소자의 경우 위상층수에 따른 변화도 살펴보았다. 양자화된 위상소자의 경우 세기 무늬보다는 잡음영역의 크기가 성능을 좌우하는 것으로 나타났다.

• 한국지능시스템학회논문지
• /
• 제14권2호
• /
• pp.247-252
• /
• 2004

In this paper are proposed 2nd-order PD-type iterative learning control algorithms for linear continuous-time system and linear discrete-time system. In contrast to conventional methods, the proposed learning algorithms are constructed based on both time-domain performance and iteration-domain performance. The convergence of the proposed learning algorithms is proved. Also, it is shown that the proposed method has robustness in the presence of external disturbances and the convergence accuracy can be improved. A numerical example is provided to show the effectiveness of the proposed algorithms.

• 호남수학학술지
• /
• 제14권1호
• /
• pp.107-121
• /
• 1992

In this paper, we consider an iterative algorithm for solving a new class of quasi complementarity problems of finding $u{\epsilon}R^{n}$ such that $g(u){\in}K(u)$, $Tu+A(u){\in}K^{*}(u)$, and < g(u), Tu + A(u) >=0, where T, A and g are continuous mappings from $R^{n}$ into itself and $K^{*}(u)$ is the polar cone of the convex cone K(u) in $R^{n}$. The algorithms considered in this paper are general and unifying ones, which include many existing algorithms as special cases for solving the complementarity problems. We also study the convergence criteria of the general algorithms.

• Journal of applied mathematics & informatics
• /
• 제29권5_6호
• /
• pp.1363-1379
• /
• 2011

Halpern iterative algorithm is one of the most cited in the literature of approximation of fixed points of nonexpansive mappings. Different authors modified this iterative algorithm in Banach spaces to approximate fixed points of nonexpansive mappings. One of which is Hu [8] and Yao et al [21] modification of Halpern iterative algorithm for nonexpansive mappings in Banach spaces. It is the purpose of this paper to thoroughly analyze this modification and its convergence conditions. Unfortunately, Hu [8] and Yao et al [21] control conditions imposed on the modified Halpern iterative algorithm to have strong convergence are found to be not sufficient. In this paper, counterexamples are constructed to prove that the strong convergence conditions of Hu [8] and Yao et al [21] are not sufficient. It is also proved that with some additional conditions on the control parameters, strong convergence of the defined iterative algorithm is obtained in different Banach space settings.

• 한국통신학회논문지
• /
• 제39A권12호
• /
• pp.739-745
• /
• 2014

압축 센싱에서 측정 행렬 A의 3s-Restricted Isometry Constant가 1/2 혹은 $1/\sqrt{3}$보다 작다면 모든 s-Sparse 벡터 $x{\in}R^N$는 측정 벡터 y=Ax 또는 잡음이 섞인 벡터 y=Ax+e로부터 Iterative Hard Thresholding (IHT) 알고리즘에 의해 복원될 수 있다. 하지만, 이러한 복원은 신호 획득 기법의 특정한 가정 하에서 실질적인 알고리즘들에 의해 보장된다. 복원을 위한 핵심적인 가정 중에 하나는 측정 행렬이 Restricted Isometry Property (RIP)를 만족해야만 하는 것인데, 이 조건은 압축 센싱의 실제 응용 환경에서 종종 만족되지 않는다. 본 논문에서는 이방성 (Anisotropic) 경우에서 Restricted Biorthogonality Property (RBOP)로 불리는 RIP의 일반화와 Oblique Pursuit으로 불리는 새로운 복구 알고리즘들을 분석한다. 또한, IHT 알고리즘들을 위해 Restricted Biorthogonality Constant의 관점에서 성공적인 Sparse 신호 복원에 대한 분석을 제시한다.

• 대한수학회논문집
• /
• 제28권2호
• /
• pp.243-267
• /
• 2013

This paper is dedicated to study a new class of general nonlinear random A-maximal $m$-relaxed ${\eta}$-accretive (so called (A, ${\eta}$)-accretive [49]) equations with random relaxed cocoercive mappings and random fuzzy mappings in $q$-uniformly smooth Banach spaces. By utilizing the resolvent operator technique for A-maximal $m$-relaxed ${\eta}$-accretive mappings due to Lan et al. and Chang's lemma [13], some new iterative algorithms with mixed errors for finding the approximate solutions of the aforesaid class of nonlinear random equations are constructed. The convergence analysis of the proposed iterative algorithms under some suitable conditions are also studied.

• 대한의용생체공학회:의공학회지
• /
• 제8권2호
• /
• pp.151-160
• /
• 1987

An algorithm is suggested that truncted projection among the incomplete projections can be recovered from non-iterative extrapolation matrix by band-limited function. After the image being reconstructed from the recovered signals by non-iterative extrapolation, a known controur information and reprojection algorithm are used. It is shown that the reconstructed image using these algorithms is close to the original image. The effectiveness for these algorithms is proved by computer simulation.

• 대한수학회논문집
• /
• 제25권1호
• /
• pp.129-137
• /
• 2010

In this paper, we introduce and study a system of nonlinear set-valued implicit variational inclusions (SNSIVI) with relaxed cocoercive mappings in real Banach spaces. By using resolvent operator technique for M-accretive mapping, we construct a new class of iterative algorithms for solving this class of system of set-valued implicit variational inclusions. The convergence of iterative algorithms is proved in q-uniformly smooth Banach spaces. Our results generalize and improve the corresponding results of recent works.