• 한국통신학회논문지
• /
• 제19권11호
• /
• pp.2255-2263
• /
• 1994

프로토콜 적합성 시험은 시험 대상인 구현물을 하나의 black box로서 고려하여 input에 대한 output 과 결과 상태를 확인하는 일련의 과정으로 구성된다. 특히 결과 상태를 확인하는 방법에 따라 Unique Input/Output(UIO) Sequence, Distinguishing Sequence(DS) 및 Characterization Set(CS) 등으로 구분할 수 있다. 또한 UIO sequence가 존재하지 않는 상태에 대한 시험을 위해서라고 Partial UIO Set(CS) 등으로 구분 할 수 이따. 또한 PUIO sequence가 존재하지 않는 상태에 대한 시험을 위해서도 Partial UIO sequence 방법이 제안되었다. 본 논문에서는 이러한 PUIO sequence를 제시하고 이를 이용한 개선된 PUIO sequence 제안하였으며, 그 적용 결과로서 PUIO sequence의 수가 56%정도 줄어드는 것을 확인할 수 있었다.

• 충청수학회지
• /
• 제22권1호
• /
• pp.39-47
• /
• 2009

Pan, Shen and Woo [8] introduced the concept of the G-sequence of a map. We introduce the G'-sequence of a map, which is a dual concept of the G-sequence of a map. We obtain some sufficient conditions for the all sets in the G'-sequence of a map are groups, and for the exact G'-sequence of a map.

• Journal of Information Processing Systems
• /
• 제7권3호
• /
• pp.413-424
• /
• 2011

A variety of different metrics has been introduced to measure the similarity of two given sequences. These widely used metrics are ranging from spell correctors and categorizers to new sequence mining applications. Different metrics consider different aspects of sequences, but the essence of any sequence is extracted from the ordering of its elements. In this paper, we propose a novel sequence similarity measure that is based on all ordered pairs of one sequence and where a Hasse diagram is built in the other sequence. In contrast with existing approaches, the idea behind the proposed sequence similarity metric is to extract all ordering features to capture sequence properties. We designed a clustering problem to evaluate our sequence similarity metric. Experimental results showed the superiority of our proposed sequence similarity metric in maximizing the purity of clustering compared to metrics such as d2, Smith-Waterman, Levenshtein, and Needleman-Wunsch. The limitation of those methods originates from some neglected sequence features, which are considered in our proposed sequence similarity metric.

• Kyungpook Mathematical Journal
• /
• 제46권4호
• /
• pp.591-595
• /
• 2006

In this paper, we define ${\Delta}^m$-Lacunary strongly convergent sequences defined by sequence of moduli and give various properties and inclusion relations on these sequence spaces.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제6권2호
• /
• pp.103-111
• /
• 1999

We find some conditions under which G(f)-sequence of a CW-pair (X, A) is exact. And we also introduce a G(f)-sequence for a CW-triple (X, A, B) and examine when the sequence is exact.

• 대한수학회논문집
• /
• 제31권1호
• /
• pp.1-16
• /
• 2016

The Fibonacci sequence is a sequence of numbers that has been studied for hundreds of years. In this paper, we introduce the modified k-Fibonacci-like sequence and prove Binet's formula for this sequence and then use it to introduce and prove the Catalan, Cassini, and d'Ocagne identities for the modified k-Fibonacci-like sequence. Also, the ordinary generating function of this sequence is stated.

• 한국통신학회논문지
• /
• 제19권5호
• /
• pp.952-958
• /
• 1994

본 논문에서 정수론에 기초한 이진수호와 이전된 이진부호 사이의 시간옵셉을 계산하는 방법을 제시한다. 이 방법을 이용하여 이진부호 사이의 시간옵셉을 계산할 수 있다. 모든 기지국은 동일한 확산부호를 사용하므로써 동기 부호분할 다원접속 시스템에서 기준(영 \ulcorner\ulcornerV)부호를 정의하는 것은 중요하다. 다른 기지국으로부터 이동국에 수신되는 신호를 구별하기 위하여 영옵셉부호에 대한 시간옵셉을 사용하고 있다. 본 논문은 기준부호를 정의하는 방법을 제시한다.

• 한국공작기계학회논문집
• /
• 제15권1호
• /
• pp.70-75
• /
• 2006

This paper represents a study on disassembly sequence generation system for automobile parts. This system is practically very useful because proper disassembly sequence of end-of-life product becomes crucial as take-back obligations are imposed for environmental reasons. Therefore a disassembly sequence generation system is suggested to automatically derive all the feasible disassembly sequences from the assembly modeling files. As a result, in consideration of the all parts and subassemblies the optimum disassembly sequence is generated. And the optimum disassembly sequence for a certain part or subassembly can be also suggested.

• Journal of Life Science
• /
• 제9권2호
• /
• pp.9-14
• /
• 1999

Pseudomonas iodinum IFO 3558 adenosine deaminase(ADA) gene was cloned by the polymerase chain reaction and deduced the amino acid sequence of the enzyme. DNA sequence homology of Pseudomonas iodinum IFO 3558 ADA gene was compared to those of E. coli, human and mouse ADA genes. Unambiguous sequence from both strands of pM21 was obtained for the region believed to encode ADA. The sequence included a 804-nucleotide open reading frame, bounded on one end by sense primer and on the other end by two antisense primer. This open reading frame encodes a protein of 268 amino acids having a molecular weight of 29,448. The deduced amino acid sequence shows considerable similarity to those of E. coli, mouse and human ADA. Pseudomonas iodinum IFO 3558 nucleotide sequence shows 98.5% homology with that of the E. coli ADA sequence and 51.7% homology with that of the mouse ADA sequence and 52.5% homology with that of the human ADA sequence. The ADA protein sequence of Pseudomonas iodinum IFO 3558 shows 96.9% homology with that of the E. coli and 40.7% homology with that of the mouse and 41.8% homology with that of the human. The distance between two of the conserved elements, TVHAGE and SL(1)NTDDP has veen exactly conserved at 76 amino acids for all four ADAs. Two of the four conserved sequence elements shared among the four ADAs are also present in the yeast, rat, human (M), and Human(L) AMP deaminase. The SLSTDDP sequence differs only in the conservative substitution of a serine for an asparagine. A conserved cysteine with conserved spacing between these two regions is also found. Thus, sequence analysis of four ADAs and four AMP deaminases revealed the presence of a highly conserved sequence motif, SLN(S)TDDP, a conserved dipeptide, HA, and a conserved cysteine residue.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권4호
• /
• pp.121-128
• /
• 2018

Sequence-to-sequence(Seq2seq) 모델은 입력열과 출력열의 길이가 다를 경우에도 적용할 수 있는 모델로 한국어 형태소 분석에서 많이 사용되고 있다. 일반적으로 Seq2seq 모델을 이용한 한국어 형태소 분석에서는 원문을 음절 단위로 처리하고 형태소와 품사를 음절 단위로 출력한다. 음절 단위의 형태소 분석은 사전 미등록어 문제를 쉽게 처리할 수 있다는 장점이 있는 반면 형태소 단위의 사전 정보를 반영하지 못한다는 단점이 있다. 본 연구에서는 Seq2seq 모델의 후처리로 재순위화 모델을 추가하여 형태소 분석의 최종 성능을 향상시킬 수 있는 모델을 제안한다. Seq2seq 모델에 빔 서치를 적용하여 K개 형태소 분석 결과를 생성하고 이들 결과의 순위를 재조정하는 재순위화 모델을 적용한다. 재순위화 모델은 기존의 음절 단위 처리에서 반영하지 못했던 형태소 단위의 임베딩 정보와 n-gram 문맥 정보를 활용한다. 제안한 재순위화 모델은 기존 Seq2seq 모델에 비해 약 1.17%의 F1 점수가 향상되었다.