• 대한수학회논문집
• /
• 제35권1호
• /
• pp.83-116
• /
• 2020

Let G be a finite group. By a sequence over G, we mean a finite unordered sequence of terms from G, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of G. The large Davenport constant D(G) is the maximal length of a minimal product-one sequence, that is, a product-one sequence which cannot be factored into two non-trivial product-one subsequences. We provide explicit characterizations of all minimal product-one sequences of length D(G) over dihedral and dicyclic groups. Based on these characterizations we study the unions of sets of lengths of the monoid of product-one sequences over these groups.

• 한국정보통신학회논문지
• /
• 제21권7호
• /
• pp.1401-1410
• /
• 2017

암호통신에서 암호기와 복호기 간의 암호 알고리즘 내부 상태 동기와 스트림 동기를 일치시키는 암호동기 기능은 암호통신 품질에 많은 영향을 준다. 암호통신 중 송신기와 수신기 간에 동기 이탈이 발생하면 재동기를 이루기까지 통신 불능 상태가 된다. 특히 BER이 높은 무선 채널에서 이루어지는 암호통신에서는 암호동기 성능이 암호통신의 품질을 좌우하는 요소가 된다. 본 논문에서는 BER이 높은 잡음 환경에서도 동기 성능을 향상시킬 수 있는 새로운 형태의 암호동기신호 생성 및 검출 기법을 제안하였다. 제안한 방법에서는 최대길이 시퀀스 기반의 마스킹 구조 형태로 동기신호를 생성하고, 최대길이 시퀀스의 상관함수 특성을 이용하여 동기신호를 검출한다. 다양한 모의실험을 통해 제안한 마스킹 구조 형태의 동기신호가 기존의 연접 형태의 동기신호에 비하여 잡음환경에서 우수한 동기 성능을 보임을 확인하였다.

• Journal of applied mathematics & informatics
• /
• 제30권5_6호
• /
• pp.903-911
• /
• 2012

Let $\{u(t)\}$ and $\{u(dt)\}$ be two maximal length sequences of period $2^n-1$. The cross-correlation is defined by $C_d({\tau})=\sum{_{t=0}^{2^n-2}}(-1)^{u(t+{\tau})+v(t)$ for ${\tau}=0,1,{\cdots},2^n-2$. In this paper, we propose a new proof for finding the values and the number of occurrences of each value of $C_d({\tau})$ when $d=2^{k-2}(2^k+3)$, where $n=2k$, $k$ is a positive integer.

• International Journal of Contents
• /
• 제3권2호
• /
• pp.18-24
• /
• 2007

Biological sequences such as DNA and amino acid sequences typically contain a large number of items. They have contiguous sequences that ordinarily consist of more than hundreds of frequent items. In biological sequences analysis(BSA), a frequent contiguous sequence search is one of the most important operations. Many studies have been done for mining sequential patterns efficiently. Most of the existing methods for mining sequential patterns are based on the Apriori algorithm. In particular, the prefixSpan algorithm is one of the most efficient sequential pattern mining schemes based on the Apriori algorithm. However, since the algorithm expands the sequential patterns from frequent patterns with length-1, it is not suitable for biological datasets with long frequent contiguous sequences. In recent years, the MacosVSpan algorithm was proposed based on the idea of the prefixSpan algorithm to significantly reduce its recursive process. However, the algorithm is still inefficient for mining frequent contiguous sequences from long biological data sequences. In this paper, we propose an efficient method to mine maximal frequent contiguous sequences in large biological data sequences by constructing the spanning tree with a fixed length. To verify the superiority of the proposed method, we perform experiments in various environments. The experiments show that the proposed method is much more efficient than MacosVSpan in terms of retrieval performance.

• 대한수학회보
• /
• 제51권4호
• /
• pp.957-964
• /
• 2014

In this paper, we prove that there is no branch point in the Lorentz space (M, d) which is the limit space of a sequence {($M_{\alpha},d_{\alpha}$)} of compact globally hyperbolic interpolating spacetimes with $C^{\pm}_{\alpha}$-properties and curvature bounded below. Using this, we also obtain that every maximal timelike geodesic in the limit space (M, d) can be expressed as the limit curve of a sequence of maximal timelike geodesics in {($M_{\alpha},d_{\alpha}$)}. Finally, we show that the limit space (M, d) satisfies a timelike triangle comparison property which is analogous to the case of Alexandrov curvature bounds in length spaces.

• 한국전자파학회논문지
• /
• 제15권5호
• /
• pp.451-460
• /
• 2004

W-CDMA 시스템의 파일럿 비트 패턴은 채널 측정 및 프레임 동기 확인에 사용된다. 본 논문은 이러한 파일럿 패턴의 프레임 동기용 이원부호를 제안한다. 프레임 동기 단어라고 불리는 이러한 이원부호의 자기 상관 및 상호 상관 특성을 이용하여 이상적인 프레임 동기 특성을 구할 수 있는 회로를 제안한다. W-CDMA시스템에서는 두 개의 수신 단말기를 갖지 않고도, 다른 주파수의 측정을 가능하게 하기 위한 압축모드(compressed mode)를 두고 있다. 이 모드에서는 10 msec의 한 프레임 시간 동안에 7 슬랏까지 전송이 중단될 수 있는데, 이러한 경우에 제안된 프레임 동기용 이원부호의 우선 쌍 간의 보완 매핑(complementary mapping) 관계를 이용하면, 이상적인 프레임 동기 특성을 유지 할 수 있음을 보인다. 그리고 우선 쌍 개념, 보완 매핑(complementary mapping) 관계, 최대장부호(maximal length sequence) 개념을 이용하여 제안된 프레임 동기 단어를 생성하는 회로에 관하여 논한다.

• 한국통신학회논문지
• /
• 제41권12호
• /
• pp.1742-1744
• /
• 2016

본 논문은 짧은 길이의 LDPC 부호의 복호 성능을 위해 제안된 이진 섭동 복호기와 에프터버너 복호기가 동등함을 증명하였다.

• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.155-162
• /
• 2008

DNA 염기 서열이나 단백질 아미노산 서열과 같은 생물학적 서열 데이터들은 일반적으로 많은 수의 항목들을 가지고 있다. 생물학적 데이터 서열들에는 보통 빈번하게 발생하는 수 백개의 항목으로 이루어진 연속된 서열들이 존재한다. 이들 서열들에서 빈번하게 발생하는 연속 서열을 검색하는 것은 생물학적 서열 분석에서 중요한 부분을 차지하고 있다. 이전에는 순차 패턴을 효과적으로 발견하고자 하는 많은 연구들이 수행되었으며 대부분의 기존 순차패턴 마이닝 기법들은 Apriori 알고리즘을 기반으로 한다. PrefixSpan 알고리즘은 Apriori 기반의 가장 효율적인 순차패턴 마이닝 기법이다. 하지만 이 알고리즘은 길이-1인 빈발 패턴들로 부터 서열 패턴을 확장해나가는 방식이다. 따라서 길이가 긴 연속 서열을 포함하는 생물학적 데이터서열들에 대한 검색방법으로는 적합하지 않다. 최근에는 기존의 PrefixSpan방식을 이용하면서도 반복적인 처리과정을 줄인 MacosVSpan이 제안되었다. 하지만 이 알고리즘 또한 길이가 긴 생물학적 데이터 서열들로부터 빈번하게 발생하는 연속 서열들을 검색하기에는 효율적이지 않다. 본 논문에서는 많은 양의 생물학적 데이터 서열들로부터 빈번한 연속서열을 고정길이 확장 트리를 이용하여 효과적으로 찾아내는 방법을 제안한다. 그리고 다양한 환경에서 실험을 통해 제안하는 방식이 MacosVSpan알고리즘에 비해 검색성능이 보다 우수함을 보인다.

• 한국산학기술학회논문지
• /
• 제21권5호
• /
• pp.84-92
• /
• 2020

본 논문은 M시퀀스 신호를 이용하여 로켓 추진기관의 케이블 결함 위치 추정 기법에 관한 논문이다. 케이블 내부 결함 위치를 추정하기 위해서 다양한 방법이 연구되어왔는데, 이 중에서 TDR(Time Domain Reflectometry), FDR(Frequency Domain Reflectometry), TFDR(Time-Frequency Domain Reflectometry) 등이 가장 널리 사용되어 왔다. 이 방법들은 케이블 결함 상태를 진단하기 위해 주로 사용되지만 사용자가 시험환경에 접근하여 수행해야하기 때문에 리스크가 매우 크다. 따라서 시험안전을 확보하고 기존의 방법 대비 동등 이상의 성능을 지니는 M시퀀스 신호를 이용한 케이블 결함 위치 추정 방법을 제안한다. 제안된 방법은 로켓 추진기관 시험에 사용되고 있는 DAS(Data Acquisition System)를 활용하도록 하고, 주로 물리량 계측에 이용되는 RG-58 케이블을 적용하여 기존의 방법인 TDR, TFDR과 비교하여 성능을 검증하였다. 시험 결과 40 m 이내 근거리 케이블 결함 추정에서는 기존의 방법보다 낮은 오차율을 나타났고, 50 m에서는 기존의 방법과 비슷한 오차율을 확인하였다. 따라서 무기체계에 사용되는 DAS를 활용하고 일반적으로 사용되는 M시퀀스 신호를 응용하여 작업자가 시험환경에 접근하지 않고 안전하게 케이블 결함을 추정할 수 있음을 확인하였다.

• Kyungpook Mathematical Journal
• /
• 제55권4호
• /
• pp.817-826
• /
• 2015

Let R be a commutative ring with total quotient ring K. Each monomorphic R-module endomorphism of a cyclic R-module is an isomorphism if and only if R has Krull dimension 0. Each monomorphic R-module endomorphism of R is an isomorphism if and only if R = K. We say that R has property (${\star}$) if for each nonzero element $a{\in}R$, each monomorphic R-module endomorphism of R/Ra is an isomorphism. If R has property (${\star}$), then each nonzero principal prime ideal of R is a maximal ideal, but the converse is false, even for integral domains of Krull dimension 2. An integral domain R has property (${\star}$) if and only if R has no R-sequence of length 2; the "if" assertion fails in general for non-domain rings R. Each treed domain has property (${\star}$), but the converse is false.