• The Pure and Applied Mathematics
• /
• v.13 no.3 s.33
• /
• 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.

• Korean Journal of Microbiology
• /
• v.39 no.2
• /
• pp.67-75
• /
• 2003

One large topic in comparative genomics is to predict functional annotation by classifying protein sequences. Computational approaches for function prediction include protein structure prediction, sequence alignment and domain prediction or binding site prediction. This paper is on another computational approach searching for sets of homologous sequences from sequence similarity graph. Methods based on similarity graph do not need previous knowledges about sequences, but largely depend on the researcher's subjective threshold settings. In this paper, we propose a genome sequence clustering method of iterative testing and graph decomposition, and a simple method to calculate a strict threshold having biochemical meaning. Proposed method was applied to known bacterial genome sequences and the result was shown with the BAG algorithm's. Result clusters are lacking some completeness, but the confidence level is very high and the method does not need user-defined thresholds.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.211-214
• /
• 2020

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

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.99-106
• /
• 2012

It is an important and a difficult task to analyze external inputs and interactions between objects for designing and modeling a reactive system consisting of multiple object. Also the reactive system is required huge efforts on confirm it can satisfy requirements under all possible circumstances. In this paper, we build from requirements to a scenario-based specification model using LSC(Live Sequence Chart) extending MSC(Message Sequence Chart) with richer syntax and semantic. Then the reactive system model satisfying all requirements for each object in this system can be automatically created through LTL Synthesis. Finally, we propose a method of reactive system development by iterative process transforming a reactive system model to codes.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.7
• /
• pp.1287-1294
• /
• 2006

In many current wireless packet data system, the short-burst transmissions are used, and training overhead is very significant for such short burst formats. So, the availability of the short training sequence and the fast converging algorithm is essential in the adaptive equalizer. In this paper, the new equalizer algorithm is proposed to improve the performance of a MTLMS (multiple-training least mean square) based DFE (decision feedback equalizer)using the short training sequence. In the proposed method, the output of the DFE is fed back to the LMS (least mean square) based adaptive DEF loop iteratively and used as an extended training sequence. Instead of the block operation using ML (maximum likelihood) estimator, the low-complexity adaptive LMS operation is used for overall processing. Simulation results show that the perfonnance of the proposed equalizer is improved with a linear computational increase as the iterations parameter in creases and can give the more robustness to the time-varying fading.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• 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.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.41 no.4
• /
• pp.11-16
• /
• 2004

A simple stopping criterion for iterative decoding based on min-sum processing is presented. While most stopping criteria suggested in the literature, are based on Cross Entropy (CE) and its simplification, the proposed stopping criterion is to check if a decoded sequence is a valid codeword along the encoder trellis structure. This new stopping criterion requires less computational complexity and saves mem4)ry compared to the conventional stopping rules. The numerical results are presented on the 3GPP turbo code and a Serially Concatenated Convolutional Cods (SCCC).

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.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
• /
• v.24 no.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
• /
• v.28 no.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.