• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제13권3호
• /
• pp.207-215
• /
• 2006

Using more precise majorizing sequences than before [6], [10], [11], [14] we provide a finer semilocal convergence analysis for a certain class of Euler-Halley type methods for approximating a solution of an equation in a Banach space setting.

• 미생물학회지
• /
• 제39권2호
• /
• pp.67-75
• /
• 2003

비교유전체학의 주요 주제 중 유전자서열을 분류하고 단백질기능을 예측하는 연구가 있으며, 이를 위해 단백질 구조, 공통서열 및 바인딩 위치 예측등의 방법과 함께, 전유전체 서열에서 구해지는 유사도 그래프를 분석해 상동유전자를 검색하는 계산학적인 접근방법이 있다. 유사도그래프를 사용한 방법은 서열에 대한 기존 지식에 의존하지 않는 장점이 있지만 유사도 하한값과 같은 주관적인 임계값이 필요한 단점이 있다. 본 논문에서는 반복적으로 그래프를 분해하는 이전의 방법을 일반화시켜, 유사도 그래프에 기반한 유전자 서열군집분석 방법론과 객관적이고 안정적인 파라미터 임계값 계산 방법을 제안한다. 제시된 방법으로 알려진 미생물 유전체 서 열을 분석하여 이전의 방법인 BAG 알고리즘 결과와 비교했다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2020년도 제32회 한글 및 한국어 정보처리 학술대회
• /
• pp.211-214
• /
• 2020

Abstract Meaning Representation(AMR)은 문장의 의미를 그래프 구조로 인코딩하여 표현하는 의미 형식표현으로 문장의 각 노드는 사건이나 개체를 취급하는 개념으로 취급하며 간선들은 이러한 개념들의 관계를 표현한다. AMR 파싱은 주어진 문장으로부터 AMR 그래프를 생성하는 자연어 처리 태스크이다. AMR 그래프의 각 개념은 추상 표현으로 문장 내의 토큰과 명시적으로 정렬되지 않는 어려움이 존재한다. 이러한 문제를 해결하기 위해 별도의 사전 학습된 정렬기를 이용하여 해결하거나 별도의 정렬기 없이 Sequence-to-Sequence 계열의 모델로 입력 문장으로부터 그래프의 노드를 생성하는 방식으로 연구되어 왔다. 본 논문에서는 문장의 입력 시퀀스와 부분 생성 그래프 사이에서 반복 추론을 통해 새로운 노드와 기존 노드와의 관계를 구성하여 점진적으로 그래프를 구성하는 모델을 한국어 AMR 데이터 셋에 적용하여 Smatch 점수 39.8%의 실험 결과를 얻었다.

• 인터넷정보학회논문지
• /
• 제13권1호
• /
• pp.99-106
• /
• 2012

다수의 오브젝트로 구성된 반응형 시스템을 모델링 하거나 디자인하기 위해 외부의 입력 및 오브젝트들간의 상호작용을 분석하는 것은 중요하고 어려운 문제이다. 또한, 반응형 시스템이 요구 사항들을 모든 가능한 환경 하에서 올바르게 만족하는지를 확인하는 것은 많은 노력이 필요하다. 본 논문에서는 요구 사항들을 기존에 다양한 분야에서 사용되는 시나리오 명세 언어인 MSC(Message Sequence Chart)에 대해 구문 및 의미를 확장한 LSC(Live Sequence Chart)를 이용하여 반응형 시스템에 적합한 시나리오 기반 명세 모델을 만든다. 그리고 LTL Synthesis를 통해 각 오브젝트에 대하여 모든 요구 사항을 올바르게 만족하는 반응형 시스템 모델을 자동으로 생성한다. 마지막으로 생성된 반응형 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 반복함으로써 전체 반응형 시스템을 개발하는 방법을 제안한다.

• 한국정보통신학회논문지
• /
• 제10권7호
• /
• pp.1287-1294
• /
• 2006

최근의 무선 패킷데이터 시스템에서 짧은 버스트 데이터의 전송이 많이 사용되고 있고 훈련 심볼에 의한 오버헤드가 심각한 문제를 야기할 수 있다. 따라서 적응등화기의 설계에 있어서 짧은 훈련심볼과 빠른 수렴 알고리즘이 필수적인 문제라고 할 수 있다. 본 논문에서는 짧은 훈련심볼을 사용하는 MTLMS (multiple-training least mean square) 기반의 DFE (decision feedback equalizer) 의 성능을 향상시킬 수 있는 등화알고리즘을 제 안한다 . 제안된 알고리즘에서 DEF의 출력 은 LMS(least mean square) 기반의 적응DEF 루프로 입 력되고 확장된 훈련심볼로서 사용된다. 또한 전체적인 처리를 위하여 ML (maximum likelihood) 추정기를 사용하는 블록연산 대신에 낮은 복잡도의 적응 LMS연산이 사용된다. 시뮬레이션 결과에서 제안된 등화기는 반복귀환이 증가함에 따라 성능이 향상되고 시변 페이딩에 보다 강한 성능을보여준다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1994년도 춘계공동학술대회논문집; 창원대학교; 08월 09일 Apr. 1994
• /
• pp.103-111
• /
• 1994

An interactive and iterative design method based on the constraint satisfaction problem (CSP) technique was developed to generate an ergonomically sound layout of a control panel. This control panel layout method attempts to incorporate a variety of relevant ergonomic principles and design constraints, and generate an optimal or, at least, a "satisfactory" solution through iterative interactions with the designer. The existing panel design and layout methods are mostly based on the optimization of single objective function formulated to reflect and trade off all ergonomic design objectives which are largely different in their nature. In fact, the problem of seeking an ergonomically sound panel design should be viewed as a multiple objective optimization problem. Furthermore, most of the design objectives should be understood as constraints rather than objectives to be optimized. Hence, a constraint satisfaction approach is proposed in this study as a framework for the panel designer to search through the design decision space effectively and make various design decisions iteratively. In order to apply the constraint satisfaction approach to the panel design procedure, the ergonomic principles such as frequency-of-use, importance, functional grouping, and sequence-of-use are formalized as CSP terms. With this formalization, a prototype system was implemented and applied to panel layout problems. The results clearly showed the effectiveness of the proposed approach since it permits designers to consider and iteratively evaluate various design constraints and ergonomic principles, and, therefore, aids the panel designer to come up with an ergonomically sound control panel layout.

• 대한전자공학회논문지TC
• /
• 제41권4호
• /
• pp.11-16
• /
• 2004

본 논문에서는 min-sum 반복복호를 위한 효과적인 반복복호 중단 알고리즘을 제안한다. 이전까지 소개된 반복복호 중단 알고리즘이 상호정보량을 바탕으로 중단시점을 판단하는데 비하여 제안된 알고리즘은 트렐리스 상에서 복호된 결과가 유효한 시퀀스인가를 판단하여 복호중단 시점을 결정한다. 제안된 반복톡호 알고리즘을 3GPP 터보부호와 직렬결합 길쌈부호에 적용하여 반복복호의 계산량과 필요한 메모리의 양이 크게 줄어드는 것을 나타내었다.

• 대한수학회보
• /
• 제42권4호
• /
• pp.661-670
• /
• 2005

In this paper, we deal with approximations of com­mon fixed points of the iterative sequences with errors for three asymptotically nonexpansive mappings in a uniformly convex Banach space. Our results generalize and improve the corresponding results of Khan and Takahashi, Schu, Takahashi and Tamura, and others.

• East Asian mathematical journal
• /
• 제24권2호
• /
• pp.177-186
• /
• 2008

In this paper, we introduce and study a new class of system of parametric general quasivariational-like inequalities. Using $\eta$-subdifferential and $\eta$-proximal mappings of proper functionals in Hilbert spaces, we prove the equivalence between the system of parametric general quasivariational-like inequalities and a xed point problem and construct two iterative algorithms. A few existence and uniqueness results as well as the sensitivity analysis of solutions are also established for the system of parametric general quasivariational-like inequalities, and some convergence results of iterative sequence generated by the algorithms are proved. Our results extend a few known results in the literature.

• Journal of applied mathematics & informatics
• /
• 제28권3_4호
• /
• pp.939-944
• /
• 2010

Let H be a real Hilbert space. Let T : $H\;{\rightarrow}\;H$ be an averaged mapping with $F(T)\;{\neq}\;{\emptyset}$. Let {$\alpha_n$} be a real numbers in (0, 1). For given $x_0\;{\in}\;H$, let the sequence {$x_n$} be generated iteratively by $x_{n+1}\;=\;(1\;-\;{\alpha}_n)Tx_n$, $n\;{\geq}\;0$. Assume that the following control conditions hold: (i) $lim_{n{\rightarrow}{\infty}}\;{\alpha}_n\;=\;0$; (ii) $\sum^{\infty}_{n=0}\;{\alpha}_n\;=\;{\infty}$. Then {$x_n$} converges strongly to a fixed point of T.