Some Characterizations of TL-subgroups

김한두,김동석,김재겸,Kim, Han-Doo,Kim, Dong-Seog,Kim, Jae-Gyeom Korean Institute of Intelligent Systems 1998 한국지능시스템학회논문지 Vol.8 No.6

In this paper, we show that if a TL-subgroup can be written as the intersection of all its minimal TL-p-subgroups then some properties of the TL-subgroups characterize the properties of all its minimal TL-p-subgroups and investigate the properties of the join of a directed family of TL-subgroups.

60/102 NBCA에 기반을 둔 확장그래프들과 그 응용

김한두,조성진,최언숙,Kim, Han-Doo,Cho, Sung-Jin,Choi, Un-Sook 한국정보통신학회 2011 한국정보통신학회논문지 Vol.15 No.9

Expander graphs are useful in the design and analysis of communication networks. Mukhopadhyay et. al introduced a method to generate a family of expander graphs based on nongroup two predecessor single attractor CA(Cellular Automata). In this paper we propose a method to generate a family of expander graphs based on 60/102 Null boundary CA(NBCA) which is a group CA. The spectral gap generated by our method is larger than that of Mukhopadhyay et. al [12]. As an application we give an algorithm which generate one-way functions whose security lies on the combinatorial properties of our expander graphs. the one-way function using d-regular graph generated by the 60/102 NBCA is based on the Goldreich's construction [5]. 확장그래프는 통신망의 설계와 분석에 유용하다. Mukhopadhyay 등은 nongroup two predecessor single attractor CA(Cellular Automata; 이하 CA)에 기반을 둔 한 부류의 확장그래프들을 생성하는 방법을 소개했다. 본 논문에서는 group CA인 60/102 Null Boundary CA(NBCA)에 기반을 둔 한 부류의 확장그래프들을 생성하는 방법을 제안한다. 본 논문에서 제안된 방법에 의해 생성된 spectral gap은 Mukhopadhyay 등[12]에 의해 생성된 spectral gap보다 크다. 제안된 확장그래프들의 조합적 성질에 기반을 둔 일방향 함수들을 생성하는 알고리즘을 제안한다. 60/102 NBCA에 의해 생성된 d-정규 그래프를 이용한 일방향함수는 Goldreich의 방법[5]에 기반을 두고 있다.

확장 Zeng 수열의 상호상관 함숫값에 대한 연구

김한두,조성진,권민정,안현주,Kim, Han-Doo,Cho, Sung-Jin,Kwon, Min-Jeong,An, Hyun-Ju 한국전자통신학회 2012 한국전자통신학회 논문지 Vol.7 No.1

코드분할 다중접속(CDMA) 시스템에서 대역확산 기법으로 사용되는 확산수열은 다중접속 간섭을 줄이고 높은 보안성을 위하여 상호상관관계가 낮고 선형복잡도가 큰 것으로 채택하는 것이 바람직하다. 그러나 수열군의 개수를 늘리고 선형복잡도를 높이기 위해서는 상호상관관계를 어느 정도 높이는 것은 불가피하다. 본 논문에서는 수열군의 개수가 크고 선형복잡도가 높은 확장 Zeng 수열을 제안하고 그 상호상관관계를 분석한다. Spreading sequence is used for spreading spectrum in CDMA. For the purpose of minimizing multiple access interference and expanding linear span of the sequences, it is desirable to use such sequences with low correlation and high linear span. To obtain large family size and high linear span, the values of the correlation function of the sequences is more complex. In this paper, we propose the extended Zeng sequences with large family size and high linear span and analyze the correlation of the sequences.

3항 다항식 x²ⁿ-1 + x + 1에 대응하는 90/150 상태전이행렬의 구성

김한두,조성진,최언숙,Kim, Han-Doo,Cho, Sung-Jin,Choi, Un-Sook 한국전자통신학회 2018 한국전자통신학회 논문지 Vol.13 No.2

Since cellular automata(CA) is superior to LFSR in randomness, it is applied as an alternative of LFSR in various fields. However, constructing CA corresponding to a given polynomial is more difficult than LFSR. Cattell et al. and Cho et al. showed that irreducible polynomials are CA-polynomials. And Cho et al. and Sabater et al. gave a synthesis method of 90/150 CA corresponding to the power of an irreducible polynomial, which is applicable as a shrinking generator. Swan characterizes the parity of the number of irreducible factors of a trinomial over the finite field GF(2). These polynomials are of practical importance when implementing finite field extensions. In this paper, we show that the trinomial $x^{2^n-1}+X+1$ ($n{\geq}2$) are CA-polynomials. Also the trinomial $x^{2^a(2^n-1)}+x^{2^a}+1$ ($n{\geq}2$, $a{\geq}0$) are CA-polynomials. 셀룰라 오토마타(이하 CA)는 LFSR보다 난수성이 우수하여 여러 분야에 LFSR의 대안으로 응용되고 있다. 그러나 주어진 다항식에 대응하는 CA를 구성하는 것이 LFSR보다 어렵다. Cattell 등과 Cho 등은 기약다항식들이 CA-다항식임을 보였다. 그리고 Cho 등과 Sabater 등은 기약다항식의 거듭제곱에 대응하는 90/150 CA의 합성 방법을 제시하였다. 이것은 수축생성기에 적용가능하다. Swan은 유한체 GF(2) 상에서 3항 다항식의 기약인수의 개수의 홀짝성을 분석하였다. 이런 3항 다항식들은 유한체 확장을 구현할 때 실제로 중요한 역할을 한다. 본 논문에서는 3항 다항식들 $x^{2^n-1}+X+1$ ($n{\geq}2$)이 CA-다항식임을 보인다. 또한 3항 다항식들 $x^{2^a(2^n-1)}+x^{2^a}+1$ ($n{\geq}2$, $a{\geq}0$)이 CA-다항식임을 보인다.

Some Characterizations of TL-subgroups

Han-Doo Kim(김한두),Dong-Seog Kim(김동석),Jae-Gyeom Kim(김재겸) 한국지능시스템학회 1998 한국지능시스템학회논문지 Vol.8 No.6

Uniform CA와 90/150 Hybrid CA의 합성

김한두(Han-Doo Kim),조성진(Sung-Jin Cho),최언숙(Un-Sook Choi),권민정(Min-Jeong Kwon),공길탁(Gil-Tak Kong) 한국전자통신학회 2016 한국전자통신학회 논문지 Vol.11 No.3

본 논문에서는 전이규칙이 모두 102인 Uniform CA(Uniform Cellular Automata, UCA) Cu 와 특성다항식이 (x + 1)m인 m-셀 90/150 hybrid CA Ch를 합성한 CA의 특성을 분석한다. 먼저 Cu 로부터 유도된 여원 그룹 CA의 사이클 구조를 분석하고 이를 통해 모든 사이클의 길이가 같아지는 여원 CA의 조건을 제시한다. 그리고 Cu와 F 를 합성한 CA 의 최소다항식이 (x + 1)q일 때 (T + 1)q-1F ≠ 0 을 만족하는 ??F 를 여원벡터로 택하여 구성한 여원 그룹 CA  C′의 사이클 구조를 분석한다. In this paper we analyze the CA formed by combining the uniform 102 CA Cu and the m-cell 90/150 hybrid CA whose characteristic polynomial is ??(x + 1)m . We analyze cycle structures of complemented group CA derived from and propose a condition of complemented CA dividing the entire state space into smaller cycles of equal lengths. And we analyze the cycle structure of complemented group CA C derived from the CA formed by combining and Ch with complement vector ??F such that (T + 1)q-1 F ≠ 0??where (x + 1)q is the minimal polynomial of C.

3항 다항식 X2n-1+x+1에 대응하는 90/150 상태전이행렬의 구성

김한두(Han Doo Kim),조성진(Sung Jin Cho),최언숙(Un Sook Choi) 한국전자통신학회 2018 한국전자통신학회 논문지 Vol.13 No.2

셀룰라 오토마타(이하 CA)는 LFSR보다 난수성이 우수하여 여러 분야에 LFSR의 대안으로 응용되고 있다. 그러나 주어진 다항식에 대응하는 CA를 구성하는 것이 LFSR보다 어렵다. Cattell 등과 Cho 등은 기약다항식들이 CA-다항식임을 보였다. 그리고 Cho 등과 Sabater 등은 기약다항식의 거듭제곱에 대응하는 90/150 CA의 합성 방법을 제시하였다. 이것은 수축생성기에 적용가능하다. Swan은 유한체 GF(2) 상에서 3항 다항식의 기약인수의 개수의 홀짝성을 분석하였다. 이런 3항 다항식들은 유한체 확장을 구현할 때 실제로 중요한 역할을 한다. 본 논문에서는 3항 다항식들 X2n-1+x+1(n≥2)이 CA-다항식임을 보인다. 또한 3항 다항식들 X2a(2n-1)+x2a+1 (n≥2, a≥0)이 CA-다항식임을 보인다. Since cellular automata(CA) is superior to LFSR in randomness, it is applied as an alternative of LFSR in various fields. However, constructing CA corresponding to a given polynomial is more difficult than LFSR. Cattell et al. and Cho et al. showed that irreducible polynomials are CA-polynomials. And Cho et al. and Sabater et al. gave a synthesis method of 90/150 CA corresponding to the power of an irreducible polynomial, which is applicable as a shrinking generator. Swan characterizes the parity of the number of irreducible factors of a trinomial over the finite field GF(2). These polynomials are of practical importance when implementing finite field extensions. In this paper, we show that the trinomial X2n-1+x+1(n≥2)are CA-polynomials. Also the trinomial X2a(2n-1)+x2a+1(n≥2, a≥0) are CA-polynomials.

CLT를 활용한 비선형 CA의 분석

권민정,조성진,김한두,최언숙,이규진,공길탁,Kwon, Min-jeong,Cho, Sung-jin,Kim, Han-doo,Choi, Un-sook,Lee, Kue-jin,Kong, Gil-tak 한국정보통신학회 2015 한국정보통신학회논문지 Vol.19 No.12

선형/가산 CA에서 끌개는 패턴인식, 패턴 분류 또는 연관기억장치 디자인, 질문처리기 등과 같은 분야에서 활용되고 있기 때문에 이를 어떻게 찾을 수 있는지는 주요한 연구 대상이 되어 왔다. 그러나 복잡한 현실을 모델링하고 그 해결방안을 모색하기 위해서는 비선형 CA의 도입이 불가피하게 되었다. 본 논문에서는 RMT를 개선한 CLT를 도입하여 비선형 CA의 끌개와 도달불가능 상태를 효율적으로 찾는 방법을 제시한다. Method for finding the attractors is the important object to investigate in the linear/additive CA because it is a primary interest in applications like pattern recognition, pattern classification, design of associative memory and query processing etc. But the research has been so far mostly concentrated around linear/additive CA and it is not enough to modelize the complex real life problem. So nonlinear CA is demanded to devise effective models of the problem and solutions around CA model. In this paper we introduce CLT as an upgraded version of RMT and provide the process for finding the attractors and nonreachable states effectively through the CLT.

SOME CHARACTERIZATIONS OF FUZZY SUBGROUPS

JAE-GYEOM KIM(김재겸),HAN-DOO KIM(김한두) 한국지능시스템학회 1995 한국지능시스템학회 학술발표 논문집 Vol.- No.-

On TL-subgroups

Jae-Gyeom Kim(김재겸),Han-Doo Kim(김한두) 한국지능시스템학회 1998 한국지능시스템학회 학술발표 논문집 Vol.8 No.1